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:==========