c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3500 | c | Number Clauses: 3500 | 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 | 3499 3501 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 3499 3502 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 3499 3503 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 3499 3504 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 3499 3505 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 3499 3506 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 3499 3507 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 3499 3508 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 3499 3509 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 3499 3510 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 3499 3511 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 3499 3512 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 3499 3513 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 3499 3514 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 3499 3515 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 3499 3516 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 0 | 3499 3517 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 3499 3518 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 3499 3519 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 3499 3520 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 3499 3521 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 3499 3522 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 3499 3523 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 0 | 3499 3524 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 3499 3525 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 0 | 3499 3526 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 3499 3527 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 3499 3528 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 3499 3529 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 3499 3530 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.462929 s Remaining CPU time: 179.537 s c =============================================================================== c | 0 | 3499 3531 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.492925 s Remaining CPU time: 179.507 s c =============================================================================== c | 0 | 3499 3532 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 0 | 3499 3533 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 0 | 3499 3534 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 3499 3535 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 0 | 3499 3536 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.6539 s Remaining CPU time: 179.346 s c =============================================================================== c | 0 | 3499 3537 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 0 | 3499 3538 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 0 | 3499 3539 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 0 | 3499 3540 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 0 | 3499 3541 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 3499 3542 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 0 | 3499 3543 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 0 | 3499 3544 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 0.977851 s Remaining CPU time: 179.022 s c =============================================================================== c | 0 | 3499 3545 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 0 | 3499 3546 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.06984 s Remaining CPU time: 178.93 s c =============================================================================== c | 0 | 3499 3547 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 0 | 3499 3548 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 0 | 3499 3549 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 1 | 3499 3550 174500 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 1 | 3499 3551 177850 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.3368 s Remaining CPU time: 178.663 s c =============================================================================== c | 1 | 3499 3552 181200 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 1 | 3499 3553 184550 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 1 | 3499 3554 187900 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.53977 s Remaining CPU time: 178.46 s c =============================================================================== c | 1 | 3499 3555 191250 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.60875 s Remaining CPU time: 178.391 s c =============================================================================== c | 1 | 3499 3556 194600 | 5000 1 3304 | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 2 | 3499 3557 197950 | 5000 2 3300 | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 1.75873 s Remaining CPU time: 178.241 s c =============================================================================== c | 2 | 3499 3558 201300 | 5000 2 3300 | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 1.83472 s Remaining CPU time: 178.165 s c =============================================================================== c | 2 | 3499 3559 204650 | 5000 2 3300 | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s c =============================================================================== c | 2 | 3499 3560 208000 | 5000 2 3300 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 1.9957 s Remaining CPU time: 178.004 s c =============================================================================== c | 2 | 3499 3561 211350 | 5000 2 3300 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 3 | 3499 3562 214700 | 5000 3 3298 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s c =============================================================================== c | 3 | 3499 3563 218050 | 5000 3 3298 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.27265 s Remaining CPU time: 177.727 s c =============================================================================== c | 3 | 3499 3564 221400 | 5000 3 3298 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 4 | 3499 3565 224750 | 5000 4 3296 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.46062 s Remaining CPU time: 177.539 s c =============================================================================== c | 4 | 3499 3566 228100 | 5000 4 3296 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.55561 s Remaining CPU time: 177.444 s c =============================================================================== c | 4 | 3499 3567 231450 | 5000 4 3296 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 2.6536 s Remaining CPU time: 177.346 s c =============================================================================== c | 4 | 3499 3568 234800 | 5000 4 3296 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 2.75058 s Remaining CPU time: 177.249 s c =============================================================================== c | 4 | 3499 3569 238150 | 5000 4 3296 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 2.85057 s Remaining CPU time: 177.149 s c =============================================================================== c | 4 | 3499 3570 241500 | 5000 4 3296 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 2.96655 s Remaining CPU time: 177.033 s c =============================================================================== c | 13 | 3499 3571 244850 | 5000 13 3287 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.06953 s Remaining CPU time: 176.93 s c =============================================================================== c | 15 | 3499 3572 248200 | 5000 15 3286 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.17352 s Remaining CPU time: 176.826 s c =============================================================================== c | 19 | 3499 3573 251550 | 5000 19 3285 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.2915 s Remaining CPU time: 176.709 s c =============================================================================== c | 39 | 3499 3574 254900 | 5000 39 3283 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 3.40048 s Remaining CPU time: 176.6 s c =============================================================================== c | 41 | 3499 3575 258250 | 5000 41 3282 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 3.51747 s Remaining CPU time: 176.483 s c =============================================================================== c | 52 | 3499 3576 261600 | 5000 52 3282 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 3.62945 s Remaining CPU time: 176.371 s c =============================================================================== c | 54 | 3499 3577 264950 | 5000 54 3281 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 3.75043 s Remaining CPU time: 176.25 s c =============================================================================== c | 62 | 3499 3578 268300 | 5000 62 3281 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 3.86141 s Remaining CPU time: 176.139 s c =============================================================================== c | 63 | 3499 3579 271650 | 5000 63 3281 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 3.98039 s Remaining CPU time: 176.02 s c =============================================================================== c | 69 | 3499 3580 275000 | 5000 69 3280 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.09238 s Remaining CPU time: 175.908 s c =============================================================================== c | 69 | 3499 3581 278350 | 5000 69 3280 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 4.21936 s Remaining CPU time: 175.781 s c =============================================================================== c | 89 | 3499 3582 281700 | 5000 89 3278 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 4.34334 s Remaining CPU time: 175.657 s c =============================================================================== c | 94 | 3499 3583 285050 | 5000 94 3278 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 4.48532 s Remaining CPU time: 175.515 s c =============================================================================== c | 105 | 3499 3584 288400 | 5000 105 3277 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 4.6173 s Remaining CPU time: 175.383 s c =============================================================================== c | 118 | 3499 3585 291750 | 5000 118 3276 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 4.74328 s Remaining CPU time: 175.257 s c =============================================================================== c | 118 | 3499 3586 295100 | 5000 118 3276 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 4.86826 s Remaining CPU time: 175.132 s c =============================================================================== c | 118 | 3499 3587 298450 | 5000 118 3276 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.05023 s Remaining CPU time: 174.95 s c =============================================================================== c | 155 | 3499 3588 301800 | 5000 155 3274 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.19021 s Remaining CPU time: 174.81 s c =============================================================================== c | 173 | 3499 3589 305150 | 5000 173 3273 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 5.33019 s Remaining CPU time: 174.67 s c =============================================================================== c | 177 | 3499 3590 308500 | 5000 177 3273 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 5.47417 s Remaining CPU time: 174.526 s c =============================================================================== c | 182 | 3499 3591 311850 | 5000 182 3273 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 5.63214 s Remaining CPU time: 174.368 s c =============================================================================== c | 206 | 3499 3592 315200 | 5000 206 3271 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 5.78812 s Remaining CPU time: 174.212 s c =============================================================================== c | 223 | 3499 3593 318550 | 5000 223 3271 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 5.9331 s Remaining CPU time: 174.067 s c =============================================================================== c | 227 | 3499 3594 321900 | 5000 227 3270 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 6.08607 s Remaining CPU time: 173.914 s c =============================================================================== c | 244 | 3499 3595 325250 | 5000 244 3256 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 6.23105 s Remaining CPU time: 173.769 s c =============================================================================== c | 246 | 3499 3596 328600 | 5000 246 3256 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 6.40303 s Remaining CPU time: 173.597 s c =============================================================================== c | 255 | 3499 3597 331950 | 5000 255 3256 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 6.569 s Remaining CPU time: 173.431 s c =============================================================================== c | 274 | 3499 3598 335300 | 5000 274 3256 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 6.72998 s Remaining CPU time: 173.27 s c =============================================================================== c | 281 | 3499 3599 338650 | 5000 281 3256 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 6.88095 s Remaining CPU time: 173.119 s c =============================================================================== c | 281 | 3499 3600 342000 | 5000 281 3256 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 7.03493 s Remaining CPU time: 172.965 s c =============================================================================== c | 285 | 3499 3601 345350 | 5000 285 3256 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 7.2029 s Remaining CPU time: 172.797 s c =============================================================================== c | 304 | 3499 3602 348700 | 5000 304 3256 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 7.35088 s Remaining CPU time: 172.649 s c =============================================================================== c | 304 | 3499 3603 352050 | 5000 304 3256 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 7.51086 s Remaining CPU time: 172.489 s c =============================================================================== c | 316 | 3499 3604 355400 | 5000 316 3256 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 7.71583 s Remaining CPU time: 172.284 s c =============================================================================== c | 382 | 3499 3605 358750 | 5000 382 3255 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 7.96679 s Remaining CPU time: 172.033 s c =============================================================================== c | 438 | 3499 3606 362100 | 5000 438 3254 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 8.17076 s Remaining CPU time: 171.829 s c =============================================================================== c | 463 | 3499 3607 365450 | 5000 463 3254 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 8.33473 s Remaining CPU time: 171.665 s c =============================================================================== c | 477 | 3499 3608 368800 | 5000 477 3253 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 8.48871 s Remaining CPU time: 171.511 s c =============================================================================== c | 479 | 3499 3609 372150 | 5000 479 3253 | 0.000 % | c | 579 | 3499 3609 372150 | 5500 579 3252 | 0.029 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 8.93864 s Remaining CPU time: 171.061 s c =============================================================================== c | 626 | 3499 3610 375500 | 5000 626 3241 | 0.029 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 9.11661 s Remaining CPU time: 170.883 s c =============================================================================== c | 638 | 3499 3611 378850 | 5000 638 3241 | 0.029 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 9.30659 s Remaining CPU time: 170.693 s c =============================================================================== c | 656 | 3499 3612 382200 | 5000 656 3241 | 0.029 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 9.47756 s Remaining CPU time: 170.522 s c =============================================================================== c | 671 | 3499 3613 385550 | 5000 671 3241 | 0.029 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 9.64653 s Remaining CPU time: 170.353 s c =============================================================================== c | 678 | 3499 3614 388900 | 5000 678 3241 | 0.029 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 9.80851 s Remaining CPU time: 170.191 s c =============================================================================== c | 680 | 3499 3615 392250 | 5000 680 3241 | 0.029 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 10.0115 s Remaining CPU time: 169.989 s c =============================================================================== c | 717 | 3499 3616 395600 | 5000 717 3241 | 0.029 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 10.2394 s Remaining CPU time: 169.761 s c =============================================================================== c | 757 | 3499 3617 398950 | 5000 757 3241 | 0.029 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 10.4224 s Remaining CPU time: 169.578 s c =============================================================================== c | 775 | 3499 3618 402300 | 5000 775 3240 | 0.029 % | c | 875 | 3499 3618 402300 | 5500 875 3240 | 0.029 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 10.9173 s Remaining CPU time: 169.083 s c =============================================================================== c | 928 | 3499 3619 405650 | 5000 928 3240 | 0.029 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 11.1003 s Remaining CPU time: 168.9 s c =============================================================================== c | 947 | 3499 3620 409000 | 5000 947 3239 | 0.029 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 11.3203 s Remaining CPU time: 168.68 s c =============================================================================== c | 1004 | 3499 3621 412350 | 5000 1004 3239 | 0.029 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 11.5252 s Remaining CPU time: 168.475 s c =============================================================================== c | 1037 | 3499 3622 415700 | 5000 1037 3239 | 0.029 % | c | 1138 | 3499 3622 415700 | 5500 1138 3235 | 0.029 % | c | 1288 | 3499 3622 415700 | 6050 1288 3235 | 0.029 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 12.3731 s Remaining CPU time: 167.627 s c =============================================================================== c | 1319 | 3499 3623 419050 | 5000 1319 3235 | 0.029 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 12.5831 s Remaining CPU time: 167.417 s c =============================================================================== c | 1342 | 3499 3624 422400 | 5000 1342 3235 | 0.029 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 12.7981 s Remaining CPU time: 167.202 s c =============================================================================== c | 1383 | 3499 3625 425750 | 5000 1383 3235 | 0.029 % | c | 1484 | 3499 3625 425750 | 5500 1484 3234 | 0.029 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 13.36 s Remaining CPU time: 166.64 s c =============================================================================== c | 1526 | 3499 3626 429100 | 5000 1526 3234 | 0.029 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 13.5879 s Remaining CPU time: 166.412 s c =============================================================================== c | 1551 | 3499 3627 432450 | 5000 1551 3234 | 0.029 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 13.7979 s Remaining CPU time: 166.202 s c =============================================================================== c | 1587 | 3499 3628 435800 | 5000 1587 3234 | 0.029 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 14.0919 s Remaining CPU time: 165.908 s c =============================================================================== c | 1632 | 3499 3629 439150 | 5000 1632 3234 | 0.029 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 14.2938 s Remaining CPU time: 165.706 s c =============================================================================== c | 1653 | 3499 3630 442500 | 5000 1653 3233 | 0.029 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 14.4998 s Remaining CPU time: 165.5 s c =============================================================================== c | 1675 | 3499 3631 445850 | 5000 1675 3233 | 0.029 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 14.7528 s Remaining CPU time: 165.247 s c =============================================================================== c | 1724 | 3499 3632 449200 | 5000 1724 3233 | 0.029 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 14.9957 s Remaining CPU time: 165.004 s c =============================================================================== c | 1744 | 3499 3633 452550 | 5000 1744 3233 | 0.029 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 15.2087 s Remaining CPU time: 164.791 s c =============================================================================== c | 1771 | 3499 3634 455900 | 5000 1771 3233 | 0.029 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 15.4407 s Remaining CPU time: 164.559 s c =============================================================================== c | 1809 | 3499 3635 459250 | 5000 1809 3232 | 0.029 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 15.6886 s Remaining CPU time: 164.311 s c =============================================================================== c | 1837 | 3499 3636 462600 | 5000 1837 3232 | 0.029 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 15.8926 s Remaining CPU time: 164.107 s c =============================================================================== c | 1845 | 3499 3637 465950 | 5000 1845 3232 | 0.029 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 16.0976 s Remaining CPU time: 163.902 s c =============================================================================== c | 1852 | 3499 3638 469300 | 5000 1852 3232 | 0.029 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 16.3585 s Remaining CPU time: 163.641 s c =============================================================================== c | 1918 | 3499 3639 472650 | 5000 1918 3231 | 0.029 % | c | 2018 | 3499 3639 472650 | 5500 2018 3231 | 0.029 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 16.9524 s Remaining CPU time: 163.048 s c =============================================================================== c | 2065 | 3499 3640 476000 | 5000 2065 3230 | 0.029 % | c | 2167 | 3499 3640 476000 | 5500 2167 3228 | 0.029 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 17.5633 s Remaining CPU time: 162.437 s c =============================================================================== c | 2249 | 3499 3641 479350 | 5000 2249 3227 | 0.029 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 17.8003 s Remaining CPU time: 162.2 s c =============================================================================== c | 2286 | 3499 3642 482700 | 5000 2286 3227 | 0.029 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 18.0703 s Remaining CPU time: 161.93 s c =============================================================================== c | 2339 | 3499 3643 486050 | 5000 2339 3227 | 0.029 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 18.3302 s Remaining CPU time: 161.67 s c =============================================================================== c | 2396 | 3499 3644 489400 | 5000 2396 3226 | 0.029 % | c | 2496 | 3499 3644 489400 | 5500 2496 3226 | 0.029 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 19.0181 s Remaining CPU time: 160.982 s c =============================================================================== c | 2538 | 3499 3645 492750 | 5000 2538 3225 | 0.029 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 19.2401 s Remaining CPU time: 160.76 s c =============================================================================== c | 2551 | 3499 3646 496100 | 5000 2551 3225 | 0.029 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 19.481 s Remaining CPU time: 160.519 s c =============================================================================== c | 2560 | 3499 3647 499450 | 5000 2560 3225 | 0.029 % | c | 2661 | 3499 3647 499450 | 5500 2661 3225 | 0.029 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 20.1389 s Remaining CPU time: 159.861 s c =============================================================================== c | 2740 | 3499 3648 502800 | 5000 2740 3224 | 0.029 % | c | 2841 | 3499 3648 502800 | 5500 2841 3223 | 0.029 % | c | 2992 | 3499 3648 502800 | 6050 2992 3222 | 0.029 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 21.3378 s Remaining CPU time: 158.662 s c =============================================================================== c | 3055 | 3499 3649 506150 | 5000 3055 3221 | 0.029 % | c | 3155 | 3499 3649 506150 | 5500 3155 3219 | 0.029 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 21.9707 s Remaining CPU time: 158.029 s c =============================================================================== c | 3205 | 3499 3650 509500 | 5000 3205 3219 | 0.029 % | c | 3305 | 3499 3650 509500 | 5500 3305 3219 | 0.029 % | c | 3456 | 3499 3650 509500 | 6050 3456 3218 | 0.029 % | c | 3681 | 3499 3650 509500 | 6655 3681 3217 | 0.029 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 24.6663 s Remaining CPU time: 155.334 s c =============================================================================== c | 3898 | 3499 3651 512850 | 5000 3898 3217 | 0.029 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 24.9982 s Remaining CPU time: 155.002 s c =============================================================================== c | 3945 | 3499 3652 516200 | 5000 3945 3216 | 0.029 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 25.3331 s Remaining CPU time: 154.667 s c =============================================================================== c | 4023 | 3499 3653 519550 | 5000 4023 3216 | 0.029 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 25.6201 s Remaining CPU time: 154.38 s c =============================================================================== c | 4066 | 3499 3654 522900 | 5000 4066 3216 | 0.029 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 26.017 s Remaining CPU time: 153.983 s c =============================================================================== c | 4154 | 3499 3655 526250 | 5000 4154 3215 | 0.029 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 26.252 s Remaining CPU time: 153.748 s c =============================================================================== c | 4166 | 3499 3656 529600 | 5000 4166 3215 | 0.029 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 26.559 s Remaining CPU time: 153.441 s c =============================================================================== c | 4196 | 3499 3657 532950 | 5000 4196 3215 | 0.029 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 26.8059 s Remaining CPU time: 153.194 s c =============================================================================== c | 4209 | 3499 3658 536300 | 5000 4209 3215 | 0.029 % | c | 4309 | 3499 3658 536300 | 5500 4309 3213 | 0.029 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 27.4848 s Remaining CPU time: 152.515 s c =============================================================================== c | 4394 | 3499 3659 539650 | 5000 4394 3213 | 0.029 % | c | 4495 | 3499 3659 539650 | 5500 4495 3212 | 0.029 % | c | 4645 | 3499 3659 539650 | 6050 4645 3211 | 0.029 % | c | 4871 | 3499 3659 539650 | 6655 4871 3211 | 0.029 % | c | 5208 | 3499 3659 539650 | 7320 5208 3210 | 0.029 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 30.1564 s Remaining CPU time: 149.844 s c =============================================================================== c | 5398 | 3499 3660 543000 | 5000 5398 3209 | 0.029 % | c | 5498 | 3499 3660 543000 | 5500 2799 3188 | 0.029 % | c | 5648 | 3499 3660 543000 | 6050 2949 3188 | 0.029 % | c | 5873 | 3499 3660 543000 | 6655 3174 3189 | 0.029 % | c | 6210 | 3499 3660 543000 | 7320 3511 3189 | 0.029 % | c | 6717 | 3499 3660 543000 | 8052 4018 3190 | 0.029 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 33.7899 s Remaining CPU time: 146.21 s c =============================================================================== c | 6846 | 3499 3661 546350 | 5000 4147 3190 | 0.029 % | c | 6946 | 3499 3661 546350 | 5500 4247 3190 | 0.029 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 34.5318 s Remaining CPU time: 145.468 s c =============================================================================== c | 7069 | 3499 3662 549700 | 5000 4370 3190 | 0.029 % | c | 7170 | 3499 3662 549700 | 5500 4471 3189 | 0.029 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 35.4766 s Remaining CPU time: 144.523 s c =============================================================================== c | 7282 | 3499 3663 553050 | 5000 4583 3189 | 0.029 % | c | 7383 | 3499 3663 553050 | 5500 4684 3189 | 0.029 % | c | 7533 | 3499 3663 553050 | 6050 4834 3189 | 0.029 % | c | 7758 | 3499 3663 553050 | 6655 5059 3189 | 0.029 % | c | 8096 | 3499 3663 553050 | 7320 5397 3189 | 0.029 % | c | 8602 | 3499 3663 553050 | 8052 5903 3189 | 0.029 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 39.56 s Remaining CPU time: 140.44 s c =============================================================================== c | 8976 | 3499 3664 556400 | 5000 6277 3189 | 0.029 % | c | 9076 | 3499 3664 556400 | 5500 3239 3180 | 0.029 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 40.5368 s Remaining CPU time: 139.463 s c =============================================================================== c | 9218 | 3499 3665 559750 | 5000 3381 3180 | 0.029 % | c | 9318 | 3499 3665 559750 | 5500 3481 3181 | 0.029 % | c | 9469 | 3499 3665 559750 | 6050 3632 3181 | 0.029 % | c | 9695 | 3499 3665 559750 | 6655 3858 3181 | 0.029 % | c | 10033 | 3499 3665 559750 | 7320 4196 3182 | 0.029 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 43.3904 s Remaining CPU time: 136.61 s c =============================================================================== c | 10085 | 3499 3666 563100 | 5000 4248 3182 | 0.029 % | c | 10185 | 3499 3666 563100 | 5500 4348 3181 | 0.029 % | c | 10335 | 3499 3666 563100 | 6050 4498 3182 | 0.029 % | c | 10560 | 3499 3666 563100 | 6655 4723 3182 | 0.029 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 45.5581 s Remaining CPU time: 134.442 s c =============================================================================== c | 10642 | 3499 3667 566450 | 5000 4805 3182 | 0.029 % | c | 10742 | 3499 3667 566450 | 5500 4905 3182 | 0.029 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 46.229 s Remaining CPU time: 133.771 s c =============================================================================== c | 10803 | 3499 3668 569800 | 5000 4966 3182 | 0.029 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 46.6019 s Remaining CPU time: 133.398 s c =============================================================================== c | 10883 | 3499 3669 573150 | 5000 5046 3182 | 0.029 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 46.8859 s Remaining CPU time: 133.114 s c =============================================================================== c | 10911 | 3499 3670 576500 | 5000 2551 3173 | 0.029 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 47.1788 s Remaining CPU time: 132.821 s c =============================================================================== c | 10925 | 3499 3671 579850 | 5000 2565 3173 | 0.029 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 47.4798 s Remaining CPU time: 132.52 s c =============================================================================== c | 10962 | 3499 3672 583200 | 5000 2602 3173 | 0.029 % | c | 11064 | 3499 3672 583200 | 5500 2704 3173 | 0.029 % | c | 11214 | 3499 3672 583200 | 6050 2854 3174 | 0.029 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 48.8106 s Remaining CPU time: 131.189 s c =============================================================================== c | 11321 | 3499 3673 586550 | 5000 2961 3174 | 0.029 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 49.1465 s Remaining CPU time: 130.853 s c =============================================================================== c | 11404 | 3499 3674 589900 | 5000 3044 3174 | 0.029 % | c | 11504 | 3499 3674 589900 | 5500 3144 3173 | 0.029 % | c | 11654 | 3499 3674 589900 | 6050 3294 3173 | 0.029 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 50.5483 s Remaining CPU time: 129.452 s c =============================================================================== c | 11741 | 3499 3675 593250 | 5000 3381 3174 | 0.029 % | c | 11841 | 3499 3675 593250 | 5500 3481 3174 | 0.029 % | c | 11991 | 3499 3675 593250 | 6050 3631 3174 | 0.029 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 51.7891 s Remaining CPU time: 128.211 s c =============================================================================== c | 12047 | 3499 3676 596600 | 5000 3687 3174 | 0.029 % | c | 12147 | 3499 3676 596600 | 5500 3787 3173 | 0.029 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 52.685 s Remaining CPU time: 127.315 s c =============================================================================== c | 12285 | 3499 3677 599950 | 5000 3925 3173 | 0.029 % | c | 12387 | 3499 3677 599950 | 5500 4027 3174 | 0.029 % | c | 12537 | 3499 3677 599950 | 6050 4177 3174 | 0.029 % | c | 12762 | 3499 3677 599950 | 6655 4402 3174 | 0.029 % | c | 13099 | 3499 3677 599950 | 7320 4739 3174 | 0.029 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 55.9765 s Remaining CPU time: 124.024 s c =============================================================================== c | 13475 | 3499 3678 603300 | 5000 5115 3174 | 0.029 % | c | 13575 | 3499 3678 603300 | 5500 2658 3162 | 0.029 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 56.7694 s Remaining CPU time: 123.231 s c =============================================================================== c | 13604 | 3499 3679 606650 | 5000 2687 3162 | 0.029 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 57.0643 s Remaining CPU time: 122.936 s c =============================================================================== c | 13621 | 3499 3680 610000 | 5000 2704 3162 | 0.029 % | c | 13722 | 3499 3680 610000 | 5500 2805 3162 | 0.029 % | c | 13872 | 3499 3680 610000 | 6050 2955 3163 | 0.029 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 58.3141 s Remaining CPU time: 121.686 s c =============================================================================== c | 13953 | 3499 3681 613350 | 5000 3036 3163 | 0.029 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 58.6601 s Remaining CPU time: 121.34 s c =============================================================================== c | 14029 | 3499 3682 616700 | 5000 3112 3163 | 0.029 % | c | 14129 | 3499 3682 616700 | 5500 3212 3164 | 0.029 % | c | 14281 | 3499 3682 616700 | 6050 3364 3164 | 0.029 % | c | 14507 | 3499 3682 616700 | 6655 3590 3165 | 0.029 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 60.7978 s Remaining CPU time: 119.202 s c =============================================================================== c | 14603 | 3499 3683 620050 | 5000 3686 3165 | 0.029 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 61.1467 s Remaining CPU time: 118.853 s c =============================================================================== c | 14652 | 3499 3684 623400 | 5000 3735 3165 | 0.029 % | c | 14753 | 3499 3684 623400 | 5500 3836 3165 | 0.029 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 61.9146 s Remaining CPU time: 118.085 s c =============================================================================== c | 14845 | 3499 3685 626750 | 5000 3928 3165 | 0.029 % | c | 14945 | 3499 3685 626750 | 5500 4028 3165 | 0.029 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 62.7595 s Remaining CPU time: 117.241 s c =============================================================================== c | 15057 | 3499 3686 630100 | 5000 4140 3165 | 0.029 % | c | 15157 | 3499 3686 630100 | 5500 4240 3165 | 0.029 % | c | 15307 | 3499 3686 630100 | 6050 4390 3165 | 0.029 % | c | 15532 | 3499 3686 630100 | 6655 4615 3166 | 0.029 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 65.1011 s Remaining CPU time: 114.899 s c =============================================================================== c | 15587 | 3499 3687 633450 | 5000 4670 3166 | 0.029 % | c | 15687 | 3499 3687 633450 | 5500 4770 3166 | 0.029 % | c | 15838 | 3499 3687 633450 | 6050 4921 3166 | 0.029 % | c | 16063 | 3499 3687 633450 | 6655 5146 3166 | 0.029 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 67.0428 s Remaining CPU time: 112.957 s c =============================================================================== c | 16108 | 3499 3688 636800 | 5000 5191 3166 | 0.029 % | c | 16208 | 3499 3688 636800 | 5500 2696 3156 | 0.029 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 67.7577 s Remaining CPU time: 112.242 s c =============================================================================== c | 16230 | 3499 3689 640150 | 5000 2718 3156 | 0.029 % | c | 16330 | 3499 3689 640150 | 5500 2818 3156 | 0.029 % | c | 16480 | 3499 3689 640150 | 6050 2968 3157 | 0.029 % | c | 16706 | 3499 3689 640150 | 6655 3194 3157 | 0.029 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 70.0963 s Remaining CPU time: 109.904 s c =============================================================================== c | 16923 | 3499 3690 643500 | 5000 3411 3158 | 0.029 % | c | 17023 | 3499 3690 643500 | 5500 3511 3158 | 0.029 % | c | 17173 | 3499 3690 643500 | 6050 3661 3158 | 0.029 % | c | 17398 | 3499 3690 643500 | 6655 3886 3158 | 0.029 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 72.635 s Remaining CPU time: 107.365 s c =============================================================================== c | 17553 | 3499 3691 646850 | 5000 4041 3159 | 0.029 % | c | 17653 | 3499 3691 646850 | 5500 4141 3159 | 0.029 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 73.6888 s Remaining CPU time: 106.311 s c =============================================================================== c | 17748 | 3499 3692 650200 | 5000 4236 3159 | 0.029 % | c | 17848 | 3499 3692 650200 | 5500 4336 3159 | 0.029 % | c | 17998 | 3499 3692 650200 | 6050 4486 3159 | 0.029 % | c | 18223 | 3499 3692 650200 | 6655 4711 3159 | 0.029 % | c | 18560 | 3499 3692 650200 | 7320 5048 3159 | 0.029 % | c | 19066 | 3499 3692 650200 | 8052 5554 3160 | 0.029 % | c | 19825 | 3499 3692 650200 | 8857 6313 3160 | 0.029 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 82.2285 s Remaining CPU time: 97.7715 s c =============================================================================== c | 20577 | 3499 3693 653550 | 5000 7065 3160 | 0.029 % | c | 20677 | 3499 3693 653550 | 5500 3633 3152 | 0.029 % | c | 20828 | 3499 3693 653550 | 6050 3784 3152 | 0.029 % | c | 21053 | 3499 3693 653550 | 6655 4009 3152 | 0.029 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 84.5981 s Remaining CPU time: 95.4019 s c =============================================================================== c | 21318 | 3499 3694 656900 | 5000 4274 3152 | 0.029 % | c | 21418 | 3499 3694 656900 | 5500 4374 3153 | 0.029 % | c | 21568 | 3499 3694 656900 | 6050 4524 3153 | 0.029 % | c | 21794 | 3499 3694 656900 | 6655 4750 3153 | 0.029 % | c | 22133 | 3499 3694 656900 | 7320 5089 3154 | 0.029 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 88.7665 s Remaining CPU time: 91.2335 s c =============================================================================== c | 22426 | 3499 3695 660250 | 5000 5382 3154 | 0.029 % | c | 22528 | 3499 3695 660250 | 5500 2793 3146 | 0.029 % | c | 22679 | 3499 3695 660250 | 6050 2944 3147 | 0.029 % | c | 22905 | 3499 3695 660250 | 6655 3170 3147 | 0.029 % | c | 23242 | 3499 3695 660250 | 7320 3507 3149 | 0.029 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 92.105 s Remaining CPU time: 87.895 s c =============================================================================== c | 23478 | 3499 3696 663600 | 5000 3743 3149 | 0.029 % | c | 23579 | 3499 3696 663600 | 5500 3844 3149 | 0.029 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 93.1168 s Remaining CPU time: 86.8832 s c =============================================================================== c | 23702 | 3499 3697 666950 | 5000 3967 3149 | 0.029 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 93.4548 s Remaining CPU time: 86.5452 s c =============================================================================== c | 23732 | 3499 3698 670300 | 5000 3997 3149 | 0.029 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 93.7787 s Remaining CPU time: 86.2213 s c =============================================================================== c | 23745 | 3499 3699 673650 | 5000 4010 3149 | 0.029 % | c | 23845 | 3499 3699 673650 | 5500 4110 3149 | 0.029 % | c | 23995 | 3499 3699 673650 | 6050 4260 3149 | 0.029 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 95.3105 s Remaining CPU time: 84.6895 s c =============================================================================== c | 24051 | 3499 3700 677000 | 5000 4316 3149 | 0.029 % | c | 24151 | 3499 3700 677000 | 5500 4416 3149 | 0.029 % | c | 24302 | 3499 3700 677000 | 6050 4567 3149 | 0.029 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 96.8553 s Remaining CPU time: 83.1447 s c =============================================================================== c | 24409 | 3499 3701 680350 | 5000 4674 3150 | 0.029 % | c | 24509 | 3499 3701 680350 | 5500 4774 3150 | 0.029 % | c | 24659 | 3499 3701 680350 | 6050 4924 3150 | 0.029 % | c | 24885 | 3499 3701 680350 | 6655 5150 3149 | 0.029 % | c | 25223 | 3499 3701 680350 | 7320 5488 3149 | 0.029 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 101.524 s Remaining CPU time: 78.4764 s c =============================================================================== c | 25652 | 3499 3702 683700 | 5000 5917 3150 | 0.029 % | c | 25752 | 3499 3702 683700 | 5500 3059 3139 | 0.029 % | c | 25906 | 3499 3702 683700 | 6050 3213 3139 | 0.029 % | c | 26132 | 3499 3702 683700 | 6655 3439 3140 | 0.029 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 103.836 s Remaining CPU time: 76.1638 s c =============================================================================== c | 26183 | 3499 3703 687050 | 5000 3490 3140 | 0.029 % | c | 26283 | 3499 3703 687050 | 5500 3590 3140 | 0.029 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 105.05 s Remaining CPU time: 74.95 s c =============================================================================== c | 26362 | 3499 3704 690400 | 5000 3669 3140 | 0.029 % | c | 26464 | 3499 3704 690400 | 5500 3771 3141 | 0.029 % | c | 26615 | 3499 3704 690400 | 6050 3922 3141 | 0.029 % | c | 26841 | 3499 3704 690400 | 6655 4148 3141 | 0.029 % | c | 27179 | 3499 3704 690400 | 7320 4486 3142 | 0.029 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 109.007 s Remaining CPU time: 70.9926 s c =============================================================================== c | 27455 | 3499 3705 693750 | 5000 4762 3143 | 0.029 % | c | 27555 | 3499 3705 693750 | 5500 4862 3143 | 0.029 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 110.186 s Remaining CPU time: 69.8138 s c =============================================================================== c | 27697 | 3499 3706 697100 | 5000 5004 3143 | 0.029 % | c | 27797 | 3499 3706 697100 | 5500 2602 3131 | 0.029 % | c | 27949 | 3499 3706 697100 | 6050 2754 3132 | 0.029 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 112.103 s Remaining CPU time: 67.897 s c =============================================================================== c | 28084 | 3499 3707 700450 | 5000 2889 3133 | 0.029 % | c | 28184 | 3499 3707 700450 | 5500 2989 3133 | 0.029 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 113.022 s Remaining CPU time: 66.9782 s c =============================================================================== c | 28238 | 3499 3708 703800 | 5000 3043 3134 | 0.029 % | c | 28338 | 3499 3708 703800 | 5500 3143 3134 | 0.029 % | c | 28489 | 3499 3708 703800 | 6050 3294 3134 | 0.029 % | c | 28715 | 3499 3708 703800 | 6655 3520 3135 | 0.029 % | c | 29053 | 3499 3708 703800 | 7320 3858 3136 | 0.029 % |