c wbo 1.4 beta - 20100610 c | Number of variables: 178 | c | Number of clauses: 1258 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1335 | c | Number Clauses: 1214 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1335 1214 4720 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2394750 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 1335 1215 5921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2394600 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 2 | 1335 1216 7122 | 5000 2 1172 | 0.000 % | c =============================================================================== c New solution: 2393805 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 6 | 1335 1217 8323 | 5000 6 1173 | 0.000 % | c =============================================================================== c New solution: 2393573 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 71 | 1335 1218 9524 | 5000 71 1173 | 0.000 % | c =============================================================================== c New solution: 2393435 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 90 | 1335 1219 10725 | 5000 90 1173 | 0.000 % | c =============================================================================== c New solution: 2392882 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 90 | 1335 1220 11926 | 5000 90 1173 | 0.000 % | c =============================================================================== c New solution: 2392736 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 93 | 1335 1221 13127 | 5000 93 1173 | 0.000 % | c =============================================================================== c New solution: 2392417 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 169 | 1335 1222 14328 | 5000 169 1173 | 0.000 % | c | 269 | 1335 1222 14328 | 5500 269 1173 | 0.000 % | c =============================================================================== c New solution: 2390491 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 269 | 1335 1223 15529 | 5000 269 1173 | 0.000 % | c =============================================================================== c New solution: 2390269 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 295 | 1335 1224 16730 | 5000 295 1173 | 0.000 % | c | 395 | 1335 1224 16730 | 5500 395 1172 | 0.000 % | c =============================================================================== c New solution: 2390266 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 500 | 1335 1225 17931 | 5000 500 1172 | 0.000 % | c | 600 | 1335 1225 17931 | 5500 600 1172 | 0.000 % | c =============================================================================== c New solution: 2390133 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 601 | 1335 1226 19132 | 5000 601 1172 | 0.000 % | c | 701 | 1335 1226 19132 | 5500 701 1172 | 0.000 % | c | 852 | 1335 1226 19132 | 6050 852 1172 | 0.000 % | c | 1078 | 1335 1226 19132 | 6655 1078 1171 | 0.000 % | c =============================================================================== c New solution: 2390024 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 1346 | 1335 1227 20333 | 5000 1346 1171 | 0.000 % | c | 1448 | 1335 1227 20333 | 5500 1448 1171 | 0.000 % | c | 1598 | 1335 1227 20333 | 6050 1598 1171 | 0.000 % | c | 1824 | 1335 1227 20333 | 6655 1824 1171 | 0.000 % | c | 2162 | 1335 1227 20333 | 7320 2162 1171 | 0.000 % | c | 2668 | 1335 1227 20333 | 8052 2668 1171 | 0.000 % | c =============================================================================== c New solution: 2389875 c Elapsed CPU time: 2.37864 s Remaining CPU time: 177.621 s c =============================================================================== c | 2998 | 1335 1228 21534 | 5000 2998 1171 | 0.000 % | c | 3098 | 1335 1228 21534 | 5500 3098 1171 | 0.000 % | c | 3248 | 1335 1228 21534 | 6050 3248 1171 | 0.000 % | c | 3473 | 1335 1228 21534 | 6655 3473 1171 | 0.000 % | c =============================================================================== c New solution: 2389793 c Elapsed CPU time: 3.00354 s Remaining CPU time: 176.996 s c =============================================================================== c | 3557 | 1335 1229 22735 | 5000 3557 1171 | 0.000 % | c | 3657 | 1335 1229 22735 | 5500 3657 1171 | 0.000 % | c | 3807 | 1335 1229 22735 | 6050 3807 1171 | 0.000 % | c | 4032 | 1335 1229 22735 | 6655 4032 1171 | 0.000 % | c | 4369 | 1335 1229 22735 | 7320 4369 1171 | 0.000 % | c | 4876 | 1335 1229 22735 | 8052 4876 1171 | 0.000 % | c | 5637 | 1335 1229 22735 | 8857 5637 1171 | 0.000 % | c | 6776 | 1335 1229 22735 | 9743 6776 1171 | 0.000 % | c =============================================================================== c New solution: 2389663 c Elapsed CPU time: 6.74897 s Remaining CPU time: 173.251 s c =============================================================================== c | 6816 | 1335 1230 23936 | 5000 6816 1171 | 0.000 % | c | 6918 | 1335 1230 23936 | 5500 3510 1171 | 0.000 % | c =============================================================================== c New solution: 2389640 c Elapsed CPU time: 7.02593 s Remaining CPU time: 172.974 s c =============================================================================== c | 7012 | 1335 1231 25137 | 5000 3604 1171 | 0.000 % | c | 7113 | 1335 1231 25137 | 5500 3705 1171 | 0.000 % | c | 7263 | 1335 1231 25137 | 6050 3855 1171 | 0.000 % | c | 7488 | 1335 1231 25137 | 6655 4080 1171 | 0.000 % | c =============================================================================== c New solution: 2389569 c Elapsed CPU time: 7.73882 s Remaining CPU time: 172.261 s c =============================================================================== c | 7489 | 1335 1232 26338 | 5000 4081 1171 | 0.000 % | c =============================================================================== c New solution: 2389412 c Elapsed CPU time: 7.76182 s Remaining CPU time: 172.238 s c =============================================================================== c | 7495 | 1335 1233 27539 | 5000 4087 1171 | 0.000 % | c =============================================================================== c New solution: 2389354 c Elapsed CPU time: 7.78282 s Remaining CPU time: 172.217 s c =============================================================================== c | 7498 | 1335 1234 28740 | 5000 4090 1171 | 0.000 % | c =============================================================================== c New solution: 2389146 c Elapsed CPU time: 7.80781 s Remaining CPU time: 172.192 s c =============================================================================== c | 7500 | 1335 1235 29941 | 5000 4092 1171 | 0.000 % | c =============================================================================== c New solution: 2388867 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s c =============================================================================== c | 7501 | 1335 1236 31142 | 5000 4093 1171 | 0.000 % | c =============================================================================== c New solution: 2388177 c Elapsed CPU time: 7.8678 s Remaining CPU time: 172.132 s c =============================================================================== c | 7502 | 1335 1237 32343 | 5000 4094 1171 | 0.000 % | c | 7604 | 1335 1237 32343 | 5500 4196 1171 | 0.000 % | c | 7754 | 1335 1237 32343 | 6050 4346 1171 | 0.000 % | c | 7979 | 1335 1237 32343 | 6655 4571 1171 | 0.000 % | c | 8316 | 1335 1237 32343 | 7320 4908 1171 | 0.000 % | c | 8824 | 1335 1237 32343 | 8052 5416 1171 | 0.000 % | c | 9583 | 1335 1237 32343 | 8857 6175 1171 | 0.000 % | c | 10723 | 1335 1237 32343 | 9743 7315 1171 | 0.000 % | c =============================================================================== c New solution: 2388147 c Elapsed CPU time: 11.9572 s Remaining CPU time: 168.043 s c =============================================================================== c | 10729 | 1335 1238 33544 | 5000 7321 1171 | 0.000 % | c =============================================================================== c New solution: 2387863 c Elapsed CPU time: 12.0302 s Remaining CPU time: 167.97 s c =============================================================================== c | 10746 | 1335 1239 34745 | 5000 3678 1170 | 0.000 % | c | 10846 | 1335 1239 34745 | 5500 3778 1170 | 0.000 % | c | 11001 | 1335 1239 34745 | 6050 3933 1170 | 0.000 % | c | 11226 | 1335 1239 34745 | 6655 4158 1170 | 0.000 % | c | 11565 | 1335 1239 34745 | 7320 4497 1170 | 0.000 % | c | 12072 | 1335 1239 34745 | 8052 5004 1170 | 0.000 % | c | 12832 | 1335 1239 34745 | 8857 5764 1170 | 0.000 % | c | 13971 | 1335 1239 34745 | 9743 6903 1170 | 0.000 % | c =============================================================================== c New solution: 2387506 c Elapsed CPU time: 17.4064 s Remaining CPU time: 162.594 s c =============================================================================== c | 15141 | 1335 1240 35946 | 5000 8073 1170 | 0.000 % | c | 15241 | 1335 1240 35946 | 5500 4137 1170 | 0.000 % | c =============================================================================== c New solution: 2387401 c Elapsed CPU time: 17.6973 s Remaining CPU time: 162.303 s c =============================================================================== c | 15339 | 1335 1241 37147 | 5000 4235 1170 | 0.000 % | c | 15439 | 1335 1241 37147 | 5500 4335 1170 | 0.000 % | c | 15589 | 1335 1241 37147 | 6050 4485 1170 | 0.000 % | c =============================================================================== c New solution: 2387134 c Elapsed CPU time: 17.9973 s Remaining CPU time: 162.003 s c =============================================================================== c | 15600 | 1335 1242 38348 | 5000 4496 1170 | 0.000 % | c | 15701 | 1335 1242 38348 | 5500 4597 1170 | 0.000 % | c | 15852 | 1335 1242 38348 | 6050 4748 1170 | 0.000 % | c =============================================================================== c New solution: 2387129 c Elapsed CPU time: 18.5022 s Remaining CPU time: 161.498 s c =============================================================================== c | 16056 | 1335 1243 39549 | 5000 4952 1170 | 0.000 % | c | 16157 | 1335 1243 39549 | 5500 5053 1170 | 0.000 % | c | 16307 | 1335 1243 39549 | 6050 5203 1170 | 0.000 % | c | 16533 | 1335 1243 39549 | 6655 5429 1170 | 0.000 % | c | 16871 | 1335 1243 39549 | 7320 5767 1170 | 0.000 % | c | 17378 | 1335 1243 39549 | 8052 6274 1170 | 0.000 % | c | 18137 | 1335 1243 39549 | 8857 7033 1170 | 0.000 % | c | 19277 | 1335 1243 39549 | 9743 8173 1170 | 0.000 % | c =============================================================================== c New solution: 2387050 c Elapsed CPU time: 22.7525 s Remaining CPU time: 157.247 s c =============================================================================== c | 19529 | 1335 1244 40750 | 5000 8425 1170 | 0.000 % | c | 19630 | 1335 1244 40750 | 5500 4314 1170 | 0.000 % | c | 19781 | 1335 1244 40750 | 6050 4465 1170 | 0.000 % | c | 20007 | 1335 1244 40750 | 6655 4691 1170 | 0.000 % | c | 20346 | 1335 1244 40750 | 7320 5030 1170 | 0.000 % | c | 20852 | 1335 1244 40750 | 8052 5536 1170 | 0.000 % | c | 21613 | 1335 1244 40750 | 8857 6297 1170 | 0.000 % | c =============================================================================== c New solution: 2386959 c Elapsed CPU time: 26.6689 s Remaining CPU time: 153.331 s c =============================================================================== c | 22687 | 1335 1245 41951 | 5000 7371 1170 | 0.000 % | c =============================================================================== c New solution: 2386745 c Elapsed CPU time: 26.8189 s Remaining CPU time: 153.181 s c =============================================================================== c | 22756 | 1335 1246 43152 | 5000 3755 1170 | 0.000 % | c | 22857 | 1335 1246 43152 | 5500 3856 1170 | 0.000 % | c =============================================================================== c New solution: 2385985 c Elapsed CPU time: 26.9949 s Remaining CPU time: 153.005 s c =============================================================================== c | 22894 | 1335 1247 44353 | 5000 3893 1170 | 0.000 % | c | 22994 | 1335 1247 44353 | 5500 3993 1170 | 0.000 % | c | 23144 | 1335 1247 44353 | 6050 4143 1170 | 0.000 % | c | 23369 | 1335 1247 44353 | 6655 4368 1170 | 0.000 % | c | 23709 | 1335 1247 44353 | 7320 4708 1170 | 0.000 % | c | 24215 | 1335 1247 44353 | 8052 5214 1170 | 0.000 % | c | 24974 | 1335 1247 44353 | 8857 5973 1170 | 0.000 % | c | 26114 | 1335 1247 44353 | 9743 7113 1170 | 0.000 % | c | 27822 | 1335 1247 44353 | 10717 8821 1169 | 0.000 % | c =============================================================================== c New solution: 2385926 c Elapsed CPU time: 34.2058 s Remaining CPU time: 145.794 s c =============================================================================== c | 28144 | 1335 1248 45554 | 5000 9143 1169 | 0.000 % | c | 28245 | 1335 1248 45554 | 5500 4673 1167 | 0.000 % | c =============================================================================== c New solution: 2385829 c Elapsed CPU time: 34.5777 s Remaining CPU time: 145.422 s c =============================================================================== c | 28324 | 1335 1249 46755 | 5000 4752 1167 | 0.000 % | c | 28424 | 1335 1249 46755 | 5500 4852 1167 | 0.000 % | c | 28576 | 1335 1249 46755 | 6050 5004 1167 | 0.000 % | c | 28801 | 1335 1249 46755 | 6655 5229 1167 | 0.000 % | c =============================================================================== c New solution: 2385820 c Elapsed CPU time: 35.4006 s Remaining CPU time: 144.599 s c =============================================================================== c | 28828 | 1335 1250 47956 | 5000 5256 1167 | 0.000 % | c | 28929 | 1335 1250 47956 | 5500 2729 1165 | 0.000 % | c | 29079 | 1335 1250 47956 | 6050 2879 1165 | 0.000 % | c | 29306 | 1335 1250 47956 | 6655 3106 1165 | 0.000 % | c | 29644 | 1335 1250 47956 | 7320 3444 1165 | 0.000 % | c | 30150 | 1335 1250 47956 | 8052 3950 1166 | 0.000 % | c | 30911 | 1335 1250 47956 | 8857 4711 1166 | 0.000 % | c | 32050 | 1335 1250 47956 | 9743 5850 1166 | 0.000 % | c =============================================================================== c New solution: 2385772 c Elapsed CPU time: 41.2577 s Remaining CPU time: 138.742 s c =============================================================================== c | 33584 | 1335 1251 49157 | 5000 7384 1166 | 0.000 % | c | 33685 | 1335 1251 49157 | 5500 3793 1167 | 0.000 % | c | 33835 | 1335 1251 49157 | 6050 3943 1167 | 0.000 % | c | 34060 | 1335 1251 49157 | 6655 4168 1167 | 0.000 % | c =============================================================================== c New solution: 2385621 c Elapsed CPU time: 42.3626 s Remaining CPU time: 137.637 s c =============================================================================== c | 34229 | 1335 1252 50358 | 5000 4337 1167 | 0.000 % | c | 34329 | 1335 1252 50358 | 5500 4437 1167 | 0.000 % | c | 34479 | 1335 1252 50358 | 6050 4587 1167 | 0.000 % | c | 34704 | 1335 1252 50358 | 6655 4812 1167 | 0.000 % | c | 35042 | 1335 1252 50358 | 7320 5150 1167 | 0.000 % | c | 35548 | 1335 1252 50358 | 8052 5656 1167 | 0.000 % | c | 36307 | 1335 1252 50358 | 8857 6415 1167 | 0.000 % | c | 37447 | 1335 1252 50358 | 9743 7555 1167 | 0.000 % | c =============================================================================== c New solution: 2385616 c Elapsed CPU time: 47.7617 s Remaining CPU time: 132.238 s c =============================================================================== c | 38144 | 1335 1253 51559 | 5000 8252 1167 | 0.000 % | c | 38245 | 1335 1253 51559 | 5500 4227 1168 | 0.000 % | c | 38396 | 1335 1253 51559 | 6050 4378 1168 | 0.000 % | c | 38621 | 1335 1253 51559 | 6655 4603 1168 | 0.000 % | c | 38958 | 1335 1253 51559 | 7320 4940 1168 | 0.000 % | c | 39464 | 1335 1253 51559 | 8052 5446 1168 | 0.000 % | c | 40225 | 1335 1253 51559 | 8857 6207 1167 | 0.000 % | c | 41366 | 1335 1253 51559 | 9743 7348 1168 | 0.000 % | c | 43074 | 1335 1253 51559 | 10717 9056 1167 | 0.000 % | c =============================================================================== c New solution: 2385500 c Elapsed CPU time: 54.6537 s Remaining CPU time: 125.346 s c =============================================================================== c | 43083 | 1335 1254 52760 | 5000 9065 1167 | 0.000 % | c | 43183 | 1335 1254 52760 | 5500 4633 1167 | 0.000 % | c | 43334 | 1335 1254 52760 | 6050 4784 1167 | 0.000 % | c | 43560 | 1335 1254 52760 | 6655 5010 1167 | 0.000 % | c | 43899 | 1335 1254 52760 | 7320 5349 1167 | 0.000 % | c | 44405 | 1335 1254 52760 | 8052 5855 1167 | 0.000 % | c | 45164 | 1335 1254 52760 | 8857 6614 1167 | 0.000 % | c | 46303 | 1335 1254 52760 | 9743 7753 1167 | 0.000 % | c | 48011 | 1335 1254 52760 | 10717 9461 1166 | 0.000 % | c =============================================================================== c New solution: 2385413 c Elapsed CPU time: 62.6225 s Remaining CPU time: 117.378 s c =============================================================================== c | 48828 | 1335 1255 53961 | 5000 10278 1166 | 0.000 % | c | 48928 | 1335 1255 53961 | 5500 2670 1166 | 0.000 % | c | 49078 | 1335 1255 53961 | 6050 2820 1166 | 0.000 % | c | 49303 | 1335 1255 53961 | 6655 3045 1166 | 0.000 % | c =============================================================================== c New solution: 2385401 c Elapsed CPU time: 63.5033 s Remaining CPU time: 116.497 s c =============================================================================== c | 49304 | 1335 1256 55162 | 5000 3046 1166 | 0.000 % | c =============================================================================== c New solution: 2385270 c Elapsed CPU time: 63.6073 s Remaining CPU time: 116.393 s c =============================================================================== c | 49349 | 1335 1257 56363 | 5000 3091 1166 | 0.000 % | c | 49449 | 1335 1257 56363 | 5500 3191 1166 | 0.000 % | c =============================================================================== c New solution: 2385241 c Elapsed CPU time: 63.8683 s Remaining CPU time: 116.132 s c =============================================================================== c | 49462 | 1335 1258 57564 | 5000 3204 1166 | 0.000 % | c =============================================================================== c New solution: 2385141 c Elapsed CPU time: 63.9393 s Remaining CPU time: 116.061 s c =============================================================================== c | 49486 | 1335 1259 58765 | 5000 3228 1166 | 0.000 % | c =============================================================================== c New solution: 2385112 c Elapsed CPU time: 64.0133 s Remaining CPU time: 115.987 s c =============================================================================== c | 49526 | 1335 1260 59966 | 5000 3268 1166 | 0.000 % | c | 49627 | 1335 1260 59966 | 5500 3369 1166 | 0.000 % | c =============================================================================== c New solution: 2385063 c Elapsed CPU time: 64.3212 s Remaining CPU time: 115.679 s c =============================================================================== c | 49697 | 1335 1261 61167 | 5000 3439 1166 | 0.000 % | c | 49797 | 1335 1261 61167 | 5500 3539 1166 | 0.000 % | c =============================================================================== c New solution: 2385060 c Elapsed CPU time: 64.6382 s Remaining CPU time: 115.362 s c =============================================================================== c | 49858 | 1335 1262 62368 | 5000 3600 1166 | 0.000 % | c | 49958 | 1335 1262 62368 | 5500 3700 1166 | 0.000 % | c =============================================================================== c New solution: 2384960 c Elapsed CPU time: 65.0361 s Remaining CPU time: 114.964 s c =============================================================================== c | 50104 | 1335 1263 63569 | 5000 3846 1166 | 0.000 % | c | 50205 | 1335 1263 63569 | 5500 3947 1166 | 0.000 % | c | 50358 | 1335 1263 63569 | 6050 4100 1166 | 0.000 % | c | 50584 | 1335 1263 63569 | 6655 4326 1166 | 0.000 % | c | 50922 | 1335 1263 63569 | 7320 4664 1166 | 0.000 % | c | 51429 | 1335 1263 63569 | 8052 5171 1166 | 0.000 % | c | 52189 | 1335 1263 63569 | 8857 5931 1166 | 0.000 % | c =============================================================================== c New solution: 2384927 c Elapsed CPU time: 69.0765 s Remaining CPU time: 110.924 s c =============================================================================== c | 52710 | 1335 1264 64770 | 5000 6452 1167 | 0.000 % | c | 52810 | 1335 1264 64770 | 5500 3326 1167 | 0.000 % | c | 52961 | 1335 1264 64770 | 6050 3477 1167 | 0.000 % | c | 53187 | 1335 1264 64770 | 6655 3703 1167 | 0.000 % | c | 53524 | 1335 1264 64770 | 7320 4040 1167 | 0.000 % | c | 54031 | 1335 1264 64770 | 8052 4547 1167 | 0.000 % | c | 54790 | 1335 1264 64770 | 8857 5306 1167 | 0.000 % | c | 55929 | 1335 1264 64770 | 9743 6445 1167 | 0.000 % | c | 57638 | 1335 1264 64770 | 10717 8154 1167 | 0.000 % | c | 60200 | 1335 1264 64770 | 11789 10716 1167 | 0.000 % | c | 64044 | 1335 1264 64770 | 12968 8075 1167 | 0.000 % | c =============================================================================== c New solution: 2384915 c Elapsed CPU time: 94.2927 s Remaining CPU time: 85.7073 s c =============================================================================== c | 67187 | 1335 1265 65971 | 5000 11218 1167 | 0.000 % | c | 67288 | 1335 1265 65971 | 5500 2906 1167 | 0.000 % | c | 67439 | 1335 1265 65971 | 6050 3057 1167 | 0.000 % | c | 67664 | 1335 1265 65971 | 6655 3282 1167 | 0.000 % | c | 68003 | 1335 1265 65971 | 7320 3621 1167 | 0.000 % | c | 68509 | 1335 1265 65971 | 8052 4127 1167 | 0.000 % | c | 69268 | 1335 1265 65971 | 8857 4886 1167 | 0.000 % | c | 70407 | 1335 1265 65971 | 9743 6025 1167 | 0.000 % | c | 72115 | 1335 1265 65971 | 10717 7733 1168 | 0.000 % | c =============================================================================== c New solution: 2384609 c Elapsed CPU time: 103.759 s Remaining CPU time: 76.2408 s c =============================================================================== c | 73055 | 1335 1266 67172 | 5000 8673 1168 | 0.000 % | c | 73156 | 1335 1266 67172 | 5500 4438 1168 | 0.000 % | c | 73306 | 1335 1266 67172 | 6050 4588 1169 | 0.000 % | c | 73531 | 1335 1266 67172 | 6655 4813 1169 | 0.000 % | c | 73869 | 1335 1266 67172 | 7320 5151 1169 | 0.000 % | c | 74376 | 1335 1266 67172 | 8052 5658 1169 | 0.000 % | c =============================================================================== c New solution: 2384560 c Elapsed CPU time: 106.485 s Remaining CPU time: 73.5152 s c =============================================================================== c | 74587 | 1335 1267 68373 | 5000 5869 1169 | 0.000 % | c | 74687 | 1335 1267 68373 | 5500 3035 1169 | 0.000 % | c | 74838 | 1335 1267 68373 | 6050 3186 1169 | 0.000 % | c | 75063 | 1335 1267 68373 | 6655 3411 1169 | 0.000 % | c =============================================================================== c New solution: 2384493 c Elapsed CPU time: 107.36 s Remaining CPU time: 72.6403 s c =============================================================================== c | 75079 | 1335 1268 69574 | 5000 3427 1169 | 0.000 % | c | 75179 | 1335 1268 69574 | 5500 3527 1169 | 0.000 % | c | 75330 | 1335 1268 69574 | 6050 3678 1169 | 0.000 % | c | 75556 | 1335 1268 69574 | 6655 3904 1169 | 0.000 % | c | 75893 | 1335 1268 69574 | 7320 4241 1169 | 0.000 % | c | 76401 | 1335 1268 69574 | 8052 4749 1169 | 0.000 % | c | 77160 | 1335 1268 69574 | 8857 5508 1170 | 0.000 % | c | 78300 | 1335 1268 69574 | 9743 6648 1170 | 0.000 % | c | 80008 | 1335 1268 69574 | 10717 8356 1170 | 0.000 % | c | 82571 | 1335 1268 69574 | 11789 10919 1170 | 0.000 % | c =============================================================================== c New solution: 2384429 c Elapsed CPU time: 120.748 s Remaining CPU time: 59.2524 s c =============================================================================== c | 82602 | 1335 1269 70775 | 5000 10950 1170 | 0.000 % |