task_social_golfer.txt.o371967.1:----------
task_social_golfer.txt.o371967.1:% Wall time: 0.003199
task_social_golfer.txt.o371967.1:% Conflicts: 0
task_social_golfer.txt.o371967.10:----------
task_social_golfer.txt.o371967.10:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.10:10[+0]/610000 millis.
task_social_golfer.txt.o371967.10:==========
task_social_golfer.txt.o371967.100:----------
task_social_golfer.txt.o371967.100:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.100:94[+0]/610000 millis.
task_social_golfer.txt.o371967.100:==========
task_social_golfer.txt.o371967.1000:----------
task_social_golfer.txt.o371967.1000:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.1000:156[+0]/610000 millis.
task_social_golfer.txt.o371967.1000:==========
task_social_golfer.txt.o371967.1001:----------
task_social_golfer.txt.o371967.1001:% Wall time: 0.016800
task_social_golfer.txt.o371967.1001:% Conflicts: 0
task_social_golfer.txt.o371967.1002:----------
task_social_golfer.txt.o371967.1002:% Wall time: 0.015522
task_social_golfer.txt.o371967.1002:% Conflicts: 0
task_social_golfer.txt.o371967.1003:----------
task_social_golfer.txt.o371967.1003:1148[+0]/610000 millis.
task_social_golfer.txt.o371967.1003:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.1003:==========
task_social_golfer.txt.o371967.1004:----------
task_social_golfer.txt.o371967.1004:1003[+0]/610000 millis.
task_social_golfer.txt.o371967.1004:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.1004:==========
task_social_golfer.txt.o371967.1005:----------
task_social_golfer.txt.o371967.1005:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.1005:281[+0]/610000 millis.
task_social_golfer.txt.o371967.1005:==========
task_social_golfer.txt.o371967.1006:----------
task_social_golfer.txt.o371967.1006:% Wall time: 0.021217
task_social_golfer.txt.o371967.1006:% Conflicts: 0
task_social_golfer.txt.o371967.1007:----------
task_social_golfer.txt.o371967.1007:% Wall time: 0.034132
task_social_golfer.txt.o371967.1007:% Conflicts: 0
task_social_golfer.txt.o371967.1008:----------
task_social_golfer.txt.o371967.1008:1487[+0]/610000 millis.
task_social_golfer.txt.o371967.1008:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.1008:==========
task_social_golfer.txt.o371967.1009:----------
task_social_golfer.txt.o371967.1009:1591[+0]/610000 millis.
task_social_golfer.txt.o371967.1009:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.1009:==========
task_social_golfer.txt.o371967.101:----------
task_social_golfer.txt.o371967.101:% Wall time: 0.014892
task_social_golfer.txt.o371967.101:% Conflicts: 1
task_social_golfer.txt.o371967.1010:----------
task_social_golfer.txt.o371967.1010:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.1010:336[+0]/610000 millis.
task_social_golfer.txt.o371967.1010:==========
task_social_golfer.txt.o371967.1011:----------
task_social_golfer.txt.o371967.1011:% Wall time: 0.026513
task_social_golfer.txt.o371967.1011:% Conflicts: 1
task_social_golfer.txt.o371967.1012:----------
task_social_golfer.txt.o371967.1012:% Wall time: 0.054287
task_social_golfer.txt.o371967.1012:% Conflicts: 1
task_social_golfer.txt.o371967.1013:----------
task_social_golfer.txt.o371967.1013:1939[+0]/610000 millis.
task_social_golfer.txt.o371967.1013:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.1013:==========
task_social_golfer.txt.o371967.1014:----------
task_social_golfer.txt.o371967.1014:1786[+0]/610000 millis.
task_social_golfer.txt.o371967.1014:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.1014:==========
task_social_golfer.txt.o371967.1015:----------
task_social_golfer.txt.o371967.1015:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.1015:506[+0]/610000 millis.
task_social_golfer.txt.o371967.1015:==========
task_social_golfer.txt.o371967.1016:----------
task_social_golfer.txt.o371967.1016:% Wall time: 0.034449
task_social_golfer.txt.o371967.1016:% Conflicts: 1
task_social_golfer.txt.o371967.1017:----------
task_social_golfer.txt.o371967.1017:% Wall time: 0.026885
task_social_golfer.txt.o371967.1017:% Conflicts: 1
task_social_golfer.txt.o371967.1018:----------
task_social_golfer.txt.o371967.1018:3524[+0]/610000 millis.
task_social_golfer.txt.o371967.1018:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.1018:==========
task_social_golfer.txt.o371967.1019:----------
task_social_golfer.txt.o371967.1019:2218[+0]/610000 millis.
task_social_golfer.txt.o371967.1019:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.1019:==========
task_social_golfer.txt.o371967.102:----------
task_social_golfer.txt.o371967.102:% Wall time: 0.010000
task_social_golfer.txt.o371967.102:% Conflicts: 2
task_social_golfer.txt.o371967.1020:----------
task_social_golfer.txt.o371967.1020:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.1020:386[+0]/610000 millis.
task_social_golfer.txt.o371967.1020:==========
task_social_golfer.txt.o371967.1021:----------
task_social_golfer.txt.o371967.1021:% Wall time: 0.041907
task_social_golfer.txt.o371967.1021:% Conflicts: 1
task_social_golfer.txt.o371967.1022:----------
task_social_golfer.txt.o371967.1022:% Wall time: 0.036262
task_social_golfer.txt.o371967.1022:% Conflicts: 1
task_social_golfer.txt.o371967.1023:----------
task_social_golfer.txt.o371967.1023:4517[+0]/610000 millis.
task_social_golfer.txt.o371967.1023:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.1023:==========
task_social_golfer.txt.o371967.1024:----------
task_social_golfer.txt.o371967.1024:3559[+0]/610000 millis.
task_social_golfer.txt.o371967.1024:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.1024:==========
task_social_golfer.txt.o371967.1025:----------
task_social_golfer.txt.o371967.1025:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.1025:600[+0]/610000 millis.
task_social_golfer.txt.o371967.1025:==========
task_social_golfer.txt.o371967.1026:----------
task_social_golfer.txt.o371967.1026:% Wall time: 0.048243
task_social_golfer.txt.o371967.1026:% Conflicts: 1
task_social_golfer.txt.o371967.1027:----------
task_social_golfer.txt.o371967.1027:% Wall time: 0.055203
task_social_golfer.txt.o371967.1027:% Conflicts: 1
task_social_golfer.txt.o371967.1028:----------
task_social_golfer.txt.o371967.1028:6356[+0]/610000 millis.
task_social_golfer.txt.o371967.1028:solve => 1 solutions, 17 backtracks
task_social_golfer.txt.o371967.1028:==========
task_social_golfer.txt.o371967.1029:----------
task_social_golfer.txt.o371967.1029:4733[+0]/610000 millis.
task_social_golfer.txt.o371967.1029:solve => 1 solutions, 16 backtracks
task_social_golfer.txt.o371967.1029:==========
task_social_golfer.txt.o371967.103:----------
task_social_golfer.txt.o371967.103:1572[+0]/610000 millis.
task_social_golfer.txt.o371967.103:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.103:==========
task_social_golfer.txt.o371967.1030:----------
task_social_golfer.txt.o371967.1030:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.1030:863[+0]/610000 millis.
task_social_golfer.txt.o371967.1030:==========
task_social_golfer.txt.o371967.1031:----------
task_social_golfer.txt.o371967.1031:% Wall time: 0.057846
task_social_golfer.txt.o371967.1031:% Conflicts: 1
task_social_golfer.txt.o371967.1032:----------
task_social_golfer.txt.o371967.1032:% Wall time: 0.048811
task_social_golfer.txt.o371967.1032:% Conflicts: 1
task_social_golfer.txt.o371967.1033:----------
task_social_golfer.txt.o371967.1033:24190[+0]/610000 millis.
task_social_golfer.txt.o371967.1033:solve => 1 solutions, 31 backtracks
task_social_golfer.txt.o371967.1033:==========
task_social_golfer.txt.o371967.1034:----------
task_social_golfer.txt.o371967.1034:14343[+0]/610000 millis.
task_social_golfer.txt.o371967.1034:solve => 1 solutions, 30 backtracks
task_social_golfer.txt.o371967.1034:==========
task_social_golfer.txt.o371967.1035:----------
task_social_golfer.txt.o371967.1035:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.1035:920[+0]/610000 millis.
task_social_golfer.txt.o371967.1035:==========
task_social_golfer.txt.o371967.1036:----------
task_social_golfer.txt.o371967.1036:% Wall time: 0.061732
task_social_golfer.txt.o371967.1036:% Conflicts: 1
task_social_golfer.txt.o371967.1037:----------
task_social_golfer.txt.o371967.1037:% Wall time: 0.102397
task_social_golfer.txt.o371967.1037:% Conflicts: 1
task_social_golfer.txt.o371967.1038:----------
task_social_golfer.txt.o371967.1038:55244[+0]/610000 millis.
task_social_golfer.txt.o371967.1038:solve => 1 solutions, 78 backtracks
task_social_golfer.txt.o371967.1038:==========
task_social_golfer.txt.o371967.1039:----------
task_social_golfer.txt.o371967.1039:39370[+0]/610000 millis.
task_social_golfer.txt.o371967.1039:solve => 1 solutions, 78 backtracks
task_social_golfer.txt.o371967.1039:==========
task_social_golfer.txt.o371967.104:----------
task_social_golfer.txt.o371967.104:1580[+0]/610000 millis.
task_social_golfer.txt.o371967.104:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.104:==========
task_social_golfer.txt.o371967.1040:----------
task_social_golfer.txt.o371967.1040:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.1040:728[+0]/610000 millis.
task_social_golfer.txt.o371967.1040:==========
task_social_golfer.txt.o371967.1041:----------
task_social_golfer.txt.o371967.1041:% Wall time: 0.128299
task_social_golfer.txt.o371967.1041:% Conflicts: 1
task_social_golfer.txt.o371967.1042:----------
task_social_golfer.txt.o371967.1042:% Wall time: 0.063979
task_social_golfer.txt.o371967.1042:% Conflicts: 1
task_social_golfer.txt.o371967.1043:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.1043:solve => 0 solutions, 421 backtracks
task_social_golfer.txt.o371967.1044:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.1044:solve => 0 solutions, 1317 backtracks
task_social_golfer.txt.o371967.1045:----------
task_social_golfer.txt.o371967.1045:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.1045:1027[+0]/610000 millis.
task_social_golfer.txt.o371967.1045:==========
task_social_golfer.txt.o371967.1046:----------
task_social_golfer.txt.o371967.1046:% Wall time: 0.080636
task_social_golfer.txt.o371967.1046:% Conflicts: 1
task_social_golfer.txt.o371967.1047:----------
task_social_golfer.txt.o371967.1047:% Wall time: 0.071477
task_social_golfer.txt.o371967.1047:% Conflicts: 1
task_social_golfer.txt.o371967.1048:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.1048:solve => 0 solutions, 308 backtracks
task_social_golfer.txt.o371967.1049:610018[+0]/610000 millis.
task_social_golfer.txt.o371967.1049:solve => 0 solutions, 785 backtracks
task_social_golfer.txt.o371967.105:----------
task_social_golfer.txt.o371967.105:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.105:144[+0]/610000 millis.
task_social_golfer.txt.o371967.105:==========
task_social_golfer.txt.o371967.1050:----------
task_social_golfer.txt.o371967.1050:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.1050:864[+0]/610000 millis.
task_social_golfer.txt.o371967.1050:==========
task_social_golfer.txt.o371967.1051:----------
task_social_golfer.txt.o371967.1051:% Wall time: 0.087183
task_social_golfer.txt.o371967.1051:% Conflicts: 1
task_social_golfer.txt.o371967.1052:----------
task_social_golfer.txt.o371967.1052:% Wall time: 0.080263
task_social_golfer.txt.o371967.1052:% Conflicts: 1
task_social_golfer.txt.o371967.1053:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1053:solve => 0 solutions, 217 backtracks
task_social_golfer.txt.o371967.1054:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1054:solve => 0 solutions, 622 backtracks
task_social_golfer.txt.o371967.1055:----------
task_social_golfer.txt.o371967.1055:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.1055:1143[+0]/610000 millis.
task_social_golfer.txt.o371967.1055:==========
task_social_golfer.txt.o371967.1056:----------
task_social_golfer.txt.o371967.1056:% Wall time: 0.094813
task_social_golfer.txt.o371967.1056:% Conflicts: 1
task_social_golfer.txt.o371967.1057:----------
task_social_golfer.txt.o371967.1057:% Wall time: 0.085785
task_social_golfer.txt.o371967.1057:% Conflicts: 1
task_social_golfer.txt.o371967.1058:610031[+0]/610000 millis.
task_social_golfer.txt.o371967.1058:solve => 0 solutions, 253 backtracks
task_social_golfer.txt.o371967.1059:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1059:solve => 0 solutions, 581 backtracks
task_social_golfer.txt.o371967.106:----------
task_social_golfer.txt.o371967.106:% Wall time: 0.017660
task_social_golfer.txt.o371967.106:% Conflicts: 1
task_social_golfer.txt.o371967.1060:----------
task_social_golfer.txt.o371967.1060:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.1060:856[+0]/610000 millis.
task_social_golfer.txt.o371967.1060:==========
task_social_golfer.txt.o371967.1061:----------
task_social_golfer.txt.o371967.1061:% Wall time: 0.132672
task_social_golfer.txt.o371967.1061:% Conflicts: 1
task_social_golfer.txt.o371967.1062:----------
task_social_golfer.txt.o371967.1062:% Wall time: 0.109802
task_social_golfer.txt.o371967.1062:% Conflicts: 1
task_social_golfer.txt.o371967.1063:610021[+0]/610000 millis.
task_social_golfer.txt.o371967.1063:solve => 0 solutions, 202 backtracks
task_social_golfer.txt.o371967.1064:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.1064:solve => 0 solutions, 489 backtracks
task_social_golfer.txt.o371967.1065:----------
task_social_golfer.txt.o371967.1065:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.1065:1069[+0]/610000 millis.
task_social_golfer.txt.o371967.1065:==========
task_social_golfer.txt.o371967.1066:----------
task_social_golfer.txt.o371967.1066:% Wall time: 0.042378
task_social_golfer.txt.o371967.1066:% Conflicts: 1
task_social_golfer.txt.o371967.1067:----------
task_social_golfer.txt.o371967.1067:% Wall time: 0.022497
task_social_golfer.txt.o371967.1067:% Conflicts: 1
task_social_golfer.txt.o371967.1068:----------
task_social_golfer.txt.o371967.1068:5464[+0]/610000 millis.
task_social_golfer.txt.o371967.1068:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.1068:==========
task_social_golfer.txt.o371967.1069:----------
task_social_golfer.txt.o371967.1069:5219[+0]/610000 millis.
task_social_golfer.txt.o371967.1069:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.1069:==========
task_social_golfer.txt.o371967.107:----------
task_social_golfer.txt.o371967.107:% Wall time: 0.015221
task_social_golfer.txt.o371967.107:% Conflicts: 2
task_social_golfer.txt.o371967.1070:----------
task_social_golfer.txt.o371967.1070:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1070:246[+0]/610000 millis.
task_social_golfer.txt.o371967.1070:==========
task_social_golfer.txt.o371967.1071:----------
task_social_golfer.txt.o371967.1071:% Wall time: 0.059503
task_social_golfer.txt.o371967.1071:% Conflicts: 1
task_social_golfer.txt.o371967.1072:----------
task_social_golfer.txt.o371967.1072:% Wall time: 0.049217
task_social_golfer.txt.o371967.1072:% Conflicts: 1
task_social_golfer.txt.o371967.1073:----------
task_social_golfer.txt.o371967.1073:12566[+0]/610000 millis.
task_social_golfer.txt.o371967.1073:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.1073:==========
task_social_golfer.txt.o371967.1074:----------
task_social_golfer.txt.o371967.1074:12299[+0]/610000 millis.
task_social_golfer.txt.o371967.1074:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.1074:==========
task_social_golfer.txt.o371967.1075:----------
task_social_golfer.txt.o371967.1075:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.1075:339[+0]/610000 millis.
task_social_golfer.txt.o371967.1075:==========
task_social_golfer.txt.o371967.1076:----------
task_social_golfer.txt.o371967.1076:% Wall time: 0.093626
task_social_golfer.txt.o371967.1076:% Conflicts: 1
task_social_golfer.txt.o371967.1077:----------
task_social_golfer.txt.o371967.1077:% Wall time: 0.125074
task_social_golfer.txt.o371967.1077:% Conflicts: 1
task_social_golfer.txt.o371967.1078:----------
task_social_golfer.txt.o371967.1078:27029[+0]/610000 millis.
task_social_golfer.txt.o371967.1078:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.1078:==========
task_social_golfer.txt.o371967.1079:----------
task_social_golfer.txt.o371967.1079:22709[+0]/610000 millis.
task_social_golfer.txt.o371967.1079:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.1079:==========
task_social_golfer.txt.o371967.108:----------
task_social_golfer.txt.o371967.108:3169[+0]/610000 millis.
task_social_golfer.txt.o371967.108:solve => 1 solutions, 14 backtracks
task_social_golfer.txt.o371967.108:==========
task_social_golfer.txt.o371967.1080:----------
task_social_golfer.txt.o371967.1080:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.1080:590[+0]/610000 millis.
task_social_golfer.txt.o371967.1080:==========
task_social_golfer.txt.o371967.1081:----------
task_social_golfer.txt.o371967.1081:% Wall time: 0.147843
task_social_golfer.txt.o371967.1081:% Conflicts: 1
task_social_golfer.txt.o371967.1082:----------
task_social_golfer.txt.o371967.1082:% Wall time: 0.133960
task_social_golfer.txt.o371967.1082:% Conflicts: 1
task_social_golfer.txt.o371967.1083:----------
task_social_golfer.txt.o371967.1083:63887[+0]/610000 millis.
task_social_golfer.txt.o371967.1083:solve => 1 solutions, 16 backtracks
task_social_golfer.txt.o371967.1083:==========
task_social_golfer.txt.o371967.1084:----------
task_social_golfer.txt.o371967.1084:46407[+0]/610000 millis.
task_social_golfer.txt.o371967.1084:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.1084:==========
task_social_golfer.txt.o371967.1085:----------
task_social_golfer.txt.o371967.1085:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.1085:720[+0]/610000 millis.
task_social_golfer.txt.o371967.1085:==========
task_social_golfer.txt.o371967.1086:----------
task_social_golfer.txt.o371967.1086:% Wall time: 0.225148
task_social_golfer.txt.o371967.1086:% Conflicts: 2
task_social_golfer.txt.o371967.1087:----------
task_social_golfer.txt.o371967.1087:% Wall time: 0.191764
task_social_golfer.txt.o371967.1087:% Conflicts: 2
task_social_golfer.txt.o371967.1088:----------
task_social_golfer.txt.o371967.1088:120501[+0]/610000 millis.
task_social_golfer.txt.o371967.1088:solve => 1 solutions, 17 backtracks
task_social_golfer.txt.o371967.1088:==========
task_social_golfer.txt.o371967.1089:----------
task_social_golfer.txt.o371967.1089:98904[+0]/610000 millis.
task_social_golfer.txt.o371967.1089:solve => 1 solutions, 17 backtracks
task_social_golfer.txt.o371967.1089:==========
task_social_golfer.txt.o371967.109:----------
task_social_golfer.txt.o371967.109:4683[+0]/610000 millis.
task_social_golfer.txt.o371967.109:solve => 1 solutions, 14 backtracks
task_social_golfer.txt.o371967.109:==========
task_social_golfer.txt.o371967.1090:----------
task_social_golfer.txt.o371967.1090:solve => 1 solutions, 1713 backtracks
task_social_golfer.txt.o371967.1090:1265[+0]/610000 millis.
task_social_golfer.txt.o371967.1090:==========
task_social_golfer.txt.o371967.1091:----------
task_social_golfer.txt.o371967.1091:% Wall time: 0.271453
task_social_golfer.txt.o371967.1091:% Conflicts: 2
task_social_golfer.txt.o371967.1092:----------
task_social_golfer.txt.o371967.1092:% Wall time: 0.291309
task_social_golfer.txt.o371967.1092:% Conflicts: 2
task_social_golfer.txt.o371967.1093:----------
task_social_golfer.txt.o371967.1093:355659[+0]/610000 millis.
task_social_golfer.txt.o371967.1093:solve => 1 solutions, 35 backtracks
task_social_golfer.txt.o371967.1093:==========
task_social_golfer.txt.o371967.1094:----------
task_social_golfer.txt.o371967.1094:266194[+0]/610000 millis.
task_social_golfer.txt.o371967.1094:solve => 1 solutions, 35 backtracks
task_social_golfer.txt.o371967.1094:==========
task_social_golfer.txt.o371967.1095:----------
task_social_golfer.txt.o371967.1095:solve => 1 solutions, 1714 backtracks
task_social_golfer.txt.o371967.1095:2262[+0]/610000 millis.
task_social_golfer.txt.o371967.1095:==========
task_social_golfer.txt.o371967.1096:----------
task_social_golfer.txt.o371967.1096:% Wall time: 0.339719
task_social_golfer.txt.o371967.1096:% Conflicts: 3
task_social_golfer.txt.o371967.1097:----------
task_social_golfer.txt.o371967.1097:% Wall time: 0.348176
task_social_golfer.txt.o371967.1097:% Conflicts: 3
task_social_golfer.txt.o371967.1098:610008[+0]/610000 millis.
task_social_golfer.txt.o371967.1098:solve => 0 solutions, 33 backtracks
task_social_golfer.txt.o371967.1099:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1099:solve => 0 solutions, 36 backtracks
task_social_golfer.txt.o371967.11:----------
task_social_golfer.txt.o371967.11:% Wall time: 0.003082
task_social_golfer.txt.o371967.11:% Conflicts: 0
task_social_golfer.txt.o371967.110:----------
task_social_golfer.txt.o371967.110:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.110:188[+0]/610000 millis.
task_social_golfer.txt.o371967.110:==========
task_social_golfer.txt.o371967.1100:----------
task_social_golfer.txt.o371967.1100:solve => 1 solutions, 1719 backtracks
task_social_golfer.txt.o371967.1100:2506[+0]/610000 millis.
task_social_golfer.txt.o371967.1100:==========
task_social_golfer.txt.o371967.1101:----------
task_social_golfer.txt.o371967.1101:% Wall time: 0.401949
task_social_golfer.txt.o371967.1101:% Conflicts: 3
task_social_golfer.txt.o371967.1102:----------
task_social_golfer.txt.o371967.1102:% Wall time: 0.349870
task_social_golfer.txt.o371967.1102:% Conflicts: 3
task_social_golfer.txt.o371967.1103:612372[+0]/610000 millis.
task_social_golfer.txt.o371967.1103:solve => 0 solutions, 28 backtracks
task_social_golfer.txt.o371967.1104:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1104:solve => 0 solutions, 26 backtracks
task_social_golfer.txt.o371967.1105:----------
task_social_golfer.txt.o371967.1105:solve => 1 solutions, 1714 backtracks
task_social_golfer.txt.o371967.1105:4247[+0]/610000 millis.
task_social_golfer.txt.o371967.1105:==========
task_social_golfer.txt.o371967.1106:% Wall time: 610.003485
task_social_golfer.txt.o371967.1106:% Conflicts: 48036
task_social_golfer.txt.o371967.1107:% Wall time: 610.013051
task_social_golfer.txt.o371967.1107:% Conflicts: 353968
task_social_golfer.txt.o371967.1108:611877[+0]/610000 millis.
task_social_golfer.txt.o371967.1108:solve => 0 solutions, 16 backtracks
task_social_golfer.txt.o371967.1109:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.1109:solve => 0 solutions, 21 backtracks
task_social_golfer.txt.o371967.111:----------
task_social_golfer.txt.o371967.111:% Wall time: 0.024887
task_social_golfer.txt.o371967.111:% Conflicts: 1
task_social_golfer.txt.o371967.1110:solve => 0 solutions, 909057 backtracks
task_social_golfer.txt.o371967.1110:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1111:% Wall time: 610.000711
task_social_golfer.txt.o371967.1111:% Conflicts: 28354
task_social_golfer.txt.o371967.1112:% Wall time: 610.000932
task_social_golfer.txt.o371967.1112:% Conflicts: 201968
task_social_golfer.txt.o371967.1113:610009[+0]/610000 millis.
task_social_golfer.txt.o371967.1113:solve => 0 solutions, 7 backtracks
task_social_golfer.txt.o371967.1114:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1114:solve => 0 solutions, 14 backtracks
task_social_golfer.txt.o371967.1115:solve => 0 solutions, 444953 backtracks
task_social_golfer.txt.o371967.1115:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.1116:% Wall time: 610.005594
task_social_golfer.txt.o371967.1116:% Conflicts: 26596
task_social_golfer.txt.o371967.1117:% Wall time: 610.000458
task_social_golfer.txt.o371967.1117:% Conflicts: 248584
task_social_golfer.txt.o371967.1118:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.1118:solve => 0 solutions, 14 backtracks
task_social_golfer.txt.o371967.1119:610025[+0]/610000 millis.
task_social_golfer.txt.o371967.1119:solve => 0 solutions, 16 backtracks
task_social_golfer.txt.o371967.112:----------
task_social_golfer.txt.o371967.112:% Wall time: 0.019121
task_social_golfer.txt.o371967.112:% Conflicts: 2
task_social_golfer.txt.o371967.1120:solve => 0 solutions, 443760 backtracks
task_social_golfer.txt.o371967.1120:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.1121:% Wall time: 610.005823
task_social_golfer.txt.o371967.1121:% Conflicts: 29831
task_social_golfer.txt.o371967.1122:% Wall time: 610.002315
task_social_golfer.txt.o371967.1122:% Conflicts: 106488
task_social_golfer.txt.o371967.1123:610007[+0]/610000 millis.
task_social_golfer.txt.o371967.1123:solve => 0 solutions, 10 backtracks
task_social_golfer.txt.o371967.1124:610007[+0]/610000 millis.
task_social_golfer.txt.o371967.1124:solve => 0 solutions, 10 backtracks
task_social_golfer.txt.o371967.1125:solve => 0 solutions, 161487 backtracks
task_social_golfer.txt.o371967.1125:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.1126:----------
task_social_golfer.txt.o371967.1126:% Wall time: 0.105170
task_social_golfer.txt.o371967.1126:% Conflicts: 1
task_social_golfer.txt.o371967.1127:----------
task_social_golfer.txt.o371967.1127:% Wall time: 0.100618
task_social_golfer.txt.o371967.1127:% Conflicts: 2
task_social_golfer.txt.o371967.1128:----------
task_social_golfer.txt.o371967.1128:94242[+0]/610000 millis.
task_social_golfer.txt.o371967.1128:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.1128:==========
task_social_golfer.txt.o371967.1129:----------
task_social_golfer.txt.o371967.1129:94545[+0]/610000 millis.
task_social_golfer.txt.o371967.1129:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.1129:==========
task_social_golfer.txt.o371967.113:----------
task_social_golfer.txt.o371967.113:6440[+0]/610000 millis.
task_social_golfer.txt.o371967.113:solve => 1 solutions, 14 backtracks
task_social_golfer.txt.o371967.113:==========
task_social_golfer.txt.o371967.1130:----------
task_social_golfer.txt.o371967.1130:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1130:492[+0]/610000 millis.
task_social_golfer.txt.o371967.1130:==========
task_social_golfer.txt.o371967.1131:----------
task_social_golfer.txt.o371967.1131:% Wall time: 0.249952
task_social_golfer.txt.o371967.1131:% Conflicts: 1
task_social_golfer.txt.o371967.1132:----------
task_social_golfer.txt.o371967.1132:% Wall time: 0.263999
task_social_golfer.txt.o371967.1132:% Conflicts: 2
task_social_golfer.txt.o371967.1133:----------
task_social_golfer.txt.o371967.1133:267604[+0]/610000 millis.
task_social_golfer.txt.o371967.1133:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.1133:==========
task_social_golfer.txt.o371967.1134:----------
task_social_golfer.txt.o371967.1134:271399[+0]/610000 millis.
task_social_golfer.txt.o371967.1134:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.1134:==========
task_social_golfer.txt.o371967.1135:----------
task_social_golfer.txt.o371967.1135:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.1135:871[+0]/610000 millis.
task_social_golfer.txt.o371967.1135:==========
task_social_golfer.txt.o371967.1136:----------
task_social_golfer.txt.o371967.1136:% Wall time: 0.700938
task_social_golfer.txt.o371967.1136:% Conflicts: 79
task_social_golfer.txt.o371967.1137:----------
task_social_golfer.txt.o371967.1137:% Wall time: 0.583087
task_social_golfer.txt.o371967.1137:% Conflicts: 89
task_social_golfer.txt.o371967.1138:625761[+0]/610000 millis.
task_social_golfer.txt.o371967.1138:solve => 0 solutions, 12 backtracks
task_social_golfer.txt.o371967.114:----------
task_social_golfer.txt.o371967.114:5310[+0]/610000 millis.
task_social_golfer.txt.o371967.114:solve => 1 solutions, 16 backtracks
task_social_golfer.txt.o371967.114:==========
task_social_golfer.txt.o371967.1140:----------
task_social_golfer.txt.o371967.1140:solve => 1 solutions, 283 backtracks
task_social_golfer.txt.o371967.1140:1129[+0]/610000 millis.
task_social_golfer.txt.o371967.1140:==========
task_social_golfer.txt.o371967.1141:----------
task_social_golfer.txt.o371967.1141:% Wall time: 1.799275
task_social_golfer.txt.o371967.1141:% Conflicts: 86
task_social_golfer.txt.o371967.1142:----------
task_social_golfer.txt.o371967.1142:% Wall time: 33.312337
task_social_golfer.txt.o371967.1142:% Conflicts: 7669
task_social_golfer.txt.o371967.1143:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.1143:solve => 0 solutions, 8 backtracks
task_social_golfer.txt.o371967.1144:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.1144:solve => 0 solutions, 8 backtracks
task_social_golfer.txt.o371967.1145:----------
task_social_golfer.txt.o371967.1145:solve => 1 solutions, 31056 backtracks
task_social_golfer.txt.o371967.1145:36729[+0]/610000 millis.
task_social_golfer.txt.o371967.1145:==========
task_social_golfer.txt.o371967.1146:----------
task_social_golfer.txt.o371967.1146:% Wall time: 2.707122
task_social_golfer.txt.o371967.1146:% Conflicts: 86
task_social_golfer.txt.o371967.1147:----------
task_social_golfer.txt.o371967.1147:% Wall time: 2.735185
task_social_golfer.txt.o371967.1147:% Conflicts: 96
task_social_golfer.txt.o371967.1148:610019[+0]/610000 millis.
task_social_golfer.txt.o371967.1148:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.1149:618474[+0]/610000 millis.
task_social_golfer.txt.o371967.1149:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.115:----------
task_social_golfer.txt.o371967.115:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.115:264[+0]/610000 millis.
task_social_golfer.txt.o371967.115:==========
task_social_golfer.txt.o371967.1150:----------
task_social_golfer.txt.o371967.1150:solve => 1 solutions, 297 backtracks
task_social_golfer.txt.o371967.1150:5430[+0]/610000 millis.
task_social_golfer.txt.o371967.1150:==========
task_social_golfer.txt.o371967.1151:% Wall time: 610.008960
task_social_golfer.txt.o371967.1151:% Conflicts: 22582
task_social_golfer.txt.o371967.1152:% Wall time: 610.001331
task_social_golfer.txt.o371967.1152:% Conflicts: 49795
task_social_golfer.txt.o371967.1153:610012[+0]/610000 millis.
task_social_golfer.txt.o371967.1153:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.1154:610007[+0]/610000 millis.
task_social_golfer.txt.o371967.1154:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.1155:solve => 0 solutions, 111756 backtracks
task_social_golfer.txt.o371967.1155:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.1156:% Wall time: 610.072240
task_social_golfer.txt.o371967.1156:% Conflicts: 13938
task_social_golfer.txt.o371967.1157:% Wall time: 610.009364
task_social_golfer.txt.o371967.1157:% Conflicts: 33931
task_social_golfer.txt.o371967.1158:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1158:610034[+0]/610000 millis.
task_social_golfer.txt.o371967.1159:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1159:610039[+0]/610000 millis.
task_social_golfer.txt.o371967.116:----------
task_social_golfer.txt.o371967.116:% Wall time: 0.000741
task_social_golfer.txt.o371967.116:% Conflicts: 0
task_social_golfer.txt.o371967.1160:solve => 0 solutions, 80588 backtracks
task_social_golfer.txt.o371967.1160:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.1161:% Wall time: 610.013862
task_social_golfer.txt.o371967.1161:% Conflicts: 13701
task_social_golfer.txt.o371967.1162:% Wall time: 610.005574
task_social_golfer.txt.o371967.1162:% Conflicts: 34221
task_social_golfer.txt.o371967.1163:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1163:610061[+0]/610000 millis.
task_social_golfer.txt.o371967.1164:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1164:610051[+0]/610000 millis.
task_social_golfer.txt.o371967.1165:INFO: solve => 0 solutions, 51385 backtracks
task_social_golfer.txt.o371967.1165:INFO: 610018[+0]/610000 millis.
task_social_golfer.txt.o371967.1166:% Wall time: 610.003588
task_social_golfer.txt.o371967.1166:% Conflicts: 11475
task_social_golfer.txt.o371967.1167:% Wall time: 610.014833
task_social_golfer.txt.o371967.1167:% Conflicts: 24730
task_social_golfer.txt.o371967.1168:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1168:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.1169:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1169:610029[+0]/610000 millis.
task_social_golfer.txt.o371967.117:----------
task_social_golfer.txt.o371967.117:% Wall time: 0.002105
task_social_golfer.txt.o371967.117:% Conflicts: 0
task_social_golfer.txt.o371967.1170:INFO: solve => 0 solutions, 37660 backtracks
task_social_golfer.txt.o371967.1170:INFO: 610005[+0]/610000 millis.
task_social_golfer.txt.o371967.1171:% Wall time: 610.010702
task_social_golfer.txt.o371967.1171:% Conflicts: 9429
task_social_golfer.txt.o371967.1172:% Wall time: 610.012493
task_social_golfer.txt.o371967.1172:% Conflicts: 23360
task_social_golfer.txt.o371967.1173:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1173:610038[+0]/610000 millis.
task_social_golfer.txt.o371967.1174:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1174:610087[+0]/610000 millis.
task_social_golfer.txt.o371967.1175:INFO: solve => 0 solutions, 31964 backtracks
task_social_golfer.txt.o371967.1175:INFO: 610051[+0]/610000 millis.
task_social_golfer.txt.o371967.1176:----------
task_social_golfer.txt.o371967.1176:% Wall time: 0.285298
task_social_golfer.txt.o371967.1176:% Conflicts: 1
task_social_golfer.txt.o371967.1177:----------
task_social_golfer.txt.o371967.1177:% Wall time: 0.269946
task_social_golfer.txt.o371967.1177:% Conflicts: 3
task_social_golfer.txt.o371967.1178:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.1178:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.1179:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1179:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.118:----------
task_social_golfer.txt.o371967.118:109[+0]/610000 millis.
task_social_golfer.txt.o371967.118:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.118:==========
task_social_golfer.txt.o371967.1180:----------
task_social_golfer.txt.o371967.1180:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1180:1214[+0]/610000 millis.
task_social_golfer.txt.o371967.1180:==========
task_social_golfer.txt.o371967.1181:----------
task_social_golfer.txt.o371967.1181:% Wall time: 0.712582
task_social_golfer.txt.o371967.1181:% Conflicts: 5
task_social_golfer.txt.o371967.1182:----------
task_social_golfer.txt.o371967.1182:% Wall time: 0.708705
task_social_golfer.txt.o371967.1182:% Conflicts: 7
task_social_golfer.txt.o371967.1183:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1183:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1184:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1184:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1185:----------
task_social_golfer.txt.o371967.1185:solve => 1 solutions, 15 backtracks
task_social_golfer.txt.o371967.1185:1599[+0]/610000 millis.
task_social_golfer.txt.o371967.1185:==========
task_social_golfer.txt.o371967.1186:----------
task_social_golfer.txt.o371967.1186:% Wall time: 1.381616
task_social_golfer.txt.o371967.1186:% Conflicts: 9
task_social_golfer.txt.o371967.1187:----------
task_social_golfer.txt.o371967.1187:% Wall time: 1.629194
task_social_golfer.txt.o371967.1187:% Conflicts: 13
task_social_golfer.txt.o371967.1188:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1188:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1189:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1189:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.119:----------
task_social_golfer.txt.o371967.119:105[+0]/610000 millis.
task_social_golfer.txt.o371967.119:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.119:==========
task_social_golfer.txt.o371967.1190:----------
task_social_golfer.txt.o371967.1190:solve => 1 solutions, 51 backtracks
task_social_golfer.txt.o371967.1190:2400[+0]/610000 millis.
task_social_golfer.txt.o371967.1190:==========
task_social_golfer.txt.o371967.1191:----------
task_social_golfer.txt.o371967.1191:% Wall time: 8.785858
task_social_golfer.txt.o371967.1191:% Conflicts: 441
task_social_golfer.txt.o371967.1192:----------
task_social_golfer.txt.o371967.1192:% Wall time: 8.799540
task_social_golfer.txt.o371967.1192:% Conflicts: 681
task_social_golfer.txt.o371967.1193:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1193:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1194:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1194:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1195:----------
task_social_golfer.txt.o371967.1195:solve => 1 solutions, 1748 backtracks
task_social_golfer.txt.o371967.1195:12768[+0]/610000 millis.
task_social_golfer.txt.o371967.1195:==========
task_social_golfer.txt.o371967.1196:% Wall time: 610.011284
task_social_golfer.txt.o371967.1196:% Conflicts: 18041
task_social_golfer.txt.o371967.1197:% Wall time: 610.006923
task_social_golfer.txt.o371967.1197:% Conflicts: 30414
task_social_golfer.txt.o371967.1198:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1198:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1199:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1199:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.12:----------
task_social_golfer.txt.o371967.12:% Wall time: 0.008561
task_social_golfer.txt.o371967.12:% Conflicts: 0
task_social_golfer.txt.o371967.120:----------
task_social_golfer.txt.o371967.120:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.120:28[+0]/610000 millis.
task_social_golfer.txt.o371967.120:==========
task_social_golfer.txt.o371967.1200:INFO: solve => 0 solutions, 64847 backtracks
task_social_golfer.txt.o371967.1200:INFO: 610019[+0]/610000 millis.
task_social_golfer.txt.o371967.1201:% Wall time: 610.006372
task_social_golfer.txt.o371967.1201:% Conflicts: 12077
task_social_golfer.txt.o371967.1202:% Wall time: 610.031288
task_social_golfer.txt.o371967.1202:% Conflicts: 21223
task_social_golfer.txt.o371967.1203:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1203:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1204:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1204:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1205:INFO: solve => 0 solutions, 36401 backtracks
task_social_golfer.txt.o371967.1205:INFO: 610011[+0]/610000 millis.
task_social_golfer.txt.o371967.1206:% Wall time: 610.020130
task_social_golfer.txt.o371967.1206:% Conflicts: 9742
task_social_golfer.txt.o371967.1207:% Wall time: 610.071528
task_social_golfer.txt.o371967.1207:% Conflicts: 12598
task_social_golfer.txt.o371967.1208:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1209:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.121:----------
task_social_golfer.txt.o371967.121:% Wall time: 0.001170
task_social_golfer.txt.o371967.121:% Conflicts: 0
task_social_golfer.txt.o371967.1210:INFO: solve => 0 solutions, 22388 backtracks
task_social_golfer.txt.o371967.1210:INFO: 610093[+0]/610000 millis.
task_social_golfer.txt.o371967.1211:% Wall time: 610.007737
task_social_golfer.txt.o371967.1211:% Conflicts: 8512
task_social_golfer.txt.o371967.1212:% Wall time: 610.001416
task_social_golfer.txt.o371967.1212:% Conflicts: 10305
task_social_golfer.txt.o371967.1213:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1214:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1215:INFO: solve => 0 solutions, 14304 backtracks
task_social_golfer.txt.o371967.1215:INFO: 610091[+0]/610000 millis.
task_social_golfer.txt.o371967.1216:% Wall time: 610.004555
task_social_golfer.txt.o371967.1216:% Conflicts: 6517
task_social_golfer.txt.o371967.1217:% Wall time: 610.020274
task_social_golfer.txt.o371967.1217:% Conflicts: 7479
task_social_golfer.txt.o371967.1218:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1219:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.122:----------
task_social_golfer.txt.o371967.122:% Wall time: 0.000974
task_social_golfer.txt.o371967.122:% Conflicts: 0
task_social_golfer.txt.o371967.1220:INFO: solve => 0 solutions, 10170 backtracks
task_social_golfer.txt.o371967.1220:INFO: 610085[+0]/610000 millis.
task_social_golfer.txt.o371967.1221:% Wall time: 610.026133
task_social_golfer.txt.o371967.1221:% Conflicts: 5489
task_social_golfer.txt.o371967.1222:% Wall time: 610.038479
task_social_golfer.txt.o371967.1222:% Conflicts: 6256
task_social_golfer.txt.o371967.1223:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1224:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1225:INFO: solve => 0 solutions, 7839 backtracks
task_social_golfer.txt.o371967.1225:INFO: 610160[+0]/610000 millis.
task_social_golfer.txt.o371967.1226:----------
task_social_golfer.txt.o371967.1226:% Wall time: 0.638929
task_social_golfer.txt.o371967.1226:% Conflicts: 1
task_social_golfer.txt.o371967.1227:----------
task_social_golfer.txt.o371967.1227:% Wall time: 0.733334
task_social_golfer.txt.o371967.1227:% Conflicts: 4
task_social_golfer.txt.o371967.1228:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1228:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1229:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1229:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.123:----------
task_social_golfer.txt.o371967.123:159[+0]/610000 millis.
task_social_golfer.txt.o371967.123:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.123:==========
task_social_golfer.txt.o371967.1230:----------
task_social_golfer.txt.o371967.1230:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1230:1208[+0]/610000 millis.
task_social_golfer.txt.o371967.1230:==========
task_social_golfer.txt.o371967.1231:----------
task_social_golfer.txt.o371967.1231:% Wall time: 1.666556
task_social_golfer.txt.o371967.1231:% Conflicts: 1
task_social_golfer.txt.o371967.1232:----------
task_social_golfer.txt.o371967.1232:% Wall time: 1.506432
task_social_golfer.txt.o371967.1232:% Conflicts: 4
task_social_golfer.txt.o371967.1233:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1233:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1234:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1234:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1235:----------
task_social_golfer.txt.o371967.1235:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.1235:2245[+0]/610000 millis.
task_social_golfer.txt.o371967.1235:==========
task_social_golfer.txt.o371967.1236:----------
task_social_golfer.txt.o371967.1236:% Wall time: 168.737769
task_social_golfer.txt.o371967.1236:% Conflicts: 7502
task_social_golfer.txt.o371967.1237:----------
task_social_golfer.txt.o371967.1237:% Wall time: 215.998057
task_social_golfer.txt.o371967.1237:% Conflicts: 11480
task_social_golfer.txt.o371967.1238:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1238:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1239:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1239:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.124:----------
task_social_golfer.txt.o371967.124:164[+0]/610000 millis.
task_social_golfer.txt.o371967.124:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.124:==========
task_social_golfer.txt.o371967.1240:----------
task_social_golfer.txt.o371967.1240:INFO: solve => 1 solutions, 64620 backtracks
task_social_golfer.txt.o371967.1240:INFO: 290734[+0]/610000 millis.
task_social_golfer.txt.o371967.1240:==========
task_social_golfer.txt.o371967.1241:% Wall time: 610.005595
task_social_golfer.txt.o371967.1241:% Conflicts: 13555
task_social_golfer.txt.o371967.1242:% Wall time: 610.028977
task_social_golfer.txt.o371967.1242:% Conflicts: 18656
task_social_golfer.txt.o371967.1243:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1244:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1245:INFO: solve => 0 solutions, 43956 backtracks
task_social_golfer.txt.o371967.1245:INFO: 610012[+0]/610000 millis.
task_social_golfer.txt.o371967.1246:% Wall time: 610.003342
task_social_golfer.txt.o371967.1246:% Conflicts: 8200
task_social_golfer.txt.o371967.1247:% Wall time: 610.066127
task_social_golfer.txt.o371967.1247:% Conflicts: 8376
task_social_golfer.txt.o371967.1248:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1249:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.125:----------
task_social_golfer.txt.o371967.125:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.125:41[+0]/610000 millis.
task_social_golfer.txt.o371967.125:==========
task_social_golfer.txt.o371967.1250:INFO: solve => 0 solutions, 20482 backtracks
task_social_golfer.txt.o371967.1250:INFO: 610054[+0]/610000 millis.
task_social_golfer.txt.o371967.1251:% Wall time: 610.021497
task_social_golfer.txt.o371967.1251:% Conflicts: 5367
task_social_golfer.txt.o371967.1252:% Wall time: 610.038059
task_social_golfer.txt.o371967.1252:% Conflicts: 5716
task_social_golfer.txt.o371967.1253:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1254:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1255:INFO: solve => 0 solutions, 14087 backtracks
task_social_golfer.txt.o371967.1255:INFO: 610019[+0]/610000 millis.
task_social_golfer.txt.o371967.1256:% Wall time: 610.008799
task_social_golfer.txt.o371967.1256:% Conflicts: 4010
task_social_golfer.txt.o371967.1257:% Wall time: 610.018036
task_social_golfer.txt.o371967.1257:% Conflicts: 4125
task_social_golfer.txt.o371967.1258:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1259:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.126:----------
task_social_golfer.txt.o371967.126:% Wall time: 0.001665
task_social_golfer.txt.o371967.126:% Conflicts: 0
task_social_golfer.txt.o371967.1260:INFO: solve => 0 solutions, 10926 backtracks
task_social_golfer.txt.o371967.1260:INFO: 610104[+0]/610000 millis.
task_social_golfer.txt.o371967.1261:% Wall time: 610.064792
task_social_golfer.txt.o371967.1261:% Conflicts: 3770
task_social_golfer.txt.o371967.1262:% Wall time: 610.042257
task_social_golfer.txt.o371967.1262:% Conflicts: 4005
task_social_golfer.txt.o371967.1263:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1264:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1265:INFO: solve => 0 solutions, 7858 backtracks
task_social_golfer.txt.o371967.1265:INFO: 610018[+0]/610000 millis.
task_social_golfer.txt.o371967.1266:% Wall time: 610.063400
task_social_golfer.txt.o371967.1266:% Conflicts: 3010
task_social_golfer.txt.o371967.1267:% Wall time: 610.032628
task_social_golfer.txt.o371967.1267:% Conflicts: 2831
task_social_golfer.txt.o371967.1268:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1269:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.127:----------
task_social_golfer.txt.o371967.127:% Wall time: 0.001405
task_social_golfer.txt.o371967.127:% Conflicts: 0
task_social_golfer.txt.o371967.1270:INFO: solve => 0 solutions, 5813 backtracks
task_social_golfer.txt.o371967.1270:INFO: 610258[+0]/610000 millis.
task_social_golfer.txt.o371967.1271:----------
task_social_golfer.txt.o371967.1271:% Wall time: 1.093494
task_social_golfer.txt.o371967.1271:% Conflicts: 1
task_social_golfer.txt.o371967.1272:----------
task_social_golfer.txt.o371967.1272:% Wall time: 1.217723
task_social_golfer.txt.o371967.1272:% Conflicts: 5
task_social_golfer.txt.o371967.1273:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1273:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1274:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1274:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1275:----------
task_social_golfer.txt.o371967.1275:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1275:1792[+0]/610000 millis.
task_social_golfer.txt.o371967.1275:==========
task_social_golfer.txt.o371967.1276:% Wall time: 610.000350
task_social_golfer.txt.o371967.1276:% Conflicts: 32780
task_social_golfer.txt.o371967.1277:% Wall time: 610.003882
task_social_golfer.txt.o371967.1277:% Conflicts: 67107
task_social_golfer.txt.o371967.1278:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1278:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1279:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1279:611154[+0]/610000 millis.
task_social_golfer.txt.o371967.128:----------
task_social_golfer.txt.o371967.128:221[+0]/610000 millis.
task_social_golfer.txt.o371967.128:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.128:==========
task_social_golfer.txt.o371967.1280:INFO: solve => 0 solutions, 236585 backtracks
task_social_golfer.txt.o371967.1280:INFO: 610003[+0]/610000 millis.
task_social_golfer.txt.o371967.1281:% Wall time: 610.015642
task_social_golfer.txt.o371967.1281:% Conflicts: 9953
task_social_golfer.txt.o371967.1282:% Wall time: 610.011353
task_social_golfer.txt.o371967.1282:% Conflicts: 14780
task_social_golfer.txt.o371967.1285:INFO: solve => 0 solutions, 43619 backtracks
task_social_golfer.txt.o371967.1285:INFO: 610008[+0]/610000 millis.
task_social_golfer.txt.o371967.1286:% Wall time: 610.023056
task_social_golfer.txt.o371967.1286:% Conflicts: 7071
task_social_golfer.txt.o371967.1287:% Wall time: 610.025746
task_social_golfer.txt.o371967.1287:% Conflicts: 9667
task_social_golfer.txt.o371967.1288:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1289:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.129:----------
task_social_golfer.txt.o371967.129:190[+0]/610000 millis.
task_social_golfer.txt.o371967.129:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.129:==========
task_social_golfer.txt.o371967.1290:INFO: solve => 0 solutions, 21181 backtracks
task_social_golfer.txt.o371967.1290:INFO: 610023[+0]/610000 millis.
task_social_golfer.txt.o371967.1291:% Wall time: 610.007622
task_social_golfer.txt.o371967.1291:% Conflicts: 4694
task_social_golfer.txt.o371967.1292:% Wall time: 610.075083
task_social_golfer.txt.o371967.1292:% Conflicts: 6019
task_social_golfer.txt.o371967.1293:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1294:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1295:INFO: solve => 0 solutions, 11961 backtracks
task_social_golfer.txt.o371967.1295:INFO: 610017[+0]/610000 millis.
task_social_golfer.txt.o371967.1296:% Wall time: 610.003659
task_social_golfer.txt.o371967.1296:% Conflicts: 3588
task_social_golfer.txt.o371967.1297:% Wall time: 610.034313
task_social_golfer.txt.o371967.1297:% Conflicts: 4903
task_social_golfer.txt.o371967.1298:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1299:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.13:----------
task_social_golfer.txt.o371967.13:49[+0]/610000 millis.
task_social_golfer.txt.o371967.13:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.13:==========
task_social_golfer.txt.o371967.130:----------
task_social_golfer.txt.o371967.130:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.130:57[+0]/610000 millis.
task_social_golfer.txt.o371967.130:==========
task_social_golfer.txt.o371967.1300:INFO: solve => 0 solutions, 8240 backtracks
task_social_golfer.txt.o371967.1300:INFO: 610016[+0]/610000 millis.
task_social_golfer.txt.o371967.1301:% Wall time: 610.080774
task_social_golfer.txt.o371967.1301:% Conflicts: 3044
task_social_golfer.txt.o371967.1302:% Wall time: 610.070498
task_social_golfer.txt.o371967.1302:% Conflicts: 3807
task_social_golfer.txt.o371967.1305:INFO: solve => 0 solutions, 5931 backtracks
task_social_golfer.txt.o371967.1305:INFO: 610084[+0]/610000 millis.
task_social_golfer.txt.o371967.1306:% Wall time: 610.022865
task_social_golfer.txt.o371967.1306:% Conflicts: 2708
task_social_golfer.txt.o371967.1307:% Wall time: 610.048852
task_social_golfer.txt.o371967.1307:% Conflicts: 3606
task_social_golfer.txt.o371967.131:----------
task_social_golfer.txt.o371967.131:% Wall time: 0.002176
task_social_golfer.txt.o371967.131:% Conflicts: 0
task_social_golfer.txt.o371967.1310:INFO: solve => 0 solutions, 4444 backtracks
task_social_golfer.txt.o371967.1310:INFO: 610245[+0]/610000 millis.
task_social_golfer.txt.o371967.1311:% Wall time: 610.044686
task_social_golfer.txt.o371967.1311:% Conflicts: 2068
task_social_golfer.txt.o371967.1312:% Wall time: 610.099620
task_social_golfer.txt.o371967.1312:% Conflicts: 2955
task_social_golfer.txt.o371967.1315:INFO: solve => 0 solutions, 3814 backtracks
task_social_golfer.txt.o371967.1315:INFO: 610089[+0]/610000 millis.
task_social_golfer.txt.o371967.1316:----------
task_social_golfer.txt.o371967.1316:% Wall time: 1.806044
task_social_golfer.txt.o371967.1316:% Conflicts: 1
task_social_golfer.txt.o371967.1317:----------
task_social_golfer.txt.o371967.1317:% Wall time: 1.778172
task_social_golfer.txt.o371967.1317:% Conflicts: 6
task_social_golfer.txt.o371967.1318:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1318:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.1319:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.1319:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.132:----------
task_social_golfer.txt.o371967.132:% Wall time: 0.001845
task_social_golfer.txt.o371967.132:% Conflicts: 0
task_social_golfer.txt.o371967.1320:----------
task_social_golfer.txt.o371967.1320:INFO: solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1320:INFO: 2375[+0]/610000 millis.
task_social_golfer.txt.o371967.1320:==========
task_social_golfer.txt.o371967.1321:% Wall time: 610.002477
task_social_golfer.txt.o371967.1321:% Conflicts: 22356
task_social_golfer.txt.o371967.1322:% Wall time: 610.006842
task_social_golfer.txt.o371967.1322:% Conflicts: 39852
task_social_golfer.txt.o371967.1323:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1324:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1325:INFO: solve => 0 solutions, 211529 backtracks
task_social_golfer.txt.o371967.1325:INFO: 610017[+0]/610000 millis.
task_social_golfer.txt.o371967.1326:% Wall time: 610.044968
task_social_golfer.txt.o371967.1326:% Conflicts: 8806
task_social_golfer.txt.o371967.1327:% Wall time: 610.052697
task_social_golfer.txt.o371967.1327:% Conflicts: 10342
task_social_golfer.txt.o371967.1328:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1329:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.133:----------
task_social_golfer.txt.o371967.133:194[+0]/610000 millis.
task_social_golfer.txt.o371967.133:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.133:==========
task_social_golfer.txt.o371967.1330:INFO: solve => 0 solutions, 49647 backtracks
task_social_golfer.txt.o371967.1330:INFO: 610040[+0]/610000 millis.
task_social_golfer.txt.o371967.1331:% Wall time: 610.070142
task_social_golfer.txt.o371967.1331:% Conflicts: 4952
task_social_golfer.txt.o371967.1332:% Wall time: 610.033637
task_social_golfer.txt.o371967.1332:% Conflicts: 6484
task_social_golfer.txt.o371967.1333:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1334:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1335:INFO: solve => 0 solutions, 26864 backtracks
task_social_golfer.txt.o371967.1335:INFO: 610022[+0]/610000 millis.
task_social_golfer.txt.o371967.1336:% Wall time: 610.109208
task_social_golfer.txt.o371967.1336:% Conflicts: 3734
task_social_golfer.txt.o371967.1337:% Wall time: 610.031355
task_social_golfer.txt.o371967.1337:% Conflicts: 5216
task_social_golfer.txt.o371967.134:----------
task_social_golfer.txt.o371967.134:208[+0]/610000 millis.
task_social_golfer.txt.o371967.134:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.134:==========
task_social_golfer.txt.o371967.1340:INFO: solve => 0 solutions, 15880 backtracks
task_social_golfer.txt.o371967.1340:INFO: 610114[+0]/610000 millis.
task_social_golfer.txt.o371967.1341:% Wall time: 610.005376
task_social_golfer.txt.o371967.1341:% Conflicts: 3127
task_social_golfer.txt.o371967.1342:% Wall time: 610.013298
task_social_golfer.txt.o371967.1342:% Conflicts: 3543
task_social_golfer.txt.o371967.1345:INFO: solve => 0 solutions, 10788 backtracks
task_social_golfer.txt.o371967.1345:INFO: 610079[+0]/610000 millis.
task_social_golfer.txt.o371967.1346:% Wall time: 610.008070
task_social_golfer.txt.o371967.1346:% Conflicts: 1985
task_social_golfer.txt.o371967.1347:% Wall time: 610.129679
task_social_golfer.txt.o371967.1347:% Conflicts: 2916
task_social_golfer.txt.o371967.135:----------
task_social_golfer.txt.o371967.135:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.135:69[+0]/610000 millis.
task_social_golfer.txt.o371967.135:==========
task_social_golfer.txt.o371967.1350:INFO: solve => 0 solutions, 7565 backtracks
task_social_golfer.txt.o371967.1350:INFO: 610152[+0]/610000 millis.
task_social_golfer.txt.o371967.1351:% Wall time: 610.077822
task_social_golfer.txt.o371967.1351:% Conflicts: 2110
task_social_golfer.txt.o371967.1352:% Wall time: 610.050231
task_social_golfer.txt.o371967.1352:% Conflicts: 2238
task_social_golfer.txt.o371967.1355:INFO: solve => 0 solutions, 5538 backtracks
task_social_golfer.txt.o371967.1355:INFO: 610122[+0]/610000 millis.
task_social_golfer.txt.o371967.1356:% Wall time: 610.227953
task_social_golfer.txt.o371967.1356:% Conflicts: 1523
task_social_golfer.txt.o371967.1357:% Wall time: 610.035485
task_social_golfer.txt.o371967.1357:% Conflicts: 2207
task_social_golfer.txt.o371967.136:----------
task_social_golfer.txt.o371967.136:% Wall time: 0.002855
task_social_golfer.txt.o371967.136:% Conflicts: 0
task_social_golfer.txt.o371967.1360:INFO: solve => 0 solutions, 4429 backtracks
task_social_golfer.txt.o371967.1360:INFO: 610161[+0]/610000 millis.
task_social_golfer.txt.o371967.1361:----------
task_social_golfer.txt.o371967.1361:% Wall time: 2.831209
task_social_golfer.txt.o371967.1361:% Conflicts: 1
task_social_golfer.txt.o371967.1362:----------
task_social_golfer.txt.o371967.1362:% Wall time: 2.806524
task_social_golfer.txt.o371967.1362:% Conflicts: 7
task_social_golfer.txt.o371967.1363:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1364:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1365:----------
task_social_golfer.txt.o371967.1365:INFO: solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.1365:INFO: 3797[+0]/610000 millis.
task_social_golfer.txt.o371967.1365:==========
task_social_golfer.txt.o371967.1366:----------
task_social_golfer.txt.o371967.1366:% Wall time: 6.168391
task_social_golfer.txt.o371967.1366:% Conflicts: 30
task_social_golfer.txt.o371967.1367:----------
task_social_golfer.txt.o371967.1367:% Wall time: 6.489863
task_social_golfer.txt.o371967.1367:% Conflicts: 45
task_social_golfer.txt.o371967.1368:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1369:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.137:----------
task_social_golfer.txt.o371967.137:% Wall time: 0.002364
task_social_golfer.txt.o371967.137:% Conflicts: 0
task_social_golfer.txt.o371967.1370:----------
task_social_golfer.txt.o371967.1370:INFO: solve => 1 solutions, 149 backtracks
task_social_golfer.txt.o371967.1370:INFO: 11777[+0]/610000 millis.
task_social_golfer.txt.o371967.1370:==========
task_social_golfer.txt.o371967.1371:% Wall time: 610.017008
task_social_golfer.txt.o371967.1371:% Conflicts: 36441
task_social_golfer.txt.o371967.1372:% Wall time: 610.005933
task_social_golfer.txt.o371967.1372:% Conflicts: 37861
task_social_golfer.txt.o371967.1373:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1374:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.1375:INFO: solve => 0 solutions, 41932 backtracks
task_social_golfer.txt.o371967.1375:INFO: 610054[+0]/610000 millis.
task_social_golfer.txt.o371967.1376:% Wall time: 610.017730
task_social_golfer.txt.o371967.1376:% Conflicts: 24439
task_social_golfer.txt.o371967.1377:% Wall time: 610.012713
task_social_golfer.txt.o371967.1377:% Conflicts: 27950
task_social_golfer.txt.o371967.138:----------
task_social_golfer.txt.o371967.138:251[+0]/610000 millis.
task_social_golfer.txt.o371967.138:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.138:==========
task_social_golfer.txt.o371967.1380:INFO: solve => 0 solutions, 22036 backtracks
task_social_golfer.txt.o371967.1380:INFO: 610061[+0]/610000 millis.
task_social_golfer.txt.o371967.1381:% Wall time: 610.012860
task_social_golfer.txt.o371967.1381:% Conflicts: 22290
task_social_golfer.txt.o371967.1382:% Wall time: 610.008518
task_social_golfer.txt.o371967.1382:% Conflicts: 22152
task_social_golfer.txt.o371967.1385:INFO: solve => 0 solutions, 14805 backtracks
task_social_golfer.txt.o371967.1385:INFO: 610046[+0]/610000 millis.
task_social_golfer.txt.o371967.1386:% Wall time: 610.098871
task_social_golfer.txt.o371967.1386:% Conflicts: 19318
task_social_golfer.txt.o371967.1387:% Wall time: 610.025888
task_social_golfer.txt.o371967.1387:% Conflicts: 16575
task_social_golfer.txt.o371967.139:----------
task_social_golfer.txt.o371967.139:233[+0]/610000 millis.
task_social_golfer.txt.o371967.139:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.139:==========
task_social_golfer.txt.o371967.1390:INFO: solve => 0 solutions, 10315 backtracks
task_social_golfer.txt.o371967.1390:INFO: 610067[+0]/610000 millis.
task_social_golfer.txt.o371967.1391:% Wall time: 610.000964
task_social_golfer.txt.o371967.1391:% Conflicts: 18908
task_social_golfer.txt.o371967.1392:% Wall time: 610.007521
task_social_golfer.txt.o371967.1392:% Conflicts: 12865
task_social_golfer.txt.o371967.1395:INFO: solve => 0 solutions, 7793 backtracks
task_social_golfer.txt.o371967.1395:INFO: 610119[+0]/610000 millis.
task_social_golfer.txt.o371967.1396:% Wall time: 610.019545
task_social_golfer.txt.o371967.1396:% Conflicts: 15429
task_social_golfer.txt.o371967.1397:% Wall time: 610.028295
task_social_golfer.txt.o371967.1397:% Conflicts: 13586
task_social_golfer.txt.o371967.14:----------
task_social_golfer.txt.o371967.14:36[+0]/610000 millis.
task_social_golfer.txt.o371967.14:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.14:==========
task_social_golfer.txt.o371967.140:----------
task_social_golfer.txt.o371967.140:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.140:78[+0]/610000 millis.
task_social_golfer.txt.o371967.140:==========
task_social_golfer.txt.o371967.1400:INFO: solve => 0 solutions, 5628 backtracks
task_social_golfer.txt.o371967.1400:INFO: 610138[+0]/610000 millis.
task_social_golfer.txt.o371967.1401:% Wall time: 610.005579
task_social_golfer.txt.o371967.1401:% Conflicts: 15440
task_social_golfer.txt.o371967.1402:% Wall time: 610.006117
task_social_golfer.txt.o371967.1402:% Conflicts: 11186
task_social_golfer.txt.o371967.1405:INFO: solve => 0 solutions, 4475 backtracks
task_social_golfer.txt.o371967.1405:INFO: 610075[+0]/610000 millis.
task_social_golfer.txt.o371967.141:----------
task_social_golfer.txt.o371967.141:% Wall time: 0.004010
task_social_golfer.txt.o371967.141:% Conflicts: 1
task_social_golfer.txt.o371967.142:----------
task_social_golfer.txt.o371967.142:% Wall time: 0.002847
task_social_golfer.txt.o371967.142:% Conflicts: 1
task_social_golfer.txt.o371967.143:----------
task_social_golfer.txt.o371967.143:309[+0]/610000 millis.
task_social_golfer.txt.o371967.143:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.143:==========
task_social_golfer.txt.o371967.144:----------
task_social_golfer.txt.o371967.144:269[+0]/610000 millis.
task_social_golfer.txt.o371967.144:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.144:==========
task_social_golfer.txt.o371967.145:----------
task_social_golfer.txt.o371967.145:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.145:103[+0]/610000 millis.
task_social_golfer.txt.o371967.145:==========
task_social_golfer.txt.o371967.146:----------
task_social_golfer.txt.o371967.146:% Wall time: 0.004297
task_social_golfer.txt.o371967.146:% Conflicts: 1
task_social_golfer.txt.o371967.147:----------
task_social_golfer.txt.o371967.147:% Wall time: 0.003569
task_social_golfer.txt.o371967.147:% Conflicts: 1
task_social_golfer.txt.o371967.148:----------
task_social_golfer.txt.o371967.148:403[+0]/610000 millis.
task_social_golfer.txt.o371967.148:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.148:==========
task_social_golfer.txt.o371967.149:----------
task_social_golfer.txt.o371967.149:394[+0]/610000 millis.
task_social_golfer.txt.o371967.149:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.149:==========
task_social_golfer.txt.o371967.15:----------
task_social_golfer.txt.o371967.15:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.15:20[+0]/610000 millis.
task_social_golfer.txt.o371967.15:==========
task_social_golfer.txt.o371967.150:----------
task_social_golfer.txt.o371967.150:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.150:111[+0]/610000 millis.
task_social_golfer.txt.o371967.150:==========
task_social_golfer.txt.o371967.151:----------
task_social_golfer.txt.o371967.151:% Wall time: 0.004833
task_social_golfer.txt.o371967.151:% Conflicts: 1
task_social_golfer.txt.o371967.152:----------
task_social_golfer.txt.o371967.152:% Wall time: 0.004396
task_social_golfer.txt.o371967.152:% Conflicts: 1
task_social_golfer.txt.o371967.153:----------
task_social_golfer.txt.o371967.153:604[+0]/610000 millis.
task_social_golfer.txt.o371967.153:solve => 1 solutions, 21 backtracks
task_social_golfer.txt.o371967.153:==========
task_social_golfer.txt.o371967.154:----------
task_social_golfer.txt.o371967.154:485[+0]/610000 millis.
task_social_golfer.txt.o371967.154:solve => 1 solutions, 15 backtracks
task_social_golfer.txt.o371967.154:==========
task_social_golfer.txt.o371967.155:----------
task_social_golfer.txt.o371967.155:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.155:109[+0]/610000 millis.
task_social_golfer.txt.o371967.155:==========
task_social_golfer.txt.o371967.156:----------
task_social_golfer.txt.o371967.156:% Wall time: 0.003366
task_social_golfer.txt.o371967.156:% Conflicts: 1
task_social_golfer.txt.o371967.157:----------
task_social_golfer.txt.o371967.157:% Wall time: 0.003442
task_social_golfer.txt.o371967.157:% Conflicts: 1
task_social_golfer.txt.o371967.158:----------
task_social_golfer.txt.o371967.158:470[+0]/610000 millis.
task_social_golfer.txt.o371967.158:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.158:==========
task_social_golfer.txt.o371967.159:----------
task_social_golfer.txt.o371967.159:431[+0]/610000 millis.
task_social_golfer.txt.o371967.159:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.159:==========
task_social_golfer.txt.o371967.16:----------
task_social_golfer.txt.o371967.16:% Wall time: 0.002030
task_social_golfer.txt.o371967.16:% Conflicts: 0
task_social_golfer.txt.o371967.160:----------
task_social_golfer.txt.o371967.160:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.160:86[+0]/610000 millis.
task_social_golfer.txt.o371967.160:==========
task_social_golfer.txt.o371967.161:----------
task_social_golfer.txt.o371967.161:% Wall time: 0.006743
task_social_golfer.txt.o371967.161:% Conflicts: 1
task_social_golfer.txt.o371967.162:----------
task_social_golfer.txt.o371967.162:% Wall time: 0.005669
task_social_golfer.txt.o371967.162:% Conflicts: 1
task_social_golfer.txt.o371967.163:----------
task_social_golfer.txt.o371967.163:657[+0]/610000 millis.
task_social_golfer.txt.o371967.163:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.163:==========
task_social_golfer.txt.o371967.164:----------
task_social_golfer.txt.o371967.164:619[+0]/610000 millis.
task_social_golfer.txt.o371967.164:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.164:==========
task_social_golfer.txt.o371967.165:----------
task_social_golfer.txt.o371967.165:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.165:127[+0]/610000 millis.
task_social_golfer.txt.o371967.165:==========
task_social_golfer.txt.o371967.166:----------
task_social_golfer.txt.o371967.166:% Wall time: 0.010897
task_social_golfer.txt.o371967.166:% Conflicts: 3
task_social_golfer.txt.o371967.167:----------
task_social_golfer.txt.o371967.167:% Wall time: 0.009165
task_social_golfer.txt.o371967.167:% Conflicts: 3
task_social_golfer.txt.o371967.168:----------
task_social_golfer.txt.o371967.168:1322[+0]/610000 millis.
task_social_golfer.txt.o371967.168:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.168:==========
task_social_golfer.txt.o371967.169:----------
task_social_golfer.txt.o371967.169:1249[+0]/610000 millis.
task_social_golfer.txt.o371967.169:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.169:==========
task_social_golfer.txt.o371967.17:----------
task_social_golfer.txt.o371967.17:% Wall time: 0.003648
task_social_golfer.txt.o371967.17:% Conflicts: 0
task_social_golfer.txt.o371967.170:----------
task_social_golfer.txt.o371967.170:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.170:192[+0]/610000 millis.
task_social_golfer.txt.o371967.170:==========
task_social_golfer.txt.o371967.171:----------
task_social_golfer.txt.o371967.171:% Wall time: 0.016969
task_social_golfer.txt.o371967.171:% Conflicts: 6
task_social_golfer.txt.o371967.172:----------
task_social_golfer.txt.o371967.172:% Wall time: 0.013885
task_social_golfer.txt.o371967.172:% Conflicts: 6
task_social_golfer.txt.o371967.173:----------
task_social_golfer.txt.o371967.173:2256[+0]/610000 millis.
task_social_golfer.txt.o371967.173:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.173:==========
task_social_golfer.txt.o371967.174:----------
task_social_golfer.txt.o371967.174:2569[+0]/610000 millis.
task_social_golfer.txt.o371967.174:solve => 1 solutions, 21 backtracks
task_social_golfer.txt.o371967.174:==========
task_social_golfer.txt.o371967.175:----------
task_social_golfer.txt.o371967.175:solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.175:221[+0]/610000 millis.
task_social_golfer.txt.o371967.175:==========
task_social_golfer.txt.o371967.176:----------
task_social_golfer.txt.o371967.176:% Wall time: 1.744315
task_social_golfer.txt.o371967.176:% Conflicts: 929
task_social_golfer.txt.o371967.177:----------
task_social_golfer.txt.o371967.177:% Wall time: 1.115713
task_social_golfer.txt.o371967.177:% Conflicts: 1037
task_social_golfer.txt.o371967.178:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.178:solve => 0 solutions, 2895 backtracks
task_social_golfer.txt.o371967.179:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.179:solve => 0 solutions, 3056 backtracks
task_social_golfer.txt.o371967.18:----------
task_social_golfer.txt.o371967.18:56[+0]/610000 millis.
task_social_golfer.txt.o371967.18:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.18:==========
task_social_golfer.txt.o371967.180:----------
task_social_golfer.txt.o371967.180:solve => 1 solutions, 3816 backtracks
task_social_golfer.txt.o371967.180:2263[+0]/610000 millis.
task_social_golfer.txt.o371967.180:==========
task_social_golfer.txt.o371967.181:----------
task_social_golfer.txt.o371967.181:% Wall time: 7.131441
task_social_golfer.txt.o371967.181:% Conflicts: 3047
task_social_golfer.txt.o371967.182:----------
task_social_golfer.txt.o371967.182:% Wall time: 7.650739
task_social_golfer.txt.o371967.182:% Conflicts: 6148
task_social_golfer.txt.o371967.183:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.183:solve => 0 solutions, 2605 backtracks
task_social_golfer.txt.o371967.184:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.184:solve => 0 solutions, 2017 backtracks
task_social_golfer.txt.o371967.185:----------
task_social_golfer.txt.o371967.185:solve => 1 solutions, 19891 backtracks
task_social_golfer.txt.o371967.185:8804[+0]/610000 millis.
task_social_golfer.txt.o371967.185:==========
task_social_golfer.txt.o371967.186:----------
task_social_golfer.txt.o371967.186:% Wall time: 0.011004
task_social_golfer.txt.o371967.186:% Conflicts: 1
task_social_golfer.txt.o371967.187:----------
task_social_golfer.txt.o371967.187:% Wall time: 0.009705
task_social_golfer.txt.o371967.187:% Conflicts: 2
task_social_golfer.txt.o371967.188:----------
task_social_golfer.txt.o371967.188:2546[+0]/610000 millis.
task_social_golfer.txt.o371967.188:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.188:==========
task_social_golfer.txt.o371967.189:----------
task_social_golfer.txt.o371967.189:2653[+0]/610000 millis.
task_social_golfer.txt.o371967.189:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.189:==========
task_social_golfer.txt.o371967.19:----------
task_social_golfer.txt.o371967.19:55[+0]/610000 millis.
task_social_golfer.txt.o371967.19:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.19:==========
task_social_golfer.txt.o371967.190:----------
task_social_golfer.txt.o371967.190:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.190:130[+0]/610000 millis.
task_social_golfer.txt.o371967.190:==========
task_social_golfer.txt.o371967.191:----------
task_social_golfer.txt.o371967.191:% Wall time: 0.023620
task_social_golfer.txt.o371967.191:% Conflicts: 1
task_social_golfer.txt.o371967.192:----------
task_social_golfer.txt.o371967.192:% Wall time: 0.019614
task_social_golfer.txt.o371967.192:% Conflicts: 2
task_social_golfer.txt.o371967.193:----------
task_social_golfer.txt.o371967.193:5645[+0]/610000 millis.
task_social_golfer.txt.o371967.193:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.193:==========
task_social_golfer.txt.o371967.194:----------
task_social_golfer.txt.o371967.194:5629[+0]/610000 millis.
task_social_golfer.txt.o371967.194:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.194:==========
task_social_golfer.txt.o371967.195:----------
task_social_golfer.txt.o371967.195:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.195:215[+0]/610000 millis.
task_social_golfer.txt.o371967.195:==========
task_social_golfer.txt.o371967.196:----------
task_social_golfer.txt.o371967.196:% Wall time: 0.077001
task_social_golfer.txt.o371967.196:% Conflicts: 33
task_social_golfer.txt.o371967.197:----------
task_social_golfer.txt.o371967.197:% Wall time: 0.066845
task_social_golfer.txt.o371967.197:% Conflicts: 37
task_social_golfer.txt.o371967.198:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.198:solve => 0 solutions, 722 backtracks
task_social_golfer.txt.o371967.199:----------
task_social_golfer.txt.o371967.199:47587[+0]/610000 millis.
task_social_golfer.txt.o371967.199:solve => 1 solutions, 90 backtracks
task_social_golfer.txt.o371967.199:==========
task_social_golfer.txt.o371967.2:----------
task_social_golfer.txt.o371967.2:% Wall time: 0.001218
task_social_golfer.txt.o371967.2:% Conflicts: 0
task_social_golfer.txt.o371967.20:----------
task_social_golfer.txt.o371967.20:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.20:38[+0]/610000 millis.
task_social_golfer.txt.o371967.20:==========
task_social_golfer.txt.o371967.200:----------
task_social_golfer.txt.o371967.200:solve => 1 solutions, 129 backtracks
task_social_golfer.txt.o371967.200:521[+0]/610000 millis.
task_social_golfer.txt.o371967.200:==========
task_social_golfer.txt.o371967.201:----------
task_social_golfer.txt.o371967.201:% Wall time: 0.136479
task_social_golfer.txt.o371967.201:% Conflicts: 36
task_social_golfer.txt.o371967.202:----------
task_social_golfer.txt.o371967.202:% Wall time: 0.107919
task_social_golfer.txt.o371967.202:% Conflicts: 36
task_social_golfer.txt.o371967.203:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.203:solve => 0 solutions, 307 backtracks
task_social_golfer.txt.o371967.204:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.204:solve => 0 solutions, 388 backtracks
task_social_golfer.txt.o371967.205:----------
task_social_golfer.txt.o371967.205:solve => 1 solutions, 145 backtracks
task_social_golfer.txt.o371967.205:836[+0]/610000 millis.
task_social_golfer.txt.o371967.205:==========
task_social_golfer.txt.o371967.206:% Wall time: 610.002263
task_social_golfer.txt.o371967.206:% Conflicts: 67689
task_social_golfer.txt.o371967.207:% Wall time: 610.000844
task_social_golfer.txt.o371967.207:% Conflicts: 197867
task_social_golfer.txt.o371967.208:610021[+0]/610000 millis.
task_social_golfer.txt.o371967.208:solve => 0 solutions, 157 backtracks
task_social_golfer.txt.o371967.209:610126[+0]/610000 millis.
task_social_golfer.txt.o371967.209:solve => 0 solutions, 164 backtracks
task_social_golfer.txt.o371967.21:----------
task_social_golfer.txt.o371967.21:% Wall time: 0.003381
task_social_golfer.txt.o371967.21:% Conflicts: 0
task_social_golfer.txt.o371967.210:solve => 0 solutions, 480065 backtracks
task_social_golfer.txt.o371967.210:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.211:----------
task_social_golfer.txt.o371967.211:% Wall time: 0.027213
task_social_golfer.txt.o371967.211:% Conflicts: 1
task_social_golfer.txt.o371967.212:----------
task_social_golfer.txt.o371967.212:% Wall time: 0.025145
task_social_golfer.txt.o371967.212:% Conflicts: 3
task_social_golfer.txt.o371967.213:----------
task_social_golfer.txt.o371967.213:17715[+0]/610000 millis.
task_social_golfer.txt.o371967.213:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.213:==========
task_social_golfer.txt.o371967.214:----------
task_social_golfer.txt.o371967.214:17622[+0]/610000 millis.
task_social_golfer.txt.o371967.214:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.214:==========
task_social_golfer.txt.o371967.215:----------
task_social_golfer.txt.o371967.215:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.215:276[+0]/610000 millis.
task_social_golfer.txt.o371967.215:==========
task_social_golfer.txt.o371967.216:----------
task_social_golfer.txt.o371967.216:% Wall time: 0.058335
task_social_golfer.txt.o371967.216:% Conflicts: 1
task_social_golfer.txt.o371967.217:----------
task_social_golfer.txt.o371967.217:% Wall time: 0.048915
task_social_golfer.txt.o371967.217:% Conflicts: 3
task_social_golfer.txt.o371967.218:----------
task_social_golfer.txt.o371967.218:77024[+0]/610000 millis.
task_social_golfer.txt.o371967.218:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.218:==========
task_social_golfer.txt.o371967.219:----------
task_social_golfer.txt.o371967.219:69060[+0]/610000 millis.
task_social_golfer.txt.o371967.219:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.219:==========
task_social_golfer.txt.o371967.22:----------
task_social_golfer.txt.o371967.22:% Wall time: 0.001713
task_social_golfer.txt.o371967.22:% Conflicts: 0
task_social_golfer.txt.o371967.220:----------
task_social_golfer.txt.o371967.220:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.220:542[+0]/610000 millis.
task_social_golfer.txt.o371967.220:==========
task_social_golfer.txt.o371967.221:----------
task_social_golfer.txt.o371967.221:% Wall time: 0.158618
task_social_golfer.txt.o371967.221:% Conflicts: 42
task_social_golfer.txt.o371967.222:----------
task_social_golfer.txt.o371967.222:% Wall time: 0.137268
task_social_golfer.txt.o371967.222:% Conflicts: 50
task_social_golfer.txt.o371967.223:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.223:solve => 0 solutions, 98 backtracks
task_social_golfer.txt.o371967.224:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.224:solve => 0 solutions, 93 backtracks
task_social_golfer.txt.o371967.225:----------
task_social_golfer.txt.o371967.225:solve => 1 solutions, 152 backtracks
task_social_golfer.txt.o371967.225:740[+0]/610000 millis.
task_social_golfer.txt.o371967.225:==========
task_social_golfer.txt.o371967.226:----------
task_social_golfer.txt.o371967.226:% Wall time: 0.207748
task_social_golfer.txt.o371967.226:% Conflicts: 21
task_social_golfer.txt.o371967.227:----------
task_social_golfer.txt.o371967.227:% Wall time: 0.176818
task_social_golfer.txt.o371967.227:% Conflicts: 25
task_social_golfer.txt.o371967.228:----------
task_social_golfer.txt.o371967.228:355256[+0]/610000 millis.
task_social_golfer.txt.o371967.228:solve => 1 solutions, 36 backtracks
task_social_golfer.txt.o371967.228:==========
task_social_golfer.txt.o371967.229:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.229:solve => 0 solutions, 22 backtracks
task_social_golfer.txt.o371967.23:----------
task_social_golfer.txt.o371967.23:71[+0]/610000 millis.
task_social_golfer.txt.o371967.23:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.23:==========
task_social_golfer.txt.o371967.230:----------
task_social_golfer.txt.o371967.230:solve => 1 solutions, 80 backtracks
task_social_golfer.txt.o371967.230:976[+0]/610000 millis.
task_social_golfer.txt.o371967.230:==========
task_social_golfer.txt.o371967.231:----------
task_social_golfer.txt.o371967.231:% Wall time: 0.244674
task_social_golfer.txt.o371967.231:% Conflicts: 6
task_social_golfer.txt.o371967.232:----------
task_social_golfer.txt.o371967.232:% Wall time: 0.179690
task_social_golfer.txt.o371967.232:% Conflicts: 10
task_social_golfer.txt.o371967.233:610011[+0]/610000 millis.
task_social_golfer.txt.o371967.233:solve => 0 solutions, 7 backtracks
task_social_golfer.txt.o371967.234:612347[+0]/610000 millis.
task_social_golfer.txt.o371967.234:solve => 0 solutions, 7 backtracks
task_social_golfer.txt.o371967.235:----------
task_social_golfer.txt.o371967.235:solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.235:930[+0]/610000 millis.
task_social_golfer.txt.o371967.235:==========
task_social_golfer.txt.o371967.236:----------
task_social_golfer.txt.o371967.236:% Wall time: 0.000982
task_social_golfer.txt.o371967.236:% Conflicts: 0
task_social_golfer.txt.o371967.237:----------
task_social_golfer.txt.o371967.237:% Wall time: 0.000791
task_social_golfer.txt.o371967.237:% Conflicts: 0
task_social_golfer.txt.o371967.238:----------
task_social_golfer.txt.o371967.238:123[+0]/610000 millis.
task_social_golfer.txt.o371967.238:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.238:==========
task_social_golfer.txt.o371967.239:----------
task_social_golfer.txt.o371967.239:153[+0]/610000 millis.
task_social_golfer.txt.o371967.239:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.239:==========
task_social_golfer.txt.o371967.24:----------
task_social_golfer.txt.o371967.24:89[+0]/610000 millis.
task_social_golfer.txt.o371967.24:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.24:==========
task_social_golfer.txt.o371967.240:----------
task_social_golfer.txt.o371967.240:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.240:66[+0]/610000 millis.
task_social_golfer.txt.o371967.240:==========
task_social_golfer.txt.o371967.241:----------
task_social_golfer.txt.o371967.241:% Wall time: 0.001795
task_social_golfer.txt.o371967.241:% Conflicts: 0
task_social_golfer.txt.o371967.242:----------
task_social_golfer.txt.o371967.242:% Wall time: 0.001514
task_social_golfer.txt.o371967.242:% Conflicts: 0
task_social_golfer.txt.o371967.243:----------
task_social_golfer.txt.o371967.243:266[+0]/610000 millis.
task_social_golfer.txt.o371967.243:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.243:==========
task_social_golfer.txt.o371967.244:----------
task_social_golfer.txt.o371967.244:257[+0]/610000 millis.
task_social_golfer.txt.o371967.244:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.244:==========
task_social_golfer.txt.o371967.245:----------
task_social_golfer.txt.o371967.245:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.245:65[+0]/610000 millis.
task_social_golfer.txt.o371967.245:==========
task_social_golfer.txt.o371967.246:----------
task_social_golfer.txt.o371967.246:% Wall time: 0.002717
task_social_golfer.txt.o371967.246:% Conflicts: 0
task_social_golfer.txt.o371967.247:----------
task_social_golfer.txt.o371967.247:% Wall time: 0.002273
task_social_golfer.txt.o371967.247:% Conflicts: 0
task_social_golfer.txt.o371967.248:----------
task_social_golfer.txt.o371967.248:375[+0]/610000 millis.
task_social_golfer.txt.o371967.248:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.248:==========
task_social_golfer.txt.o371967.249:----------
task_social_golfer.txt.o371967.249:264[+0]/610000 millis.
task_social_golfer.txt.o371967.249:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.249:==========
task_social_golfer.txt.o371967.25:----------
task_social_golfer.txt.o371967.25:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.25:26[+0]/610000 millis.
task_social_golfer.txt.o371967.25:==========
task_social_golfer.txt.o371967.250:----------
task_social_golfer.txt.o371967.250:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.250:90[+0]/610000 millis.
task_social_golfer.txt.o371967.250:==========
task_social_golfer.txt.o371967.251:----------
task_social_golfer.txt.o371967.251:% Wall time: 0.003850
task_social_golfer.txt.o371967.251:% Conflicts: 0
task_social_golfer.txt.o371967.252:----------
task_social_golfer.txt.o371967.252:% Wall time: 0.003340
task_social_golfer.txt.o371967.252:% Conflicts: 0
task_social_golfer.txt.o371967.253:----------
task_social_golfer.txt.o371967.253:398[+0]/610000 millis.
task_social_golfer.txt.o371967.253:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.253:==========
task_social_golfer.txt.o371967.254:----------
task_social_golfer.txt.o371967.254:314[+0]/610000 millis.
task_social_golfer.txt.o371967.254:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.254:==========
task_social_golfer.txt.o371967.255:----------
task_social_golfer.txt.o371967.255:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.255:87[+0]/610000 millis.
task_social_golfer.txt.o371967.255:==========
task_social_golfer.txt.o371967.256:----------
task_social_golfer.txt.o371967.256:% Wall time: 0.004855
task_social_golfer.txt.o371967.256:% Conflicts: 0
task_social_golfer.txt.o371967.257:----------
task_social_golfer.txt.o371967.257:% Wall time: 0.004089
task_social_golfer.txt.o371967.257:% Conflicts: 0
task_social_golfer.txt.o371967.258:----------
task_social_golfer.txt.o371967.258:462[+0]/610000 millis.
task_social_golfer.txt.o371967.258:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.258:==========
task_social_golfer.txt.o371967.259:----------
task_social_golfer.txt.o371967.259:547[+0]/610000 millis.
task_social_golfer.txt.o371967.259:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.259:==========
task_social_golfer.txt.o371967.26:----------
task_social_golfer.txt.o371967.26:% Wall time: 0.002818
task_social_golfer.txt.o371967.26:% Conflicts: 0
task_social_golfer.txt.o371967.260:----------
task_social_golfer.txt.o371967.260:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.260:123[+0]/610000 millis.
task_social_golfer.txt.o371967.260:==========
task_social_golfer.txt.o371967.261:----------
task_social_golfer.txt.o371967.261:% Wall time: 0.005773
task_social_golfer.txt.o371967.261:% Conflicts: 0
task_social_golfer.txt.o371967.262:----------
task_social_golfer.txt.o371967.262:% Wall time: 0.004876
task_social_golfer.txt.o371967.262:% Conflicts: 0
task_social_golfer.txt.o371967.263:----------
task_social_golfer.txt.o371967.263:421[+0]/610000 millis.
task_social_golfer.txt.o371967.263:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.263:==========
task_social_golfer.txt.o371967.264:----------
task_social_golfer.txt.o371967.264:405[+0]/610000 millis.
task_social_golfer.txt.o371967.264:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.264:==========
task_social_golfer.txt.o371967.265:----------
task_social_golfer.txt.o371967.265:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.265:147[+0]/610000 millis.
task_social_golfer.txt.o371967.265:==========
task_social_golfer.txt.o371967.266:----------
task_social_golfer.txt.o371967.266:% Wall time: 0.006823
task_social_golfer.txt.o371967.266:% Conflicts: 0
task_social_golfer.txt.o371967.267:----------
task_social_golfer.txt.o371967.267:% Wall time: 0.005731
task_social_golfer.txt.o371967.267:% Conflicts: 0
task_social_golfer.txt.o371967.268:----------
task_social_golfer.txt.o371967.268:11721[+0]/610000 millis.
task_social_golfer.txt.o371967.268:solve => 1 solutions, 416 backtracks
task_social_golfer.txt.o371967.268:==========
task_social_golfer.txt.o371967.269:----------
task_social_golfer.txt.o371967.269:6100[+0]/610000 millis.
task_social_golfer.txt.o371967.269:solve => 1 solutions, 402 backtracks
task_social_golfer.txt.o371967.269:==========
task_social_golfer.txt.o371967.27:----------
task_social_golfer.txt.o371967.27:% Wall time: 0.000442
task_social_golfer.txt.o371967.27:% Conflicts: 0
task_social_golfer.txt.o371967.270:----------
task_social_golfer.txt.o371967.270:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.270:182[+0]/610000 millis.
task_social_golfer.txt.o371967.270:==========
task_social_golfer.txt.o371967.271:----------
task_social_golfer.txt.o371967.271:% Wall time: 0.008105
task_social_golfer.txt.o371967.271:% Conflicts: 0
task_social_golfer.txt.o371967.272:----------
task_social_golfer.txt.o371967.272:% Wall time: 0.006850
task_social_golfer.txt.o371967.272:% Conflicts: 0
task_social_golfer.txt.o371967.273:----------
task_social_golfer.txt.o371967.273:8813[+0]/610000 millis.
task_social_golfer.txt.o371967.273:solve => 1 solutions, 232 backtracks
task_social_golfer.txt.o371967.273:==========
task_social_golfer.txt.o371967.274:----------
task_social_golfer.txt.o371967.274:4586[+0]/610000 millis.
task_social_golfer.txt.o371967.274:solve => 1 solutions, 213 backtracks
task_social_golfer.txt.o371967.274:==========
task_social_golfer.txt.o371967.275:----------
task_social_golfer.txt.o371967.275:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.275:160[+0]/610000 millis.
task_social_golfer.txt.o371967.275:==========
task_social_golfer.txt.o371967.276:----------
task_social_golfer.txt.o371967.276:% Wall time: 0.010331
task_social_golfer.txt.o371967.276:% Conflicts: 0
task_social_golfer.txt.o371967.277:----------
task_social_golfer.txt.o371967.277:% Wall time: 0.007742
task_social_golfer.txt.o371967.277:% Conflicts: 0
task_social_golfer.txt.o371967.278:----------
task_social_golfer.txt.o371967.278:1238[+0]/610000 millis.
task_social_golfer.txt.o371967.278:solve => 1 solutions, 30 backtracks
task_social_golfer.txt.o371967.278:==========
task_social_golfer.txt.o371967.279:----------
task_social_golfer.txt.o371967.279:999[+0]/610000 millis.
task_social_golfer.txt.o371967.279:solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.279:==========
task_social_golfer.txt.o371967.28:----------
task_social_golfer.txt.o371967.28:79[+0]/610000 millis.
task_social_golfer.txt.o371967.28:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.28:==========
task_social_golfer.txt.o371967.280:----------
task_social_golfer.txt.o371967.280:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.280:277[+0]/610000 millis.
task_social_golfer.txt.o371967.280:==========
task_social_golfer.txt.o371967.281:----------
task_social_golfer.txt.o371967.281:% Wall time: 0.011539
task_social_golfer.txt.o371967.281:% Conflicts: 0
task_social_golfer.txt.o371967.282:----------
task_social_golfer.txt.o371967.282:% Wall time: 0.008753
task_social_golfer.txt.o371967.282:% Conflicts: 0
task_social_golfer.txt.o371967.283:----------
task_social_golfer.txt.o371967.283:2218[+0]/610000 millis.
task_social_golfer.txt.o371967.283:solve => 1 solutions, 37 backtracks
task_social_golfer.txt.o371967.283:==========
task_social_golfer.txt.o371967.284:----------
task_social_golfer.txt.o371967.284:2019[+0]/610000 millis.
task_social_golfer.txt.o371967.284:solve => 1 solutions, 43 backtracks
task_social_golfer.txt.o371967.284:==========
task_social_golfer.txt.o371967.285:----------
task_social_golfer.txt.o371967.285:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.285:326[+0]/610000 millis.
task_social_golfer.txt.o371967.285:==========
task_social_golfer.txt.o371967.286:----------
task_social_golfer.txt.o371967.286:% Wall time: 0.005727
task_social_golfer.txt.o371967.286:% Conflicts: 1
task_social_golfer.txt.o371967.287:----------
task_social_golfer.txt.o371967.287:% Wall time: 0.005015
task_social_golfer.txt.o371967.287:% Conflicts: 1
task_social_golfer.txt.o371967.288:----------
task_social_golfer.txt.o371967.288:647[+0]/610000 millis.
task_social_golfer.txt.o371967.288:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.288:==========
task_social_golfer.txt.o371967.289:----------
task_social_golfer.txt.o371967.289:580[+0]/610000 millis.
task_social_golfer.txt.o371967.289:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.289:==========
task_social_golfer.txt.o371967.29:----------
task_social_golfer.txt.o371967.29:75[+0]/610000 millis.
task_social_golfer.txt.o371967.29:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.29:==========
task_social_golfer.txt.o371967.290:----------
task_social_golfer.txt.o371967.290:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.290:99[+0]/610000 millis.
task_social_golfer.txt.o371967.290:==========
task_social_golfer.txt.o371967.291:----------
task_social_golfer.txt.o371967.291:% Wall time: 0.013089
task_social_golfer.txt.o371967.291:% Conflicts: 1
task_social_golfer.txt.o371967.292:----------
task_social_golfer.txt.o371967.292:% Wall time: 0.010759
task_social_golfer.txt.o371967.292:% Conflicts: 1
task_social_golfer.txt.o371967.293:----------
task_social_golfer.txt.o371967.293:1267[+0]/610000 millis.
task_social_golfer.txt.o371967.293:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.293:==========
task_social_golfer.txt.o371967.294:----------
task_social_golfer.txt.o371967.294:1238[+0]/610000 millis.
task_social_golfer.txt.o371967.294:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.294:==========
task_social_golfer.txt.o371967.295:----------
task_social_golfer.txt.o371967.295:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.295:152[+0]/610000 millis.
task_social_golfer.txt.o371967.295:==========
task_social_golfer.txt.o371967.296:----------
task_social_golfer.txt.o371967.296:% Wall time: 0.020127
task_social_golfer.txt.o371967.296:% Conflicts: 1
task_social_golfer.txt.o371967.297:----------
task_social_golfer.txt.o371967.297:% Wall time: 0.017168
task_social_golfer.txt.o371967.297:% Conflicts: 1
task_social_golfer.txt.o371967.298:----------
task_social_golfer.txt.o371967.298:2394[+0]/610000 millis.
task_social_golfer.txt.o371967.298:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.298:==========
task_social_golfer.txt.o371967.299:----------
task_social_golfer.txt.o371967.299:2414[+0]/610000 millis.
task_social_golfer.txt.o371967.299:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.299:==========
task_social_golfer.txt.o371967.3:----------
task_social_golfer.txt.o371967.3:12[+0]/610000 millis.
task_social_golfer.txt.o371967.3:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.3:==========
task_social_golfer.txt.o371967.30:----------
task_social_golfer.txt.o371967.30:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.30:24[+0]/610000 millis.
task_social_golfer.txt.o371967.30:==========
task_social_golfer.txt.o371967.300:----------
task_social_golfer.txt.o371967.300:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.300:251[+0]/610000 millis.
task_social_golfer.txt.o371967.300:==========
task_social_golfer.txt.o371967.301:----------
task_social_golfer.txt.o371967.301:% Wall time: 0.029845
task_social_golfer.txt.o371967.301:% Conflicts: 1
task_social_golfer.txt.o371967.302:----------
task_social_golfer.txt.o371967.302:% Wall time: 0.025700
task_social_golfer.txt.o371967.302:% Conflicts: 1
task_social_golfer.txt.o371967.303:----------
task_social_golfer.txt.o371967.303:6904[+0]/610000 millis.
task_social_golfer.txt.o371967.303:solve => 1 solutions, 14 backtracks
task_social_golfer.txt.o371967.303:==========
task_social_golfer.txt.o371967.304:----------
task_social_golfer.txt.o371967.304:7403[+0]/610000 millis.
task_social_golfer.txt.o371967.304:solve => 1 solutions, 17 backtracks
task_social_golfer.txt.o371967.304:==========
task_social_golfer.txt.o371967.305:----------
task_social_golfer.txt.o371967.305:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.305:312[+0]/610000 millis.
task_social_golfer.txt.o371967.305:==========
task_social_golfer.txt.o371967.306:----------
task_social_golfer.txt.o371967.306:% Wall time: 0.044830
task_social_golfer.txt.o371967.306:% Conflicts: 2
task_social_golfer.txt.o371967.307:----------
task_social_golfer.txt.o371967.307:% Wall time: 0.037270
task_social_golfer.txt.o371967.307:% Conflicts: 2
task_social_golfer.txt.o371967.308:----------
task_social_golfer.txt.o371967.308:23895[+0]/610000 millis.
task_social_golfer.txt.o371967.308:solve => 1 solutions, 48 backtracks
task_social_golfer.txt.o371967.308:==========
task_social_golfer.txt.o371967.309:----------
task_social_golfer.txt.o371967.309:10103[+0]/610000 millis.
task_social_golfer.txt.o371967.309:solve => 1 solutions, 29 backtracks
task_social_golfer.txt.o371967.309:==========
task_social_golfer.txt.o371967.31:----------
task_social_golfer.txt.o371967.31:% Wall time: 0.004063
task_social_golfer.txt.o371967.31:% Conflicts: 1
task_social_golfer.txt.o371967.310:----------
task_social_golfer.txt.o371967.310:solve => 1 solutions, 22 backtracks
task_social_golfer.txt.o371967.310:496[+0]/610000 millis.
task_social_golfer.txt.o371967.310:==========
task_social_golfer.txt.o371967.311:----------
task_social_golfer.txt.o371967.311:% Wall time: 11.000037
task_social_golfer.txt.o371967.311:% Conflicts: 3040
task_social_golfer.txt.o371967.312:----------
task_social_golfer.txt.o371967.312:% Wall time: 7.461367
task_social_golfer.txt.o371967.312:% Conflicts: 4259
task_social_golfer.txt.o371967.313:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.313:solve => 0 solutions, 485 backtracks
task_social_golfer.txt.o371967.314:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.314:solve => 0 solutions, 593 backtracks
task_social_golfer.txt.o371967.315:----------
task_social_golfer.txt.o371967.315:solve => 1 solutions, 13512 backtracks
task_social_golfer.txt.o371967.315:7653[+0]/610000 millis.
task_social_golfer.txt.o371967.315:==========
task_social_golfer.txt.o371967.316:% Wall time: 610.000554
task_social_golfer.txt.o371967.316:% Conflicts: 92986
task_social_golfer.txt.o371967.317:% Wall time: 610.002305
task_social_golfer.txt.o371967.317:% Conflicts: 319457
task_social_golfer.txt.o371967.318:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.318:solve => 0 solutions, 351 backtracks
task_social_golfer.txt.o371967.319:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.319:solve => 0 solutions, 528 backtracks
task_social_golfer.txt.o371967.32:----------
task_social_golfer.txt.o371967.32:% Wall time: 0.000676
task_social_golfer.txt.o371967.32:% Conflicts: 1
task_social_golfer.txt.o371967.320:solve => 0 solutions, 791465 backtracks
task_social_golfer.txt.o371967.320:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.321:----------
task_social_golfer.txt.o371967.321:% Wall time: 0.020141
task_social_golfer.txt.o371967.321:% Conflicts: 1
task_social_golfer.txt.o371967.322:----------
task_social_golfer.txt.o371967.322:% Wall time: 0.017949
task_social_golfer.txt.o371967.322:% Conflicts: 2
task_social_golfer.txt.o371967.323:----------
task_social_golfer.txt.o371967.323:8500[+0]/610000 millis.
task_social_golfer.txt.o371967.323:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.323:==========
task_social_golfer.txt.o371967.324:----------
task_social_golfer.txt.o371967.324:8311[+0]/610000 millis.
task_social_golfer.txt.o371967.324:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.324:==========
task_social_golfer.txt.o371967.325:----------
task_social_golfer.txt.o371967.325:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.325:274[+0]/610000 millis.
task_social_golfer.txt.o371967.325:==========
task_social_golfer.txt.o371967.326:----------
task_social_golfer.txt.o371967.326:% Wall time: 0.047249
task_social_golfer.txt.o371967.326:% Conflicts: 1
task_social_golfer.txt.o371967.327:----------
task_social_golfer.txt.o371967.327:% Wall time: 0.040780
task_social_golfer.txt.o371967.327:% Conflicts: 2
task_social_golfer.txt.o371967.328:----------
task_social_golfer.txt.o371967.328:19167[+0]/610000 millis.
task_social_golfer.txt.o371967.328:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.328:==========
task_social_golfer.txt.o371967.329:----------
task_social_golfer.txt.o371967.329:19849[+0]/610000 millis.
task_social_golfer.txt.o371967.329:solve => 1 solutions, 9 backtracks
task_social_golfer.txt.o371967.329:==========
task_social_golfer.txt.o371967.33:----------
task_social_golfer.txt.o371967.33:122[+0]/610000 millis.
task_social_golfer.txt.o371967.33:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.33:==========
task_social_golfer.txt.o371967.330:----------
task_social_golfer.txt.o371967.330:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.330:448[+0]/610000 millis.
task_social_golfer.txt.o371967.330:==========
task_social_golfer.txt.o371967.331:----------
task_social_golfer.txt.o371967.331:% Wall time: 0.079261
task_social_golfer.txt.o371967.331:% Conflicts: 1
task_social_golfer.txt.o371967.332:----------
task_social_golfer.txt.o371967.332:% Wall time: 0.066412
task_social_golfer.txt.o371967.332:% Conflicts: 2
task_social_golfer.txt.o371967.333:----------
task_social_golfer.txt.o371967.333:41293[+0]/610000 millis.
task_social_golfer.txt.o371967.333:solve => 1 solutions, 21 backtracks
task_social_golfer.txt.o371967.333:==========
task_social_golfer.txt.o371967.334:----------
task_social_golfer.txt.o371967.334:52089[+0]/610000 millis.
task_social_golfer.txt.o371967.334:solve => 1 solutions, 21 backtracks
task_social_golfer.txt.o371967.334:==========
task_social_golfer.txt.o371967.335:----------
task_social_golfer.txt.o371967.335:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.335:524[+0]/610000 millis.
task_social_golfer.txt.o371967.335:==========
task_social_golfer.txt.o371967.336:----------
task_social_golfer.txt.o371967.336:% Wall time: 0.137144
task_social_golfer.txt.o371967.336:% Conflicts: 9
task_social_golfer.txt.o371967.337:----------
task_social_golfer.txt.o371967.337:% Wall time: 0.111044
task_social_golfer.txt.o371967.337:% Conflicts: 10
task_social_golfer.txt.o371967.338:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.338:solve => 0 solutions, 96 backtracks
task_social_golfer.txt.o371967.339:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.339:solve => 0 solutions, 105 backtracks
task_social_golfer.txt.o371967.34:----------
task_social_golfer.txt.o371967.34:116[+0]/610000 millis.
task_social_golfer.txt.o371967.34:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.34:==========
task_social_golfer.txt.o371967.340:----------
task_social_golfer.txt.o371967.340:solve => 1 solutions, 42 backtracks
task_social_golfer.txt.o371967.340:1037[+0]/610000 millis.
task_social_golfer.txt.o371967.340:==========
task_social_golfer.txt.o371967.341:% Wall time: 610.001079
task_social_golfer.txt.o371967.341:% Conflicts: 55297
task_social_golfer.txt.o371967.342:% Wall time: 610.000865
task_social_golfer.txt.o371967.342:% Conflicts: 118184
task_social_golfer.txt.o371967.343:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.343:solve => 0 solutions, 30 backtracks
task_social_golfer.txt.o371967.344:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.344:solve => 0 solutions, 54 backtracks
task_social_golfer.txt.o371967.345:solve => 0 solutions, 415925 backtracks
task_social_golfer.txt.o371967.345:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.346:% Wall time: 610.003700
task_social_golfer.txt.o371967.346:% Conflicts: 48042
task_social_golfer.txt.o371967.347:% Wall time: 610.004418
task_social_golfer.txt.o371967.347:% Conflicts: 84216
task_social_golfer.txt.o371967.348:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.348:solve => 0 solutions, 10 backtracks
task_social_golfer.txt.o371967.349:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.349:solve => 0 solutions, 13 backtracks
task_social_golfer.txt.o371967.35:----------
task_social_golfer.txt.o371967.35:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.35:31[+0]/610000 millis.
task_social_golfer.txt.o371967.35:==========
task_social_golfer.txt.o371967.350:solve => 0 solutions, 181994 backtracks
task_social_golfer.txt.o371967.350:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.351:----------
task_social_golfer.txt.o371967.351:% Wall time: 0.058477
task_social_golfer.txt.o371967.351:% Conflicts: 1
task_social_golfer.txt.o371967.352:----------
task_social_golfer.txt.o371967.352:% Wall time: 0.052482
task_social_golfer.txt.o371967.352:% Conflicts: 3
task_social_golfer.txt.o371967.353:----------
task_social_golfer.txt.o371967.353:69778[+0]/610000 millis.
task_social_golfer.txt.o371967.353:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.353:==========
task_social_golfer.txt.o371967.354:----------
task_social_golfer.txt.o371967.354:67057[+0]/610000 millis.
task_social_golfer.txt.o371967.354:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.354:==========
task_social_golfer.txt.o371967.355:----------
task_social_golfer.txt.o371967.355:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.355:473[+0]/610000 millis.
task_social_golfer.txt.o371967.355:==========
task_social_golfer.txt.o371967.356:----------
task_social_golfer.txt.o371967.356:% Wall time: 0.119866
task_social_golfer.txt.o371967.356:% Conflicts: 1
task_social_golfer.txt.o371967.357:----------
task_social_golfer.txt.o371967.357:% Wall time: 0.127607
task_social_golfer.txt.o371967.357:% Conflicts: 3
task_social_golfer.txt.o371967.358:----------
task_social_golfer.txt.o371967.358:186808[+0]/610000 millis.
task_social_golfer.txt.o371967.358:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.358:==========
task_social_golfer.txt.o371967.359:----------
task_social_golfer.txt.o371967.359:209853[+0]/610000 millis.
task_social_golfer.txt.o371967.359:solve => 1 solutions, 9 backtracks
task_social_golfer.txt.o371967.359:==========
task_social_golfer.txt.o371967.36:----------
task_social_golfer.txt.o371967.36:% Wall time: 0.001831
task_social_golfer.txt.o371967.36:% Conflicts: 1
task_social_golfer.txt.o371967.360:----------
task_social_golfer.txt.o371967.360:solve => 1 solutions, 9 backtracks
task_social_golfer.txt.o371967.360:776[+0]/610000 millis.
task_social_golfer.txt.o371967.360:==========
task_social_golfer.txt.o371967.361:----------
task_social_golfer.txt.o371967.361:% Wall time: 0.649908
task_social_golfer.txt.o371967.361:% Conflicts: 97
task_social_golfer.txt.o371967.362:----------
task_social_golfer.txt.o371967.362:% Wall time: 0.557848
task_social_golfer.txt.o371967.362:% Conflicts: 121
task_social_golfer.txt.o371967.363:621730[+0]/610000 millis.
task_social_golfer.txt.o371967.363:solve => 0 solutions, 19 backtracks
task_social_golfer.txt.o371967.364:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.364:solve => 0 solutions, 10 backtracks
task_social_golfer.txt.o371967.365:----------
task_social_golfer.txt.o371967.365:solve => 1 solutions, 433 backtracks
task_social_golfer.txt.o371967.365:1401[+0]/610000 millis.
task_social_golfer.txt.o371967.365:==========
task_social_golfer.txt.o371967.366:----------
task_social_golfer.txt.o371967.366:% Wall time: 20.257871
task_social_golfer.txt.o371967.366:% Conflicts: 2600
task_social_golfer.txt.o371967.367:----------
task_social_golfer.txt.o371967.367:% Wall time: 20.629129
task_social_golfer.txt.o371967.367:% Conflicts: 3564
task_social_golfer.txt.o371967.368:612433[+0]/610000 millis.
task_social_golfer.txt.o371967.368:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.369:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.369:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.37:----------
task_social_golfer.txt.o371967.37:% Wall time: 0.004163
task_social_golfer.txt.o371967.37:% Conflicts: 1
task_social_golfer.txt.o371967.370:----------
task_social_golfer.txt.o371967.370:solve => 1 solutions, 13982 backtracks
task_social_golfer.txt.o371967.370:30467[+0]/610000 millis.
task_social_golfer.txt.o371967.370:==========
task_social_golfer.txt.o371967.371:% Wall time: 610.010181
task_social_golfer.txt.o371967.371:% Conflicts: 41988
task_social_golfer.txt.o371967.372:% Wall time: 610.003211
task_social_golfer.txt.o371967.372:% Conflicts: 57642
task_social_golfer.txt.o371967.373:613554[+0]/610000 millis.
task_social_golfer.txt.o371967.373:solve => 0 solutions, 5 backtracks
task_social_golfer.txt.o371967.374:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.375:solve => 0 solutions, 122633 backtracks
task_social_golfer.txt.o371967.375:610009[+0]/610000 millis.
task_social_golfer.txt.o371967.376:% Wall time: 610.013110
task_social_golfer.txt.o371967.376:% Conflicts: 36395
task_social_golfer.txt.o371967.377:% Wall time: 610.014104
task_social_golfer.txt.o371967.377:% Conflicts: 48320
task_social_golfer.txt.o371967.378:610018[+0]/610000 millis.
task_social_golfer.txt.o371967.378:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.379:610024[+0]/610000 millis.
task_social_golfer.txt.o371967.379:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.38:----------
task_social_golfer.txt.o371967.38:173[+0]/610000 millis.
task_social_golfer.txt.o371967.38:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.38:==========
task_social_golfer.txt.o371967.380:solve => 0 solutions, 79847 backtracks
task_social_golfer.txt.o371967.380:610015[+0]/610000 millis.
task_social_golfer.txt.o371967.381:----------
task_social_golfer.txt.o371967.381:% Wall time: 0.119833
task_social_golfer.txt.o371967.381:% Conflicts: 1
task_social_golfer.txt.o371967.382:----------
task_social_golfer.txt.o371967.382:% Wall time: 0.109751
task_social_golfer.txt.o371967.382:% Conflicts: 4
task_social_golfer.txt.o371967.383:----------
task_social_golfer.txt.o371967.383:416648[+0]/610000 millis.
task_social_golfer.txt.o371967.383:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.383:==========
task_social_golfer.txt.o371967.384:----------
task_social_golfer.txt.o371967.384:408427[+0]/610000 millis.
task_social_golfer.txt.o371967.384:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.384:==========
task_social_golfer.txt.o371967.385:----------
task_social_golfer.txt.o371967.385:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.385:658[+0]/610000 millis.
task_social_golfer.txt.o371967.385:==========
task_social_golfer.txt.o371967.386:----------
task_social_golfer.txt.o371967.386:% Wall time: 0.331677
task_social_golfer.txt.o371967.386:% Conflicts: 5
task_social_golfer.txt.o371967.387:----------
task_social_golfer.txt.o371967.387:% Wall time: 0.240687
task_social_golfer.txt.o371967.387:% Conflicts: 8
task_social_golfer.txt.o371967.388:617185[+0]/610000 millis.
task_social_golfer.txt.o371967.388:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.389:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.389:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.39:----------
task_social_golfer.txt.o371967.39:161[+0]/610000 millis.
task_social_golfer.txt.o371967.39:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.39:==========
task_social_golfer.txt.o371967.390:----------
task_social_golfer.txt.o371967.390:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.390:919[+0]/610000 millis.
task_social_golfer.txt.o371967.390:==========
task_social_golfer.txt.o371967.391:% Wall time: 610.000289
task_social_golfer.txt.o371967.391:% Conflicts: 69142
task_social_golfer.txt.o371967.392:% Wall time: 610.004426
task_social_golfer.txt.o371967.392:% Conflicts: 145316
task_social_golfer.txt.o371967.393:610027[+0]/610000 millis.
task_social_golfer.txt.o371967.393:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.394:610016[+0]/610000 millis.
task_social_golfer.txt.o371967.394:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.395:solve => 0 solutions, 289404 backtracks
task_social_golfer.txt.o371967.395:610010[+0]/610000 millis.
task_social_golfer.txt.o371967.396:% Wall time: 610.011434
task_social_golfer.txt.o371967.396:% Conflicts: 45584
task_social_golfer.txt.o371967.397:% Wall time: 610.001245
task_social_golfer.txt.o371967.397:% Conflicts: 83170
task_social_golfer.txt.o371967.398:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.398:610162[+0]/610000 millis.
task_social_golfer.txt.o371967.399:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.399:610596[+0]/610000 millis.
task_social_golfer.txt.o371967.4:----------
task_social_golfer.txt.o371967.4:12[+0]/610000 millis.
task_social_golfer.txt.o371967.4:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.4:==========
task_social_golfer.txt.o371967.40:----------
task_social_golfer.txt.o371967.40:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.40:44[+0]/610000 millis.
task_social_golfer.txt.o371967.40:==========
task_social_golfer.txt.o371967.400:solve => 0 solutions, 143208 backtracks
task_social_golfer.txt.o371967.400:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.401:% Wall time: 610.017500
task_social_golfer.txt.o371967.401:% Conflicts: 29751
task_social_golfer.txt.o371967.402:% Wall time: 610.001165
task_social_golfer.txt.o371967.402:% Conflicts: 48719
task_social_golfer.txt.o371967.403:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.403:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.404:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.404:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.405:INFO: solve => 0 solutions, 74202 backtracks
task_social_golfer.txt.o371967.405:INFO: 610051[+0]/610000 millis.
task_social_golfer.txt.o371967.406:% Wall time: 610.016309
task_social_golfer.txt.o371967.406:% Conflicts: 23380
task_social_golfer.txt.o371967.407:% Wall time: 610.004442
task_social_golfer.txt.o371967.407:% Conflicts: 28460
task_social_golfer.txt.o371967.408:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.408:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.409:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.409:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.41:----------
task_social_golfer.txt.o371967.41:% Wall time: 0.001967
task_social_golfer.txt.o371967.41:% Conflicts: 1
task_social_golfer.txt.o371967.410:INFO: solve => 0 solutions, 36777 backtracks
task_social_golfer.txt.o371967.410:INFO: 610107[+0]/610000 millis.
task_social_golfer.txt.o371967.411:----------
task_social_golfer.txt.o371967.411:% Wall time: 0.001510
task_social_golfer.txt.o371967.411:% Conflicts: 0
task_social_golfer.txt.o371967.412:----------
task_social_golfer.txt.o371967.412:% Wall time: 0.001283
task_social_golfer.txt.o371967.412:% Conflicts: 0
task_social_golfer.txt.o371967.413:----------
task_social_golfer.txt.o371967.413:305[+0]/610000 millis.
task_social_golfer.txt.o371967.413:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.413:==========
task_social_golfer.txt.o371967.414:----------
task_social_golfer.txt.o371967.414:276[+0]/610000 millis.
task_social_golfer.txt.o371967.414:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.414:==========
task_social_golfer.txt.o371967.415:----------
task_social_golfer.txt.o371967.415:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.415:46[+0]/610000 millis.
task_social_golfer.txt.o371967.415:==========
task_social_golfer.txt.o371967.416:----------
task_social_golfer.txt.o371967.416:% Wall time: 0.003210
task_social_golfer.txt.o371967.416:% Conflicts: 0
task_social_golfer.txt.o371967.417:----------
task_social_golfer.txt.o371967.417:% Wall time: 0.002819
task_social_golfer.txt.o371967.417:% Conflicts: 0
task_social_golfer.txt.o371967.418:----------
task_social_golfer.txt.o371967.418:569[+0]/610000 millis.
task_social_golfer.txt.o371967.418:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.418:==========
task_social_golfer.txt.o371967.419:----------
task_social_golfer.txt.o371967.419:469[+0]/610000 millis.
task_social_golfer.txt.o371967.419:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.419:==========
task_social_golfer.txt.o371967.42:----------
task_social_golfer.txt.o371967.42:% Wall time: 0.003022
task_social_golfer.txt.o371967.42:% Conflicts: 1
task_social_golfer.txt.o371967.420:----------
task_social_golfer.txt.o371967.420:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.420:97[+0]/610000 millis.
task_social_golfer.txt.o371967.420:==========
task_social_golfer.txt.o371967.421:----------
task_social_golfer.txt.o371967.421:% Wall time: 0.005048
task_social_golfer.txt.o371967.421:% Conflicts: 0
task_social_golfer.txt.o371967.422:----------
task_social_golfer.txt.o371967.422:% Wall time: 0.003758
task_social_golfer.txt.o371967.422:% Conflicts: 0
task_social_golfer.txt.o371967.423:----------
task_social_golfer.txt.o371967.423:630[+0]/610000 millis.
task_social_golfer.txt.o371967.423:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.423:==========
task_social_golfer.txt.o371967.424:----------
task_social_golfer.txt.o371967.424:669[+0]/610000 millis.
task_social_golfer.txt.o371967.424:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.424:==========
task_social_golfer.txt.o371967.425:----------
task_social_golfer.txt.o371967.425:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.425:122[+0]/610000 millis.
task_social_golfer.txt.o371967.425:==========
task_social_golfer.txt.o371967.426:----------
task_social_golfer.txt.o371967.426:% Wall time: 0.006747
task_social_golfer.txt.o371967.426:% Conflicts: 0
task_social_golfer.txt.o371967.427:----------
task_social_golfer.txt.o371967.427:% Wall time: 0.005620
task_social_golfer.txt.o371967.427:% Conflicts: 0
task_social_golfer.txt.o371967.428:----------
task_social_golfer.txt.o371967.428:465[+0]/610000 millis.
task_social_golfer.txt.o371967.428:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.428:==========
task_social_golfer.txt.o371967.429:----------
task_social_golfer.txt.o371967.429:573[+0]/610000 millis.
task_social_golfer.txt.o371967.429:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.429:==========
task_social_golfer.txt.o371967.43:----------
task_social_golfer.txt.o371967.43:237[+0]/610000 millis.
task_social_golfer.txt.o371967.43:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.43:==========
task_social_golfer.txt.o371967.430:----------
task_social_golfer.txt.o371967.430:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.430:217[+0]/610000 millis.
task_social_golfer.txt.o371967.430:==========
task_social_golfer.txt.o371967.431:----------
task_social_golfer.txt.o371967.431:% Wall time: 0.009906
task_social_golfer.txt.o371967.431:% Conflicts: 0
task_social_golfer.txt.o371967.432:----------
task_social_golfer.txt.o371967.432:% Wall time: 0.006765
task_social_golfer.txt.o371967.432:% Conflicts: 0
task_social_golfer.txt.o371967.433:----------
task_social_golfer.txt.o371967.433:783[+0]/610000 millis.
task_social_golfer.txt.o371967.433:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.433:==========
task_social_golfer.txt.o371967.434:----------
task_social_golfer.txt.o371967.434:608[+0]/610000 millis.
task_social_golfer.txt.o371967.434:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.434:==========
task_social_golfer.txt.o371967.435:----------
task_social_golfer.txt.o371967.435:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.435:231[+0]/610000 millis.
task_social_golfer.txt.o371967.435:==========
task_social_golfer.txt.o371967.436:----------
task_social_golfer.txt.o371967.436:% Wall time: 0.011316
task_social_golfer.txt.o371967.436:% Conflicts: 0
task_social_golfer.txt.o371967.437:----------
task_social_golfer.txt.o371967.437:% Wall time: 0.008753
task_social_golfer.txt.o371967.437:% Conflicts: 0
task_social_golfer.txt.o371967.438:----------
task_social_golfer.txt.o371967.438:963[+0]/610000 millis.
task_social_golfer.txt.o371967.438:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.438:==========
task_social_golfer.txt.o371967.439:----------
task_social_golfer.txt.o371967.439:714[+0]/610000 millis.
task_social_golfer.txt.o371967.439:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.439:==========
task_social_golfer.txt.o371967.44:----------
task_social_golfer.txt.o371967.44:215[+0]/610000 millis.
task_social_golfer.txt.o371967.44:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.44:==========
task_social_golfer.txt.o371967.440:----------
task_social_golfer.txt.o371967.440:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.440:253[+0]/610000 millis.
task_social_golfer.txt.o371967.440:==========
task_social_golfer.txt.o371967.441:----------
task_social_golfer.txt.o371967.441:% Wall time: 0.013428
task_social_golfer.txt.o371967.441:% Conflicts: 0
task_social_golfer.txt.o371967.442:----------
task_social_golfer.txt.o371967.442:% Wall time: 0.018065
task_social_golfer.txt.o371967.442:% Conflicts: 0
task_social_golfer.txt.o371967.443:----------
task_social_golfer.txt.o371967.443:1257[+0]/610000 millis.
task_social_golfer.txt.o371967.443:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.443:==========
task_social_golfer.txt.o371967.444:----------
task_social_golfer.txt.o371967.444:1082[+0]/610000 millis.
task_social_golfer.txt.o371967.444:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.444:==========
task_social_golfer.txt.o371967.445:----------
task_social_golfer.txt.o371967.445:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.445:232[+0]/610000 millis.
task_social_golfer.txt.o371967.445:==========
task_social_golfer.txt.o371967.446:----------
task_social_golfer.txt.o371967.446:% Wall time: 0.015364
task_social_golfer.txt.o371967.446:% Conflicts: 0
task_social_golfer.txt.o371967.447:----------
task_social_golfer.txt.o371967.447:% Wall time: 0.013219
task_social_golfer.txt.o371967.447:% Conflicts: 0
task_social_golfer.txt.o371967.448:----------
task_social_golfer.txt.o371967.448:1189[+0]/610000 millis.
task_social_golfer.txt.o371967.448:solve => 1 solutions, 14 backtracks
task_social_golfer.txt.o371967.448:==========
task_social_golfer.txt.o371967.449:----------
task_social_golfer.txt.o371967.449:1259[+0]/610000 millis.
task_social_golfer.txt.o371967.449:solve => 1 solutions, 14 backtracks
task_social_golfer.txt.o371967.449:==========
task_social_golfer.txt.o371967.45:----------
task_social_golfer.txt.o371967.45:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.45:76[+0]/610000 millis.
task_social_golfer.txt.o371967.45:==========
task_social_golfer.txt.o371967.450:----------
task_social_golfer.txt.o371967.450:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.450:249[+0]/610000 millis.
task_social_golfer.txt.o371967.450:==========
task_social_golfer.txt.o371967.451:----------
task_social_golfer.txt.o371967.451:% Wall time: 0.017055
task_social_golfer.txt.o371967.451:% Conflicts: 0
task_social_golfer.txt.o371967.452:----------
task_social_golfer.txt.o371967.452:% Wall time: 0.014193
task_social_golfer.txt.o371967.452:% Conflicts: 0
task_social_golfer.txt.o371967.453:----------
task_social_golfer.txt.o371967.453:1999[+0]/610000 millis.
task_social_golfer.txt.o371967.453:solve => 1 solutions, 20 backtracks
task_social_golfer.txt.o371967.453:==========
task_social_golfer.txt.o371967.454:----------
task_social_golfer.txt.o371967.454:1630[+0]/610000 millis.
task_social_golfer.txt.o371967.454:solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.454:==========
task_social_golfer.txt.o371967.455:----------
task_social_golfer.txt.o371967.455:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.455:406[+0]/610000 millis.
task_social_golfer.txt.o371967.455:==========
task_social_golfer.txt.o371967.456:----------
task_social_golfer.txt.o371967.456:% Wall time: 0.019109
task_social_golfer.txt.o371967.456:% Conflicts: 0
task_social_golfer.txt.o371967.457:----------
task_social_golfer.txt.o371967.457:% Wall time: 0.016411
task_social_golfer.txt.o371967.457:% Conflicts: 0
task_social_golfer.txt.o371967.458:----------
task_social_golfer.txt.o371967.458:3666[+0]/610000 millis.
task_social_golfer.txt.o371967.458:solve => 1 solutions, 26 backtracks
task_social_golfer.txt.o371967.458:==========
task_social_golfer.txt.o371967.459:----------
task_social_golfer.txt.o371967.459:2399[+0]/610000 millis.
task_social_golfer.txt.o371967.459:solve => 1 solutions, 20 backtracks
task_social_golfer.txt.o371967.459:==========
task_social_golfer.txt.o371967.46:----------
task_social_golfer.txt.o371967.46:% Wall time: 0.000389
task_social_golfer.txt.o371967.46:% Conflicts: 0
task_social_golfer.txt.o371967.460:----------
task_social_golfer.txt.o371967.460:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.460:677[+0]/610000 millis.
task_social_golfer.txt.o371967.460:==========
task_social_golfer.txt.o371967.461:----------
task_social_golfer.txt.o371967.461:% Wall time: 0.023578
task_social_golfer.txt.o371967.461:% Conflicts: 0
task_social_golfer.txt.o371967.462:----------
task_social_golfer.txt.o371967.462:% Wall time: 0.017959
task_social_golfer.txt.o371967.462:% Conflicts: 0
task_social_golfer.txt.o371967.463:----------
task_social_golfer.txt.o371967.463:5722[+0]/610000 millis.
task_social_golfer.txt.o371967.463:solve => 1 solutions, 39 backtracks
task_social_golfer.txt.o371967.463:==========
task_social_golfer.txt.o371967.464:----------
task_social_golfer.txt.o371967.464:4794[+0]/610000 millis.
task_social_golfer.txt.o371967.464:solve => 1 solutions, 42 backtracks
task_social_golfer.txt.o371967.464:==========
task_social_golfer.txt.o371967.465:----------
task_social_golfer.txt.o371967.465:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.465:298[+0]/610000 millis.
task_social_golfer.txt.o371967.465:==========
task_social_golfer.txt.o371967.466:----------
task_social_golfer.txt.o371967.466:% Wall time: 0.023708
task_social_golfer.txt.o371967.466:% Conflicts: 0
task_social_golfer.txt.o371967.467:----------
task_social_golfer.txt.o371967.467:% Wall time: 0.023384
task_social_golfer.txt.o371967.467:% Conflicts: 0
task_social_golfer.txt.o371967.468:----------
task_social_golfer.txt.o371967.468:5959[+0]/610000 millis.
task_social_golfer.txt.o371967.468:solve => 1 solutions, 28 backtracks
task_social_golfer.txt.o371967.468:==========
task_social_golfer.txt.o371967.469:----------
task_social_golfer.txt.o371967.469:6091[+0]/610000 millis.
task_social_golfer.txt.o371967.469:solve => 1 solutions, 43 backtracks
task_social_golfer.txt.o371967.469:==========
task_social_golfer.txt.o371967.47:----------
task_social_golfer.txt.o371967.47:% Wall time: 0.003364
task_social_golfer.txt.o371967.47:% Conflicts: 0
task_social_golfer.txt.o371967.470:----------
task_social_golfer.txt.o371967.470:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.470:546[+0]/610000 millis.
task_social_golfer.txt.o371967.470:==========
task_social_golfer.txt.o371967.471:----------
task_social_golfer.txt.o371967.471:% Wall time: 0.011612
task_social_golfer.txt.o371967.471:% Conflicts: 1
task_social_golfer.txt.o371967.472:----------
task_social_golfer.txt.o371967.472:% Wall time: 0.008515
task_social_golfer.txt.o371967.472:% Conflicts: 1
task_social_golfer.txt.o371967.473:----------
task_social_golfer.txt.o371967.473:1578[+0]/610000 millis.
task_social_golfer.txt.o371967.473:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.473:==========
task_social_golfer.txt.o371967.474:----------
task_social_golfer.txt.o371967.474:1874[+0]/610000 millis.
task_social_golfer.txt.o371967.474:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.474:==========
task_social_golfer.txt.o371967.475:----------
task_social_golfer.txt.o371967.475:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.475:270[+0]/610000 millis.
task_social_golfer.txt.o371967.475:==========
task_social_golfer.txt.o371967.476:----------
task_social_golfer.txt.o371967.476:% Wall time: 0.022327
task_social_golfer.txt.o371967.476:% Conflicts: 1
task_social_golfer.txt.o371967.477:----------
task_social_golfer.txt.o371967.477:% Wall time: 0.019116
task_social_golfer.txt.o371967.477:% Conflicts: 1
task_social_golfer.txt.o371967.478:----------
task_social_golfer.txt.o371967.478:3336[+0]/610000 millis.
task_social_golfer.txt.o371967.478:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.478:==========
task_social_golfer.txt.o371967.479:----------
task_social_golfer.txt.o371967.479:3175[+0]/610000 millis.
task_social_golfer.txt.o371967.479:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.479:==========
task_social_golfer.txt.o371967.48:----------
task_social_golfer.txt.o371967.48:64[+0]/610000 millis.
task_social_golfer.txt.o371967.48:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.48:==========
task_social_golfer.txt.o371967.480:----------
task_social_golfer.txt.o371967.480:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.480:293[+0]/610000 millis.
task_social_golfer.txt.o371967.480:==========
task_social_golfer.txt.o371967.481:----------
task_social_golfer.txt.o371967.481:% Wall time: 0.042970
task_social_golfer.txt.o371967.481:% Conflicts: 1
task_social_golfer.txt.o371967.482:----------
task_social_golfer.txt.o371967.482:% Wall time: 0.043019
task_social_golfer.txt.o371967.482:% Conflicts: 1
task_social_golfer.txt.o371967.483:----------
task_social_golfer.txt.o371967.483:6279[+0]/610000 millis.
task_social_golfer.txt.o371967.483:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.483:==========
task_social_golfer.txt.o371967.484:----------
task_social_golfer.txt.o371967.484:5477[+0]/610000 millis.
task_social_golfer.txt.o371967.484:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.484:==========
task_social_golfer.txt.o371967.485:----------
task_social_golfer.txt.o371967.485:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.485:389[+0]/610000 millis.
task_social_golfer.txt.o371967.485:==========
task_social_golfer.txt.o371967.486:----------
task_social_golfer.txt.o371967.486:% Wall time: 0.950387
task_social_golfer.txt.o371967.486:% Conflicts: 627
task_social_golfer.txt.o371967.487:----------
task_social_golfer.txt.o371967.487:% Wall time: 1.691147
task_social_golfer.txt.o371967.487:% Conflicts: 2614
task_social_golfer.txt.o371967.488:----------
task_social_golfer.txt.o371967.488:13598[+0]/610000 millis.
task_social_golfer.txt.o371967.488:solve => 1 solutions, 18 backtracks
task_social_golfer.txt.o371967.488:==========
task_social_golfer.txt.o371967.489:----------
task_social_golfer.txt.o371967.489:10285[+0]/610000 millis.
task_social_golfer.txt.o371967.489:solve => 1 solutions, 18 backtracks
task_social_golfer.txt.o371967.489:==========
task_social_golfer.txt.o371967.49:----------
task_social_golfer.txt.o371967.49:58[+0]/610000 millis.
task_social_golfer.txt.o371967.49:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.49:==========
task_social_golfer.txt.o371967.490:----------
task_social_golfer.txt.o371967.490:solve => 1 solutions, 13799 backtracks
task_social_golfer.txt.o371967.490:2979[+0]/610000 millis.
task_social_golfer.txt.o371967.490:==========
task_social_golfer.txt.o371967.491:----------
task_social_golfer.txt.o371967.491:% Wall time: 1.421448
task_social_golfer.txt.o371967.491:% Conflicts: 627
task_social_golfer.txt.o371967.492:----------
task_social_golfer.txt.o371967.492:% Wall time: 3.566941
task_social_golfer.txt.o371967.492:% Conflicts: 2614
task_social_golfer.txt.o371967.493:----------
task_social_golfer.txt.o371967.493:31714[+0]/610000 millis.
task_social_golfer.txt.o371967.493:solve => 1 solutions, 25 backtracks
task_social_golfer.txt.o371967.493:==========
task_social_golfer.txt.o371967.494:----------
task_social_golfer.txt.o371967.494:27355[+0]/610000 millis.
task_social_golfer.txt.o371967.494:solve => 1 solutions, 25 backtracks
task_social_golfer.txt.o371967.494:==========
task_social_golfer.txt.o371967.495:----------
task_social_golfer.txt.o371967.495:solve => 1 solutions, 13799 backtracks
task_social_golfer.txt.o371967.495:4812[+0]/610000 millis.
task_social_golfer.txt.o371967.495:==========
task_social_golfer.txt.o371967.496:% Wall time: 610.012277
task_social_golfer.txt.o371967.496:% Conflicts: 74568
task_social_golfer.txt.o371967.497:% Wall time: 610.000764
task_social_golfer.txt.o371967.497:% Conflicts: 388785
task_social_golfer.txt.o371967.498:----------
task_social_golfer.txt.o371967.498:69724[+0]/610000 millis.
task_social_golfer.txt.o371967.498:solve => 1 solutions, 25 backtracks
task_social_golfer.txt.o371967.498:==========
task_social_golfer.txt.o371967.499:----------
task_social_golfer.txt.o371967.499:145059[+0]/610000 millis.
task_social_golfer.txt.o371967.499:solve => 1 solutions, 83 backtracks
task_social_golfer.txt.o371967.499:==========
task_social_golfer.txt.o371967.5:----------
task_social_golfer.txt.o371967.5:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.5:10[+0]/610000 millis.
task_social_golfer.txt.o371967.5:==========
task_social_golfer.txt.o371967.50:----------
task_social_golfer.txt.o371967.50:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.50:20[+0]/610000 millis.
task_social_golfer.txt.o371967.50:==========
task_social_golfer.txt.o371967.500:solve => 0 solutions, 1779577 backtracks
task_social_golfer.txt.o371967.500:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.501:% Wall time: 610.002769
task_social_golfer.txt.o371967.501:% Conflicts: 76073
task_social_golfer.txt.o371967.502:% Wall time: 610.000610
task_social_golfer.txt.o371967.502:% Conflicts: 240375
task_social_golfer.txt.o371967.503:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.503:solve => 0 solutions, 167 backtracks
task_social_golfer.txt.o371967.504:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.504:solve => 0 solutions, 205 backtracks
task_social_golfer.txt.o371967.505:solve => 0 solutions, 665071 backtracks
task_social_golfer.txt.o371967.505:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.506:% Wall time: 610.010420
task_social_golfer.txt.o371967.506:% Conflicts: 54088
task_social_golfer.txt.o371967.507:% Wall time: 610.003795
task_social_golfer.txt.o371967.507:% Conflicts: 174321
task_social_golfer.txt.o371967.508:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.508:solve => 0 solutions, 60 backtracks
task_social_golfer.txt.o371967.509:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.509:solve => 0 solutions, 109 backtracks
task_social_golfer.txt.o371967.51:----------
task_social_golfer.txt.o371967.51:% Wall time: 0.006657
task_social_golfer.txt.o371967.51:% Conflicts: 0
task_social_golfer.txt.o371967.510:solve => 0 solutions, 492342 backtracks
task_social_golfer.txt.o371967.510:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.511:% Wall time: 610.013672
task_social_golfer.txt.o371967.511:% Conflicts: 46483
task_social_golfer.txt.o371967.512:% Wall time: 610.001109
task_social_golfer.txt.o371967.512:% Conflicts: 108976
task_social_golfer.txt.o371967.513:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.513:solve => 0 solutions, 388 backtracks
task_social_golfer.txt.o371967.514:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.514:solve => 0 solutions, 8 backtracks
task_social_golfer.txt.o371967.515:solve => 0 solutions, 308139 backtracks
task_social_golfer.txt.o371967.515:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.516:----------
task_social_golfer.txt.o371967.516:% Wall time: 0.035374
task_social_golfer.txt.o371967.516:% Conflicts: 1
task_social_golfer.txt.o371967.517:----------
task_social_golfer.txt.o371967.517:% Wall time: 0.034727
task_social_golfer.txt.o371967.517:% Conflicts: 2
task_social_golfer.txt.o371967.518:----------
task_social_golfer.txt.o371967.518:25416[+0]/610000 millis.
task_social_golfer.txt.o371967.518:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.518:==========
task_social_golfer.txt.o371967.519:----------
task_social_golfer.txt.o371967.519:22875[+0]/610000 millis.
task_social_golfer.txt.o371967.519:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.519:==========
task_social_golfer.txt.o371967.52:----------
task_social_golfer.txt.o371967.52:% Wall time: 0.003183
task_social_golfer.txt.o371967.52:% Conflicts: 0
task_social_golfer.txt.o371967.520:----------
task_social_golfer.txt.o371967.520:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.520:415[+0]/610000 millis.
task_social_golfer.txt.o371967.520:==========
task_social_golfer.txt.o371967.521:----------
task_social_golfer.txt.o371967.521:% Wall time: 0.091182
task_social_golfer.txt.o371967.521:% Conflicts: 1
task_social_golfer.txt.o371967.522:----------
task_social_golfer.txt.o371967.522:% Wall time: 0.080525
task_social_golfer.txt.o371967.522:% Conflicts: 2
task_social_golfer.txt.o371967.523:----------
task_social_golfer.txt.o371967.523:56142[+0]/610000 millis.
task_social_golfer.txt.o371967.523:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.523:==========
task_social_golfer.txt.o371967.524:----------
task_social_golfer.txt.o371967.524:47486[+0]/610000 millis.
task_social_golfer.txt.o371967.524:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.524:==========
task_social_golfer.txt.o371967.525:----------
task_social_golfer.txt.o371967.525:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.525:606[+0]/610000 millis.
task_social_golfer.txt.o371967.525:==========
task_social_golfer.txt.o371967.526:----------
task_social_golfer.txt.o371967.526:% Wall time: 0.162813
task_social_golfer.txt.o371967.526:% Conflicts: 4
task_social_golfer.txt.o371967.527:----------
task_social_golfer.txt.o371967.527:% Wall time: 0.160989
task_social_golfer.txt.o371967.527:% Conflicts: 5
task_social_golfer.txt.o371967.528:----------
task_social_golfer.txt.o371967.528:240151[+0]/610000 millis.
task_social_golfer.txt.o371967.528:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.528:==========
task_social_golfer.txt.o371967.529:----------
task_social_golfer.txt.o371967.529:157499[+0]/610000 millis.
task_social_golfer.txt.o371967.529:solve => 1 solutions, 15 backtracks
task_social_golfer.txt.o371967.529:==========
task_social_golfer.txt.o371967.53:----------
task_social_golfer.txt.o371967.53:107[+0]/610000 millis.
task_social_golfer.txt.o371967.53:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.53:==========
task_social_golfer.txt.o371967.530:----------
task_social_golfer.txt.o371967.530:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.530:776[+0]/610000 millis.
task_social_golfer.txt.o371967.530:==========
task_social_golfer.txt.o371967.531:----------
task_social_golfer.txt.o371967.531:% Wall time: 0.526451
task_social_golfer.txt.o371967.531:% Conflicts: 75
task_social_golfer.txt.o371967.532:----------
task_social_golfer.txt.o371967.532:% Wall time: 0.430105
task_social_golfer.txt.o371967.532:% Conflicts: 85
task_social_golfer.txt.o371967.533:----------
task_social_golfer.txt.o371967.533:385690[+0]/610000 millis.
task_social_golfer.txt.o371967.533:solve => 1 solutions, 18 backtracks
task_social_golfer.txt.o371967.533:==========
task_social_golfer.txt.o371967.534:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.534:solve => 0 solutions, 24 backtracks
task_social_golfer.txt.o371967.535:----------
task_social_golfer.txt.o371967.535:solve => 1 solutions, 493 backtracks
task_social_golfer.txt.o371967.535:1047[+0]/610000 millis.
task_social_golfer.txt.o371967.535:==========
task_social_golfer.txt.o371967.536:----------
task_social_golfer.txt.o371967.536:% Wall time: 4.946280
task_social_golfer.txt.o371967.536:% Conflicts: 414
task_social_golfer.txt.o371967.537:----------
task_social_golfer.txt.o371967.537:% Wall time: 3.076188
task_social_golfer.txt.o371967.537:% Conflicts: 541
task_social_golfer.txt.o371967.538:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.538:solve => 0 solutions, 23 backtracks
task_social_golfer.txt.o371967.539:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.539:solve => 0 solutions, 22 backtracks
task_social_golfer.txt.o371967.54:----------
task_social_golfer.txt.o371967.54:92[+0]/610000 millis.
task_social_golfer.txt.o371967.54:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.54:==========
task_social_golfer.txt.o371967.540:----------
task_social_golfer.txt.o371967.540:solve => 1 solutions, 2501 backtracks
task_social_golfer.txt.o371967.540:5381[+0]/610000 millis.
task_social_golfer.txt.o371967.540:==========
task_social_golfer.txt.o371967.541:% Wall time: 610.011280
task_social_golfer.txt.o371967.541:% Conflicts: 30760
task_social_golfer.txt.o371967.542:% Wall time: 610.005749
task_social_golfer.txt.o371967.542:% Conflicts: 60097
task_social_golfer.txt.o371967.543:612723[+0]/610000 millis.
task_social_golfer.txt.o371967.543:solve => 0 solutions, 5 backtracks
task_social_golfer.txt.o371967.544:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.544:solve => 0 solutions, 15 backtracks
task_social_golfer.txt.o371967.545:solve => 0 solutions, 155684 backtracks
task_social_golfer.txt.o371967.545:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.546:% Wall time: 610.002450
task_social_golfer.txt.o371967.546:% Conflicts: 33678
task_social_golfer.txt.o371967.547:% Wall time: 610.007365
task_social_golfer.txt.o371967.547:% Conflicts: 52097
task_social_golfer.txt.o371967.548:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.548:solve => 0 solutions, 3 backtracks
task_social_golfer.txt.o371967.549:610010[+0]/610000 millis.
task_social_golfer.txt.o371967.549:solve => 0 solutions, 3 backtracks
task_social_golfer.txt.o371967.55:----------
task_social_golfer.txt.o371967.55:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.55:30[+0]/610000 millis.
task_social_golfer.txt.o371967.55:==========
task_social_golfer.txt.o371967.550:solve => 0 solutions, 96163 backtracks
task_social_golfer.txt.o371967.550:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.551:% Wall time: 610.010541
task_social_golfer.txt.o371967.551:% Conflicts: 26198
task_social_golfer.txt.o371967.552:% Wall time: 610.001479
task_social_golfer.txt.o371967.552:% Conflicts: 41275
task_social_golfer.txt.o371967.553:610030[+0]/610000 millis.
task_social_golfer.txt.o371967.553:solve => 0 solutions, 6 backtracks
task_social_golfer.txt.o371967.554:610017[+0]/610000 millis.
task_social_golfer.txt.o371967.554:solve => 0 solutions, 6 backtracks
task_social_golfer.txt.o371967.555:solve => 0 solutions, 95637 backtracks
task_social_golfer.txt.o371967.555:610010[+0]/610000 millis.
task_social_golfer.txt.o371967.556:----------
task_social_golfer.txt.o371967.556:% Wall time: 0.110891
task_social_golfer.txt.o371967.556:% Conflicts: 1
task_social_golfer.txt.o371967.557:----------
task_social_golfer.txt.o371967.557:% Wall time: 0.138153
task_social_golfer.txt.o371967.557:% Conflicts: 3
task_social_golfer.txt.o371967.558:----------
task_social_golfer.txt.o371967.558:197343[+0]/610000 millis.
task_social_golfer.txt.o371967.558:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.558:==========
task_social_golfer.txt.o371967.559:----------
task_social_golfer.txt.o371967.559:180083[+0]/610000 millis.
task_social_golfer.txt.o371967.559:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.559:==========
task_social_golfer.txt.o371967.56:----------
task_social_golfer.txt.o371967.56:% Wall time: 0.004104
task_social_golfer.txt.o371967.56:% Conflicts: 0
task_social_golfer.txt.o371967.560:----------
task_social_golfer.txt.o371967.560:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.560:629[+0]/610000 millis.
task_social_golfer.txt.o371967.560:==========
task_social_golfer.txt.o371967.561:----------
task_social_golfer.txt.o371967.561:% Wall time: 2.962875
task_social_golfer.txt.o371967.561:% Conflicts: 885
task_social_golfer.txt.o371967.562:----------
task_social_golfer.txt.o371967.562:% Wall time: 5.122682
task_social_golfer.txt.o371967.562:% Conflicts: 2042
task_social_golfer.txt.o371967.563:620589[+0]/610000 millis.
task_social_golfer.txt.o371967.563:solve => 0 solutions, 13 backtracks
task_social_golfer.txt.o371967.564:631432[+0]/610000 millis.
task_social_golfer.txt.o371967.564:solve => 0 solutions, 12 backtracks
task_social_golfer.txt.o371967.565:----------
task_social_golfer.txt.o371967.565:solve => 1 solutions, 21501 backtracks
task_social_golfer.txt.o371967.565:7404[+0]/610000 millis.
task_social_golfer.txt.o371967.565:==========
task_social_golfer.txt.o371967.566:----------
task_social_golfer.txt.o371967.566:% Wall time: 7.477213
task_social_golfer.txt.o371967.566:% Conflicts: 979
task_social_golfer.txt.o371967.567:----------
task_social_golfer.txt.o371967.567:% Wall time: 15.638242
task_social_golfer.txt.o371967.567:% Conflicts: 2177
task_social_golfer.txt.o371967.568:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.568:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.569:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.569:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.57:----------
task_social_golfer.txt.o371967.57:% Wall time: 0.003847
task_social_golfer.txt.o371967.57:% Conflicts: 0
task_social_golfer.txt.o371967.570:----------
task_social_golfer.txt.o371967.570:solve => 1 solutions, 21986 backtracks
task_social_golfer.txt.o371967.570:39862[+0]/610000 millis.
task_social_golfer.txt.o371967.570:==========
task_social_golfer.txt.o371967.571:----------
task_social_golfer.txt.o371967.571:% Wall time: 20.654048
task_social_golfer.txt.o371967.571:% Conflicts: 1995
task_social_golfer.txt.o371967.572:----------
task_social_golfer.txt.o371967.572:% Wall time: 34.605587
task_social_golfer.txt.o371967.572:% Conflicts: 3538
task_social_golfer.txt.o371967.573:610049[+0]/610000 millis.
task_social_golfer.txt.o371967.573:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.574:610024[+0]/610000 millis.
task_social_golfer.txt.o371967.574:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.575:----------
task_social_golfer.txt.o371967.575:solve => 1 solutions, 26885 backtracks
task_social_golfer.txt.o371967.575:90112[+0]/610000 millis.
task_social_golfer.txt.o371967.575:==========
task_social_golfer.txt.o371967.576:% Wall time: 610.005088
task_social_golfer.txt.o371967.576:% Conflicts: 30073
task_social_golfer.txt.o371967.577:% Wall time: 610.003851
task_social_golfer.txt.o371967.577:% Conflicts: 51804
task_social_golfer.txt.o371967.578:610023[+0]/610000 millis.
task_social_golfer.txt.o371967.578:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.579:610020[+0]/610000 millis.
task_social_golfer.txt.o371967.579:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.58:----------
task_social_golfer.txt.o371967.58:157[+0]/610000 millis.
task_social_golfer.txt.o371967.58:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.58:==========
task_social_golfer.txt.o371967.580:solve => 0 solutions, 111649 backtracks
task_social_golfer.txt.o371967.580:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.581:% Wall time: 610.002939
task_social_golfer.txt.o371967.581:% Conflicts: 22956
task_social_golfer.txt.o371967.582:% Wall time: 610.016268
task_social_golfer.txt.o371967.582:% Conflicts: 34720
task_social_golfer.txt.o371967.583:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.583:610012[+0]/610000 millis.
task_social_golfer.txt.o371967.584:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.584:610018[+0]/610000 millis.
task_social_golfer.txt.o371967.585:INFO: solve => 0 solutions, 66123 backtracks
task_social_golfer.txt.o371967.585:INFO: 610004[+0]/610000 millis.
task_social_golfer.txt.o371967.586:% Wall time: 610.010272
task_social_golfer.txt.o371967.586:% Conflicts: 17598
task_social_golfer.txt.o371967.587:% Wall time: 610.006814
task_social_golfer.txt.o371967.587:% Conflicts: 32031
task_social_golfer.txt.o371967.588:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.588:611609[+0]/610000 millis.
task_social_golfer.txt.o371967.589:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.589:610019[+0]/610000 millis.
task_social_golfer.txt.o371967.59:----------
task_social_golfer.txt.o371967.59:141[+0]/610000 millis.
task_social_golfer.txt.o371967.59:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.59:==========
task_social_golfer.txt.o371967.590:INFO: solve => 0 solutions, 45857 backtracks
task_social_golfer.txt.o371967.590:INFO: 610014[+0]/610000 millis.
task_social_golfer.txt.o371967.591:----------
task_social_golfer.txt.o371967.591:% Wall time: 0.251715
task_social_golfer.txt.o371967.591:% Conflicts: 1
task_social_golfer.txt.o371967.592:----------
task_social_golfer.txt.o371967.592:% Wall time: 0.187138
task_social_golfer.txt.o371967.592:% Conflicts: 4
task_social_golfer.txt.o371967.593:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.593:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.594:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.594:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.595:----------
task_social_golfer.txt.o371967.595:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.595:780[+0]/610000 millis.
task_social_golfer.txt.o371967.595:==========
task_social_golfer.txt.o371967.596:% Wall time: 610.002480
task_social_golfer.txt.o371967.596:% Conflicts: 63834
task_social_golfer.txt.o371967.597:% Wall time: 610.011548
task_social_golfer.txt.o371967.597:% Conflicts: 135904
task_social_golfer.txt.o371967.598:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.598:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.599:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.599:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.6:----------
task_social_golfer.txt.o371967.6:% Wall time: 0.002921
task_social_golfer.txt.o371967.6:% Conflicts: 0
task_social_golfer.txt.o371967.60:----------
task_social_golfer.txt.o371967.60:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.60:40[+0]/610000 millis.
task_social_golfer.txt.o371967.60:==========
task_social_golfer.txt.o371967.600:solve => 0 solutions, 876837 backtracks
task_social_golfer.txt.o371967.600:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.601:% Wall time: 610.001261
task_social_golfer.txt.o371967.601:% Conflicts: 31928
task_social_golfer.txt.o371967.602:% Wall time: 610.007153
task_social_golfer.txt.o371967.602:% Conflicts: 51781
task_social_golfer.txt.o371967.603:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.603:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.604:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.604:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.605:solve => 0 solutions, 190291 backtracks
task_social_golfer.txt.o371967.605:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.606:% Wall time: 610.013876
task_social_golfer.txt.o371967.606:% Conflicts: 23156
task_social_golfer.txt.o371967.607:% Wall time: 610.003514
task_social_golfer.txt.o371967.607:% Conflicts: 24450
task_social_golfer.txt.o371967.608:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.608:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.609:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.609:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.61:----------
task_social_golfer.txt.o371967.61:% Wall time: 0.002455
task_social_golfer.txt.o371967.61:% Conflicts: 0
task_social_golfer.txt.o371967.610:INFO: solve => 0 solutions, 90152 backtracks
task_social_golfer.txt.o371967.610:INFO: 610019[+0]/610000 millis.
task_social_golfer.txt.o371967.611:% Wall time: 610.012590
task_social_golfer.txt.o371967.611:% Conflicts: 16659
task_social_golfer.txt.o371967.612:% Wall time: 610.016917
task_social_golfer.txt.o371967.612:% Conflicts: 17030
task_social_golfer.txt.o371967.613:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.613:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.614:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.614:610031[+0]/610000 millis.
task_social_golfer.txt.o371967.615:INFO: solve => 0 solutions, 63240 backtracks
task_social_golfer.txt.o371967.615:INFO: 610011[+0]/610000 millis.
task_social_golfer.txt.o371967.616:% Wall time: 610.011364
task_social_golfer.txt.o371967.616:% Conflicts: 13759
task_social_golfer.txt.o371967.617:% Wall time: 610.014212
task_social_golfer.txt.o371967.617:% Conflicts: 14089
task_social_golfer.txt.o371967.618:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.619:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.62:----------
task_social_golfer.txt.o371967.62:% Wall time: 0.001496
task_social_golfer.txt.o371967.62:% Conflicts: 0
task_social_golfer.txt.o371967.620:INFO: solve => 0 solutions, 40630 backtracks
task_social_golfer.txt.o371967.620:INFO: 610081[+0]/610000 millis.
task_social_golfer.txt.o371967.621:% Wall time: 610.004459
task_social_golfer.txt.o371967.621:% Conflicts: 11594
task_social_golfer.txt.o371967.622:% Wall time: 610.048533
task_social_golfer.txt.o371967.622:% Conflicts: 13267
task_social_golfer.txt.o371967.623:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.624:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.625:INFO: solve => 0 solutions, 28838 backtracks
task_social_golfer.txt.o371967.625:INFO: 610006[+0]/610000 millis.
task_social_golfer.txt.o371967.626:----------
task_social_golfer.txt.o371967.626:% Wall time: 0.438633
task_social_golfer.txt.o371967.626:% Conflicts: 1
task_social_golfer.txt.o371967.627:----------
task_social_golfer.txt.o371967.627:% Wall time: 0.380679
task_social_golfer.txt.o371967.627:% Conflicts: 5
task_social_golfer.txt.o371967.628:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.628:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.629:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.629:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.63:----------
task_social_golfer.txt.o371967.63:171[+0]/610000 millis.
task_social_golfer.txt.o371967.63:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.63:==========
task_social_golfer.txt.o371967.630:----------
task_social_golfer.txt.o371967.630:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.630:1300[+0]/610000 millis.
task_social_golfer.txt.o371967.630:==========
task_social_golfer.txt.o371967.631:----------
task_social_golfer.txt.o371967.631:% Wall time: 1.204508
task_social_golfer.txt.o371967.631:% Conflicts: 10
task_social_golfer.txt.o371967.632:----------
task_social_golfer.txt.o371967.632:% Wall time: 0.927878
task_social_golfer.txt.o371967.632:% Conflicts: 28
task_social_golfer.txt.o371967.633:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.633:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.634:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.634:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.635:----------
task_social_golfer.txt.o371967.635:solve => 1 solutions, 67 backtracks
task_social_golfer.txt.o371967.635:2266[+0]/610000 millis.
task_social_golfer.txt.o371967.635:==========
task_social_golfer.txt.o371967.636:----------
task_social_golfer.txt.o371967.636:% Wall time: 20.543842
task_social_golfer.txt.o371967.636:% Conflicts: 2276
task_social_golfer.txt.o371967.637:----------
task_social_golfer.txt.o371967.637:% Wall time: 26.805246
task_social_golfer.txt.o371967.637:% Conflicts: 4159
task_social_golfer.txt.o371967.638:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.638:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.639:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.639:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.64:----------
task_social_golfer.txt.o371967.64:157[+0]/610000 millis.
task_social_golfer.txt.o371967.64:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.64:==========
task_social_golfer.txt.o371967.640:----------
task_social_golfer.txt.o371967.640:INFO: solve => 1 solutions, 18423 backtracks
task_social_golfer.txt.o371967.640:INFO: 105285[+0]/610000 millis.
task_social_golfer.txt.o371967.640:==========
task_social_golfer.txt.o371967.641:% Wall time: 610.006218
task_social_golfer.txt.o371967.641:% Conflicts: 44406
task_social_golfer.txt.o371967.642:% Wall time: 610.023181
task_social_golfer.txt.o371967.642:% Conflicts: 65112
task_social_golfer.txt.o371967.643:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.644:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.645:INFO: solve => 0 solutions, 66390 backtracks
task_social_golfer.txt.o371967.645:INFO: 610009[+0]/610000 millis.
task_social_golfer.txt.o371967.646:% Wall time: 610.002962
task_social_golfer.txt.o371967.646:% Conflicts: 33212
task_social_golfer.txt.o371967.647:% Wall time: 610.028126
task_social_golfer.txt.o371967.647:% Conflicts: 44862
task_social_golfer.txt.o371967.648:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.649:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.65:----------
task_social_golfer.txt.o371967.65:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.65:44[+0]/610000 millis.
task_social_golfer.txt.o371967.65:==========
task_social_golfer.txt.o371967.650:INFO: solve => 0 solutions, 45432 backtracks
task_social_golfer.txt.o371967.650:INFO: 610014[+0]/610000 millis.
task_social_golfer.txt.o371967.651:% Wall time: 610.031676
task_social_golfer.txt.o371967.651:% Conflicts: 23973
task_social_golfer.txt.o371967.652:% Wall time: 610.024099
task_social_golfer.txt.o371967.652:% Conflicts: 37197
task_social_golfer.txt.o371967.653:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.654:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.655:INFO: solve => 0 solutions, 32981 backtracks
task_social_golfer.txt.o371967.655:INFO: 610015[+0]/610000 millis.
task_social_golfer.txt.o371967.656:% Wall time: 610.032208
task_social_golfer.txt.o371967.656:% Conflicts: 10378
task_social_golfer.txt.o371967.657:% Wall time: 610.025254
task_social_golfer.txt.o371967.657:% Conflicts: 21197
task_social_golfer.txt.o371967.658:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.659:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.66:----------
task_social_golfer.txt.o371967.66:% Wall time: 0.001448
task_social_golfer.txt.o371967.66:% Conflicts: 0
task_social_golfer.txt.o371967.660:INFO: solve => 0 solutions, 22561 backtracks
task_social_golfer.txt.o371967.660:INFO: 610021[+0]/610000 millis.
task_social_golfer.txt.o371967.661:----------
task_social_golfer.txt.o371967.661:% Wall time: 0.002184
task_social_golfer.txt.o371967.661:% Conflicts: 0
task_social_golfer.txt.o371967.662:----------
task_social_golfer.txt.o371967.662:% Wall time: 0.001867
task_social_golfer.txt.o371967.662:% Conflicts: 0
task_social_golfer.txt.o371967.663:----------
task_social_golfer.txt.o371967.663:278[+0]/610000 millis.
task_social_golfer.txt.o371967.663:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.663:==========
task_social_golfer.txt.o371967.664:----------
task_social_golfer.txt.o371967.664:410[+0]/610000 millis.
task_social_golfer.txt.o371967.664:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.664:==========
task_social_golfer.txt.o371967.665:----------
task_social_golfer.txt.o371967.665:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.665:139[+0]/610000 millis.
task_social_golfer.txt.o371967.665:==========
task_social_golfer.txt.o371967.666:----------
task_social_golfer.txt.o371967.666:% Wall time: 0.005012
task_social_golfer.txt.o371967.666:% Conflicts: 0
task_social_golfer.txt.o371967.667:----------
task_social_golfer.txt.o371967.667:% Wall time: 0.004057
task_social_golfer.txt.o371967.667:% Conflicts: 0
task_social_golfer.txt.o371967.668:----------
task_social_golfer.txt.o371967.668:566[+0]/610000 millis.
task_social_golfer.txt.o371967.668:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.668:==========
task_social_golfer.txt.o371967.669:----------
task_social_golfer.txt.o371967.669:409[+0]/610000 millis.
task_social_golfer.txt.o371967.669:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.669:==========
task_social_golfer.txt.o371967.67:----------
task_social_golfer.txt.o371967.67:% Wall time: 0.001414
task_social_golfer.txt.o371967.67:% Conflicts: 0
task_social_golfer.txt.o371967.670:----------
task_social_golfer.txt.o371967.670:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.670:84[+0]/610000 millis.
task_social_golfer.txt.o371967.670:==========
task_social_golfer.txt.o371967.671:----------
task_social_golfer.txt.o371967.671:% Wall time: 0.007677
task_social_golfer.txt.o371967.671:% Conflicts: 0
task_social_golfer.txt.o371967.672:----------
task_social_golfer.txt.o371967.672:% Wall time: 0.007164
task_social_golfer.txt.o371967.672:% Conflicts: 0
task_social_golfer.txt.o371967.673:----------
task_social_golfer.txt.o371967.673:677[+0]/610000 millis.
task_social_golfer.txt.o371967.673:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.673:==========
task_social_golfer.txt.o371967.674:----------
task_social_golfer.txt.o371967.674:574[+0]/610000 millis.
task_social_golfer.txt.o371967.674:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.674:==========
task_social_golfer.txt.o371967.675:----------
task_social_golfer.txt.o371967.675:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.675:125[+0]/610000 millis.
task_social_golfer.txt.o371967.675:==========
task_social_golfer.txt.o371967.676:----------
task_social_golfer.txt.o371967.676:% Wall time: 0.012067
task_social_golfer.txt.o371967.676:% Conflicts: 0
task_social_golfer.txt.o371967.677:----------
task_social_golfer.txt.o371967.677:% Wall time: 0.009419
task_social_golfer.txt.o371967.677:% Conflicts: 0
task_social_golfer.txt.o371967.678:----------
task_social_golfer.txt.o371967.678:1158[+0]/610000 millis.
task_social_golfer.txt.o371967.678:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.678:==========
task_social_golfer.txt.o371967.679:----------
task_social_golfer.txt.o371967.679:783[+0]/610000 millis.
task_social_golfer.txt.o371967.679:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.679:==========
task_social_golfer.txt.o371967.68:----------
task_social_golfer.txt.o371967.68:195[+0]/610000 millis.
task_social_golfer.txt.o371967.68:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.68:==========
task_social_golfer.txt.o371967.680:----------
task_social_golfer.txt.o371967.680:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.680:200[+0]/610000 millis.
task_social_golfer.txt.o371967.680:==========
task_social_golfer.txt.o371967.681:----------
task_social_golfer.txt.o371967.681:% Wall time: 0.014085
task_social_golfer.txt.o371967.681:% Conflicts: 0
task_social_golfer.txt.o371967.682:----------
task_social_golfer.txt.o371967.682:% Wall time: 0.012616
task_social_golfer.txt.o371967.682:% Conflicts: 0
task_social_golfer.txt.o371967.683:----------
task_social_golfer.txt.o371967.683:1172[+0]/610000 millis.
task_social_golfer.txt.o371967.683:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.683:==========
task_social_golfer.txt.o371967.684:----------
task_social_golfer.txt.o371967.684:892[+0]/610000 millis.
task_social_golfer.txt.o371967.684:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.684:==========
task_social_golfer.txt.o371967.685:----------
task_social_golfer.txt.o371967.685:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.685:314[+0]/610000 millis.
task_social_golfer.txt.o371967.685:==========
task_social_golfer.txt.o371967.686:----------
task_social_golfer.txt.o371967.686:% Wall time: 0.018131
task_social_golfer.txt.o371967.686:% Conflicts: 0
task_social_golfer.txt.o371967.687:----------
task_social_golfer.txt.o371967.687:% Wall time: 0.017004
task_social_golfer.txt.o371967.687:% Conflicts: 0
task_social_golfer.txt.o371967.688:----------
task_social_golfer.txt.o371967.688:1159[+0]/610000 millis.
task_social_golfer.txt.o371967.688:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.688:==========
task_social_golfer.txt.o371967.689:----------
task_social_golfer.txt.o371967.689:1322[+0]/610000 millis.
task_social_golfer.txt.o371967.689:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.689:==========
task_social_golfer.txt.o371967.69:----------
task_social_golfer.txt.o371967.69:187[+0]/610000 millis.
task_social_golfer.txt.o371967.69:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.69:==========
task_social_golfer.txt.o371967.690:----------
task_social_golfer.txt.o371967.690:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.690:330[+0]/610000 millis.
task_social_golfer.txt.o371967.690:==========
task_social_golfer.txt.o371967.691:----------
task_social_golfer.txt.o371967.691:% Wall time: 0.020976
task_social_golfer.txt.o371967.691:% Conflicts: 0
task_social_golfer.txt.o371967.692:----------
task_social_golfer.txt.o371967.692:% Wall time: 0.020328
task_social_golfer.txt.o371967.692:% Conflicts: 0
task_social_golfer.txt.o371967.693:----------
task_social_golfer.txt.o371967.693:1976[+0]/610000 millis.
task_social_golfer.txt.o371967.693:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.693:==========
task_social_golfer.txt.o371967.694:----------
task_social_golfer.txt.o371967.694:1121[+0]/610000 millis.
task_social_golfer.txt.o371967.694:solve => 1 solutions, 11 backtracks
task_social_golfer.txt.o371967.694:==========
task_social_golfer.txt.o371967.695:----------
task_social_golfer.txt.o371967.695:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.695:318[+0]/610000 millis.
task_social_golfer.txt.o371967.695:==========
task_social_golfer.txt.o371967.696:----------
task_social_golfer.txt.o371967.696:% Wall time: 0.025453
task_social_golfer.txt.o371967.696:% Conflicts: 0
task_social_golfer.txt.o371967.697:----------
task_social_golfer.txt.o371967.697:% Wall time: 0.024145
task_social_golfer.txt.o371967.697:% Conflicts: 0
task_social_golfer.txt.o371967.698:----------
task_social_golfer.txt.o371967.698:1926[+0]/610000 millis.
task_social_golfer.txt.o371967.698:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.698:==========
task_social_golfer.txt.o371967.699:----------
task_social_golfer.txt.o371967.699:1633[+0]/610000 millis.
task_social_golfer.txt.o371967.699:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.699:==========
task_social_golfer.txt.o371967.7:----------
task_social_golfer.txt.o371967.7:% Wall time: 0.002369
task_social_golfer.txt.o371967.7:% Conflicts: 0
task_social_golfer.txt.o371967.70:----------
task_social_golfer.txt.o371967.70:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.70:50[+0]/610000 millis.
task_social_golfer.txt.o371967.70:==========
task_social_golfer.txt.o371967.700:----------
task_social_golfer.txt.o371967.700:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.700:279[+0]/610000 millis.
task_social_golfer.txt.o371967.700:==========
task_social_golfer.txt.o371967.701:----------
task_social_golfer.txt.o371967.701:% Wall time: 0.030189
task_social_golfer.txt.o371967.701:% Conflicts: 0
task_social_golfer.txt.o371967.702:----------
task_social_golfer.txt.o371967.702:% Wall time: 0.027558
task_social_golfer.txt.o371967.702:% Conflicts: 0
task_social_golfer.txt.o371967.703:----------
task_social_golfer.txt.o371967.703:5555[+0]/610000 millis.
task_social_golfer.txt.o371967.703:solve => 1 solutions, 26 backtracks
task_social_golfer.txt.o371967.703:==========
task_social_golfer.txt.o371967.704:----------
task_social_golfer.txt.o371967.704:4495[+0]/610000 millis.
task_social_golfer.txt.o371967.704:solve => 1 solutions, 28 backtracks
task_social_golfer.txt.o371967.704:==========
task_social_golfer.txt.o371967.705:----------
task_social_golfer.txt.o371967.705:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.705:542[+0]/610000 millis.
task_social_golfer.txt.o371967.705:==========
task_social_golfer.txt.o371967.706:----------
task_social_golfer.txt.o371967.706:% Wall time: 0.037231
task_social_golfer.txt.o371967.706:% Conflicts: 0
task_social_golfer.txt.o371967.707:----------
task_social_golfer.txt.o371967.707:% Wall time: 0.026057
task_social_golfer.txt.o371967.707:% Conflicts: 0
task_social_golfer.txt.o371967.708:----------
task_social_golfer.txt.o371967.708:8618[+0]/610000 millis.
task_social_golfer.txt.o371967.708:solve => 1 solutions, 26 backtracks
task_social_golfer.txt.o371967.708:==========
task_social_golfer.txt.o371967.709:----------
task_social_golfer.txt.o371967.709:8846[+0]/610000 millis.
task_social_golfer.txt.o371967.709:solve => 1 solutions, 47 backtracks
task_social_golfer.txt.o371967.709:==========
task_social_golfer.txt.o371967.71:----------
task_social_golfer.txt.o371967.71:% Wall time: 0.001684
task_social_golfer.txt.o371967.71:% Conflicts: 0
task_social_golfer.txt.o371967.710:----------
task_social_golfer.txt.o371967.710:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.710:706[+0]/610000 millis.
task_social_golfer.txt.o371967.710:==========
task_social_golfer.txt.o371967.711:----------
task_social_golfer.txt.o371967.711:% Wall time: 0.038669
task_social_golfer.txt.o371967.711:% Conflicts: 0
task_social_golfer.txt.o371967.712:----------
task_social_golfer.txt.o371967.712:% Wall time: 0.109176
task_social_golfer.txt.o371967.712:% Conflicts: 0
task_social_golfer.txt.o371967.713:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.713:solve => 0 solutions, 1053 backtracks
task_social_golfer.txt.o371967.714:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.714:solve => 0 solutions, 3255 backtracks
task_social_golfer.txt.o371967.715:----------
task_social_golfer.txt.o371967.715:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.715:571[+0]/610000 millis.
task_social_golfer.txt.o371967.715:==========
task_social_golfer.txt.o371967.716:----------
task_social_golfer.txt.o371967.716:% Wall time: 0.038431
task_social_golfer.txt.o371967.716:% Conflicts: 0
task_social_golfer.txt.o371967.717:----------
task_social_golfer.txt.o371967.717:% Wall time: 0.040964
task_social_golfer.txt.o371967.717:% Conflicts: 0
task_social_golfer.txt.o371967.718:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.718:solve => 0 solutions, 911 backtracks
task_social_golfer.txt.o371967.719:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.719:solve => 0 solutions, 1868 backtracks
task_social_golfer.txt.o371967.72:----------
task_social_golfer.txt.o371967.72:% Wall time: 0.001384
task_social_golfer.txt.o371967.72:% Conflicts: 0
task_social_golfer.txt.o371967.720:----------
task_social_golfer.txt.o371967.720:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.720:721[+0]/610000 millis.
task_social_golfer.txt.o371967.720:==========
task_social_golfer.txt.o371967.721:----------
task_social_golfer.txt.o371967.721:% Wall time: 0.051378
task_social_golfer.txt.o371967.721:% Conflicts: 0
task_social_golfer.txt.o371967.722:----------
task_social_golfer.txt.o371967.722:% Wall time: 0.056470
task_social_golfer.txt.o371967.722:% Conflicts: 0
task_social_golfer.txt.o371967.723:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.723:solve => 0 solutions, 585 backtracks
task_social_golfer.txt.o371967.724:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.724:solve => 0 solutions, 1354 backtracks
task_social_golfer.txt.o371967.725:----------
task_social_golfer.txt.o371967.725:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.725:737[+0]/610000 millis.
task_social_golfer.txt.o371967.725:==========
task_social_golfer.txt.o371967.726:----------
task_social_golfer.txt.o371967.726:% Wall time: 0.053755
task_social_golfer.txt.o371967.726:% Conflicts: 0
task_social_golfer.txt.o371967.727:----------
task_social_golfer.txt.o371967.727:% Wall time: 0.164890
task_social_golfer.txt.o371967.727:% Conflicts: 0
task_social_golfer.txt.o371967.728:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.728:solve => 0 solutions, 681 backtracks
task_social_golfer.txt.o371967.729:610034[+0]/610000 millis.
task_social_golfer.txt.o371967.729:solve => 0 solutions, 912 backtracks
task_social_golfer.txt.o371967.73:----------
task_social_golfer.txt.o371967.73:171[+0]/610000 millis.
task_social_golfer.txt.o371967.73:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.73:==========
task_social_golfer.txt.o371967.730:----------
task_social_golfer.txt.o371967.730:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.730:1052[+0]/610000 millis.
task_social_golfer.txt.o371967.730:==========
task_social_golfer.txt.o371967.731:----------
task_social_golfer.txt.o371967.731:% Wall time: 0.017509
task_social_golfer.txt.o371967.731:% Conflicts: 1
task_social_golfer.txt.o371967.732:----------
task_social_golfer.txt.o371967.732:% Wall time: 0.013847
task_social_golfer.txt.o371967.732:% Conflicts: 1
task_social_golfer.txt.o371967.733:----------
task_social_golfer.txt.o371967.733:3622[+0]/610000 millis.
task_social_golfer.txt.o371967.733:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.733:==========
task_social_golfer.txt.o371967.734:----------
task_social_golfer.txt.o371967.734:3526[+0]/610000 millis.
task_social_golfer.txt.o371967.734:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.734:==========
task_social_golfer.txt.o371967.735:----------
task_social_golfer.txt.o371967.735:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.735:192[+0]/610000 millis.
task_social_golfer.txt.o371967.735:==========
task_social_golfer.txt.o371967.736:----------
task_social_golfer.txt.o371967.736:% Wall time: 0.065261
task_social_golfer.txt.o371967.736:% Conflicts: 2
task_social_golfer.txt.o371967.737:----------
task_social_golfer.txt.o371967.737:% Wall time: 0.035477
task_social_golfer.txt.o371967.737:% Conflicts: 2
task_social_golfer.txt.o371967.738:----------
task_social_golfer.txt.o371967.738:7369[+0]/610000 millis.
task_social_golfer.txt.o371967.738:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.738:==========
task_social_golfer.txt.o371967.739:----------
task_social_golfer.txt.o371967.739:7014[+0]/610000 millis.
task_social_golfer.txt.o371967.739:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.739:==========
task_social_golfer.txt.o371967.74:----------
task_social_golfer.txt.o371967.74:169[+0]/610000 millis.
task_social_golfer.txt.o371967.74:solve => 1 solutions, 7 backtracks
task_social_golfer.txt.o371967.74:==========
task_social_golfer.txt.o371967.740:----------
task_social_golfer.txt.o371967.740:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.740:215[+0]/610000 millis.
task_social_golfer.txt.o371967.740:==========
task_social_golfer.txt.o371967.741:----------
task_social_golfer.txt.o371967.741:% Wall time: 0.068684
task_social_golfer.txt.o371967.741:% Conflicts: 2
task_social_golfer.txt.o371967.742:----------
task_social_golfer.txt.o371967.742:% Wall time: 0.058939
task_social_golfer.txt.o371967.742:% Conflicts: 2
task_social_golfer.txt.o371967.743:----------
task_social_golfer.txt.o371967.743:14577[+0]/610000 millis.
task_social_golfer.txt.o371967.743:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.743:==========
task_social_golfer.txt.o371967.744:----------
task_social_golfer.txt.o371967.744:14024[+0]/610000 millis.
task_social_golfer.txt.o371967.744:solve => 1 solutions, 9 backtracks
task_social_golfer.txt.o371967.744:==========
task_social_golfer.txt.o371967.745:----------
task_social_golfer.txt.o371967.745:solve => 1 solutions, 8 backtracks
task_social_golfer.txt.o371967.745:619[+0]/610000 millis.
task_social_golfer.txt.o371967.745:==========
task_social_golfer.txt.o371967.746:----------
task_social_golfer.txt.o371967.746:% Wall time: 0.142718
task_social_golfer.txt.o371967.746:% Conflicts: 12
task_social_golfer.txt.o371967.747:----------
task_social_golfer.txt.o371967.747:% Wall time: 0.100302
task_social_golfer.txt.o371967.747:% Conflicts: 12
task_social_golfer.txt.o371967.748:----------
task_social_golfer.txt.o371967.748:38148[+0]/610000 millis.
task_social_golfer.txt.o371967.748:solve => 1 solutions, 16 backtracks
task_social_golfer.txt.o371967.748:==========
task_social_golfer.txt.o371967.749:----------
task_social_golfer.txt.o371967.749:33008[+0]/610000 millis.
task_social_golfer.txt.o371967.749:solve => 1 solutions, 15 backtracks
task_social_golfer.txt.o371967.749:==========
task_social_golfer.txt.o371967.75:----------
task_social_golfer.txt.o371967.75:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.75:56[+0]/610000 millis.
task_social_golfer.txt.o371967.75:==========
task_social_golfer.txt.o371967.750:----------
task_social_golfer.txt.o371967.750:solve => 1 solutions, 1122 backtracks
task_social_golfer.txt.o371967.750:1391[+0]/610000 millis.
task_social_golfer.txt.o371967.750:==========
task_social_golfer.txt.o371967.751:----------
task_social_golfer.txt.o371967.751:% Wall time: 0.427664
task_social_golfer.txt.o371967.751:% Conflicts: 14
task_social_golfer.txt.o371967.752:----------
task_social_golfer.txt.o371967.752:% Wall time: 0.141901
task_social_golfer.txt.o371967.752:% Conflicts: 14
task_social_golfer.txt.o371967.753:----------
task_social_golfer.txt.o371967.753:97197[+0]/610000 millis.
task_social_golfer.txt.o371967.753:solve => 1 solutions, 21 backtracks
task_social_golfer.txt.o371967.753:==========
task_social_golfer.txt.o371967.754:----------
task_social_golfer.txt.o371967.754:108213[+0]/610000 millis.
task_social_golfer.txt.o371967.754:solve => 1 solutions, 23 backtracks
task_social_golfer.txt.o371967.754:==========
task_social_golfer.txt.o371967.755:----------
task_social_golfer.txt.o371967.755:solve => 1 solutions, 1965 backtracks
task_social_golfer.txt.o371967.755:1357[+0]/610000 millis.
task_social_golfer.txt.o371967.755:==========
task_social_golfer.txt.o371967.756:----------
task_social_golfer.txt.o371967.756:% Wall time: 0.306512
task_social_golfer.txt.o371967.756:% Conflicts: 15
task_social_golfer.txt.o371967.757:----------
task_social_golfer.txt.o371967.757:% Wall time: 0.219582
task_social_golfer.txt.o371967.757:% Conflicts: 15
task_social_golfer.txt.o371967.758:----------
task_social_golfer.txt.o371967.758:257250[+0]/610000 millis.
task_social_golfer.txt.o371967.758:solve => 1 solutions, 44 backtracks
task_social_golfer.txt.o371967.758:==========
task_social_golfer.txt.o371967.759:----------
task_social_golfer.txt.o371967.759:111610[+0]/610000 millis.
task_social_golfer.txt.o371967.759:solve => 1 solutions, 24 backtracks
task_social_golfer.txt.o371967.759:==========
task_social_golfer.txt.o371967.76:----------
task_social_golfer.txt.o371967.76:% Wall time: 0.004770
task_social_golfer.txt.o371967.76:% Conflicts: 1
task_social_golfer.txt.o371967.760:----------
task_social_golfer.txt.o371967.760:solve => 1 solutions, 2014 backtracks
task_social_golfer.txt.o371967.760:2125[+0]/610000 millis.
task_social_golfer.txt.o371967.760:==========
task_social_golfer.txt.o371967.761:----------
task_social_golfer.txt.o371967.761:% Wall time: 0.383095
task_social_golfer.txt.o371967.761:% Conflicts: 31
task_social_golfer.txt.o371967.762:----------
task_social_golfer.txt.o371967.762:% Wall time: 0.324296
task_social_golfer.txt.o371967.762:% Conflicts: 31
task_social_golfer.txt.o371967.763:610030[+0]/610000 millis.
task_social_golfer.txt.o371967.763:solve => 0 solutions, 36 backtracks
task_social_golfer.txt.o371967.764:----------
task_social_golfer.txt.o371967.764:357067[+0]/610000 millis.
task_social_golfer.txt.o371967.764:solve => 1 solutions, 48 backtracks
task_social_golfer.txt.o371967.764:==========
task_social_golfer.txt.o371967.765:----------
task_social_golfer.txt.o371967.765:solve => 1 solutions, 1919 backtracks
task_social_golfer.txt.o371967.765:2183[+0]/610000 millis.
task_social_golfer.txt.o371967.765:==========
task_social_golfer.txt.o371967.766:% Wall time: 610.009172
task_social_golfer.txt.o371967.766:% Conflicts: 58814
task_social_golfer.txt.o371967.767:% Wall time: 610.000628
task_social_golfer.txt.o371967.767:% Conflicts: 268969
task_social_golfer.txt.o371967.768:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.768:solve => 0 solutions, 28 backtracks
task_social_golfer.txt.o371967.769:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.769:solve => 0 solutions, 13 backtracks
task_social_golfer.txt.o371967.77:----------
task_social_golfer.txt.o371967.77:% Wall time: 0.001464
task_social_golfer.txt.o371967.77:% Conflicts: 1
task_social_golfer.txt.o371967.770:solve => 0 solutions, 833395 backtracks
task_social_golfer.txt.o371967.770:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.771:% Wall time: 610.000196
task_social_golfer.txt.o371967.771:% Conflicts: 43578
task_social_golfer.txt.o371967.772:% Wall time: 610.000919
task_social_golfer.txt.o371967.772:% Conflicts: 142469
task_social_golfer.txt.o371967.773:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.773:solve => 0 solutions, 25 backtracks
task_social_golfer.txt.o371967.774:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.774:solve => 0 solutions, 46 backtracks
task_social_golfer.txt.o371967.775:solve => 0 solutions, 371123 backtracks
task_social_golfer.txt.o371967.775:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.776:% Wall time: 610.010084
task_social_golfer.txt.o371967.776:% Conflicts: 39723
task_social_golfer.txt.o371967.777:% Wall time: 610.001060
task_social_golfer.txt.o371967.777:% Conflicts: 131119
task_social_golfer.txt.o371967.778:610003[+0]/610000 millis.
task_social_golfer.txt.o371967.778:solve => 0 solutions, 44 backtracks
task_social_golfer.txt.o371967.779:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.779:solve => 0 solutions, 84 backtracks
task_social_golfer.txt.o371967.78:----------
task_social_golfer.txt.o371967.78:235[+0]/610000 millis.
task_social_golfer.txt.o371967.78:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.78:==========
task_social_golfer.txt.o371967.780:solve => 0 solutions, 265274 backtracks
task_social_golfer.txt.o371967.780:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.781:----------
task_social_golfer.txt.o371967.781:% Wall time: 0.067577
task_social_golfer.txt.o371967.781:% Conflicts: 1
task_social_golfer.txt.o371967.782:----------
task_social_golfer.txt.o371967.782:% Wall time: 0.050483
task_social_golfer.txt.o371967.782:% Conflicts: 2
task_social_golfer.txt.o371967.783:----------
task_social_golfer.txt.o371967.783:46219[+0]/610000 millis.
task_social_golfer.txt.o371967.783:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.783:==========
task_social_golfer.txt.o371967.784:----------
task_social_golfer.txt.o371967.784:43251[+0]/610000 millis.
task_social_golfer.txt.o371967.784:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.784:==========
task_social_golfer.txt.o371967.785:----------
task_social_golfer.txt.o371967.785:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.785:443[+0]/610000 millis.
task_social_golfer.txt.o371967.785:==========
task_social_golfer.txt.o371967.786:----------
task_social_golfer.txt.o371967.786:% Wall time: 0.168502
task_social_golfer.txt.o371967.786:% Conflicts: 1
task_social_golfer.txt.o371967.787:----------
task_social_golfer.txt.o371967.787:% Wall time: 0.147628
task_social_golfer.txt.o371967.787:% Conflicts: 2
task_social_golfer.txt.o371967.788:----------
task_social_golfer.txt.o371967.788:141060[+0]/610000 millis.
task_social_golfer.txt.o371967.788:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.788:==========
task_social_golfer.txt.o371967.789:----------
task_social_golfer.txt.o371967.789:143029[+0]/610000 millis.
task_social_golfer.txt.o371967.789:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.789:==========
task_social_golfer.txt.o371967.79:----------
task_social_golfer.txt.o371967.79:219[+0]/610000 millis.
task_social_golfer.txt.o371967.79:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.79:==========
task_social_golfer.txt.o371967.790:----------
task_social_golfer.txt.o371967.790:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.790:951[+0]/610000 millis.
task_social_golfer.txt.o371967.790:==========
task_social_golfer.txt.o371967.791:----------
task_social_golfer.txt.o371967.791:% Wall time: 0.277455
task_social_golfer.txt.o371967.791:% Conflicts: 1
task_social_golfer.txt.o371967.792:----------
task_social_golfer.txt.o371967.792:% Wall time: 0.251590
task_social_golfer.txt.o371967.792:% Conflicts: 2
task_social_golfer.txt.o371967.793:----------
task_social_golfer.txt.o371967.793:496733[+0]/610000 millis.
task_social_golfer.txt.o371967.793:solve => 1 solutions, 13 backtracks
task_social_golfer.txt.o371967.793:==========
task_social_golfer.txt.o371967.794:----------
task_social_golfer.txt.o371967.794:489965[+0]/610000 millis.
task_social_golfer.txt.o371967.794:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.794:==========
task_social_golfer.txt.o371967.795:----------
task_social_golfer.txt.o371967.795:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.795:853[+0]/610000 millis.
task_social_golfer.txt.o371967.795:==========
task_social_golfer.txt.o371967.796:----------
task_social_golfer.txt.o371967.796:% Wall time: 0.430476
task_social_golfer.txt.o371967.796:% Conflicts: 1
task_social_golfer.txt.o371967.797:----------
task_social_golfer.txt.o371967.797:% Wall time: 0.388386
task_social_golfer.txt.o371967.797:% Conflicts: 2
task_social_golfer.txt.o371967.798:610245[+0]/610000 millis.
task_social_golfer.txt.o371967.798:solve => 0 solutions, 4 backtracks
task_social_golfer.txt.o371967.799:622348[+0]/610000 millis.
task_social_golfer.txt.o371967.799:solve => 0 solutions, 6 backtracks
task_social_golfer.txt.o371967.8:----------
task_social_golfer.txt.o371967.8:0[+0]/610000 millis.
task_social_golfer.txt.o371967.8:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.8:==========
task_social_golfer.txt.o371967.80:----------
task_social_golfer.txt.o371967.80:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.80:50[+0]/610000 millis.
task_social_golfer.txt.o371967.80:==========
task_social_golfer.txt.o371967.800:----------
task_social_golfer.txt.o371967.800:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.800:1264[+0]/610000 millis.
task_social_golfer.txt.o371967.800:==========
task_social_golfer.txt.o371967.801:% Wall time: 610.005924
task_social_golfer.txt.o371967.801:% Conflicts: 26864
task_social_golfer.txt.o371967.802:% Wall time: 610.013564
task_social_golfer.txt.o371967.802:% Conflicts: 47879
task_social_golfer.txt.o371967.803:610006[+0]/610000 millis.
task_social_golfer.txt.o371967.803:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.804:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.805:solve => 0 solutions, 193329 backtracks
task_social_golfer.txt.o371967.805:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.806:% Wall time: 610.004594
task_social_golfer.txt.o371967.806:% Conflicts: 21399
task_social_golfer.txt.o371967.807:% Wall time: 610.030680
task_social_golfer.txt.o371967.807:% Conflicts: 32897
task_social_golfer.txt.o371967.808:610013[+0]/610000 millis.
task_social_golfer.txt.o371967.808:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.809:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.809:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.81:----------
task_social_golfer.txt.o371967.81:% Wall time: 0.004897
task_social_golfer.txt.o371967.81:% Conflicts: 1
task_social_golfer.txt.o371967.810:solve => 0 solutions, 106003 backtracks
task_social_golfer.txt.o371967.810:610001[+0]/610000 millis.
task_social_golfer.txt.o371967.811:% Wall time: 610.026692
task_social_golfer.txt.o371967.811:% Conflicts: 13888
task_social_golfer.txt.o371967.812:% Wall time: 610.012881
task_social_golfer.txt.o371967.812:% Conflicts: 22245
task_social_golfer.txt.o371967.813:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.813:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.814:610017[+0]/610000 millis.
task_social_golfer.txt.o371967.814:solve => 0 solutions, 2 backtracks
task_social_golfer.txt.o371967.815:solve => 0 solutions, 72318 backtracks
task_social_golfer.txt.o371967.815:610004[+0]/610000 millis.
task_social_golfer.txt.o371967.816:% Wall time: 610.047847
task_social_golfer.txt.o371967.816:% Conflicts: 12220
task_social_golfer.txt.o371967.817:% Wall time: 610.035032
task_social_golfer.txt.o371967.817:% Conflicts: 16218
task_social_golfer.txt.o371967.818:INFO: solve => 0 solutions, 3 backtracks
task_social_golfer.txt.o371967.818:610019[+0]/610000 millis.
task_social_golfer.txt.o371967.819:INFO: solve => 0 solutions, 3 backtracks
task_social_golfer.txt.o371967.819:610015[+0]/610000 millis.
task_social_golfer.txt.o371967.82:----------
task_social_golfer.txt.o371967.82:% Wall time: 0.002858
task_social_golfer.txt.o371967.82:% Conflicts: 1
task_social_golfer.txt.o371967.820:solve => 0 solutions, 43893 backtracks
task_social_golfer.txt.o371967.820:610040[+0]/610000 millis.
task_social_golfer.txt.o371967.821:% Wall time: 610.020114
task_social_golfer.txt.o371967.821:% Conflicts: 11448
task_social_golfer.txt.o371967.822:% Wall time: 610.014511
task_social_golfer.txt.o371967.822:% Conflicts: 16221
task_social_golfer.txt.o371967.823:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.823:610025[+0]/610000 millis.
task_social_golfer.txt.o371967.824:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.824:610048[+0]/610000 millis.
task_social_golfer.txt.o371967.825:INFO: solve => 0 solutions, 32182 backtracks
task_social_golfer.txt.o371967.825:INFO: 610015[+0]/610000 millis.
task_social_golfer.txt.o371967.826:----------
task_social_golfer.txt.o371967.826:% Wall time: 0.227014
task_social_golfer.txt.o371967.826:% Conflicts: 1
task_social_golfer.txt.o371967.827:----------
task_social_golfer.txt.o371967.827:% Wall time: 0.174552
task_social_golfer.txt.o371967.827:% Conflicts: 3
task_social_golfer.txt.o371967.828:----------
task_social_golfer.txt.o371967.828:527689[+0]/610000 millis.
task_social_golfer.txt.o371967.828:solve => 1 solutions, 16 backtracks
task_social_golfer.txt.o371967.828:==========
task_social_golfer.txt.o371967.829:----------
task_social_golfer.txt.o371967.829:476268[+0]/610000 millis.
task_social_golfer.txt.o371967.829:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.829:==========
task_social_golfer.txt.o371967.83:----------
task_social_golfer.txt.o371967.83:288[+0]/610000 millis.
task_social_golfer.txt.o371967.83:solve => 1 solutions, 4 backtracks
task_social_golfer.txt.o371967.83:==========
task_social_golfer.txt.o371967.830:----------
task_social_golfer.txt.o371967.830:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.830:803[+0]/610000 millis.
task_social_golfer.txt.o371967.830:==========
task_social_golfer.txt.o371967.831:----------
task_social_golfer.txt.o371967.831:% Wall time: 0.532365
task_social_golfer.txt.o371967.831:% Conflicts: 1
task_social_golfer.txt.o371967.832:----------
task_social_golfer.txt.o371967.832:% Wall time: 0.425905
task_social_golfer.txt.o371967.832:% Conflicts: 3
task_social_golfer.txt.o371967.833:610005[+0]/610000 millis.
task_social_golfer.txt.o371967.833:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.834:610011[+0]/610000 millis.
task_social_golfer.txt.o371967.834:solve => 0 solutions, 1 backtracks
task_social_golfer.txt.o371967.835:----------
task_social_golfer.txt.o371967.835:solve => 1 solutions, 26 backtracks
task_social_golfer.txt.o371967.835:1134[+0]/610000 millis.
task_social_golfer.txt.o371967.835:==========
task_social_golfer.txt.o371967.836:----------
task_social_golfer.txt.o371967.836:% Wall time: 1.873849
task_social_golfer.txt.o371967.836:% Conflicts: 162
task_social_golfer.txt.o371967.837:----------
task_social_golfer.txt.o371967.837:% Wall time: 1.759705
task_social_golfer.txt.o371967.837:% Conflicts: 214
task_social_golfer.txt.o371967.838:610013[+0]/610000 millis.
task_social_golfer.txt.o371967.838:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.839:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.839:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.84:----------
task_social_golfer.txt.o371967.84:285[+0]/610000 millis.
task_social_golfer.txt.o371967.84:solve => 1 solutions, 5 backtracks
task_social_golfer.txt.o371967.84:==========
task_social_golfer.txt.o371967.840:----------
task_social_golfer.txt.o371967.840:solve => 1 solutions, 910 backtracks
task_social_golfer.txt.o371967.840:4057[+0]/610000 millis.
task_social_golfer.txt.o371967.840:==========
task_social_golfer.txt.o371967.841:----------
task_social_golfer.txt.o371967.841:% Wall time: 11.072962
task_social_golfer.txt.o371967.841:% Conflicts: 819
task_social_golfer.txt.o371967.842:----------
task_social_golfer.txt.o371967.842:% Wall time: 11.700364
task_social_golfer.txt.o371967.842:% Conflicts: 1097
task_social_golfer.txt.o371967.843:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.843:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.844:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.844:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.845:----------
task_social_golfer.txt.o371967.845:solve => 1 solutions, 4552 backtracks
task_social_golfer.txt.o371967.845:17575[+0]/610000 millis.
task_social_golfer.txt.o371967.845:==========
task_social_golfer.txt.o371967.846:----------
task_social_golfer.txt.o371967.846:% Wall time: 452.489502
task_social_golfer.txt.o371967.846:% Conflicts: 15336
task_social_golfer.txt.o371967.847:----------
task_social_golfer.txt.o371967.847:% Wall time: 431.833285
task_social_golfer.txt.o371967.847:% Conflicts: 26378
task_social_golfer.txt.o371967.848:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.848:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.849:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.849:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.85:----------
task_social_golfer.txt.o371967.85:solve => 1 solutions, 6 backtracks
task_social_golfer.txt.o371967.85:93[+0]/610000 millis.
task_social_golfer.txt.o371967.85:==========
task_social_golfer.txt.o371967.850:INFO: solve => 0 solutions, 92780 backtracks
task_social_golfer.txt.o371967.850:INFO: 610004[+0]/610000 millis.
task_social_golfer.txt.o371967.851:% Wall time: 610.031628
task_social_golfer.txt.o371967.851:% Conflicts: 15112
task_social_golfer.txt.o371967.852:% Wall time: 610.010238
task_social_golfer.txt.o371967.852:% Conflicts: 26893
task_social_golfer.txt.o371967.853:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.853:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.854:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.854:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.855:INFO: solve => 0 solutions, 51130 backtracks
task_social_golfer.txt.o371967.855:INFO: 610007[+0]/610000 millis.
task_social_golfer.txt.o371967.856:% Wall time: 610.027561
task_social_golfer.txt.o371967.856:% Conflicts: 11701
task_social_golfer.txt.o371967.857:% Wall time: 610.044977
task_social_golfer.txt.o371967.857:% Conflicts: 19672
task_social_golfer.txt.o371967.858:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.858:610339[+0]/610000 millis.
task_social_golfer.txt.o371967.859:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.859:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.86:----------
task_social_golfer.txt.o371967.86:% Wall time: 0.008586
task_social_golfer.txt.o371967.86:% Conflicts: 3
task_social_golfer.txt.o371967.860:INFO: solve => 0 solutions, 33384 backtracks
task_social_golfer.txt.o371967.860:INFO: 610023[+0]/610000 millis.
task_social_golfer.txt.o371967.861:% Wall time: 610.018459
task_social_golfer.txt.o371967.861:% Conflicts: 9644
task_social_golfer.txt.o371967.862:% Wall time: 610.124089
task_social_golfer.txt.o371967.862:% Conflicts: 13776
task_social_golfer.txt.o371967.863:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.863:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.864:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.864:610309[+0]/610000 millis.
task_social_golfer.txt.o371967.865:INFO: solve => 0 solutions, 24815 backtracks
task_social_golfer.txt.o371967.865:INFO: 610010[+0]/610000 millis.
task_social_golfer.txt.o371967.866:----------
task_social_golfer.txt.o371967.866:% Wall time: 0.486699
task_social_golfer.txt.o371967.866:% Conflicts: 1
task_social_golfer.txt.o371967.867:----------
task_social_golfer.txt.o371967.867:% Wall time: 0.388511
task_social_golfer.txt.o371967.867:% Conflicts: 4
task_social_golfer.txt.o371967.868:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.868:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.869:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.869:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.87:----------
task_social_golfer.txt.o371967.87:% Wall time: 0.005357
task_social_golfer.txt.o371967.87:% Conflicts: 3
task_social_golfer.txt.o371967.870:----------
task_social_golfer.txt.o371967.870:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.870:656[+0]/610000 millis.
task_social_golfer.txt.o371967.870:==========
task_social_golfer.txt.o371967.871:% Wall time: 610.004021
task_social_golfer.txt.o371967.871:% Conflicts: 52508
task_social_golfer.txt.o371967.872:% Wall time: 610.004480
task_social_golfer.txt.o371967.872:% Conflicts: 138176
task_social_golfer.txt.o371967.873:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.873:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.874:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.874:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.875:solve => 0 solutions, 671053 backtracks
task_social_golfer.txt.o371967.875:610002[+0]/610000 millis.
task_social_golfer.txt.o371967.876:% Wall time: 610.013599
task_social_golfer.txt.o371967.876:% Conflicts: 22576
task_social_golfer.txt.o371967.877:% Wall time: 610.015110
task_social_golfer.txt.o371967.877:% Conflicts: 35313
task_social_golfer.txt.o371967.878:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.878:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.879:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.879:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.88:----------
task_social_golfer.txt.o371967.88:566[+0]/610000 millis.
task_social_golfer.txt.o371967.88:solve => 1 solutions, 12 backtracks
task_social_golfer.txt.o371967.88:==========
task_social_golfer.txt.o371967.880:INFO: solve => 0 solutions, 128811 backtracks
task_social_golfer.txt.o371967.880:INFO: 610003[+0]/610000 millis.
task_social_golfer.txt.o371967.881:% Wall time: 610.018781
task_social_golfer.txt.o371967.881:% Conflicts: 14845
task_social_golfer.txt.o371967.882:% Wall time: 610.013975
task_social_golfer.txt.o371967.882:% Conflicts: 20282
task_social_golfer.txt.o371967.883:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.883:610782[+0]/610000 millis.
task_social_golfer.txt.o371967.884:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.884:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.885:INFO: solve => 0 solutions, 61789 backtracks
task_social_golfer.txt.o371967.885:INFO: 610013[+0]/610000 millis.
task_social_golfer.txt.o371967.886:% Wall time: 610.039117
task_social_golfer.txt.o371967.886:% Conflicts: 12121
task_social_golfer.txt.o371967.887:% Wall time: 610.018984
task_social_golfer.txt.o371967.887:% Conflicts: 14999
task_social_golfer.txt.o371967.888:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.889:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.89:----------
task_social_golfer.txt.o371967.89:564[+0]/610000 millis.
task_social_golfer.txt.o371967.89:solve => 1 solutions, 10 backtracks
task_social_golfer.txt.o371967.89:==========
task_social_golfer.txt.o371967.890:INFO: solve => 0 solutions, 40749 backtracks
task_social_golfer.txt.o371967.890:INFO: 610003[+0]/610000 millis.
task_social_golfer.txt.o371967.891:% Wall time: 610.006981
task_social_golfer.txt.o371967.891:% Conflicts: 7539
task_social_golfer.txt.o371967.892:% Wall time: 610.004849
task_social_golfer.txt.o371967.892:% Conflicts: 13835
task_social_golfer.txt.o371967.893:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.894:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.895:INFO: solve => 0 solutions, 27453 backtracks
task_social_golfer.txt.o371967.895:INFO: 610010[+0]/610000 millis.
task_social_golfer.txt.o371967.896:% Wall time: 610.041451
task_social_golfer.txt.o371967.896:% Conflicts: 5959
task_social_golfer.txt.o371967.897:% Wall time: 610.011873
task_social_golfer.txt.o371967.897:% Conflicts: 9404
task_social_golfer.txt.o371967.898:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.899:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.9:----------
task_social_golfer.txt.o371967.9:0[+0]/610000 millis.
task_social_golfer.txt.o371967.9:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.9:==========
task_social_golfer.txt.o371967.90:----------
task_social_golfer.txt.o371967.90:solve => 1 solutions, 20 backtracks
task_social_golfer.txt.o371967.90:132[+0]/610000 millis.
task_social_golfer.txt.o371967.90:==========
task_social_golfer.txt.o371967.900:INFO: solve => 0 solutions, 19019 backtracks
task_social_golfer.txt.o371967.900:INFO: 610034[+0]/610000 millis.
task_social_golfer.txt.o371967.901:% Wall time: 610.055506
task_social_golfer.txt.o371967.901:% Conflicts: 4763
task_social_golfer.txt.o371967.902:% Wall time: 610.060320
task_social_golfer.txt.o371967.902:% Conflicts: 7874
task_social_golfer.txt.o371967.903:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.904:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.905:INFO: solve => 0 solutions, 14487 backtracks
task_social_golfer.txt.o371967.905:INFO: 610093[+0]/610000 millis.
task_social_golfer.txt.o371967.906:----------
task_social_golfer.txt.o371967.906:% Wall time: 0.707793
task_social_golfer.txt.o371967.906:% Conflicts: 1
task_social_golfer.txt.o371967.907:----------
task_social_golfer.txt.o371967.907:% Wall time: 0.656364
task_social_golfer.txt.o371967.907:% Conflicts: 5
task_social_golfer.txt.o371967.908:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.908:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.909:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.909:solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.91:=====UNSATISFIABLE=====
task_social_golfer.txt.o371967.91:% Wall time: 5.837628
task_social_golfer.txt.o371967.91:% Conflicts: 5443
task_social_golfer.txt.o371967.910:----------
task_social_golfer.txt.o371967.910:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.910:1249[+0]/610000 millis.
task_social_golfer.txt.o371967.910:==========
task_social_golfer.txt.o371967.911:% Wall time: 610.019963
task_social_golfer.txt.o371967.911:% Conflicts: 34538
task_social_golfer.txt.o371967.912:% Wall time: 610.005878
task_social_golfer.txt.o371967.912:% Conflicts: 61881
task_social_golfer.txt.o371967.913:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.913:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.914:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.914:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.915:INFO: solve => 0 solutions, 442347 backtracks
task_social_golfer.txt.o371967.915:INFO: 610005[+0]/610000 millis.
task_social_golfer.txt.o371967.916:% Wall time: 610.017089
task_social_golfer.txt.o371967.916:% Conflicts: 18878
task_social_golfer.txt.o371967.917:% Wall time: 610.001002
task_social_golfer.txt.o371967.917:% Conflicts: 23188
task_social_golfer.txt.o371967.918:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.919:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.92:=====UNSATISFIABLE=====
task_social_golfer.txt.o371967.92:% Wall time: 3.495858
task_social_golfer.txt.o371967.92:% Conflicts: 6543
task_social_golfer.txt.o371967.920:INFO: solve => 0 solutions, 141028 backtracks
task_social_golfer.txt.o371967.920:INFO: 610005[+0]/610000 millis.
task_social_golfer.txt.o371967.921:% Wall time: 610.015600
task_social_golfer.txt.o371967.921:% Conflicts: 9745
task_social_golfer.txt.o371967.922:% Wall time: 610.001616
task_social_golfer.txt.o371967.922:% Conflicts: 13087
task_social_golfer.txt.o371967.923:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.924:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.925:INFO: solve => 0 solutions, 63703 backtracks
task_social_golfer.txt.o371967.925:INFO: 610007[+0]/610000 millis.
task_social_golfer.txt.o371967.926:% Wall time: 610.007584
task_social_golfer.txt.o371967.926:% Conflicts: 6831
task_social_golfer.txt.o371967.927:% Wall time: 610.032456
task_social_golfer.txt.o371967.927:% Conflicts: 9138
task_social_golfer.txt.o371967.928:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.929:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.93:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.93:solve => 0 solutions, 15788 backtracks
task_social_golfer.txt.o371967.930:INFO: solve => 0 solutions, 36584 backtracks
task_social_golfer.txt.o371967.930:INFO: 610026[+0]/610000 millis.
task_social_golfer.txt.o371967.931:% Wall time: 610.003444
task_social_golfer.txt.o371967.931:% Conflicts: 6518
task_social_golfer.txt.o371967.932:% Wall time: 610.039307
task_social_golfer.txt.o371967.932:% Conflicts: 6760
task_social_golfer.txt.o371967.933:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.934:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.935:INFO: solve => 0 solutions, 25106 backtracks
task_social_golfer.txt.o371967.935:INFO: 610042[+0]/610000 millis.
task_social_golfer.txt.o371967.936:% Wall time: 610.067020
task_social_golfer.txt.o371967.936:% Conflicts: 5198
task_social_golfer.txt.o371967.937:% Wall time: 610.031233
task_social_golfer.txt.o371967.937:% Conflicts: 6259
task_social_golfer.txt.o371967.938:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.939:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.94:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.94:solve => 0 solutions, 12887 backtracks
task_social_golfer.txt.o371967.940:INFO: solve => 0 solutions, 18475 backtracks
task_social_golfer.txt.o371967.940:INFO: 610052[+0]/610000 millis.
task_social_golfer.txt.o371967.941:% Wall time: 610.016904
task_social_golfer.txt.o371967.941:% Conflicts: 4248
task_social_golfer.txt.o371967.942:% Wall time: 610.025704
task_social_golfer.txt.o371967.942:% Conflicts: 4855
task_social_golfer.txt.o371967.945:INFO: solve => 0 solutions, 14620 backtracks
task_social_golfer.txt.o371967.945:INFO: 610032[+0]/610000 millis.
task_social_golfer.txt.o371967.946:----------
task_social_golfer.txt.o371967.946:% Wall time: 1.073586
task_social_golfer.txt.o371967.946:% Conflicts: 1
task_social_golfer.txt.o371967.947:----------
task_social_golfer.txt.o371967.947:% Wall time: 1.234520
task_social_golfer.txt.o371967.947:% Conflicts: 6
task_social_golfer.txt.o371967.948:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.948:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.949:INFO: solve => 0 solutions, 0 backtracks
task_social_golfer.txt.o371967.949:610000[+0]/610000 millis.
task_social_golfer.txt.o371967.95:solve => 0 solutions, 15945 backtracks
task_social_golfer.txt.o371967.95:3053[+0]/610000 millis.
task_social_golfer.txt.o371967.95:==========
task_social_golfer.txt.o371967.950:----------
task_social_golfer.txt.o371967.950:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.950:1865[+0]/610000 millis.
task_social_golfer.txt.o371967.950:==========
task_social_golfer.txt.o371967.951:----------
task_social_golfer.txt.o371967.951:% Wall time: 2.551465
task_social_golfer.txt.o371967.951:% Conflicts: 1
task_social_golfer.txt.o371967.952:----------
task_social_golfer.txt.o371967.952:% Wall time: 2.243341
task_social_golfer.txt.o371967.952:% Conflicts: 6
task_social_golfer.txt.o371967.953:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.954:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.955:----------
task_social_golfer.txt.o371967.955:INFO: solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.955:INFO: 4247[+0]/610000 millis.
task_social_golfer.txt.o371967.955:==========
task_social_golfer.txt.o371967.956:----------
task_social_golfer.txt.o371967.956:% Wall time: 4.056676
task_social_golfer.txt.o371967.956:% Conflicts: 4
task_social_golfer.txt.o371967.957:----------
task_social_golfer.txt.o371967.957:% Wall time: 4.053656
task_social_golfer.txt.o371967.957:% Conflicts: 9
task_social_golfer.txt.o371967.958:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.959:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.96:----------
task_social_golfer.txt.o371967.96:% Wall time: 0.005236
task_social_golfer.txt.o371967.96:% Conflicts: 1
task_social_golfer.txt.o371967.960:----------
task_social_golfer.txt.o371967.960:INFO: solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.960:INFO: 7870[+0]/610000 millis.
task_social_golfer.txt.o371967.960:==========
task_social_golfer.txt.o371967.961:----------
task_social_golfer.txt.o371967.961:% Wall time: 5.748151
task_social_golfer.txt.o371967.961:% Conflicts: 4
task_social_golfer.txt.o371967.962:----------
task_social_golfer.txt.o371967.962:% Wall time: 5.746729
task_social_golfer.txt.o371967.962:% Conflicts: 9
task_social_golfer.txt.o371967.963:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.964:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.965:----------
task_social_golfer.txt.o371967.965:INFO: solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.965:INFO: 13318[+0]/610000 millis.
task_social_golfer.txt.o371967.965:==========
task_social_golfer.txt.o371967.966:----------
task_social_golfer.txt.o371967.966:% Wall time: 7.545648
task_social_golfer.txt.o371967.966:% Conflicts: 4
task_social_golfer.txt.o371967.967:----------
task_social_golfer.txt.o371967.967:% Wall time: 6.940566
task_social_golfer.txt.o371967.967:% Conflicts: 9
task_social_golfer.txt.o371967.968:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.969:Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
task_social_golfer.txt.o371967.97:----------
task_social_golfer.txt.o371967.97:% Wall time: 0.004564
task_social_golfer.txt.o371967.97:% Conflicts: 2
task_social_golfer.txt.o371967.970:----------
task_social_golfer.txt.o371967.970:INFO: solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.970:INFO: 21479[+0]/610000 millis.
task_social_golfer.txt.o371967.970:==========
task_social_golfer.txt.o371967.971:----------
task_social_golfer.txt.o371967.971:% Wall time: 8.642898
task_social_golfer.txt.o371967.971:% Conflicts: 4
task_social_golfer.txt.o371967.972:----------
task_social_golfer.txt.o371967.972:% Wall time: 9.175093
task_social_golfer.txt.o371967.972:% Conflicts: 9
task_social_golfer.txt.o371967.975:----------
task_social_golfer.txt.o371967.975:INFO: solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.975:INFO: 28270[+0]/610000 millis.
task_social_golfer.txt.o371967.975:==========
task_social_golfer.txt.o371967.976:----------
task_social_golfer.txt.o371967.976:% Wall time: 10.326220
task_social_golfer.txt.o371967.976:% Conflicts: 4
task_social_golfer.txt.o371967.977:----------
task_social_golfer.txt.o371967.977:% Wall time: 10.769278
task_social_golfer.txt.o371967.977:% Conflicts: 9
task_social_golfer.txt.o371967.98:----------
task_social_golfer.txt.o371967.98:757[+0]/610000 millis.
task_social_golfer.txt.o371967.98:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.98:==========
task_social_golfer.txt.o371967.980:----------
task_social_golfer.txt.o371967.980:INFO: solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.980:INFO: 36879[+0]/610000 millis.
task_social_golfer.txt.o371967.980:==========
task_social_golfer.txt.o371967.981:----------
task_social_golfer.txt.o371967.981:% Wall time: 12.853600
task_social_golfer.txt.o371967.981:% Conflicts: 4
task_social_golfer.txt.o371967.982:----------
task_social_golfer.txt.o371967.982:% Wall time: 13.021145
task_social_golfer.txt.o371967.982:% Conflicts: 9
task_social_golfer.txt.o371967.985:----------
task_social_golfer.txt.o371967.985:INFO: solve => 1 solutions, 19 backtracks
task_social_golfer.txt.o371967.985:INFO: 47113[+0]/610000 millis.
task_social_golfer.txt.o371967.985:==========
task_social_golfer.txt.o371967.986:----------
task_social_golfer.txt.o371967.986:% Wall time: 0.003471
task_social_golfer.txt.o371967.986:% Conflicts: 0
task_social_golfer.txt.o371967.987:----------
task_social_golfer.txt.o371967.987:% Wall time: 0.002794
task_social_golfer.txt.o371967.987:% Conflicts: 0
task_social_golfer.txt.o371967.988:----------
task_social_golfer.txt.o371967.988:318[+0]/610000 millis.
task_social_golfer.txt.o371967.988:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.988:==========
task_social_golfer.txt.o371967.989:----------
task_social_golfer.txt.o371967.989:379[+0]/610000 millis.
task_social_golfer.txt.o371967.989:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.989:==========
task_social_golfer.txt.o371967.99:----------
task_social_golfer.txt.o371967.99:756[+0]/610000 millis.
task_social_golfer.txt.o371967.99:solve => 1 solutions, 1 backtracks
task_social_golfer.txt.o371967.99:==========
task_social_golfer.txt.o371967.990:----------
task_social_golfer.txt.o371967.990:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.990:116[+0]/610000 millis.
task_social_golfer.txt.o371967.990:==========
task_social_golfer.txt.o371967.991:----------
task_social_golfer.txt.o371967.991:% Wall time: 0.007077
task_social_golfer.txt.o371967.991:% Conflicts: 0
task_social_golfer.txt.o371967.992:----------
task_social_golfer.txt.o371967.992:% Wall time: 0.005616
task_social_golfer.txt.o371967.992:% Conflicts: 0
task_social_golfer.txt.o371967.993:----------
task_social_golfer.txt.o371967.993:538[+0]/610000 millis.
task_social_golfer.txt.o371967.993:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.993:==========
task_social_golfer.txt.o371967.994:----------
task_social_golfer.txt.o371967.994:778[+0]/610000 millis.
task_social_golfer.txt.o371967.994:solve => 1 solutions, 2 backtracks
task_social_golfer.txt.o371967.994:==========
task_social_golfer.txt.o371967.995:----------
task_social_golfer.txt.o371967.995:solve => 1 solutions, 0 backtracks
task_social_golfer.txt.o371967.995:183[+0]/610000 millis.
task_social_golfer.txt.o371967.995:==========
task_social_golfer.txt.o371967.996:----------
task_social_golfer.txt.o371967.996:% Wall time: 0.011747
task_social_golfer.txt.o371967.996:% Conflicts: 0
task_social_golfer.txt.o371967.997:----------
task_social_golfer.txt.o371967.997:% Wall time: 0.009845
task_social_golfer.txt.o371967.997:% Conflicts: 0
task_social_golfer.txt.o371967.998:----------
task_social_golfer.txt.o371967.998:863[+0]/610000 millis.
task_social_golfer.txt.o371967.998:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.998:==========
task_social_golfer.txt.o371967.999:----------
task_social_golfer.txt.o371967.999:930[+0]/610000 millis.
task_social_golfer.txt.o371967.999:solve => 1 solutions, 3 backtracks
task_social_golfer.txt.o371967.999:==========