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 | 2487 2512 7305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 2487 2513 9655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2487 2514 12005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 2487 2515 14355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 2487 2516 16705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 2487 2517 19055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 2487 2518 21405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 2487 2519 23755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 2487 2520 26105 | 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 | 2487 2521 28455 | 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 | 2487 2522 30805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 2487 2523 33155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 2487 2524 35505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 2487 2525 37855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 2487 2526 40205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 2487 2527 42555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 2487 2528 44905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 2487 2529 47255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 2487 2530 49605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 2487 2531 51955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 2487 2532 54305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 2487 2533 56655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 2487 2534 59005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 2487 2535 61355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 0 | 2487 2536 63705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 2487 2537 66055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 2487 2538 68405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 0 | 2487 2539 70755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 2487 2540 73105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 2487 2541 75455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 2487 2542 77805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s c =============================================================================== c | 0 | 2487 2543 80155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 2487 2544 82505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 2487 2545 84855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 2487 2546 87205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.436933 s Remaining CPU time: 179.563 s c =============================================================================== c | 0 | 2487 2547 89555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 2487 2548 91905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 0 | 2487 2549 94255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 2487 2550 96605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.554915 s Remaining CPU time: 179.445 s c =============================================================================== c | 0 | 2487 2551 98955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 0 | 2487 2552 101305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 0 | 2487 2553 103655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 2487 2554 106005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 0 | 2487 2555 108355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 2487 2556 110705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 2487 2557 113055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 2487 2558 115405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 0 | 2487 2559 117755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 0.922859 s Remaining CPU time: 179.077 s c =============================================================================== c | 0 | 2487 2560 120105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s c =============================================================================== c | 0 | 2487 2561 122455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 0 | 2487 2562 124805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 0 | 2487 2563 127155 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 0 | 2487 2564 129505 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 0 | 2487 2565 131855 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 0 | 2487 2566 134205 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s c =============================================================================== c | 0 | 2487 2567 136555 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 0 | 2487 2568 138905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.40679 s Remaining CPU time: 178.593 s c =============================================================================== c | 0 | 2487 2569 141255 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s c =============================================================================== c | 0 | 2487 2570 143605 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s c =============================================================================== c | 0 | 2487 2571 145955 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 0 | 2487 2572 148305 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.66475 s Remaining CPU time: 178.335 s c =============================================================================== c | 0 | 2487 2573 150655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.73074 s Remaining CPU time: 178.269 s c =============================================================================== c | 0 | 2487 2574 153005 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 1.79973 s Remaining CPU time: 178.2 s c =============================================================================== c | 0 | 2487 2575 155355 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 1.87472 s Remaining CPU time: 178.125 s c =============================================================================== c | 0 | 2487 2576 157705 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 1.9477 s Remaining CPU time: 178.052 s c =============================================================================== c | 0 | 2487 2577 160055 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 2.02269 s Remaining CPU time: 177.977 s c =============================================================================== c | 0 | 2487 2578 162405 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 0 | 2487 2579 164755 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 2.17167 s Remaining CPU time: 177.828 s c =============================================================================== c | 0 | 2487 2580 167105 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 0 | 2487 2581 169455 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 2.33264 s Remaining CPU time: 177.667 s c =============================================================================== c | 0 | 2487 2582 171805 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 2.41263 s Remaining CPU time: 177.587 s c =============================================================================== c | 1 | 2487 2583 174155 | 5000 1 2282 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 1 | 2487 2584 176505 | 5000 1 2282 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.58661 s Remaining CPU time: 177.413 s c =============================================================================== c | 2 | 2487 2585 178855 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.67259 s Remaining CPU time: 177.327 s c =============================================================================== c | 2 | 2487 2586 181205 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 2 | 2487 2587 183555 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 2 | 2487 2588 185905 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 2.95155 s Remaining CPU time: 177.048 s c =============================================================================== c | 2 | 2487 2589 188255 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 3.04754 s Remaining CPU time: 176.952 s c =============================================================================== c | 2 | 2487 2590 190605 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 3.15552 s Remaining CPU time: 176.844 s c =============================================================================== c | 2 | 2487 2591 192955 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 3.2575 s Remaining CPU time: 176.742 s c =============================================================================== c | 2 | 2487 2592 195305 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 3.36149 s Remaining CPU time: 176.639 s c =============================================================================== c | 2 | 2487 2593 197655 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s c =============================================================================== c | 2 | 2487 2594 200005 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 3.58046 s Remaining CPU time: 176.42 s c =============================================================================== c | 2 | 2487 2595 202355 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 3.69544 s Remaining CPU time: 176.305 s c =============================================================================== c | 2 | 2487 2596 204705 | 5000 2 2281 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 3.81142 s Remaining CPU time: 176.189 s c =============================================================================== c | 3 | 2487 2597 207055 | 5000 3 1522 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 3.9254 s Remaining CPU time: 176.075 s c =============================================================================== c | 3 | 2487 2598 209405 | 5000 3 1522 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 4.04738 s Remaining CPU time: 175.953 s c =============================================================================== c | 3 | 2487 2599 211755 | 5000 3 1522 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 4.16537 s Remaining CPU time: 175.835 s c =============================================================================== c | 4 | 2487 2600 214105 | 5000 4 1708 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 4.28635 s Remaining CPU time: 175.714 s c =============================================================================== c | 4 | 2487 2601 216455 | 5000 4 1708 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 4.41033 s Remaining CPU time: 175.59 s c =============================================================================== c | 5 | 2487 2602 218805 | 5000 5 1819 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 4.53231 s Remaining CPU time: 175.468 s c =============================================================================== c | 7 | 2487 2603 221155 | 5000 7 1945 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 4.64729 s Remaining CPU time: 175.353 s c =============================================================================== c | 7 | 2487 2604 223505 | 5000 7 1945 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 4.76427 s Remaining CPU time: 175.236 s c =============================================================================== c | 7 | 2487 2605 225855 | 5000 7 1945 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 4.89326 s Remaining CPU time: 175.107 s c =============================================================================== c | 13 | 2487 2606 228205 | 5000 13 2090 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 5.01924 s Remaining CPU time: 174.981 s c =============================================================================== c | 13 | 2487 2607 230555 | 5000 13 2090 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 5.14922 s Remaining CPU time: 174.851 s c =============================================================================== c | 16 | 2487 2608 232905 | 5000 16 2121 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 5.2882 s Remaining CPU time: 174.712 s c =============================================================================== c | 16 | 2487 2609 235255 | 5000 16 2121 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 5.42717 s Remaining CPU time: 174.573 s c =============================================================================== c | 16 | 2487 2610 237605 | 5000 16 2121 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 5.55816 s Remaining CPU time: 174.442 s c =============================================================================== c | 20 | 2487 2611 239955 | 5000 20 2148 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 5.69113 s Remaining CPU time: 174.309 s c =============================================================================== c | 26 | 2487 2612 242305 | 5000 26 2172 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 5.81712 s Remaining CPU time: 174.183 s c =============================================================================== c | 26 | 2487 2613 244655 | 5000 26 2172 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 5.9441 s Remaining CPU time: 174.056 s c =============================================================================== c | 31 | 2487 2614 247005 | 5000 31 2185 | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 6.07708 s Remaining CPU time: 173.923 s c =============================================================================== c | 31 | 2487 2615 249355 | 5000 31 2185 | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 6.20506 s Remaining CPU time: 173.795 s c =============================================================================== c | 36 | 2487 2616 251705 | 5000 36 2194 | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 6.33104 s Remaining CPU time: 173.669 s c =============================================================================== c | 36 | 2487 2617 254055 | 5000 36 2194 | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 6.46702 s Remaining CPU time: 173.533 s c =============================================================================== c | 36 | 2487 2618 256405 | 5000 36 2194 | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 6.604 s Remaining CPU time: 173.396 s c =============================================================================== c | 37 | 2487 2619 258755 | 5000 37 2195 | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 6.75297 s Remaining CPU time: 173.247 s c =============================================================================== c | 37 | 2487 2620 261105 | 5000 37 2195 | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 6.91095 s Remaining CPU time: 173.089 s c =============================================================================== c | 37 | 2487 2621 263455 | 5000 37 2195 | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 7.06992 s Remaining CPU time: 172.93 s c =============================================================================== c | 49 | 2487 2622 265805 | 5000 49 2207 | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 7.2419 s Remaining CPU time: 172.758 s c =============================================================================== c | 63 | 2487 2623 268155 | 5000 63 2215 | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 7.40187 s Remaining CPU time: 172.598 s c =============================================================================== c | 64 | 2487 2624 270505 | 5000 64 2215 | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 7.56185 s Remaining CPU time: 172.438 s c =============================================================================== c | 67 | 2487 2625 272855 | 5000 67 2216 | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 7.73082 s Remaining CPU time: 172.269 s c =============================================================================== c | 87 | 2487 2626 275205 | 5000 87 2222 | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 7.8808 s Remaining CPU time: 172.119 s c =============================================================================== c | 95 | 2487 2627 277555 | 5000 95 2223 | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 8.03078 s Remaining CPU time: 171.969 s c =============================================================================== c | 104 | 2487 2628 279905 | 5000 104 2224 | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 8.18276 s Remaining CPU time: 171.817 s c =============================================================================== c | 104 | 2487 2629 282255 | 5000 104 2224 | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 8.34273 s Remaining CPU time: 171.657 s c =============================================================================== c | 127 | 2487 2630 284605 | 5000 127 2226 | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 8.5177 s Remaining CPU time: 171.482 s c =============================================================================== c | 127 | 2487 2631 286955 | 5000 127 2226 | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 8.70068 s Remaining CPU time: 171.299 s c =============================================================================== c | 128 | 2487 2632 289305 | 5000 128 2226 | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 8.88065 s Remaining CPU time: 171.119 s c =============================================================================== c | 128 | 2487 2633 291655 | 5000 128 2226 | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 9.04962 s Remaining CPU time: 170.95 s c =============================================================================== c | 132 | 2487 2634 294005 | 5000 132 2226 | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 9.2186 s Remaining CPU time: 170.781 s c =============================================================================== c | 134 | 2487 2635 296355 | 5000 134 2226 | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 9.38057 s Remaining CPU time: 170.619 s c =============================================================================== c | 134 | 2487 2636 298705 | 5000 134 2226 | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 9.55155 s Remaining CPU time: 170.448 s c =============================================================================== c | 137 | 2487 2637 301055 | 5000 137 2226 | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 9.72452 s Remaining CPU time: 170.275 s c =============================================================================== c | 151 | 2487 2638 303405 | 5000 151 2226 | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 9.89349 s Remaining CPU time: 170.107 s c =============================================================================== c | 156 | 2487 2639 305755 | 5000 156 2226 | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 10.0555 s Remaining CPU time: 169.945 s c =============================================================================== c | 159 | 2487 2640 308105 | 5000 159 2226 | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 10.2244 s Remaining CPU time: 169.776 s c =============================================================================== c | 159 | 2487 2641 310455 | 5000 159 2226 | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 10.4094 s Remaining CPU time: 169.591 s c =============================================================================== c | 189 | 2487 2642 312805 | 5000 189 2226 | 0.000 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 10.5814 s Remaining CPU time: 169.419 s c =============================================================================== c | 197 | 2487 2643 315155 | 5000 197 2226 | 0.000 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 10.7964 s Remaining CPU time: 169.204 s c =============================================================================== c | 270 | 2487 2644 317505 | 5000 270 2225 | 0.000 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 10.9723 s Remaining CPU time: 169.028 s c =============================================================================== c | 280 | 2487 2645 319855 | 5000 280 2224 | 0.000 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 11.1673 s Remaining CPU time: 168.833 s c =============================================================================== c | 322 | 2487 2646 322205 | 5000 322 2224 | 0.000 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 11.4153 s Remaining CPU time: 168.585 s c =============================================================================== c | 402 | 2487 2647 324555 | 5000 402 2223 | 0.000 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 11.6222 s Remaining CPU time: 168.378 s c =============================================================================== c | 433 | 2487 2648 326905 | 5000 433 2222 | 0.000 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 11.8102 s Remaining CPU time: 168.19 s c =============================================================================== c | 448 | 2487 2649 329255 | 5000 448 2222 | 0.000 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 11.9952 s Remaining CPU time: 168.005 s c =============================================================================== c | 457 | 2487 2650 331605 | 5000 457 2222 | 0.000 % | c | 558 | 2487 2650 331605 | 5500 558 2221 | 0.520 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 12.4511 s Remaining CPU time: 167.549 s c =============================================================================== c | 570 | 2487 2651 333955 | 5000 570 2220 | 0.520 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 12.6871 s Remaining CPU time: 167.313 s c =============================================================================== c | 639 | 2487 2652 336305 | 5000 639 2220 | 0.520 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 12.881 s Remaining CPU time: 167.119 s c =============================================================================== c | 650 | 2487 2653 338655 | 5000 650 2220 | 0.520 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 13.077 s Remaining CPU time: 166.923 s c =============================================================================== c | 677 | 2487 2654 341005 | 5000 677 2219 | 0.520 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 13.33 s Remaining CPU time: 166.67 s c =============================================================================== c | 738 | 2487 2655 343355 | 5000 738 2218 | 0.520 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 13.5499 s Remaining CPU time: 166.45 s c =============================================================================== c | 789 | 2487 2656 345705 | 5000 789 2218 | 0.520 % | c | 889 | 2487 2656 345705 | 5500 889 2217 | 0.520 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 14.0009 s Remaining CPU time: 165.999 s c =============================================================================== c | 895 | 2487 2657 348055 | 5000 895 2217 | 0.520 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 14.2508 s Remaining CPU time: 165.749 s c =============================================================================== c | 955 | 2487 2658 350405 | 5000 955 2216 | 0.520 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 14.4818 s Remaining CPU time: 165.518 s c =============================================================================== c | 999 | 2487 2659 352755 | 5000 999 2216 | 0.520 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 14.7338 s Remaining CPU time: 165.266 s c =============================================================================== c | 1052 | 2487 2660 355105 | 5000 1052 2209 | 0.520 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 14.9507 s Remaining CPU time: 165.049 s c =============================================================================== c | 1078 | 2487 2661 357455 | 5000 1078 2209 | 0.520 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 15.1757 s Remaining CPU time: 164.824 s c =============================================================================== c | 1113 | 2487 2662 359805 | 5000 1113 2209 | 0.520 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 15.4057 s Remaining CPU time: 164.594 s c =============================================================================== c | 1150 | 2487 2663 362155 | 5000 1150 2208 | 0.520 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 15.6626 s Remaining CPU time: 164.337 s c =============================================================================== c | 1200 | 2487 2664 364505 | 5000 1200 2208 | 0.520 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 15.8986 s Remaining CPU time: 164.101 s c =============================================================================== c | 1223 | 2487 2665 366855 | 5000 1223 2208 | 0.520 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 16.1066 s Remaining CPU time: 163.893 s c =============================================================================== c | 1231 | 2487 2666 369205 | 5000 1231 2208 | 0.520 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 16.3255 s Remaining CPU time: 163.674 s c =============================================================================== c | 1258 | 2487 2667 371555 | 5000 1258 2208 | 0.520 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 16.5415 s Remaining CPU time: 163.459 s c =============================================================================== c | 1273 | 2487 2668 373905 | 5000 1273 2208 | 0.520 % | c | 1374 | 2487 2668 373905 | 5500 1374 2207 | 0.520 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 17.0494 s Remaining CPU time: 162.951 s c =============================================================================== c | 1404 | 2487 2669 376255 | 5000 1404 2207 | 0.520 % | c | 1504 | 2487 2669 376255 | 5500 1504 2206 | 0.520 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 17.6243 s Remaining CPU time: 162.376 s c =============================================================================== c | 1533 | 2487 2670 378605 | 5000 1533 2206 | 0.520 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 17.8543 s Remaining CPU time: 162.146 s c =============================================================================== c | 1564 | 2487 2671 380955 | 5000 1564 2205 | 0.520 % | c | 1664 | 2487 2671 380955 | 5500 1664 2205 | 0.520 % | c | 1814 | 2487 2671 380955 | 6050 1814 2202 | 0.520 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 18.7591 s Remaining CPU time: 161.241 s c =============================================================================== c | 1874 | 2487 2672 383305 | 5000 1874 2202 | 0.520 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 19.0121 s Remaining CPU time: 160.988 s c =============================================================================== c | 1928 | 2487 2673 385655 | 5000 1928 2202 | 0.520 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 19.2261 s Remaining CPU time: 160.774 s c =============================================================================== c | 1942 | 2487 2674 388005 | 5000 1942 2202 | 0.520 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 19.451 s Remaining CPU time: 160.549 s c =============================================================================== c | 1967 | 2487 2675 390355 | 5000 1967 2202 | 0.520 % | c | 2067 | 2487 2675 390355 | 5500 2067 2201 | 0.520 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 19.983 s Remaining CPU time: 160.017 s c =============================================================================== c | 2101 | 2487 2676 392705 | 5000 2101 2201 | 0.520 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 20.2949 s Remaining CPU time: 159.705 s c =============================================================================== c | 2173 | 2487 2677 395055 | 5000 2173 2200 | 0.520 % | c | 2273 | 2487 2677 395055 | 5500 2273 2200 | 0.520 % | c | 2423 | 2487 2677 395055 | 6050 2423 2199 | 0.520 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 21.3478 s Remaining CPU time: 158.652 s c =============================================================================== c | 2472 | 2487 2678 397405 | 5000 2472 2199 | 0.520 % | c | 2573 | 2487 2678 397405 | 5500 2573 2197 | 0.520 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 21.9007 s Remaining CPU time: 158.099 s c =============================================================================== c | 2605 | 2487 2679 399755 | 5000 2605 2197 | 0.520 % | c | 2705 | 2487 2679 399755 | 5500 2705 2197 | 0.520 % | c | 2855 | 2487 2679 399755 | 6050 2855 2196 | 0.520 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 22.9375 s Remaining CPU time: 157.062 s c =============================================================================== c | 2937 | 2487 2680 402105 | 5000 2937 2196 | 0.520 % | c | 3038 | 2487 2680 402105 | 5500 3038 2195 | 0.520 % | c | 3188 | 2487 2680 402105 | 6050 3188 2195 | 0.520 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 23.9164 s Remaining CPU time: 156.084 s c =============================================================================== c | 3222 | 2487 2681 404455 | 5000 3222 2195 | 0.520 % | c | 3322 | 2487 2681 404455 | 5500 3322 2195 | 0.520 % | c | 3472 | 2487 2681 404455 | 6050 3472 2194 | 0.520 % | c | 3697 | 2487 2681 404455 | 6655 3697 2193 | 0.520 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 25.2202 s Remaining CPU time: 154.78 s c =============================================================================== c | 3731 | 2487 2682 406805 | 5000 3731 2193 | 0.520 % | c | 3831 | 2487 2682 406805 | 5500 3831 2193 | 0.520 % | c | 3981 | 2487 2682 406805 | 6050 3981 2193 | 0.520 % | c | 4207 | 2487 2682 406805 | 6655 4207 2192 | 0.520 % | c | 4544 | 2487 2682 406805 | 7320 4544 2191 | 0.520 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 27.6038 s Remaining CPU time: 152.396 s c =============================================================================== c | 4690 | 2487 2683 409155 | 5000 4690 2191 | 0.520 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 27.9418 s Remaining CPU time: 152.058 s c =============================================================================== c | 4757 | 2487 2684 411505 | 5000 4757 2191 | 0.520 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 28.2087 s Remaining CPU time: 151.791 s c =============================================================================== c | 4816 | 2487 2685 413855 | 5000 4816 2191 | 0.520 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 28.5407 s Remaining CPU time: 151.459 s c =============================================================================== c | 4888 | 2487 2686 416205 | 5000 4888 2191 | 0.520 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 28.8036 s Remaining CPU time: 151.196 s c =============================================================================== c | 4916 | 2487 2687 418555 | 5000 4916 2191 | 0.520 % | c | 5016 | 2487 2687 418555 | 5500 5016 2190 | 0.520 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 29.4505 s Remaining CPU time: 150.549 s c =============================================================================== c | 5096 | 2487 2688 420905 | 5000 5096 2190 | 0.520 % | c | 5197 | 2487 2688 420905 | 5500 2649 2178 | 0.520 % | c | 5347 | 2487 2688 420905 | 6050 2799 2178 | 0.520 % | c | 5573 | 2487 2688 420905 | 6655 3025 2177 | 0.520 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 31.2123 s Remaining CPU time: 148.788 s c =============================================================================== c | 5646 | 2487 2689 423255 | 5000 3098 2177 | 0.520 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 31.4772 s Remaining CPU time: 148.523 s c =============================================================================== c | 5696 | 2487 2690 425605 | 5000 3148 2177 | 0.520 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 31.7312 s Remaining CPU time: 148.269 s c =============================================================================== c | 5733 | 2487 2691 427955 | 5000 3185 2177 | 0.520 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 32.0181 s Remaining CPU time: 147.982 s c =============================================================================== c | 5790 | 2487 2692 430305 | 5000 3242 2177 | 0.520 % | c | 5891 | 2487 2692 430305 | 5500 3343 2177 | 0.520 % | c | 6042 | 2487 2692 430305 | 6050 3494 2177 | 0.520 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 33.069 s Remaining CPU time: 146.931 s c =============================================================================== c | 6145 | 2487 2693 432655 | 5000 3597 2177 | 0.520 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 33.3759 s Remaining CPU time: 146.624 s c =============================================================================== c | 6225 | 2487 2694 435005 | 5000 3677 2177 | 0.520 % | c | 6325 | 2487 2694 435005 | 5500 3777 2176 | 0.520 % | c | 6475 | 2487 2694 435005 | 6050 3927 2176 | 0.520 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 34.4788 s Remaining CPU time: 145.521 s c =============================================================================== c | 6582 | 2487 2695 437355 | 5000 4034 2176 | 0.520 % | c | 6682 | 2487 2695 437355 | 5500 4134 2176 | 0.520 % | c | 6832 | 2487 2695 437355 | 6050 4284 2176 | 0.520 % | c | 7057 | 2487 2695 437355 | 6655 4509 2175 | 0.520 % | c | 7394 | 2487 2695 437355 | 7320 4846 2175 | 0.520 % | c | 7900 | 2487 2695 437355 | 8052 5352 2174 | 0.520 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 37.8812 s Remaining CPU time: 142.119 s c =============================================================================== c | 8047 | 2487 2696 439705 | 5000 5499 2174 | 0.520 % | c | 8147 | 2487 2696 439705 | 5500 2850 2166 | 0.520 % | c | 8297 | 2487 2696 439705 | 6050 3000 2166 | 0.520 % | c | 8522 | 2487 2696 439705 | 6655 3225 2166 | 0.520 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 39.754 s Remaining CPU time: 140.246 s c =============================================================================== c | 8698 | 2487 2697 442055 | 5000 3401 2166 | 0.520 % | c | 8798 | 2487 2697 442055 | 5500 3501 2166 | 0.520 % | c | 8948 | 2487 2697 442055 | 6050 3651 2166 | 0.520 % | c | 9174 | 2487 2697 442055 | 6655 3877 2166 | 0.520 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 41.2287 s Remaining CPU time: 138.771 s c =============================================================================== c | 9246 | 2487 2698 444405 | 5000 3949 2166 | 0.520 % | c | 9346 | 2487 2698 444405 | 5500 4049 2166 | 0.520 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 42.0026 s Remaining CPU time: 137.997 s c =============================================================================== c | 9487 | 2487 2699 446755 | 5000 4190 2166 | 0.520 % | c | 9587 | 2487 2699 446755 | 5500 4290 2166 | 0.520 % | c | 9737 | 2487 2699 446755 | 6050 4440 2166 | 0.520 % | c | 9962 | 2487 2699 446755 | 6655 4665 2166 | 0.520 % | c | 10299 | 2487 2699 446755 | 7320 5002 2166 | 0.520 % | c | 10805 | 2487 2699 446755 | 8052 5508 2165 | 0.520 % | c | 11564 | 2487 2699 446755 | 8857 6267 2165 | 0.520 % | c | 12704 | 2487 2699 446755 | 9743 7407 2165 | 0.520 % | c | 14412 | 2487 2699 446755 | 10717 9115 2165 | 0.520 % | c | 16975 | 2487 2699 446755 | 11789 11678 2165 | 0.520 % | c | 20820 | 2487 2699 446755 | 12968 8526 2163 | 0.520 % | c | 26587 | 2487 2699 446755 | 14265 14293 2164 | 0.520 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 75.7875 s Remaining CPU time: 104.213 s c =============================================================================== c | 27881 | 2487 2700 449105 | 5000 8441 2164 | 0.520 % | c | 27981 | 2487 2700 449105 | 5500 4321 2163 | 0.520 % | c | 28132 | 2487 2700 449105 | 6050 4472 2163 | 0.520 % | c | 28357 | 2487 2700 449105 | 6655 4697 2163 | 0.520 % | c | 28694 | 2487 2700 449105 | 7320 5034 2163 | 0.520 % | c | 29200 | 2487 2700 449105 | 8052 5540 2163 | 0.520 % | c | 29959 | 2487 2700 449105 | 8857 6299 2164 | 0.520 % | c =============================================================================== c New solution: 2162 c Elapsed CPU time: 81.8436 s Remaining CPU time: 98.1564 s c =============================================================================== c | 30881 | 2487 2701 451455 | 5000 7221 2164 | 0.520 % | c | 30981 | 2487 2701 451455 | 5500 3711 2162 | 0.520 % | c | 31131 | 2487 2701 451455 | 6050 3861 2162 | 0.520 % | c | 31356 | 2487 2701 451455 | 6655 4086 2161 | 0.520 % | c | 31694 | 2487 2701 451455 | 7320 4424 2161 | 0.520 % | c | 32200 | 2487 2701 451455 | 8052 4930 2161 | 0.520 % | c | 32960 | 2487 2701 451455 | 8857 5690 2161 | 0.520 % | c | 34101 | 2487 2701 451455 | 9743 6831 2161 | 0.520 % | c | 35809 | 2487 2701 451455 | 10717 8539 2162 | 0.520 % | c | 38373 | 2487 2701 451455 | 11789 11103 2162 | 0.520 % | c | 42217 | 2487 2701 451455 | 12968 7957 2161 | 0.520 % |