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 | 2496 2503 7346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 2496 2504 9696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 2496 2505 12046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2496 2506 14396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 2496 2507 16746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2496 2508 19096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2496 2509 21446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 2496 2510 23796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 2496 2511 26146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 2496 2512 28496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 2496 2513 30846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 2496 2514 33196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 2496 2515 35546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 2496 2516 37896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 2496 2517 40246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 2496 2518 42596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 2496 2519 44946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2496 2520 47296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 2496 2521 49646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 2496 2522 51996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 2496 2523 54346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 2496 2524 56696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 2496 2525 59046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 2496 2526 61396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 2496 2527 63746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 2496 2528 66096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 2496 2529 68446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 2496 2530 70796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 2496 2531 73146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 2496 2532 75496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 0 | 2496 2533 77846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 2496 2534 80196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.328949 s Remaining CPU time: 179.671 s c =============================================================================== c | 0 | 2496 2535 82546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 2496 2536 84896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 2496 2537 87246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 0 | 2496 2538 89596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 2496 2539 91946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 0 | 2496 2540 94296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.467928 s Remaining CPU time: 179.532 s c =============================================================================== c | 0 | 2496 2541 96646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 0 | 2496 2542 98996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.51992 s Remaining CPU time: 179.48 s c =============================================================================== c | 0 | 2496 2543 101346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 0 | 2496 2544 103696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 0 | 2496 2545 106046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 0 | 2496 2546 108396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 0 | 2496 2547 110746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.673897 s Remaining CPU time: 179.326 s c =============================================================================== c | 0 | 2496 2548 113096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 0 | 2496 2549 115446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 2496 2550 117796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 0 | 2496 2551 120146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 0 | 2496 2552 122496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 0 | 2496 2553 124846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 0 | 2496 2554 127196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 0 | 2496 2555 129546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 0 | 2496 2556 131896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 2496 2557 134246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 0 | 2496 2558 136596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.08483 s Remaining CPU time: 178.915 s c =============================================================================== c | 0 | 2496 2559 138946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 0 | 2496 2560 141296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.18082 s Remaining CPU time: 178.819 s c =============================================================================== c | 0 | 2496 2561 143646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 0 | 2496 2562 145996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 0 | 2496 2563 148346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.3268 s Remaining CPU time: 178.673 s c =============================================================================== c | 0 | 2496 2564 150696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 0 | 2496 2565 153046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 0 | 2496 2566 155396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 0 | 2496 2567 157746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 1.54277 s Remaining CPU time: 178.457 s c =============================================================================== c | 0 | 2496 2568 160096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 0 | 2496 2569 162446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 1.65575 s Remaining CPU time: 178.344 s c =============================================================================== c | 0 | 2496 2570 164796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 0 | 2496 2571 167146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 1.77173 s Remaining CPU time: 178.228 s c =============================================================================== c | 0 | 2496 2572 169496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 1.83272 s Remaining CPU time: 178.167 s c =============================================================================== c | 0 | 2496 2573 171846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 0 | 2496 2574 174196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 1.9537 s Remaining CPU time: 178.046 s c =============================================================================== c | 0 | 2496 2575 176546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s c =============================================================================== c | 0 | 2496 2576 178896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.08468 s Remaining CPU time: 177.915 s c =============================================================================== c | 0 | 2496 2577 181246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 2496 2578 183596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 0 | 2496 2579 185946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 0 | 2496 2580 188296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 0 | 2496 2581 190646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 2.43463 s Remaining CPU time: 177.565 s c =============================================================================== c | 0 | 2496 2582 192996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 2.50762 s Remaining CPU time: 177.492 s c =============================================================================== c | 0 | 2496 2583 195346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 2.57961 s Remaining CPU time: 177.42 s c =============================================================================== c | 0 | 2496 2584 197696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 2.6526 s Remaining CPU time: 177.347 s c =============================================================================== c | 0 | 2496 2585 200046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 2.72858 s Remaining CPU time: 177.271 s c =============================================================================== c | 0 | 2496 2586 202396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 2.80457 s Remaining CPU time: 177.195 s c =============================================================================== c | 0 | 2496 2587 204746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 2.87856 s Remaining CPU time: 177.121 s c =============================================================================== c | 0 | 2496 2588 207096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s c =============================================================================== c | 0 | 2496 2589 209446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 3.03154 s Remaining CPU time: 176.968 s c =============================================================================== c | 0 | 2496 2590 211796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 3.11153 s Remaining CPU time: 176.888 s c =============================================================================== c | 0 | 2496 2591 214146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 3.19351 s Remaining CPU time: 176.806 s c =============================================================================== c | 0 | 2496 2592 216496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 3.2765 s Remaining CPU time: 176.723 s c =============================================================================== c | 0 | 2496 2593 218846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 3.35849 s Remaining CPU time: 176.642 s c =============================================================================== c | 0 | 2496 2594 221196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 3.44348 s Remaining CPU time: 176.557 s c =============================================================================== c | 0 | 2496 2595 223546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 3.52846 s Remaining CPU time: 176.472 s c =============================================================================== c | 0 | 2496 2596 225896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 3.61445 s Remaining CPU time: 176.386 s c =============================================================================== c | 0 | 2496 2597 228246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 3.70144 s Remaining CPU time: 176.299 s c =============================================================================== c | 0 | 2496 2598 230596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 3.78942 s Remaining CPU time: 176.211 s c =============================================================================== c | 0 | 2496 2599 232946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 3.87841 s Remaining CPU time: 176.122 s c =============================================================================== c | 0 | 2496 2600 235296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 3.9684 s Remaining CPU time: 176.032 s c =============================================================================== c | 0 | 2496 2601 237646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 4.05838 s Remaining CPU time: 175.942 s c =============================================================================== c | 0 | 2496 2602 239996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 4.14937 s Remaining CPU time: 175.851 s c =============================================================================== c | 0 | 2496 2603 242346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 4.24235 s Remaining CPU time: 175.758 s c =============================================================================== c | 0 | 2496 2604 244696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 4.33734 s Remaining CPU time: 175.663 s c =============================================================================== c | 0 | 2496 2605 247046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 4.43333 s Remaining CPU time: 175.567 s c =============================================================================== c | 0 | 2496 2606 249396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 4.53131 s Remaining CPU time: 175.469 s c =============================================================================== c | 0 | 2496 2607 251746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 4.6283 s Remaining CPU time: 175.372 s c =============================================================================== c | 0 | 2496 2608 254096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 4.72628 s Remaining CPU time: 175.274 s c =============================================================================== c | 0 | 2496 2609 256446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 4.82727 s Remaining CPU time: 175.173 s c =============================================================================== c | 0 | 2496 2610 258796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 4.92725 s Remaining CPU time: 175.073 s c =============================================================================== c | 0 | 2496 2611 261146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 5.02823 s Remaining CPU time: 174.972 s c =============================================================================== c | 0 | 2496 2612 263496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 5.13022 s Remaining CPU time: 174.87 s c =============================================================================== c | 0 | 2496 2613 265846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 5.2362 s Remaining CPU time: 174.764 s c =============================================================================== c | 0 | 2496 2614 268196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 5.34219 s Remaining CPU time: 174.658 s c =============================================================================== c | 0 | 2496 2615 270546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 5.44717 s Remaining CPU time: 174.553 s c =============================================================================== c | 0 | 2496 2616 272896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 5.55616 s Remaining CPU time: 174.444 s c =============================================================================== c | 0 | 2496 2617 275246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 5.66414 s Remaining CPU time: 174.336 s c =============================================================================== c | 0 | 2496 2618 277596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 5.77312 s Remaining CPU time: 174.227 s c =============================================================================== c | 0 | 2496 2619 279946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 5.8841 s Remaining CPU time: 174.116 s c =============================================================================== c | 0 | 2496 2620 282296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 5.99709 s Remaining CPU time: 174.003 s c =============================================================================== c | 0 | 2496 2621 284646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 6.11007 s Remaining CPU time: 173.89 s c =============================================================================== c | 0 | 2496 2622 286996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 6.22605 s Remaining CPU time: 173.774 s c =============================================================================== c | 0 | 2496 2623 289346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 6.34104 s Remaining CPU time: 173.659 s c =============================================================================== c | 0 | 2496 2624 291696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 6.45802 s Remaining CPU time: 173.542 s c =============================================================================== c | 0 | 2496 2625 294046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 6.576 s Remaining CPU time: 173.424 s c =============================================================================== c | 0 | 2496 2626 296396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 6.69498 s Remaining CPU time: 173.305 s c =============================================================================== c | 0 | 2496 2627 298746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 6.81596 s Remaining CPU time: 173.184 s c =============================================================================== c | 0 | 2496 2628 301096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 6.93694 s Remaining CPU time: 173.063 s c =============================================================================== c | 0 | 2496 2629 303446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 7.05793 s Remaining CPU time: 172.942 s c =============================================================================== c | 0 | 2496 2630 305796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 7.17891 s Remaining CPU time: 172.821 s c =============================================================================== c | 0 | 2496 2631 308146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 7.30289 s Remaining CPU time: 172.697 s c =============================================================================== c | 0 | 2496 2632 310496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 7.42687 s Remaining CPU time: 172.573 s c =============================================================================== c | 0 | 2496 2633 312846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 7.55185 s Remaining CPU time: 172.448 s c =============================================================================== c | 0 | 2496 2634 315196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 7.67883 s Remaining CPU time: 172.321 s c =============================================================================== c | 0 | 2496 2635 317546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 7.81281 s Remaining CPU time: 172.187 s c =============================================================================== c | 0 | 2496 2636 319896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 7.94779 s Remaining CPU time: 172.052 s c =============================================================================== c | 0 | 2496 2637 322246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 8.08377 s Remaining CPU time: 171.916 s c =============================================================================== c | 0 | 2496 2638 324596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 8.21875 s Remaining CPU time: 171.781 s c =============================================================================== c | 0 | 2496 2639 326946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 8.35473 s Remaining CPU time: 171.645 s c =============================================================================== c | 0 | 2496 2640 329296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 8.49171 s Remaining CPU time: 171.508 s c =============================================================================== c | 0 | 2496 2641 331646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 8.62769 s Remaining CPU time: 171.372 s c =============================================================================== c | 0 | 2496 2642 333996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 8.77367 s Remaining CPU time: 171.226 s c =============================================================================== c | 0 | 2496 2643 336346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 8.91964 s Remaining CPU time: 171.08 s c =============================================================================== c | 0 | 2496 2644 338696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 9.06862 s Remaining CPU time: 170.931 s c =============================================================================== c | 0 | 2496 2645 341046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 9.2146 s Remaining CPU time: 170.785 s c =============================================================================== c | 0 | 2496 2646 343396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 9.36158 s Remaining CPU time: 170.638 s c =============================================================================== c | 0 | 2496 2647 345746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 9.51255 s Remaining CPU time: 170.487 s c =============================================================================== c | 0 | 2496 2648 348096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 9.66153 s Remaining CPU time: 170.338 s c =============================================================================== c | 0 | 2496 2649 350446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 9.81151 s Remaining CPU time: 170.188 s c =============================================================================== c | 0 | 2496 2650 352796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 9.96249 s Remaining CPU time: 170.038 s c =============================================================================== c | 0 | 2496 2651 355146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 10.1135 s Remaining CPU time: 169.887 s c =============================================================================== c | 0 | 2496 2652 357496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 10.2654 s Remaining CPU time: 169.735 s c =============================================================================== c | 0 | 2496 2653 359846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 10.4164 s Remaining CPU time: 169.584 s c =============================================================================== c | 0 | 2496 2654 362196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 10.5714 s Remaining CPU time: 169.429 s c =============================================================================== c | 0 | 2496 2655 364546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 10.7334 s Remaining CPU time: 169.267 s c =============================================================================== c | 0 | 2496 2656 366896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 10.8953 s Remaining CPU time: 169.105 s c =============================================================================== c | 0 | 2496 2657 369246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 11.0603 s Remaining CPU time: 168.94 s c =============================================================================== c | 0 | 2496 2658 371596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 11.2243 s Remaining CPU time: 168.776 s c =============================================================================== c | 0 | 2496 2659 373946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 11.3903 s Remaining CPU time: 168.61 s c =============================================================================== c | 0 | 2496 2660 376296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 11.5562 s Remaining CPU time: 168.444 s c =============================================================================== c | 0 | 2496 2661 378646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 11.7202 s Remaining CPU time: 168.28 s c =============================================================================== c | 0 | 2496 2662 380996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 11.8862 s Remaining CPU time: 168.114 s c =============================================================================== c | 0 | 2496 2663 383346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 12.0532 s Remaining CPU time: 167.947 s c =============================================================================== c | 0 | 2496 2664 385696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 12.2211 s Remaining CPU time: 167.779 s c =============================================================================== c | 0 | 2496 2665 388046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 12.3901 s Remaining CPU time: 167.61 s c =============================================================================== c | 0 | 2496 2666 390396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 12.5711 s Remaining CPU time: 167.429 s c =============================================================================== c | 0 | 2496 2667 392746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 12.7541 s Remaining CPU time: 167.246 s c =============================================================================== c | 0 | 2496 2668 395096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 12.939 s Remaining CPU time: 167.061 s c =============================================================================== c | 0 | 2496 2669 397446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 13.123 s Remaining CPU time: 166.877 s c =============================================================================== c | 0 | 2496 2670 399796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 13.307 s Remaining CPU time: 166.693 s c =============================================================================== c | 0 | 2496 2671 402146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 13.4909 s Remaining CPU time: 166.509 s c =============================================================================== c | 0 | 2496 2672 404496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 13.6809 s Remaining CPU time: 166.319 s c =============================================================================== c | 0 | 2496 2673 406846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 13.8719 s Remaining CPU time: 166.128 s c =============================================================================== c | 0 | 2496 2674 409196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 14.0629 s Remaining CPU time: 165.937 s c =============================================================================== c | 0 | 2496 2675 411546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 14.2538 s Remaining CPU time: 165.746 s c =============================================================================== c | 0 | 2496 2676 413896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 14.4448 s Remaining CPU time: 165.555 s c =============================================================================== c | 0 | 2496 2677 416246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 14.6358 s Remaining CPU time: 165.364 s c =============================================================================== c | 0 | 2496 2678 418596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 14.8287 s Remaining CPU time: 165.171 s c =============================================================================== c | 0 | 2496 2679 420946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 15.0227 s Remaining CPU time: 164.977 s c =============================================================================== c | 0 | 2496 2680 423296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 15.2147 s Remaining CPU time: 164.785 s c =============================================================================== c | 0 | 2496 2681 425646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 15.4097 s Remaining CPU time: 164.59 s c =============================================================================== c | 0 | 2496 2682 427996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 15.6016 s Remaining CPU time: 164.398 s c =============================================================================== c | 0 | 2496 2683 430346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 15.7966 s Remaining CPU time: 164.203 s c =============================================================================== c | 0 | 2496 2684 432696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 15.9906 s Remaining CPU time: 164.009 s c =============================================================================== c | 0 | 2496 2685 435046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 16.1865 s Remaining CPU time: 163.813 s c =============================================================================== c | 0 | 2496 2686 437396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 16.3875 s Remaining CPU time: 163.612 s c =============================================================================== c | 0 | 2496 2687 439746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 16.5905 s Remaining CPU time: 163.41 s c =============================================================================== c | 0 | 2496 2688 442096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 16.7944 s Remaining CPU time: 163.206 s c =============================================================================== c | 0 | 2496 2689 444446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 17.0004 s Remaining CPU time: 163 s c =============================================================================== c | 0 | 2496 2690 446796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 17.2034 s Remaining CPU time: 162.797 s c =============================================================================== c | 0 | 2496 2691 449146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2162 c Elapsed CPU time: 17.4094 s Remaining CPU time: 162.591 s c =============================================================================== c | 0 | 2496 2692 451496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2161 c Elapsed CPU time: 17.6163 s Remaining CPU time: 162.384 s c =============================================================================== c | 0 | 2496 2693 453846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2160 c Elapsed CPU time: 17.8233 s Remaining CPU time: 162.177 s c =============================================================================== c | 0 | 2496 2694 456196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2159 c Elapsed CPU time: 18.0313 s Remaining CPU time: 161.969 s c =============================================================================== c | 0 | 2496 2695 458546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2158 c Elapsed CPU time: 18.2392 s Remaining CPU time: 161.761 s c =============================================================================== c | 0 | 2496 2696 460896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2157 c Elapsed CPU time: 18.4482 s Remaining CPU time: 161.552 s c =============================================================================== c | 0 | 2496 2697 463246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2156 c Elapsed CPU time: 18.6572 s Remaining CPU time: 161.343 s c =============================================================================== c | 0 | 2496 2698 465596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2155 c Elapsed CPU time: 18.8671 s Remaining CPU time: 161.133 s c =============================================================================== c | 0 | 2496 2699 467946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2154 c Elapsed CPU time: 19.0771 s Remaining CPU time: 160.923 s c =============================================================================== c | 0 | 2496 2700 470296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2153 c Elapsed CPU time: 19.2871 s Remaining CPU time: 160.713 s c =============================================================================== c | 0 | 2496 2701 472646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2152 c Elapsed CPU time: 19.499 s Remaining CPU time: 160.501 s c =============================================================================== c | 0 | 2496 2702 474996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2151 c Elapsed CPU time: 19.712 s Remaining CPU time: 160.288 s c =============================================================================== c | 0 | 2496 2703 477346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2150 c Elapsed CPU time: 19.924 s Remaining CPU time: 160.076 s c =============================================================================== c | 0 | 2496 2704 479696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2149 c Elapsed CPU time: 20.1379 s Remaining CPU time: 159.862 s c =============================================================================== c | 0 | 2496 2705 482046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2148 c Elapsed CPU time: 20.3549 s Remaining CPU time: 159.645 s c =============================================================================== c | 0 | 2496 2706 484396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2147 c Elapsed CPU time: 20.5749 s Remaining CPU time: 159.425 s c =============================================================================== c | 0 | 2496 2707 486746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2146 c Elapsed CPU time: 20.7938 s Remaining CPU time: 159.206 s c =============================================================================== c | 0 | 2496 2708 489096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2145 c Elapsed CPU time: 21.0128 s Remaining CPU time: 158.987 s c =============================================================================== c | 0 | 2496 2709 491446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2144 c Elapsed CPU time: 21.2348 s Remaining CPU time: 158.765 s c =============================================================================== c | 0 | 2496 2710 493796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2143 c Elapsed CPU time: 21.4557 s Remaining CPU time: 158.544 s c =============================================================================== c | 0 | 2496 2711 496146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2142 c Elapsed CPU time: 21.6757 s Remaining CPU time: 158.324 s c =============================================================================== c | 1 | 2496 2712 498496 | 5000 1 2144 | 0.000 % | c =============================================================================== c New solution: 2141 c Elapsed CPU time: 21.9207 s Remaining CPU time: 158.079 s c =============================================================================== c | 2 | 2496 2713 500846 | 5000 2 1074 | 0.000 % | c =============================================================================== c New solution: 2140 c Elapsed CPU time: 22.1756 s Remaining CPU time: 157.824 s c =============================================================================== c | 6 | 2496 2714 503196 | 5000 6 1786 | 0.000 % | c =============================================================================== c New solution: 2139 c Elapsed CPU time: 22.4166 s Remaining CPU time: 157.583 s c =============================================================================== c | 6 | 2496 2715 505546 | 5000 6 1786 | 0.000 % | c =============================================================================== c New solution: 2138 c Elapsed CPU time: 22.6496 s Remaining CPU time: 157.35 s c =============================================================================== c | 6 | 2496 2716 507896 | 5000 6 1786 | 0.000 % | c =============================================================================== c New solution: 2137 c Elapsed CPU time: 22.8665 s Remaining CPU time: 157.133 s c =============================================================================== c | 6 | 2496 2717 510246 | 5000 6 1786 | 0.000 % | c =============================================================================== c New solution: 2136 c Elapsed CPU time: 23.1095 s Remaining CPU time: 156.891 s c =============================================================================== c | 7 | 2496 2718 512596 | 5000 7 1836 | 0.000 % | c =============================================================================== c New solution: 2135 c Elapsed CPU time: 23.3484 s Remaining CPU time: 156.652 s c =============================================================================== c | 8 | 2496 2719 514946 | 5000 8 1874 | 0.000 % | c =============================================================================== c New solution: 2134 c Elapsed CPU time: 23.5814 s Remaining CPU time: 156.419 s c =============================================================================== c | 9 | 2496 2720 517296 | 5000 9 1903 | 0.000 % | c =============================================================================== c New solution: 2133 c Elapsed CPU time: 23.8334 s Remaining CPU time: 156.167 s c =============================================================================== c | 9 | 2496 2721 519646 | 5000 9 1903 | 0.000 % | c =============================================================================== c New solution: 2132 c Elapsed CPU time: 24.0703 s Remaining CPU time: 155.93 s c =============================================================================== c | 9 | 2496 2722 521996 | 5000 9 1903 | 0.000 % | c =============================================================================== c New solution: 2131 c Elapsed CPU time: 24.3353 s Remaining CPU time: 155.665 s c =============================================================================== c | 52 | 2496 2723 524346 | 5000 52 2052 | 0.000 % | c =============================================================================== c New solution: 2130 c Elapsed CPU time: 24.5903 s Remaining CPU time: 155.41 s c =============================================================================== c | 101 | 2496 2724 526696 | 5000 101 2091 | 0.000 % | c =============================================================================== c New solution: 2129 c Elapsed CPU time: 24.8532 s Remaining CPU time: 155.147 s c =============================================================================== c | 127 | 2496 2725 529046 | 5000 127 2099 | 0.000 % | c | 227 | 2496 2725 529046 | 5500 227 2113 | 0.160 % | c =============================================================================== c New solution: 2128 c Elapsed CPU time: 25.4601 s Remaining CPU time: 154.54 s c =============================================================================== c | 259 | 2496 2726 531396 | 5000 259 2115 | 0.160 % | c =============================================================================== c New solution: 2127 c Elapsed CPU time: 25.6991 s Remaining CPU time: 154.301 s c =============================================================================== c | 276 | 2496 2727 533746 | 5000 276 2116 | 0.160 % | c =============================================================================== c New solution: 2126 c Elapsed CPU time: 25.9641 s Remaining CPU time: 154.036 s c =============================================================================== c | 298 | 2496 2728 536096 | 5000 298 2117 | 0.160 % | c =============================================================================== c New solution: 2125 c Elapsed CPU time: 26.343 s Remaining CPU time: 153.657 s c =============================================================================== c | 371 | 2496 2729 538446 | 5000 371 2119 | 0.160 % | c | 472 | 2496 2729 538446 | 5500 472 2121 | 0.160 % | c =============================================================================== c New solution: 2124 c Elapsed CPU time: 27.0829 s Remaining CPU time: 152.917 s c =============================================================================== c | 543 | 2496 2730 540796 | 5000 543 2121 | 0.160 % | c =============================================================================== c New solution: 2123 c Elapsed CPU time: 27.3588 s Remaining CPU time: 152.641 s c =============================================================================== c | 588 | 2496 2731 543146 | 5000 588 2122 | 0.160 % | c =============================================================================== c New solution: 2122 c Elapsed CPU time: 27.6408 s Remaining CPU time: 152.359 s c =============================================================================== c | 649 | 2496 2732 545496 | 5000 649 2122 | 0.160 % | c =============================================================================== c New solution: 2121 c Elapsed CPU time: 27.9617 s Remaining CPU time: 152.038 s c =============================================================================== c | 732 | 2496 2733 547846 | 5000 732 2122 | 0.160 % | c =============================================================================== c New solution: 2120 c Elapsed CPU time: 28.3267 s Remaining CPU time: 151.673 s c =============================================================================== c | 819 | 2496 2734 550196 | 5000 819 2122 | 0.160 % | c =============================================================================== c New solution: 2119 c Elapsed CPU time: 28.6266 s Remaining CPU time: 151.373 s c =============================================================================== c | 864 | 2496 2735 552546 | 5000 864 2122 | 0.160 % | c =============================================================================== c New solution: 2118 c Elapsed CPU time: 28.9396 s Remaining CPU time: 151.06 s c =============================================================================== c | 918 | 2496 2736 554896 | 5000 918 2122 | 0.160 % | c =============================================================================== c New solution: 2117 c Elapsed CPU time: 29.3645 s Remaining CPU time: 150.635 s c =============================================================================== c | 997 | 2496 2737 557246 | 5000 997 2122 | 0.160 % | c =============================================================================== c New solution: 2116 c Elapsed CPU time: 29.6395 s Remaining CPU time: 150.361 s c =============================================================================== c | 1018 | 2496 2738 559596 | 5000 1018 2122 | 0.160 % | c =============================================================================== c New solution: 2115 c Elapsed CPU time: 29.8975 s Remaining CPU time: 150.103 s c =============================================================================== c | 1039 | 2496 2739 561946 | 5000 1039 2122 | 0.160 % | c =============================================================================== c New solution: 2114 c Elapsed CPU time: 30.1344 s Remaining CPU time: 149.866 s c =============================================================================== c | 1045 | 2496 2740 564296 | 5000 1045 2122 | 0.160 % | c =============================================================================== c New solution: 2113 c Elapsed CPU time: 30.5903 s Remaining CPU time: 149.41 s c =============================================================================== c | 1104 | 2496 2741 566646 | 5000 1104 2121 | 0.160 % | c | 1206 | 2496 2741 566646 | 5500 1206 2121 | 0.160 % | c | 1356 | 2496 2741 566646 | 6050 1356 2120 | 0.160 % | c =============================================================================== c New solution: 2112 c Elapsed CPU time: 31.8652 s Remaining CPU time: 148.135 s c =============================================================================== c | 1543 | 2496 2742 568996 | 5000 1543 2118 | 0.160 % | c | 1643 | 2496 2742 568996 | 5500 1643 2118 | 0.160 % | c | 1793 | 2496 2742 568996 | 6050 1793 2117 | 0.160 % | c =============================================================================== c New solution: 2111 c Elapsed CPU time: 33.4479 s Remaining CPU time: 146.552 s c =============================================================================== c | 1970 | 2496 2743 571346 | 5000 1970 2117 | 0.160 % | c | 2070 | 2496 2743 571346 | 5500 2070 2117 | 0.160 % | c =============================================================================== c New solution: 2110 c Elapsed CPU time: 34.1308 s Remaining CPU time: 145.869 s c =============================================================================== c | 2114 | 2496 2744 573696 | 5000 2114 2117 | 0.160 % | c =============================================================================== c New solution: 2109 c Elapsed CPU time: 34.5477 s Remaining CPU time: 145.452 s c =============================================================================== c | 2193 | 2496 2745 576046 | 5000 2193 2116 | 0.160 % | c | 2294 | 2496 2745 576046 | 5500 2294 2116 | 0.160 % | c | 2444 | 2496 2745 576046 | 6050 2444 2116 | 0.160 % | c | 2670 | 2496 2745 576046 | 6655 2670 2115 | 0.160 % | c | 3007 | 2496 2745 576046 | 7320 3007 2114 | 0.160 % | c =============================================================================== c New solution: 2108 c Elapsed CPU time: 37.3563 s Remaining CPU time: 142.644 s c =============================================================================== c | 3090 | 2496 2746 578396 | 5000 3090 2114 | 0.160 % | c | 3190 | 2496 2746 578396 | 5500 3190 2114 | 0.160 % | c =============================================================================== c New solution: 2107 c Elapsed CPU time: 38.1902 s Remaining CPU time: 141.81 s c =============================================================================== c | 3296 | 2496 2747 580746 | 5000 3296 2114 | 0.160 % | c | 3397 | 2496 2747 580746 | 5500 3397 2114 | 0.160 % | c | 3547 | 2496 2747 580746 | 6050 3547 2113 | 0.160 % | c | 3772 | 2496 2747 580746 | 6655 3772 2111 | 0.160 % | c =============================================================================== c New solution: 2106 c Elapsed CPU time: 40.0599 s Remaining CPU time: 139.94 s c =============================================================================== c | 3848 | 2496 2748 583096 | 5000 3848 2111 | 0.160 % | c | 3950 | 2496 2748 583096 | 5500 3950 2111 | 0.160 % | c | 4100 | 2496 2748 583096 | 6050 4100 2111 | 0.160 % | c =============================================================================== c New solution: 2105 c Elapsed CPU time: 41.5817 s Remaining CPU time: 138.418 s c =============================================================================== c | 4244 | 2496 2749 585446 | 5000 4244 2111 | 0.160 % | c | 4345 | 2496 2749 585446 | 5500 4345 2111 | 0.160 % | c | 4495 | 2496 2749 585446 | 6050 4495 2111 | 0.160 % | c =============================================================================== c New solution: 2104 c Elapsed CPU time: 43.5504 s Remaining CPU time: 136.45 s c =============================================================================== c | 4620 | 2496 2750 587796 | 5000 4620 2111 | 0.160 % | c | 4720 | 2496 2750 587796 | 5500 4720 2110 | 0.160 % | c | 4871 | 2496 2750 587796 | 6050 4871 2110 | 0.160 % | c | 5096 | 2496 2750 587796 | 6655 5096 2110 | 0.160 % | c =============================================================================== c New solution: 2103 c Elapsed CPU time: 46.308 s Remaining CPU time: 133.692 s c =============================================================================== c | 5410 | 2496 2751 590146 | 5000 5410 2110 | 0.160 % | c | 5510 | 2496 2751 590146 | 5500 2805 2103 | 0.160 % | c | 5660 | 2496 2751 590146 | 6050 2955 2103 | 0.160 % | c | 5886 | 2496 2751 590146 | 6655 3181 2103 | 0.160 % | c =============================================================================== c New solution: 2102 c Elapsed CPU time: 48.2487 s Remaining CPU time: 131.751 s c =============================================================================== c | 6177 | 2496 2752 592496 | 5000 3472 2103 | 0.160 % | c | 6277 | 2496 2752 592496 | 5500 3572 2103 | 0.160 % | c | 6427 | 2496 2752 592496 | 6050 3722 2103 | 0.160 % | c | 6653 | 2496 2752 592496 | 6655 3948 2103 | 0.160 % | c | 6992 | 2496 2752 592496 | 7320 4287 2103 | 0.160 % | c | 7498 | 2496 2752 592496 | 8052 4793 2103 | 0.160 % | c =============================================================================== c New solution: 2101 c Elapsed CPU time: 52.809 s Remaining CPU time: 127.191 s c =============================================================================== c | 7621 | 2496 2753 594846 | 5000 4916 2103 | 0.160 % | c =============================================================================== c New solution: 2100 c Elapsed CPU time: 53.2069 s Remaining CPU time: 126.793 s c =============================================================================== c | 7705 | 2496 2754 597196 | 5000 5000 2103 | 0.160 % | c | 7805 | 2496 2754 597196 | 5500 5100 2103 | 0.160 % | c =============================================================================== c New solution: 2099 c Elapsed CPU time: 54.2098 s Remaining CPU time: 125.79 s c =============================================================================== c | 7950 | 2496 2755 599546 | 5000 5245 2103 | 0.160 % | c =============================================================================== c New solution: 2098 c Elapsed CPU time: 54.5717 s Remaining CPU time: 125.428 s c =============================================================================== c | 8000 | 2496 2756 601896 | 5000 2673 2099 | 0.160 % | c | 8100 | 2496 2756 601896 | 5500 2773 2099 | 0.160 % | c | 8250 | 2496 2756 601896 | 6050 2923 2099 | 0.160 % | c =============================================================================== c New solution: 2097 c Elapsed CPU time: 56.1265 s Remaining CPU time: 123.874 s c =============================================================================== c | 8406 | 2496 2757 604246 | 5000 3079 2099 | 0.160 % | c | 8506 | 2496 2757 604246 | 5500 3179 2099 | 0.160 % | c | 8656 | 2496 2757 604246 | 6050 3329 2099 | 0.160 % | c | 8882 | 2496 2757 604246 | 6655 3555 2099 | 0.160 % | c | 9219 | 2496 2757 604246 | 7320 3892 2098 | 0.160 % | c | 9725 | 2496 2757 604246 | 8052 4398 2098 | 0.160 % | c | 10485 | 2496 2757 604246 | 8857 5158 2098 | 0.160 % | c | 11624 | 2496 2757 604246 | 9743 6297 2097 | 0.160 % | c | 13332 | 2496 2757 604246 | 10717 8005 2097 | 0.160 % | c | 15895 | 2496 2757 604246 | 11789 10568 2098 | 0.160 % | c | 19739 | 2496 2757 604246 | 12968 7446 2095 | 0.160 % | c =============================================================================== c New solution: 2096 c Elapsed CPU time: 86.6868 s Remaining CPU time: 93.3132 s c =============================================================================== c | 22287 | 2496 2758 606596 | 5000 9994 2096 | 0.160 % | c | 22388 | 2496 2758 606596 | 5500 5098 2095 | 0.160 % | c | 22538 | 2496 2758 606596 | 6050 5248 2095 | 0.160 % | c | 22763 | 2496 2758 606596 | 6655 5473 2095 | 0.160 % | c | 23100 | 2496 2758 606596 | 7320 5810 2095 | 0.160 % | c | 23606 | 2496 2758 606596 | 8052 6316 2095 | 0.160 % | c | 24366 | 2496 2758 606596 | 8857 7076 2096 | 0.160 % | c | 25506 | 2496 2758 606596 | 9743 8216 2095 | 0.160 % | c | 27214 | 2496 2758 606596 | 10717 9924 2096 | 0.160 % | c | 29776 | 2496 2758 606596 | 11789 12486 2095 | 0.160 % | c | 33620 | 2496 2758 606596 | 12968 10087 2094 | 0.160 % | c =============================================================================== c New solution: 2095 c Elapsed CPU time: 119.632 s Remaining CPU time: 60.3682 s c =============================================================================== c | 36337 | 2496 2759 608946 | 5000 12804 2095 | 0.160 % | c | 36438 | 2496 2759 608946 | 5500 3302 2088 | 0.160 % | c | 36588 | 2496 2759 608946 | 6050 3452 2088 | 0.160 % | c | 36813 | 2496 2759 608946 | 6655 3677 2089 | 0.160 % | c | 37150 | 2496 2759 608946 | 7320 4014 2090 | 0.160 % | c | 37657 | 2496 2759 608946 | 8052 4521 2090 | 0.160 % | c | 38416 | 2496 2759 608946 | 8857 5280 2091 | 0.160 % | c | 39555 | 2496 2759 608946 | 9743 6419 2092 | 0.160 % | c =============================================================================== c New solution: 2094 c Elapsed CPU time: 130.324 s Remaining CPU time: 49.6758 s c =============================================================================== c | 40156 | 2496 2760 611296 | 5000 7020 2092 | 0.160 % | c | 40256 | 2496 2760 611296 | 5500 3610 2087 | 0.160 % | c | 40408 | 2496 2760 611296 | 6050 3762 2088 | 0.160 % | c | 40633 | 2496 2760 611296 | 6655 3987 2088 | 0.160 % | c | 40970 | 2496 2760 611296 | 7320 4324 2087 | 0.160 % | c | 41476 | 2496 2760 611296 | 8052 4830 2088 | 0.160 % | c | 42236 | 2496 2760 611296 | 8857 5590 2089 | 0.160 % | c | 43375 | 2496 2760 611296 | 9743 6729 2090 | 0.160 % |