c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 2500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2500 | c | Number Clauses: 2500 | 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 | 2488 2509 7331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 2488 2510 9681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 2488 2511 12031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 2488 2512 14381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2488 2513 16731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 2488 2514 19081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 2488 2515 21431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 2488 2516 23781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 2488 2517 26131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 2488 2518 28481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 2488 2519 30831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 2488 2520 33181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 2488 2521 35531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 2488 2522 37881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 2488 2523 40231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 2488 2524 42581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 2488 2525 44931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 2488 2526 47281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 2488 2527 49631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 2488 2528 51981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 2488 2529 54331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 2488 2530 56681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 2488 2531 59031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 2488 2532 61381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 2488 2533 63731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 2488 2534 66081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 2488 2535 68431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 2488 2536 70781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 2488 2537 73131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 2488 2538 75481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 0 | 2488 2539 77831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 2488 2540 80181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 2488 2541 82531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 2488 2542 84881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 2488 2543 87231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 2488 2544 89581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s c =============================================================================== c | 0 | 2488 2545 91931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 0 | 2488 2546 94281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 2488 2547 96631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 0 | 2488 2548 98981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 2488 2549 101331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 0 | 2488 2550 103681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.58991 s Remaining CPU time: 179.41 s c =============================================================================== c | 0 | 2488 2551 106031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 2488 2552 108381 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 2488 2553 110731 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 0 | 2488 2554 113081 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.72289 s Remaining CPU time: 179.277 s c =============================================================================== c | 0 | 2488 2555 115431 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 0.756884 s Remaining CPU time: 179.243 s c =============================================================================== c | 0 | 2488 2556 117781 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 0 | 2488 2557 120131 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 0 | 2488 2558 122481 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 0 | 2488 2559 124831 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 0 | 2488 2560 127181 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 0.936857 s Remaining CPU time: 179.063 s c =============================================================================== c | 0 | 2488 2561 129531 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 0.975851 s Remaining CPU time: 179.024 s c =============================================================================== c | 0 | 2488 2562 131881 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 0 | 2488 2563 134231 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.06184 s Remaining CPU time: 178.938 s c =============================================================================== c | 0 | 2488 2564 136581 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 0 | 2488 2565 138931 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 0 | 2488 2566 141281 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 0 | 2488 2567 143631 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 0 | 2488 2568 145981 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.2928 s Remaining CPU time: 178.707 s c =============================================================================== c | 0 | 2488 2569 148331 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 0 | 2488 2570 150681 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.39079 s Remaining CPU time: 178.609 s c =============================================================================== c | 0 | 2488 2571 153031 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 1 | 2488 2572 155381 | 5000 1 2290 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 2 | 2488 2573 157731 | 5000 2 2290 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 1.56076 s Remaining CPU time: 178.439 s c =============================================================================== c | 3 | 2488 2574 160081 | 5000 3 2289 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 1.62275 s Remaining CPU time: 178.377 s c =============================================================================== c | 3 | 2488 2575 162431 | 5000 3 2289 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 1.68174 s Remaining CPU time: 178.318 s c =============================================================================== c | 3 | 2488 2576 164781 | 5000 3 2289 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s c =============================================================================== c | 3 | 2488 2577 167131 | 5000 3 2289 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 1.80273 s Remaining CPU time: 178.197 s c =============================================================================== c | 5 | 2488 2578 169481 | 5000 5 2287 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 8 | 2488 2579 171831 | 5000 8 2286 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 1.93871 s Remaining CPU time: 178.061 s c =============================================================================== c | 8 | 2488 2580 174181 | 5000 8 2286 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 2.01069 s Remaining CPU time: 177.989 s c =============================================================================== c | 9 | 2488 2581 176531 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.07368 s Remaining CPU time: 177.926 s c =============================================================================== c | 9 | 2488 2582 178881 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 9 | 2488 2583 181231 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.21066 s Remaining CPU time: 177.789 s c =============================================================================== c | 9 | 2488 2584 183581 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 9 | 2488 2585 185931 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 2.35364 s Remaining CPU time: 177.646 s c =============================================================================== c | 9 | 2488 2586 188281 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 2.42763 s Remaining CPU time: 177.572 s c =============================================================================== c | 9 | 2488 2587 190631 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 2.49962 s Remaining CPU time: 177.5 s c =============================================================================== c | 9 | 2488 2588 192981 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 2.57161 s Remaining CPU time: 177.428 s c =============================================================================== c | 9 | 2488 2589 195331 | 5000 9 2285 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s c =============================================================================== c | 13 | 2488 2590 197681 | 5000 13 2281 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 2.72959 s Remaining CPU time: 177.27 s c =============================================================================== c | 13 | 2488 2591 200031 | 5000 13 2281 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 2.81257 s Remaining CPU time: 177.187 s c =============================================================================== c | 13 | 2488 2592 202381 | 5000 13 2281 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 2.90356 s Remaining CPU time: 177.096 s c =============================================================================== c | 16 | 2488 2593 204731 | 5000 16 2279 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 2.99554 s Remaining CPU time: 177.004 s c =============================================================================== c | 16 | 2488 2594 207081 | 5000 16 2279 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 17 | 2488 2595 209431 | 5000 17 2278 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 3.18052 s Remaining CPU time: 176.819 s c =============================================================================== c | 17 | 2488 2596 211781 | 5000 17 2278 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 3.2725 s Remaining CPU time: 176.727 s c =============================================================================== c | 17 | 2488 2597 214131 | 5000 17 2278 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 3.36249 s Remaining CPU time: 176.638 s c =============================================================================== c | 17 | 2488 2598 216481 | 5000 17 2278 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 3.44948 s Remaining CPU time: 176.551 s c =============================================================================== c | 17 | 2488 2599 218831 | 5000 17 2278 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 3.53646 s Remaining CPU time: 176.464 s c =============================================================================== c | 20 | 2488 2600 221181 | 5000 20 2276 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 3.62145 s Remaining CPU time: 176.379 s c =============================================================================== c | 23 | 2488 2601 223531 | 5000 23 2274 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 3.70544 s Remaining CPU time: 176.295 s c =============================================================================== c | 25 | 2488 2602 225881 | 5000 25 2182 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 3.80742 s Remaining CPU time: 176.193 s c =============================================================================== c | 26 | 2488 2603 228231 | 5000 26 2185 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 3.90441 s Remaining CPU time: 176.096 s c =============================================================================== c | 27 | 2488 2604 230581 | 5000 27 2188 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 3.99739 s Remaining CPU time: 176.003 s c =============================================================================== c | 30 | 2488 2605 232931 | 5000 30 2195 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 4.10438 s Remaining CPU time: 175.896 s c =============================================================================== c | 30 | 2488 2606 235281 | 5000 30 2195 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 4.20836 s Remaining CPU time: 175.792 s c =============================================================================== c | 30 | 2488 2607 237631 | 5000 30 2195 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 4.31534 s Remaining CPU time: 175.685 s c =============================================================================== c | 34 | 2488 2608 239981 | 5000 34 2202 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 4.42533 s Remaining CPU time: 175.575 s c =============================================================================== c | 34 | 2488 2609 242331 | 5000 34 2202 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 4.52431 s Remaining CPU time: 175.476 s c =============================================================================== c | 35 | 2488 2610 244681 | 5000 35 2203 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 4.6183 s Remaining CPU time: 175.382 s c =============================================================================== c | 35 | 2488 2611 247031 | 5000 35 2203 | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 4.72128 s Remaining CPU time: 175.279 s c =============================================================================== c | 35 | 2488 2612 249381 | 5000 35 2203 | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 4.83526 s Remaining CPU time: 175.165 s c =============================================================================== c | 53 | 2488 2613 251731 | 5000 53 2219 | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 4.95425 s Remaining CPU time: 175.046 s c =============================================================================== c | 57 | 2488 2614 254081 | 5000 57 2221 | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 5.07223 s Remaining CPU time: 174.928 s c =============================================================================== c | 61 | 2488 2615 256431 | 5000 61 2186 | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 5.20121 s Remaining CPU time: 174.799 s c =============================================================================== c | 75 | 2488 2616 258781 | 5000 75 2197 | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 5.31319 s Remaining CPU time: 174.687 s c =============================================================================== c | 75 | 2488 2617 261131 | 5000 75 2197 | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 5.43217 s Remaining CPU time: 174.568 s c =============================================================================== c | 75 | 2488 2618 263481 | 5000 75 2197 | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 5.55415 s Remaining CPU time: 174.446 s c =============================================================================== c | 81 | 2488 2619 265831 | 5000 81 2200 | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 5.67314 s Remaining CPU time: 174.327 s c =============================================================================== c | 89 | 2488 2620 268181 | 5000 89 2204 | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 5.79012 s Remaining CPU time: 174.21 s c =============================================================================== c | 90 | 2488 2621 270531 | 5000 90 2205 | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 5.9111 s Remaining CPU time: 174.089 s c =============================================================================== c | 91 | 2488 2622 272881 | 5000 91 2205 | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 6.04708 s Remaining CPU time: 173.953 s c =============================================================================== c | 106 | 2488 2623 275231 | 5000 106 2210 | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 6.19706 s Remaining CPU time: 173.803 s c =============================================================================== c | 141 | 2488 2624 277581 | 5000 141 2217 | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 6.42202 s Remaining CPU time: 173.578 s c =============================================================================== c | 222 | 2488 2625 279931 | 5000 222 2224 | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 6.565 s Remaining CPU time: 173.435 s c =============================================================================== c | 248 | 2488 2626 282281 | 5000 248 2226 | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 6.69698 s Remaining CPU time: 173.303 s c =============================================================================== c | 255 | 2488 2627 284631 | 5000 255 2226 | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 6.82196 s Remaining CPU time: 173.178 s c =============================================================================== c | 256 | 2488 2628 286981 | 5000 256 2226 | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 6.95894 s Remaining CPU time: 173.041 s c =============================================================================== c | 267 | 2488 2629 289331 | 5000 267 2226 | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 7.07992 s Remaining CPU time: 172.92 s c =============================================================================== c | 267 | 2488 2630 291681 | 5000 267 2226 | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 7.2009 s Remaining CPU time: 172.799 s c =============================================================================== c | 268 | 2488 2631 294031 | 5000 268 2226 | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 7.40987 s Remaining CPU time: 172.59 s c =============================================================================== c | 309 | 2488 2632 296381 | 5000 309 2227 | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 7.54285 s Remaining CPU time: 172.457 s c =============================================================================== c | 333 | 2488 2633 298731 | 5000 333 2227 | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 7.67083 s Remaining CPU time: 172.329 s c =============================================================================== c | 349 | 2488 2634 301081 | 5000 349 2227 | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 7.79881 s Remaining CPU time: 172.201 s c =============================================================================== c | 369 | 2488 2635 303431 | 5000 369 2227 | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 7.92979 s Remaining CPU time: 172.07 s c =============================================================================== c | 376 | 2488 2636 305781 | 5000 376 2227 | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 8.06477 s Remaining CPU time: 171.935 s c =============================================================================== c | 393 | 2488 2637 308131 | 5000 393 2227 | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 8.24575 s Remaining CPU time: 171.754 s c =============================================================================== c | 431 | 2488 2638 310481 | 5000 431 2227 | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 8.38273 s Remaining CPU time: 171.617 s c =============================================================================== c | 444 | 2488 2639 312831 | 5000 444 2227 | 0.000 % | c | 545 | 2488 2639 312831 | 5500 545 2226 | 0.480 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 8.73867 s Remaining CPU time: 171.261 s c =============================================================================== c | 564 | 2488 2640 315181 | 5000 564 2226 | 0.480 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 8.94664 s Remaining CPU time: 171.053 s c =============================================================================== c | 640 | 2488 2641 317531 | 5000 640 2225 | 0.480 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 9.09262 s Remaining CPU time: 170.907 s c =============================================================================== c | 661 | 2488 2642 319881 | 5000 661 2225 | 0.480 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 9.2176 s Remaining CPU time: 170.782 s c =============================================================================== c | 664 | 2488 2643 322231 | 5000 664 2225 | 0.480 % | c | 764 | 2488 2643 322231 | 5500 764 2224 | 0.480 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 9.57254 s Remaining CPU time: 170.427 s c =============================================================================== c | 783 | 2488 2644 324581 | 5000 783 2224 | 0.480 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 9.72952 s Remaining CPU time: 170.27 s c =============================================================================== c | 821 | 2488 2645 326931 | 5000 821 2224 | 0.480 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 9.92549 s Remaining CPU time: 170.075 s c =============================================================================== c | 885 | 2488 2646 329281 | 5000 885 2223 | 0.480 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 10.1355 s Remaining CPU time: 169.865 s c =============================================================================== c | 914 | 2488 2647 331631 | 5000 914 2223 | 0.480 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 10.3284 s Remaining CPU time: 169.672 s c =============================================================================== c | 958 | 2488 2648 333981 | 5000 958 2222 | 0.480 % | c | 1058 | 2488 2648 333981 | 5500 1058 2222 | 0.480 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 10.7184 s Remaining CPU time: 169.282 s c =============================================================================== c | 1084 | 2488 2649 336331 | 5000 1084 2221 | 0.480 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 10.8783 s Remaining CPU time: 169.122 s c =============================================================================== c | 1120 | 2488 2650 338681 | 5000 1120 2221 | 0.480 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 11.0243 s Remaining CPU time: 168.976 s c =============================================================================== c | 1133 | 2488 2651 341031 | 5000 1133 2221 | 0.480 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 11.1793 s Remaining CPU time: 168.821 s c =============================================================================== c | 1149 | 2488 2652 343381 | 5000 1149 2221 | 0.480 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 11.5142 s Remaining CPU time: 168.486 s c =============================================================================== c | 1239 | 2488 2653 345731 | 5000 1239 2220 | 0.480 % | c | 1339 | 2488 2653 345731 | 5500 1339 2217 | 0.480 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 11.9092 s Remaining CPU time: 168.091 s c =============================================================================== c | 1365 | 2488 2654 348081 | 5000 1365 2217 | 0.480 % | c | 1466 | 2488 2654 348081 | 5500 1466 2217 | 0.480 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 12.2951 s Remaining CPU time: 167.705 s c =============================================================================== c | 1477 | 2488 2655 350431 | 5000 1477 2217 | 0.480 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 12.4701 s Remaining CPU time: 167.53 s c =============================================================================== c | 1530 | 2488 2656 352781 | 5000 1530 2216 | 0.480 % | c | 1631 | 2488 2656 352781 | 5500 1631 2216 | 0.480 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 13.023 s Remaining CPU time: 166.977 s c =============================================================================== c | 1695 | 2488 2657 355131 | 5000 1695 2215 | 0.480 % | c | 1797 | 2488 2657 355131 | 5500 1797 2215 | 0.480 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 13.5409 s Remaining CPU time: 166.459 s c =============================================================================== c | 1919 | 2488 2658 357481 | 5000 1919 2214 | 0.480 % | c | 2020 | 2488 2658 357481 | 5500 2020 2213 | 0.480 % | c | 2170 | 2488 2658 357481 | 6050 2170 2213 | 0.480 % | c | 2395 | 2488 2658 357481 | 6655 2395 2212 | 0.480 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 14.9947 s Remaining CPU time: 165.005 s c =============================================================================== c | 2534 | 2488 2659 359831 | 5000 2534 2211 | 0.480 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 15.1677 s Remaining CPU time: 164.832 s c =============================================================================== c | 2559 | 2488 2660 362181 | 5000 2559 2211 | 0.480 % | c | 2659 | 2488 2660 362181 | 5500 2659 2211 | 0.480 % | c | 2811 | 2488 2660 362181 | 6050 2811 2211 | 0.480 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 16.0046 s Remaining CPU time: 163.995 s c =============================================================================== c | 2854 | 2488 2661 364531 | 5000 2854 2210 | 0.480 % | c | 2955 | 2488 2661 364531 | 5500 2955 2210 | 0.480 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 16.6925 s Remaining CPU time: 163.308 s c =============================================================================== c | 3093 | 2488 2662 366881 | 5000 3093 2210 | 0.480 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 16.8974 s Remaining CPU time: 163.103 s c =============================================================================== c | 3154 | 2488 2663 369231 | 5000 3154 2209 | 0.480 % | c | 3254 | 2488 2663 369231 | 5500 3254 2209 | 0.480 % | c | 3404 | 2488 2663 369231 | 6050 3404 2209 | 0.480 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 17.8663 s Remaining CPU time: 162.134 s c =============================================================================== c | 3616 | 2488 2664 371581 | 5000 3616 2208 | 0.480 % | c | 3716 | 2488 2664 371581 | 5500 3716 2208 | 0.480 % | c | 3866 | 2488 2664 371581 | 6050 3866 2207 | 0.480 % | c | 4091 | 2488 2664 371581 | 6655 4091 2207 | 0.480 % | c | 4429 | 2488 2664 371581 | 7320 4429 2206 | 0.480 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 19.744 s Remaining CPU time: 160.256 s c =============================================================================== c | 4485 | 2488 2665 373931 | 5000 4485 2206 | 0.480 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 19.996 s Remaining CPU time: 160.004 s c =============================================================================== c | 4581 | 2488 2666 376281 | 5000 4581 2206 | 0.480 % | c | 4681 | 2488 2666 376281 | 5500 4681 2205 | 0.480 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 20.5589 s Remaining CPU time: 159.441 s c =============================================================================== c | 4770 | 2488 2667 378631 | 5000 4770 2205 | 0.480 % | c | 4870 | 2488 2667 378631 | 5500 4870 2205 | 0.480 % | c | 5020 | 2488 2667 378631 | 6050 5020 2204 | 0.480 % | c | 5245 | 2488 2667 378631 | 6655 5245 2204 | 0.480 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 22.0446 s Remaining CPU time: 157.955 s c =============================================================================== c | 5297 | 2488 2668 380981 | 5000 5297 2204 | 0.480 % | c | 5397 | 2488 2668 380981 | 5500 2749 2195 | 0.480 % | c | 5548 | 2488 2668 380981 | 6050 2900 2195 | 0.480 % | c | 5773 | 2488 2668 380981 | 6655 3125 2195 | 0.480 % | c | 6110 | 2488 2668 380981 | 7320 3462 2195 | 0.480 % | c | 6616 | 2488 2668 380981 | 8052 3968 2194 | 0.480 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 25.7111 s Remaining CPU time: 154.289 s c =============================================================================== c | 7108 | 2488 2669 383331 | 5000 4460 2194 | 0.480 % | c | 7209 | 2488 2669 383331 | 5500 4561 2194 | 0.480 % | c | 7360 | 2488 2669 383331 | 6050 4712 2194 | 0.480 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 26.7039 s Remaining CPU time: 153.296 s c =============================================================================== c | 7454 | 2488 2670 385681 | 5000 4806 2194 | 0.480 % | c | 7555 | 2488 2670 385681 | 5500 4907 2194 | 0.480 % | c | 7705 | 2488 2670 385681 | 6050 5057 2194 | 0.480 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 27.7008 s Remaining CPU time: 152.299 s c =============================================================================== c | 7808 | 2488 2671 388031 | 5000 5160 2194 | 0.480 % | c | 7910 | 2488 2671 388031 | 5500 2682 2190 | 0.480 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 28.2487 s Remaining CPU time: 151.751 s c =============================================================================== c | 8027 | 2488 2672 390381 | 5000 2799 2190 | 0.480 % | c | 8127 | 2488 2672 390381 | 5500 2899 2190 | 0.480 % | c | 8278 | 2488 2672 390381 | 6050 3050 2190 | 0.480 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 29.2126 s Remaining CPU time: 150.787 s c =============================================================================== c | 8331 | 2488 2673 392731 | 5000 3103 2190 | 0.480 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 29.5575 s Remaining CPU time: 150.442 s c =============================================================================== c | 8396 | 2488 2674 395081 | 5000 3168 2190 | 0.480 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 29.7505 s Remaining CPU time: 150.25 s c =============================================================================== c | 8416 | 2488 2675 397431 | 5000 3188 2190 | 0.480 % | c | 8516 | 2488 2675 397431 | 5500 3288 2190 | 0.480 % | c | 8666 | 2488 2675 397431 | 6050 3438 2190 | 0.480 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 30.7333 s Remaining CPU time: 149.267 s c =============================================================================== c | 8726 | 2488 2676 399781 | 5000 3498 2189 | 0.480 % | c | 8827 | 2488 2676 399781 | 5500 3599 2189 | 0.480 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 31.2113 s Remaining CPU time: 148.789 s c =============================================================================== c | 8905 | 2488 2677 402131 | 5000 3677 2189 | 0.480 % | c | 9005 | 2488 2677 402131 | 5500 3777 2189 | 0.480 % | c | 9156 | 2488 2677 402131 | 6050 3928 2189 | 0.480 % | c | 9381 | 2488 2677 402131 | 6655 4153 2189 | 0.480 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 32.779 s Remaining CPU time: 147.221 s c =============================================================================== c | 9565 | 2488 2678 404481 | 5000 4337 2189 | 0.480 % | c | 9665 | 2488 2678 404481 | 5500 4437 2188 | 0.480 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 33.2619 s Remaining CPU time: 146.738 s c =============================================================================== c | 9700 | 2488 2679 406831 | 5000 4472 2188 | 0.480 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 33.4359 s Remaining CPU time: 146.564 s c =============================================================================== c | 9708 | 2488 2680 409181 | 5000 4480 2188 | 0.480 % | c | 9808 | 2488 2680 409181 | 5500 4580 2188 | 0.480 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 34.0568 s Remaining CPU time: 145.943 s c =============================================================================== c | 9945 | 2488 2681 411531 | 5000 4717 2188 | 0.480 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 34.3108 s Remaining CPU time: 145.689 s c =============================================================================== c | 10016 | 2488 2682 413881 | 5000 4788 2188 | 0.480 % | c | 10117 | 2488 2682 413881 | 5500 4889 2188 | 0.480 % | c | 10268 | 2488 2682 413881 | 6050 5040 2187 | 0.480 % | c | 10493 | 2488 2682 413881 | 6655 5265 2187 | 0.480 % | c | 10830 | 2488 2682 413881 | 7320 5602 2187 | 0.480 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 36.7174 s Remaining CPU time: 143.283 s c =============================================================================== c | 10899 | 2488 2683 416231 | 5000 5671 2187 | 0.480 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 36.9184 s Remaining CPU time: 143.082 s c =============================================================================== c | 10913 | 2488 2684 418581 | 5000 2850 2181 | 0.480 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 37.1014 s Remaining CPU time: 142.899 s c =============================================================================== c | 10922 | 2488 2685 420931 | 5000 2859 2181 | 0.480 % | c | 11022 | 2488 2685 420931 | 5500 2959 2181 | 0.480 % | c | 11172 | 2488 2685 420931 | 6050 3109 2181 | 0.480 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 38.0972 s Remaining CPU time: 141.903 s c =============================================================================== c | 11283 | 2488 2686 423281 | 5000 3220 2181 | 0.480 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 38.3792 s Remaining CPU time: 141.621 s c =============================================================================== c | 11363 | 2488 2687 425631 | 5000 3300 2180 | 0.480 % | c | 11464 | 2488 2687 425631 | 5500 3401 2180 | 0.480 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 38.8811 s Remaining CPU time: 141.119 s c =============================================================================== c | 11509 | 2488 2688 427981 | 5000 3446 2180 | 0.480 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 39.1341 s Remaining CPU time: 140.866 s c =============================================================================== c | 11559 | 2488 2689 430331 | 5000 3496 2179 | 0.480 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 39.327 s Remaining CPU time: 140.673 s c =============================================================================== c | 11573 | 2488 2690 432681 | 5000 3510 2179 | 0.480 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 39.528 s Remaining CPU time: 140.472 s c =============================================================================== c | 11599 | 2488 2691 435031 | 5000 3536 2179 | 0.480 % | c | 11699 | 2488 2691 435031 | 5500 3636 2179 | 0.480 % | c | 11849 | 2488 2691 435031 | 6050 3786 2179 | 0.480 % | c | 12074 | 2488 2691 435031 | 6655 4011 2178 | 0.480 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 41.1837 s Remaining CPU time: 138.816 s c =============================================================================== c | 12369 | 2488 2692 437381 | 5000 4306 2178 | 0.480 % | c | 12469 | 2488 2692 437381 | 5500 4406 2178 | 0.480 % | c | 12619 | 2488 2692 437381 | 6050 4556 2177 | 0.480 % | c | 12844 | 2488 2692 437381 | 6655 4781 2177 | 0.480 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 43.0445 s Remaining CPU time: 136.956 s c =============================================================================== c | 13012 | 2488 2693 439731 | 5000 4949 2177 | 0.480 % | c | 13112 | 2488 2693 439731 | 5500 5049 2177 | 0.480 % | c | 13262 | 2488 2693 439731 | 6050 5199 2176 | 0.480 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 44.4342 s Remaining CPU time: 135.566 s c =============================================================================== c | 13448 | 2488 2694 442081 | 5000 5385 2176 | 0.480 % | c | 13548 | 2488 2694 442081 | 5500 2793 2169 | 0.480 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 45.0611 s Remaining CPU time: 134.939 s c =============================================================================== c | 13657 | 2488 2695 444431 | 5000 2902 2169 | 0.480 % | c | 13757 | 2488 2695 444431 | 5500 3002 2168 | 0.480 % | c | 13907 | 2488 2695 444431 | 6050 3152 2168 | 0.480 % | c | 14132 | 2488 2695 444431 | 6655 3377 2167 | 0.480 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 46.5169 s Remaining CPU time: 133.483 s c =============================================================================== c | 14321 | 2488 2696 446781 | 5000 3566 2167 | 0.480 % | c | 14422 | 2488 2696 446781 | 5500 3667 2167 | 0.480 % | c | 14573 | 2488 2696 446781 | 6050 3818 2167 | 0.480 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 47.4358 s Remaining CPU time: 132.564 s c =============================================================================== c | 14590 | 2488 2697 449131 | 5000 3835 2167 | 0.480 % | c =============================================================================== c New solution: 2162 c Elapsed CPU time: 47.6278 s Remaining CPU time: 132.372 s c =============================================================================== c | 14592 | 2488 2698 451481 | 5000 3837 2167 | 0.480 % | c | 14692 | 2488 2698 451481 | 5500 3937 2167 | 0.480 % | c =============================================================================== c New solution: 2161 c Elapsed CPU time: 48.2357 s Remaining CPU time: 131.764 s c =============================================================================== c | 14790 | 2488 2699 453831 | 5000 4035 2167 | 0.480 % | c | 14891 | 2488 2699 453831 | 5500 4136 2167 | 0.480 % | c | 15041 | 2488 2699 453831 | 6050 4286 2167 | 0.480 % | c | 15266 | 2488 2699 453831 | 6655 4511 2167 | 0.480 % | c =============================================================================== c New solution: 2160 c Elapsed CPU time: 49.7764 s Remaining CPU time: 130.224 s c =============================================================================== c | 15384 | 2488 2700 456181 | 5000 4629 2166 | 0.480 % | c | 15484 | 2488 2700 456181 | 5500 4729 2166 | 0.480 % | c | 15635 | 2488 2700 456181 | 6050 4880 2166 | 0.480 % | c =============================================================================== c New solution: 2159 c Elapsed CPU time: 50.9223 s Remaining CPU time: 129.078 s c =============================================================================== c | 15727 | 2488 2701 458531 | 5000 4972 2166 | 0.480 % | c | 15827 | 2488 2701 458531 | 5500 5072 2166 | 0.480 % | c | 15977 | 2488 2701 458531 | 6050 5222 2166 | 0.480 % | c | 16203 | 2488 2701 458531 | 6655 5448 2166 | 0.480 % | c | 16540 | 2488 2701 458531 | 7320 5785 2165 | 0.480 % | c | 17047 | 2488 2701 458531 | 8052 6292 2165 | 0.480 % | c | 17807 | 2488 2701 458531 | 8857 7052 2164 | 0.480 % | c | 18946 | 2488 2701 458531 | 9743 8191 2164 | 0.480 % | c =============================================================================== c New solution: 2158 c Elapsed CPU time: 58.4151 s Remaining CPU time: 121.585 s c =============================================================================== c | 19226 | 2488 2702 460881 | 5000 8471 2164 | 0.480 % | c | 19328 | 2488 2702 460881 | 5500 4338 2158 | 0.480 % | c | 19478 | 2488 2702 460881 | 6050 4488 2158 | 0.480 % | c | 19703 | 2488 2702 460881 | 6655 4713 2159 | 0.480 % | c | 20040 | 2488 2702 460881 | 7320 5050 2159 | 0.480 % | c | 20547 | 2488 2702 460881 | 8052 5557 2158 | 0.480 % | c | 21306 | 2488 2702 460881 | 8857 6316 2158 | 0.480 % | c =============================================================================== c New solution: 2157 c Elapsed CPU time: 64.1702 s Remaining CPU time: 115.83 s c =============================================================================== c | 21808 | 2488 2703 463231 | 5000 6818 2159 | 0.480 % | c | 21909 | 2488 2703 463231 | 5500 3510 2156 | 0.480 % | c | 22060 | 2488 2703 463231 | 6050 3661 2156 | 0.480 % | c | 22285 | 2488 2703 463231 | 6655 3886 2156 | 0.480 % | c | 22622 | 2488 2703 463231 | 7320 4223 2157 | 0.480 % | c | 23128 | 2488 2703 463231 | 8052 4729 2157 | 0.480 % | c =============================================================================== c New solution: 2156 c Elapsed CPU time: 67.5447 s Remaining CPU time: 112.455 s c =============================================================================== c | 23438 | 2488 2704 465581 | 5000 5039 2157 | 0.480 % | c | 23539 | 2488 2704 465581 | 5500 2621 2154 | 0.480 % | c | 23690 | 2488 2704 465581 | 6050 2772 2154 | 0.480 % | c | 23915 | 2488 2704 465581 | 6655 2997 2154 | 0.480 % | c | 24252 | 2488 2704 465581 | 7320 3334 2155 | 0.480 % | c | 24758 | 2488 2704 465581 | 8052 3840 2155 | 0.480 % | c | 25518 | 2488 2704 465581 | 8857 4600 2155 | 0.480 % | c | 26657 | 2488 2704 465581 | 9743 5739 2156 | 0.480 % | c | 28365 | 2488 2704 465581 | 10717 7447 2156 | 0.480 % | c | 30927 | 2488 2704 465581 | 11789 10009 2156 | 0.480 % | c =============================================================================== c New solution: 2155 c Elapsed CPU time: 83.2493 s Remaining CPU time: 96.7507 s c =============================================================================== c | 32009 | 2488 2705 467931 | 5000 11091 2156 | 0.480 % | c | 32109 | 2488 2705 467931 | 5500 2873 2152 | 0.480 % | c | 32259 | 2488 2705 467931 | 6050 3023 2152 | 0.480 % | c | 32484 | 2488 2705 467931 | 6655 3248 2152 | 0.480 % | c | 32821 | 2488 2705 467931 | 7320 3585 2153 | 0.480 % | c | 33327 | 2488 2705 467931 | 8052 4091 2153 | 0.480 % | c | 34086 | 2488 2705 467931 | 8857 4850 2152 | 0.480 % | c =============================================================================== c New solution: 2154 c Elapsed CPU time: 88.4656 s Remaining CPU time: 91.5344 s c =============================================================================== c | 34579 | 2488 2706 470281 | 5000 5343 2153 | 0.480 % | c | 34679 | 2488 2706 470281 | 5500 2772 2148 | 0.480 % | c | 34829 | 2488 2706 470281 | 6050 2922 2149 | 0.480 % | c | 35054 | 2488 2706 470281 | 6655 3147 2149 | 0.480 % | c | 35391 | 2488 2706 470281 | 7320 3484 2150 | 0.480 % | c | 35897 | 2488 2706 470281 | 8052 3990 2150 | 0.480 % | c | 36656 | 2488 2706 470281 | 8857 4749 2151 | 0.480 % | c | 37796 | 2488 2706 470281 | 9743 5889 2152 | 0.480 % | c | 39504 | 2488 2706 470281 | 10717 7597 2152 | 0.480 % | c =============================================================================== c New solution: 2153 c Elapsed CPU time: 100.424 s Remaining CPU time: 79.5763 s c =============================================================================== c | 40225 | 2488 2707 472631 | 5000 8318 2153 | 0.480 % | c | 40325 | 2488 2707 472631 | 5500 4259 2150 | 0.480 % | c | 40477 | 2488 2707 472631 | 6050 4411 2150 | 0.480 % | c | 40703 | 2488 2707 472631 | 6655 4637 2150 | 0.480 % | c =============================================================================== c New solution: 2152 c Elapsed CPU time: 102.091 s Remaining CPU time: 77.9085 s c =============================================================================== c | 40798 | 2488 2708 474981 | 5000 4732 2150 | 0.480 % | c | 40899 | 2488 2708 474981 | 5500 4833 2150 | 0.480 % | c | 41049 | 2488 2708 474981 | 6050 4983 2150 | 0.480 % | c | 41274 | 2488 2708 474981 | 6655 5208 2150 | 0.480 % | c | 41612 | 2488 2708 474981 | 7320 5546 2150 | 0.480 % | c | 42118 | 2488 2708 474981 | 8052 6052 2151 | 0.480 % | c | 42877 | 2488 2708 474981 | 8857 6811 2151 | 0.480 % | c =============================================================================== c New solution: 2151 c Elapsed CPU time: 106.48 s Remaining CPU time: 73.5202 s c =============================================================================== c | 42959 | 2488 2709 477331 | 5000 6893 2151 | 0.480 % | c | 43059 | 2488 2709 477331 | 5500 3547 2147 | 0.480 % | c | 43211 | 2488 2709 477331 | 6050 3699 2147 | 0.480 % | c | 43436 | 2488 2709 477331 | 6655 3924 2146 | 0.480 % |