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 | 2497 2503 7350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 2497 2504 9700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 2497 2505 12050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 2497 2506 14400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 2497 2507 16750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 2497 2508 19100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 2497 2509 21450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2497 2510 23800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 2497 2511 26150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 2497 2512 28500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 2497 2513 30850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 2497 2514 33200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 2497 2515 35550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 2497 2516 37900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 2497 2517 40250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 2497 2518 42600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 2497 2519 44950 | 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 | 1 | 2497 2520 47300 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 1 | 2497 2521 49650 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 2497 2522 52000 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 1 | 2497 2523 54350 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 1 | 2497 2524 56700 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 1 | 2497 2525 59050 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 1 | 2497 2526 61400 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 1 | 2497 2527 63750 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 1 | 2497 2528 66100 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 1 | 2497 2529 68450 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 1 | 2497 2530 70800 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 1 | 2497 2531 73150 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 1 | 2497 2532 75500 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 1 | 2497 2533 77850 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 1 | 2497 2534 80200 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 1 | 2497 2535 82550 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 1 | 2497 2536 84900 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 2 | 2497 2537 87250 | 5000 2 1169 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 2 | 2497 2538 89600 | 5000 2 1169 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 2 | 2497 2539 91950 | 5000 2 1169 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 2 | 2497 2540 94300 | 5000 2 1169 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 2 | 2497 2541 96650 | 5000 2 1169 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 6 | 2497 2542 99000 | 5000 6 1932 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 6 | 2497 2543 101350 | 5000 6 1932 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 7 | 2497 2544 103700 | 5000 7 1987 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 9 | 2497 2545 106050 | 5000 9 2059 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 10 | 2497 2546 108400 | 5000 10 2084 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s c =============================================================================== c | 13 | 2497 2547 110750 | 5000 13 1958 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 13 | 2497 2548 113100 | 5000 13 1958 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.946856 s Remaining CPU time: 179.053 s c =============================================================================== c | 15 | 2497 2549 115450 | 5000 15 2004 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 0.993848 s Remaining CPU time: 179.006 s c =============================================================================== c | 15 | 2497 2550 117800 | 5000 15 2004 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 1.04084 s Remaining CPU time: 178.959 s c =============================================================================== c | 15 | 2497 2551 120150 | 5000 15 2004 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 15 | 2497 2552 122500 | 5000 15 2004 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 1.14183 s Remaining CPU time: 178.858 s c =============================================================================== c | 15 | 2497 2553 124850 | 5000 15 2004 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 17 | 2497 2554 127200 | 5000 17 2039 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 18 | 2497 2555 129550 | 5000 18 2054 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 1.2998 s Remaining CPU time: 178.7 s c =============================================================================== c | 20 | 2497 2556 131900 | 5000 20 1964 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 1.35879 s Remaining CPU time: 178.641 s c =============================================================================== c | 21 | 2497 2557 134250 | 5000 21 1980 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s c =============================================================================== c | 21 | 2497 2558 136600 | 5000 21 1980 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s c =============================================================================== c | 25 | 2497 2559 138950 | 5000 25 2030 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.54876 s Remaining CPU time: 178.451 s c =============================================================================== c | 29 | 2497 2560 141300 | 5000 29 1988 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 29 | 2497 2561 143650 | 5000 29 1988 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 32 | 2497 2562 146000 | 5000 32 1945 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.75673 s Remaining CPU time: 178.243 s c =============================================================================== c | 35 | 2497 2563 148350 | 5000 35 1975 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.83372 s Remaining CPU time: 178.166 s c =============================================================================== c | 43 | 2497 2564 150700 | 5000 43 2034 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.90871 s Remaining CPU time: 178.091 s c =============================================================================== c | 45 | 2497 2565 153050 | 5000 45 2045 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 1.9827 s Remaining CPU time: 178.017 s c =============================================================================== c | 45 | 2497 2566 155400 | 5000 45 2045 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 2.06069 s Remaining CPU time: 177.939 s c =============================================================================== c | 50 | 2497 2567 157750 | 5000 50 2069 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 2.13567 s Remaining CPU time: 177.864 s c =============================================================================== c | 50 | 2497 2568 160100 | 5000 50 2069 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 2.21366 s Remaining CPU time: 177.786 s c =============================================================================== c | 53 | 2497 2569 162450 | 5000 53 2082 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 53 | 2497 2570 164800 | 5000 53 2082 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s c =============================================================================== c | 54 | 2497 2571 167150 | 5000 54 2085 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 54 | 2497 2572 169500 | 5000 54 2085 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 2.53062 s Remaining CPU time: 177.469 s c =============================================================================== c | 54 | 2497 2573 171850 | 5000 54 2085 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 2.6216 s Remaining CPU time: 177.378 s c =============================================================================== c | 65 | 2497 2574 174200 | 5000 65 2118 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s c =============================================================================== c | 67 | 2497 2575 176550 | 5000 67 2123 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 67 | 2497 2576 178900 | 5000 67 2123 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.87656 s Remaining CPU time: 177.123 s c =============================================================================== c | 67 | 2497 2577 181250 | 5000 67 2123 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.96555 s Remaining CPU time: 177.034 s c =============================================================================== c | 69 | 2497 2578 183600 | 5000 69 2128 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 3.06153 s Remaining CPU time: 176.938 s c =============================================================================== c | 73 | 2497 2579 185950 | 5000 73 2136 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 3.16052 s Remaining CPU time: 176.839 s c =============================================================================== c | 76 | 2497 2580 188300 | 5000 76 2141 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 3.2545 s Remaining CPU time: 176.745 s c =============================================================================== c | 76 | 2497 2581 190650 | 5000 76 2141 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 3.35849 s Remaining CPU time: 176.642 s c =============================================================================== c | 87 | 2497 2582 193000 | 5000 87 2158 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 3.46047 s Remaining CPU time: 176.54 s c =============================================================================== c | 89 | 2497 2583 195350 | 5000 89 2161 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 3.56246 s Remaining CPU time: 176.438 s c =============================================================================== c | 95 | 2497 2584 197700 | 5000 95 2168 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s c =============================================================================== c | 95 | 2497 2585 200050 | 5000 95 2168 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 3.76143 s Remaining CPU time: 176.239 s c =============================================================================== c | 98 | 2497 2586 202400 | 5000 98 2171 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 3.86841 s Remaining CPU time: 176.132 s c =============================================================================== c | 109 | 2497 2587 204750 | 5000 109 2181 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 3.9774 s Remaining CPU time: 176.023 s c =============================================================================== c | 116 | 2497 2588 207100 | 5000 116 2186 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 4.08438 s Remaining CPU time: 175.916 s c =============================================================================== c | 116 | 2497 2589 209450 | 5000 116 2186 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 4.21536 s Remaining CPU time: 175.785 s c =============================================================================== c | 148 | 2497 2590 211800 | 5000 148 2203 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 4.32434 s Remaining CPU time: 175.676 s c =============================================================================== c | 148 | 2497 2591 214150 | 5000 148 2203 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 4.43433 s Remaining CPU time: 175.566 s c =============================================================================== c | 148 | 2497 2592 216500 | 5000 148 2203 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 4.55131 s Remaining CPU time: 175.449 s c =============================================================================== c | 160 | 2497 2593 218850 | 5000 160 2208 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 4.66829 s Remaining CPU time: 175.332 s c =============================================================================== c | 169 | 2497 2594 221200 | 5000 169 2211 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 4.78527 s Remaining CPU time: 175.215 s c =============================================================================== c | 177 | 2497 2595 223550 | 5000 177 2213 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 4.89825 s Remaining CPU time: 175.102 s c =============================================================================== c | 178 | 2497 2596 225900 | 5000 178 2213 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 5.03423 s Remaining CPU time: 174.966 s c =============================================================================== c | 210 | 2497 2597 228250 | 5000 210 2220 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 5.16122 s Remaining CPU time: 174.839 s c =============================================================================== c | 230 | 2497 2598 230600 | 5000 230 2223 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 5.29819 s Remaining CPU time: 174.702 s c =============================================================================== c | 257 | 2497 2599 232950 | 5000 257 2227 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 5.43217 s Remaining CPU time: 174.568 s c =============================================================================== c | 269 | 2497 2600 235300 | 5000 269 2228 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 5.55516 s Remaining CPU time: 174.445 s c =============================================================================== c | 271 | 2497 2601 237650 | 5000 271 2228 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 5.67814 s Remaining CPU time: 174.322 s c =============================================================================== c | 274 | 2497 2602 240000 | 5000 274 2220 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 5.81012 s Remaining CPU time: 174.19 s c =============================================================================== c | 289 | 2497 2603 242350 | 5000 289 2222 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 5.9451 s Remaining CPU time: 174.055 s c =============================================================================== c | 294 | 2497 2604 244700 | 5000 294 2223 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 6.07907 s Remaining CPU time: 173.921 s c =============================================================================== c | 297 | 2497 2605 247050 | 5000 297 2223 | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 6.23005 s Remaining CPU time: 173.77 s c =============================================================================== c | 321 | 2497 2606 249400 | 5000 321 2225 | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 6.37803 s Remaining CPU time: 173.622 s c =============================================================================== c | 339 | 2497 2607 251750 | 5000 339 2226 | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 6.51601 s Remaining CPU time: 173.484 s c =============================================================================== c | 345 | 2497 2608 254100 | 5000 345 2227 | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 6.65199 s Remaining CPU time: 173.348 s c =============================================================================== c | 347 | 2497 2609 256450 | 5000 347 2227 | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 6.78897 s Remaining CPU time: 173.211 s c =============================================================================== c | 352 | 2497 2610 258800 | 5000 352 2227 | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 6.93994 s Remaining CPU time: 173.06 s c =============================================================================== c | 371 | 2497 2611 261150 | 5000 371 2228 | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 7.08692 s Remaining CPU time: 172.913 s c =============================================================================== c | 382 | 2497 2612 263500 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 7.2379 s Remaining CPU time: 172.762 s c =============================================================================== c | 388 | 2497 2613 265850 | 5000 388 2229 | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 7.38488 s Remaining CPU time: 172.615 s c =============================================================================== c | 391 | 2497 2614 268200 | 5000 391 2229 | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 7.53085 s Remaining CPU time: 172.469 s c =============================================================================== c | 391 | 2497 2615 270550 | 5000 391 2229 | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 7.68183 s Remaining CPU time: 172.318 s c =============================================================================== c | 396 | 2497 2616 272900 | 5000 396 2229 | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 7.85581 s Remaining CPU time: 172.144 s c =============================================================================== c | 413 | 2497 2617 275250 | 5000 413 2229 | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 8.00978 s Remaining CPU time: 171.99 s c =============================================================================== c | 429 | 2497 2618 277600 | 5000 429 2230 | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 8.15376 s Remaining CPU time: 171.846 s c =============================================================================== c | 438 | 2497 2619 279950 | 5000 438 2230 | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 8.30874 s Remaining CPU time: 171.691 s c =============================================================================== c | 452 | 2497 2620 282300 | 5000 452 2230 | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 8.45871 s Remaining CPU time: 171.541 s c =============================================================================== c | 460 | 2497 2621 284650 | 5000 460 2230 | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 8.61669 s Remaining CPU time: 171.383 s c =============================================================================== c | 472 | 2497 2622 287000 | 5000 472 2230 | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 8.77067 s Remaining CPU time: 171.229 s c =============================================================================== c | 486 | 2497 2623 289350 | 5000 486 2230 | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 8.96064 s Remaining CPU time: 171.039 s c =============================================================================== c | 516 | 2497 2624 291700 | 5000 516 2230 | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 9.15061 s Remaining CPU time: 170.849 s c =============================================================================== c | 540 | 2497 2625 294050 | 5000 540 2230 | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 9.31558 s Remaining CPU time: 170.684 s c =============================================================================== c | 546 | 2497 2626 296400 | 5000 546 2226 | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 9.50356 s Remaining CPU time: 170.496 s c =============================================================================== c | 573 | 2497 2627 298750 | 5000 573 2226 | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 9.65853 s Remaining CPU time: 170.341 s c =============================================================================== c | 575 | 2497 2628 301100 | 5000 575 2222 | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 9.83351 s Remaining CPU time: 170.166 s c =============================================================================== c | 592 | 2497 2629 303450 | 5000 592 2223 | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 10.0055 s Remaining CPU time: 169.995 s c =============================================================================== c | 604 | 2497 2630 305800 | 5000 604 2223 | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 10.1914 s Remaining CPU time: 169.809 s c =============================================================================== c | 620 | 2497 2631 308150 | 5000 620 2223 | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 10.3724 s Remaining CPU time: 169.628 s c =============================================================================== c | 634 | 2497 2632 310500 | 5000 634 2223 | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 10.5494 s Remaining CPU time: 169.451 s c =============================================================================== c | 644 | 2497 2633 312850 | 5000 644 2223 | 0.000 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 10.7224 s Remaining CPU time: 169.278 s c =============================================================================== c | 644 | 2497 2634 315200 | 5000 644 2223 | 0.000 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 10.9073 s Remaining CPU time: 169.093 s c =============================================================================== c | 661 | 2497 2635 317550 | 5000 661 2223 | 0.000 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 11.0923 s Remaining CPU time: 168.908 s c =============================================================================== c | 667 | 2497 2636 319900 | 5000 667 2223 | 0.000 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 11.2823 s Remaining CPU time: 168.718 s c =============================================================================== c | 681 | 2497 2637 322250 | 5000 681 2223 | 0.000 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 11.4673 s Remaining CPU time: 168.533 s c =============================================================================== c | 687 | 2497 2638 324600 | 5000 687 2223 | 0.000 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 11.6612 s Remaining CPU time: 168.339 s c =============================================================================== c | 702 | 2497 2639 326950 | 5000 702 2222 | 0.000 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 11.8352 s Remaining CPU time: 168.165 s c =============================================================================== c | 702 | 2497 2640 329300 | 5000 702 2222 | 0.000 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 12.0292 s Remaining CPU time: 167.971 s c =============================================================================== c | 717 | 2497 2641 331650 | 5000 717 2222 | 0.000 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 12.2161 s Remaining CPU time: 167.784 s c =============================================================================== c | 722 | 2497 2642 334000 | 5000 722 2222 | 0.000 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 12.4011 s Remaining CPU time: 167.599 s c =============================================================================== c | 731 | 2497 2643 336350 | 5000 731 2222 | 0.000 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 12.5871 s Remaining CPU time: 167.413 s c =============================================================================== c | 732 | 2497 2644 338700 | 5000 732 2222 | 0.000 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 12.7791 s Remaining CPU time: 167.221 s c =============================================================================== c | 734 | 2497 2645 341050 | 5000 734 2222 | 0.000 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 12.972 s Remaining CPU time: 167.028 s c =============================================================================== c | 755 | 2497 2646 343400 | 5000 755 2222 | 0.000 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 13.232 s Remaining CPU time: 166.768 s c =============================================================================== c | 814 | 2497 2647 345750 | 5000 814 2221 | 0.000 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 13.5139 s Remaining CPU time: 166.486 s c =============================================================================== c | 911 | 2497 2648 348100 | 5000 911 2220 | 0.000 % | c | 1011 | 2497 2648 348100 | 5500 1011 2218 | 0.120 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 13.9969 s Remaining CPU time: 166.003 s c =============================================================================== c | 1031 | 2497 2649 350450 | 5000 1031 2218 | 0.120 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 14.2238 s Remaining CPU time: 165.776 s c =============================================================================== c | 1050 | 2497 2650 352800 | 5000 1050 2218 | 0.120 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 14.4388 s Remaining CPU time: 165.561 s c =============================================================================== c | 1064 | 2497 2651 355150 | 5000 1064 2218 | 0.120 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 14.6418 s Remaining CPU time: 165.358 s c =============================================================================== c | 1065 | 2497 2652 357500 | 5000 1065 2218 | 0.120 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 14.8937 s Remaining CPU time: 165.106 s c =============================================================================== c | 1128 | 2497 2653 359850 | 5000 1128 2215 | 0.120 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 15.1247 s Remaining CPU time: 164.875 s c =============================================================================== c | 1165 | 2497 2654 362200 | 5000 1165 2213 | 0.120 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 15.3517 s Remaining CPU time: 164.648 s c =============================================================================== c | 1193 | 2497 2655 364550 | 5000 1193 2212 | 0.120 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 15.5796 s Remaining CPU time: 164.42 s c =============================================================================== c | 1227 | 2497 2656 366900 | 5000 1227 2212 | 0.120 % | c | 1327 | 2497 2656 366900 | 5500 1327 2211 | 0.120 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 16.1605 s Remaining CPU time: 163.839 s c =============================================================================== c | 1343 | 2497 2657 369250 | 5000 1343 2211 | 0.120 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 16.4865 s Remaining CPU time: 163.514 s c =============================================================================== c | 1398 | 2497 2658 371600 | 5000 1398 2210 | 0.120 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 16.7605 s Remaining CPU time: 163.24 s c =============================================================================== c | 1463 | 2497 2659 373950 | 5000 1463 2210 | 0.120 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 17.0884 s Remaining CPU time: 162.912 s c =============================================================================== c | 1534 | 2497 2660 376300 | 5000 1534 2209 | 0.120 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 17.3464 s Remaining CPU time: 162.654 s c =============================================================================== c | 1566 | 2497 2661 378650 | 5000 1566 2209 | 0.120 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 17.5753 s Remaining CPU time: 162.425 s c =============================================================================== c | 1578 | 2497 2662 381000 | 5000 1578 2209 | 0.120 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 17.8263 s Remaining CPU time: 162.174 s c =============================================================================== c | 1600 | 2497 2663 383350 | 5000 1600 2209 | 0.120 % | c | 1701 | 2497 2663 383350 | 5500 1701 2208 | 0.120 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 18.4312 s Remaining CPU time: 161.569 s c =============================================================================== c | 1750 | 2497 2664 385700 | 5000 1750 2206 | 0.120 % | c | 1850 | 2497 2664 385700 | 5500 1850 2205 | 0.120 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 19.1521 s Remaining CPU time: 160.848 s c =============================================================================== c | 1959 | 2497 2665 388050 | 5000 1959 2204 | 0.120 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 19.45 s Remaining CPU time: 160.55 s c =============================================================================== c | 2018 | 2497 2666 390400 | 5000 2018 2204 | 0.120 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 19.681 s Remaining CPU time: 160.319 s c =============================================================================== c | 2047 | 2497 2667 392750 | 5000 2047 2204 | 0.120 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 19.894 s Remaining CPU time: 160.106 s c =============================================================================== c | 2047 | 2497 2668 395100 | 5000 2047 2204 | 0.120 % | c | 2147 | 2497 2668 395100 | 5500 2147 2203 | 0.120 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 20.4179 s Remaining CPU time: 159.582 s c =============================================================================== c | 2153 | 2497 2669 397450 | 5000 2153 2203 | 0.120 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 20.6759 s Remaining CPU time: 159.324 s c =============================================================================== c | 2199 | 2497 2670 399800 | 5000 2199 2203 | 0.120 % | c | 2300 | 2497 2670 399800 | 5500 2300 2202 | 0.120 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 21.2748 s Remaining CPU time: 158.725 s c =============================================================================== c | 2317 | 2497 2671 402150 | 5000 2317 2202 | 0.120 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 21.5367 s Remaining CPU time: 158.463 s c =============================================================================== c | 2344 | 2497 2672 404500 | 5000 2344 2201 | 0.120 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 21.8147 s Remaining CPU time: 158.185 s c =============================================================================== c | 2373 | 2497 2673 406850 | 5000 2373 2201 | 0.120 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 22.0556 s Remaining CPU time: 157.944 s c =============================================================================== c | 2384 | 2497 2674 409200 | 5000 2384 2201 | 0.120 % | c | 2485 | 2497 2674 409200 | 5500 2485 2200 | 0.120 % | c | 2636 | 2497 2674 409200 | 6050 2636 2199 | 0.120 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 23.0345 s Remaining CPU time: 156.966 s c =============================================================================== c | 2671 | 2497 2675 411550 | 5000 2671 2199 | 0.120 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 23.3305 s Remaining CPU time: 156.67 s c =============================================================================== c | 2709 | 2497 2676 413900 | 5000 2709 2199 | 0.120 % | c | 2809 | 2497 2676 413900 | 5500 2809 2198 | 0.120 % | c | 2959 | 2497 2676 413900 | 6050 2959 2197 | 0.120 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 24.3653 s Remaining CPU time: 155.635 s c =============================================================================== c | 2984 | 2497 2677 416250 | 5000 2984 2197 | 0.120 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 24.5943 s Remaining CPU time: 155.406 s c =============================================================================== c | 2991 | 2497 2678 418600 | 5000 2991 2197 | 0.120 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 24.8342 s Remaining CPU time: 155.166 s c =============================================================================== c | 3011 | 2497 2679 420950 | 5000 3011 2197 | 0.120 % | c | 3112 | 2497 2679 420950 | 5500 3112 2196 | 0.120 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 25.3861 s Remaining CPU time: 154.614 s c =============================================================================== c | 3141 | 2497 2680 423300 | 5000 3141 2196 | 0.120 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 25.6161 s Remaining CPU time: 154.384 s c =============================================================================== c | 3145 | 2497 2681 425650 | 5000 3145 2196 | 0.120 % | c | 3245 | 2497 2681 425650 | 5500 3245 2195 | 0.120 % | c | 3395 | 2497 2681 425650 | 6050 3395 2193 | 0.120 % | c | 3620 | 2497 2681 425650 | 6655 3620 2191 | 0.120 % | c | 3958 | 2497 2681 425650 | 7320 3958 2190 | 0.120 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 27.9977 s Remaining CPU time: 152.002 s c =============================================================================== c | 4218 | 2497 2682 428000 | 5000 4218 2188 | 0.120 % | c | 4319 | 2497 2682 428000 | 5500 4319 2187 | 0.120 % | c | 4469 | 2497 2682 428000 | 6050 4469 2187 | 0.120 % | c | 4695 | 2497 2682 428000 | 6655 4695 2186 | 0.120 % | c | 5032 | 2497 2682 428000 | 7320 5032 2185 | 0.120 % | c | 5539 | 2497 2682 428000 | 8052 5539 2184 | 0.120 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 30.9793 s Remaining CPU time: 149.021 s c =============================================================================== c | 5758 | 2497 2683 430350 | 5000 5758 2184 | 0.120 % | c | 5858 | 2497 2683 430350 | 5500 2979 2163 | 0.120 % | c | 6008 | 2497 2683 430350 | 6050 3129 2164 | 0.120 % | c | 6233 | 2497 2683 430350 | 6655 3354 2164 | 0.120 % | c | 6570 | 2497 2683 430350 | 7320 3691 2165 | 0.120 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 33.6009 s Remaining CPU time: 146.399 s c =============================================================================== c | 6902 | 2497 2684 432700 | 5000 4023 2166 | 0.120 % | c | 7002 | 2497 2684 432700 | 5500 4123 2166 | 0.120 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 34.1858 s Remaining CPU time: 145.814 s c =============================================================================== c | 7033 | 2497 2685 435050 | 5000 4154 2166 | 0.120 % | c | 7133 | 2497 2685 435050 | 5500 4254 2166 | 0.120 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 34.8727 s Remaining CPU time: 145.127 s c =============================================================================== c | 7268 | 2497 2686 437400 | 5000 4389 2166 | 0.120 % | c | 7368 | 2497 2686 437400 | 5500 4489 2166 | 0.120 % | c | 7519 | 2497 2686 437400 | 6050 4640 2166 | 0.120 % | c | 7744 | 2497 2686 437400 | 6655 4865 2166 | 0.120 % | c | 8081 | 2497 2686 437400 | 7320 5202 2167 | 0.120 % | c | 8587 | 2497 2686 437400 | 8052 5708 2167 | 0.120 % | c | 9347 | 2497 2686 437400 | 8857 6468 2167 | 0.120 % | c | 10487 | 2497 2686 437400 | 9743 7608 2167 | 0.120 % | c | 12195 | 2497 2686 437400 | 10717 9316 2166 | 0.120 % | c | 14757 | 2497 2686 437400 | 11789 11878 2167 | 0.120 % | c | 18601 | 2497 2686 437400 | 12968 9783 2164 | 0.120 % | c | 24367 | 2497 2686 437400 | 14265 7972 2164 | 0.120 % | c | 33016 | 2497 2686 437400 | 15692 8376 2167 | 0.120 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 78.2111 s Remaining CPU time: 101.789 s c =============================================================================== c | 33559 | 2497 2687 439750 | 5000 8919 2167 | 0.120 % | c | 33659 | 2497 2687 439750 | 5500 4560 2165 | 0.120 % | c | 33810 | 2497 2687 439750 | 6050 4711 2166 | 0.120 % | c | 34035 | 2497 2687 439750 | 6655 4936 2166 | 0.120 % | c | 34372 | 2497 2687 439750 | 7320 5273 2166 | 0.120 % | c | 34880 | 2497 2687 439750 | 8052 5781 2166 | 0.120 % | c | 35639 | 2497 2687 439750 | 8857 6540 2166 | 0.120 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 82.4945 s Remaining CPU time: 97.5055 s c =============================================================================== c | 35720 | 2497 2688 442100 | 5000 6621 2166 | 0.120 % | c | 35820 | 2497 2688 442100 | 5500 3411 2162 | 0.120 % | c | 35970 | 2497 2688 442100 | 6050 3561 2162 | 0.120 % | c | 36195 | 2497 2688 442100 | 6655 3786 2163 | 0.120 % | c | 36532 | 2497 2688 442100 | 7320 4123 2163 | 0.120 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 84.7081 s Remaining CPU time: 95.2919 s c =============================================================================== c | 36972 | 2497 2689 444450 | 5000 4563 2163 | 0.120 % | c | 37072 | 2497 2689 444450 | 5500 4663 2163 | 0.120 % | c | 37222 | 2497 2689 444450 | 6050 4813 2164 | 0.120 % | c | 37448 | 2497 2689 444450 | 6655 5039 2164 | 0.120 % | c | 37785 | 2497 2689 444450 | 7320 5376 2164 | 0.120 % | c | 38291 | 2497 2689 444450 | 8052 5882 2164 | 0.120 % | c | 39050 | 2497 2689 444450 | 8857 6641 2164 | 0.120 % | c | 40190 | 2497 2689 444450 | 9743 7781 2164 | 0.120 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 92.5669 s Remaining CPU time: 87.4331 s c =============================================================================== c | 41489 | 2497 2690 446800 | 5000 9080 2164 | 0.120 % | c | 41590 | 2497 2690 446800 | 5500 4641 2160 | 0.120 % | c | 41742 | 2497 2690 446800 | 6050 4793 2160 | 0.120 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 93.5118 s Remaining CPU time: 86.4882 s c =============================================================================== c | 41856 | 2497 2691 449150 | 5000 4907 2160 | 0.120 % | c | 41957 | 2497 2691 449150 | 5500 5008 2160 | 0.120 % | c | 42107 | 2497 2691 449150 | 6050 5158 2160 | 0.120 % | c | 42332 | 2497 2691 449150 | 6655 5383 2160 | 0.120 % | c | 42669 | 2497 2691 449150 | 7320 5720 2160 | 0.120 % | c | 43177 | 2497 2691 449150 | 8052 6228 2161 | 0.120 % | c | 43937 | 2497 2691 449150 | 8857 6988 2161 | 0.120 % |