c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 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 | 3480 3502 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 3480 3503 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 3480 3504 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 3480 3505 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 3480 3506 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 3480 3507 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 3480 3508 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 3480 3509 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 3480 3510 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 3480 3511 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 3480 3512 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 3480 3513 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 3480 3514 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 3480 3515 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 3480 3516 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 3480 3517 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 3480 3518 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 3480 3519 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 3480 3520 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 3480 3521 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 3480 3522 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 3480 3523 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 3480 3524 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 3480 3525 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 3480 3526 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 0 | 3480 3527 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 3480 3528 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 3480 3529 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 0 | 3480 3530 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.415936 s Remaining CPU time: 179.584 s c =============================================================================== c | 0 | 3480 3531 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 3480 3532 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 0 | 3480 3533 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 0 | 3480 3534 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 0 | 3480 3535 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 0 | 3480 3536 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 0 | 3480 3537 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 3480 3538 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 0 | 3480 3539 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 0 | 3480 3540 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 3480 3541 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 3480 3542 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s c =============================================================================== c | 0 | 3480 3543 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 1 | 3480 3544 151050 | 5000 1 3311 | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 1 | 3480 3545 154400 | 5000 1 3311 | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 0.960853 s Remaining CPU time: 179.039 s c =============================================================================== c | 1 | 3480 3546 157750 | 5000 1 3311 | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 1 | 3480 3547 161100 | 5000 1 3311 | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 1 | 3480 3548 164450 | 5000 1 3311 | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 1 | 3480 3549 167800 | 5000 1 3311 | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 2 | 3480 3550 171150 | 5000 2 3308 | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s c =============================================================================== c | 2 | 3480 3551 174500 | 5000 2 3308 | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.3288 s Remaining CPU time: 178.671 s c =============================================================================== c | 2 | 3480 3552 177850 | 5000 2 3308 | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s c =============================================================================== c | 2 | 3480 3553 181200 | 5000 2 3308 | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 5 | 3480 3554 184550 | 5000 5 3304 | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 5 | 3480 3555 187900 | 5000 5 3304 | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 5 | 3480 3556 191250 | 5000 5 3304 | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.67674 s Remaining CPU time: 178.323 s c =============================================================================== c | 6 | 3480 3557 194600 | 5000 6 3303 | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 1.75973 s Remaining CPU time: 178.24 s c =============================================================================== c | 10 | 3480 3558 197950 | 5000 10 3300 | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 1.83972 s Remaining CPU time: 178.16 s c =============================================================================== c | 10 | 3480 3559 201300 | 5000 10 3300 | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 10 | 3480 3560 204650 | 5000 10 3300 | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 14 | 3480 3561 208000 | 5000 14 3299 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.09468 s Remaining CPU time: 177.905 s c =============================================================================== c | 14 | 3480 3562 211350 | 5000 14 3299 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.18067 s Remaining CPU time: 177.819 s c =============================================================================== c | 17 | 3480 3563 214700 | 5000 17 3297 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.26965 s Remaining CPU time: 177.73 s c =============================================================================== c | 19 | 3480 3564 218050 | 5000 19 3297 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s c =============================================================================== c | 21 | 3480 3565 221400 | 5000 21 3296 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.44763 s Remaining CPU time: 177.552 s c =============================================================================== c | 23 | 3480 3566 224750 | 5000 23 3296 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.53961 s Remaining CPU time: 177.46 s c =============================================================================== c | 25 | 3480 3567 228100 | 5000 25 3295 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.6316 s Remaining CPU time: 177.368 s c =============================================================================== c | 26 | 3480 3568 231450 | 5000 26 3295 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 2.72459 s Remaining CPU time: 177.275 s c =============================================================================== c | 31 | 3480 3569 234800 | 5000 31 3293 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 2.82157 s Remaining CPU time: 177.178 s c =============================================================================== c | 34 | 3480 3570 238150 | 5000 34 3292 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 2.92556 s Remaining CPU time: 177.074 s c =============================================================================== c | 34 | 3480 3571 241500 | 5000 34 3292 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.03854 s Remaining CPU time: 176.961 s c =============================================================================== c | 34 | 3480 3572 244850 | 5000 34 3292 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 39 | 3480 3573 248200 | 5000 39 3291 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.24851 s Remaining CPU time: 176.751 s c =============================================================================== c | 41 | 3480 3574 251550 | 5000 41 3291 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.35349 s Remaining CPU time: 176.647 s c =============================================================================== c | 42 | 3480 3575 254900 | 5000 42 3290 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 3.47247 s Remaining CPU time: 176.528 s c =============================================================================== c | 47 | 3480 3576 258250 | 5000 47 3289 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 3.58945 s Remaining CPU time: 176.411 s c =============================================================================== c | 50 | 3480 3577 261600 | 5000 50 3288 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 3.71843 s Remaining CPU time: 176.282 s c =============================================================================== c | 55 | 3480 3578 264950 | 5000 55 3287 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 3.85441 s Remaining CPU time: 176.146 s c =============================================================================== c | 63 | 3480 3579 268300 | 5000 63 3286 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 3.9734 s Remaining CPU time: 176.027 s c =============================================================================== c | 65 | 3480 3580 271650 | 5000 65 3286 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.11337 s Remaining CPU time: 175.887 s c =============================================================================== c | 87 | 3480 3581 275000 | 5000 87 3283 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.22536 s Remaining CPU time: 175.775 s c =============================================================================== c | 90 | 3480 3582 278350 | 5000 90 3282 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 4.35934 s Remaining CPU time: 175.641 s c =============================================================================== c | 99 | 3480 3583 281700 | 5000 99 3282 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 4.48232 s Remaining CPU time: 175.518 s c =============================================================================== c | 101 | 3480 3584 285050 | 5000 101 3281 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 4.6073 s Remaining CPU time: 175.393 s c =============================================================================== c | 101 | 3480 3585 288400 | 5000 101 3281 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 4.73328 s Remaining CPU time: 175.267 s c =============================================================================== c | 106 | 3480 3586 291750 | 5000 106 3281 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 4.85526 s Remaining CPU time: 175.145 s c =============================================================================== c | 108 | 3480 3587 295100 | 5000 108 3220 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 4.98724 s Remaining CPU time: 175.013 s c =============================================================================== c | 112 | 3480 3588 298450 | 5000 112 3222 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.15222 s Remaining CPU time: 174.848 s c =============================================================================== c | 134 | 3480 3589 301800 | 5000 134 3229 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.39818 s Remaining CPU time: 174.602 s c =============================================================================== c | 216 | 3480 3590 305150 | 5000 216 3228 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 5.53516 s Remaining CPU time: 174.465 s c =============================================================================== c | 222 | 3480 3591 308500 | 5000 222 3229 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 5.67214 s Remaining CPU time: 174.328 s c =============================================================================== c | 236 | 3480 3592 311850 | 5000 236 3231 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 5.79712 s Remaining CPU time: 174.203 s c =============================================================================== c | 236 | 3480 3593 315200 | 5000 236 3231 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 5.9261 s Remaining CPU time: 174.074 s c =============================================================================== c | 237 | 3480 3594 318550 | 5000 237 3231 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 6.06808 s Remaining CPU time: 173.932 s c =============================================================================== c | 248 | 3480 3595 321900 | 5000 248 3232 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 6.22705 s Remaining CPU time: 173.773 s c =============================================================================== c | 269 | 3480 3596 325250 | 5000 269 3234 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 6.42602 s Remaining CPU time: 173.574 s c =============================================================================== c | 308 | 3480 3597 328600 | 5000 308 3237 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 6.576 s Remaining CPU time: 173.424 s c =============================================================================== c | 319 | 3480 3598 331950 | 5000 319 3238 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 6.76497 s Remaining CPU time: 173.235 s c =============================================================================== c | 354 | 3480 3599 335300 | 5000 354 3240 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 6.97094 s Remaining CPU time: 173.029 s c =============================================================================== c | 396 | 3480 3600 338650 | 5000 396 3241 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 7.16391 s Remaining CPU time: 172.836 s c =============================================================================== c | 431 | 3480 3601 342000 | 5000 431 3242 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 7.39888 s Remaining CPU time: 172.601 s c =============================================================================== c | 483 | 3480 3602 345350 | 5000 483 3244 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 7.56385 s Remaining CPU time: 172.436 s c =============================================================================== c | 503 | 3480 3603 348700 | 5000 503 3244 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 7.77482 s Remaining CPU time: 172.225 s c =============================================================================== c | 557 | 3480 3604 352050 | 5000 557 3245 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 7.9238 s Remaining CPU time: 172.076 s c =============================================================================== c | 560 | 3480 3605 355400 | 5000 560 3245 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 8.09277 s Remaining CPU time: 171.907 s c =============================================================================== c | 583 | 3480 3606 358750 | 5000 583 3245 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 8.27874 s Remaining CPU time: 171.721 s c =============================================================================== c | 627 | 3480 3607 362100 | 5000 627 3245 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 8.5477 s Remaining CPU time: 171.452 s c =============================================================================== c | 718 | 3480 3608 365450 | 5000 718 3245 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 8.73767 s Remaining CPU time: 171.262 s c =============================================================================== c | 756 | 3480 3609 368800 | 5000 756 3245 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 8.90365 s Remaining CPU time: 171.096 s c =============================================================================== c | 763 | 3480 3610 372150 | 5000 763 3245 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 9.09762 s Remaining CPU time: 170.902 s c =============================================================================== c | 788 | 3480 3611 375500 | 5000 788 3245 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 9.25959 s Remaining CPU time: 170.74 s c =============================================================================== c | 795 | 3480 3612 378850 | 5000 795 3245 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 9.42257 s Remaining CPU time: 170.577 s c =============================================================================== c | 799 | 3480 3613 382200 | 5000 799 3245 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 9.59254 s Remaining CPU time: 170.407 s c =============================================================================== c | 816 | 3480 3614 385550 | 5000 816 3245 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 9.78751 s Remaining CPU time: 170.212 s c =============================================================================== c | 848 | 3480 3615 388900 | 5000 848 3245 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 9.98048 s Remaining CPU time: 170.02 s c =============================================================================== c | 874 | 3480 3616 392250 | 5000 874 3245 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 10.1455 s Remaining CPU time: 169.855 s c =============================================================================== c | 879 | 3480 3617 395600 | 5000 879 3245 | 0.000 % | c | 980 | 3480 3617 395600 | 5500 980 3244 | 0.571 % | c | 1130 | 3480 3617 395600 | 6050 1130 3243 | 0.571 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 11.0873 s Remaining CPU time: 168.913 s c =============================================================================== c | 1230 | 3480 3618 398950 | 5000 1230 3240 | 0.571 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 11.2733 s Remaining CPU time: 168.727 s c =============================================================================== c | 1252 | 3480 3619 402300 | 5000 1252 3240 | 0.571 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 11.4673 s Remaining CPU time: 168.533 s c =============================================================================== c | 1279 | 3480 3620 405650 | 5000 1279 3240 | 0.571 % | c | 1379 | 3480 3620 405650 | 5500 1379 3240 | 0.571 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 11.9262 s Remaining CPU time: 168.074 s c =============================================================================== c | 1398 | 3480 3621 409000 | 5000 1398 3239 | 0.571 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 12.1042 s Remaining CPU time: 167.896 s c =============================================================================== c | 1401 | 3480 3622 412350 | 5000 1401 3239 | 0.571 % | c | 1502 | 3480 3622 412350 | 5500 1502 3239 | 0.571 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 12.5981 s Remaining CPU time: 167.402 s c =============================================================================== c | 1536 | 3480 3623 415700 | 5000 1536 3239 | 0.571 % | c | 1636 | 3480 3623 415700 | 5500 1636 3238 | 0.571 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 13.108 s Remaining CPU time: 166.892 s c =============================================================================== c | 1681 | 3480 3624 419050 | 5000 1681 3238 | 0.571 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 13.302 s Remaining CPU time: 166.698 s c =============================================================================== c | 1698 | 3480 3625 422400 | 5000 1698 3238 | 0.571 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 13.4959 s Remaining CPU time: 166.504 s c =============================================================================== c | 1714 | 3480 3626 425750 | 5000 1714 3238 | 0.571 % | c | 1815 | 3480 3626 425750 | 5500 1815 3237 | 0.571 % | c | 1965 | 3480 3626 425750 | 6050 1965 3237 | 0.571 % | c | 2190 | 3480 3626 425750 | 6655 2190 3236 | 0.571 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 15.1467 s Remaining CPU time: 164.853 s c =============================================================================== c | 2207 | 3480 3627 429100 | 5000 2207 3236 | 0.571 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 15.3827 s Remaining CPU time: 164.617 s c =============================================================================== c | 2253 | 3480 3628 432450 | 5000 2253 3236 | 0.571 % | c | 2353 | 3480 3628 432450 | 5500 2353 3235 | 0.571 % | c | 2503 | 3480 3628 432450 | 6050 2503 3235 | 0.571 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 16.3325 s Remaining CPU time: 163.667 s c =============================================================================== c | 2558 | 3480 3629 435800 | 5000 2558 3235 | 0.571 % | c | 2659 | 3480 3629 435800 | 5500 2659 3234 | 0.571 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 16.9054 s Remaining CPU time: 163.095 s c =============================================================================== c | 2770 | 3480 3630 439150 | 5000 2770 3234 | 0.571 % | c | 2871 | 3480 3630 439150 | 5500 2871 3234 | 0.571 % | c | 3021 | 3480 3630 439150 | 6050 3021 3233 | 0.571 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 17.8203 s Remaining CPU time: 162.18 s c =============================================================================== c | 3052 | 3480 3631 442500 | 5000 3052 3233 | 0.571 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 18.1462 s Remaining CPU time: 161.854 s c =============================================================================== c | 3112 | 3480 3632 445850 | 5000 3112 3233 | 0.571 % | c | 3212 | 3480 3632 445850 | 5500 3212 3232 | 0.571 % | c | 3362 | 3480 3632 445850 | 6050 3362 3231 | 0.571 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 19.3231 s Remaining CPU time: 160.677 s c =============================================================================== c | 3550 | 3480 3633 449200 | 5000 3550 3231 | 0.571 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 19.573 s Remaining CPU time: 160.427 s c =============================================================================== c | 3598 | 3480 3634 452550 | 5000 3598 3231 | 0.571 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 19.786 s Remaining CPU time: 160.214 s c =============================================================================== c | 3617 | 3480 3635 455900 | 5000 3617 3230 | 0.571 % | c | 3717 | 3480 3635 455900 | 5500 3717 3230 | 0.571 % | c | 3867 | 3480 3635 455900 | 6050 3867 3230 | 0.571 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 20.8858 s Remaining CPU time: 159.114 s c =============================================================================== c | 4003 | 3480 3636 459250 | 5000 4003 3229 | 0.571 % | c | 4103 | 3480 3636 459250 | 5500 4103 3229 | 0.571 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 21.4537 s Remaining CPU time: 158.546 s c =============================================================================== c | 4140 | 3480 3637 462600 | 5000 4140 3229 | 0.571 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 21.7477 s Remaining CPU time: 158.252 s c =============================================================================== c | 4196 | 3480 3638 465950 | 5000 4196 3229 | 0.571 % | c | 4296 | 3480 3638 465950 | 5500 4296 3229 | 0.571 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 22.4846 s Remaining CPU time: 157.515 s c =============================================================================== c | 4399 | 3480 3639 469300 | 5000 4399 3228 | 0.571 % | c | 4499 | 3480 3639 469300 | 5500 4499 3228 | 0.571 % | c | 4649 | 3480 3639 469300 | 6050 4649 3228 | 0.571 % | c | 4874 | 3480 3639 469300 | 6655 4874 3227 | 0.571 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 24.1893 s Remaining CPU time: 155.811 s c =============================================================================== c | 5010 | 3480 3640 472650 | 5000 5010 3227 | 0.571 % | c | 5111 | 3480 3640 472650 | 5500 5111 3227 | 0.571 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 24.9092 s Remaining CPU time: 155.091 s c =============================================================================== c | 5219 | 3480 3641 476000 | 5000 5219 3226 | 0.571 % | c | 5320 | 3480 3641 476000 | 5500 2711 3212 | 0.571 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 25.5871 s Remaining CPU time: 154.413 s c =============================================================================== c | 5387 | 3480 3642 479350 | 5000 2778 3212 | 0.571 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 25.8951 s Remaining CPU time: 154.105 s c =============================================================================== c | 5472 | 3480 3643 482700 | 5000 2863 3212 | 0.571 % | c | 5573 | 3480 3643 482700 | 5500 2964 3212 | 0.571 % | c | 5723 | 3480 3643 482700 | 6050 3114 3212 | 0.571 % | c | 5949 | 3480 3643 482700 | 6655 3340 3212 | 0.571 % | c | 6287 | 3480 3643 482700 | 7320 3678 3211 | 0.571 % | c | 6793 | 3480 3643 482700 | 8052 4184 3211 | 0.571 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 30.8513 s Remaining CPU time: 149.149 s c =============================================================================== c | 7282 | 3480 3644 486050 | 5000 4673 3211 | 0.571 % | c | 7384 | 3480 3644 486050 | 5500 4775 3211 | 0.571 % | c | 7534 | 3480 3644 486050 | 6050 4925 3211 | 0.571 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 31.9931 s Remaining CPU time: 148.007 s c =============================================================================== c | 7625 | 3480 3645 489400 | 5000 5016 3211 | 0.571 % | c | 7725 | 3480 3645 489400 | 5500 5116 3211 | 0.571 % | c | 7876 | 3480 3645 489400 | 6050 5267 3211 | 0.571 % | c | 8101 | 3480 3645 489400 | 6655 5492 3211 | 0.571 % | c | 8438 | 3480 3645 489400 | 7320 5829 3211 | 0.571 % | c | 8944 | 3480 3645 489400 | 8052 6335 3211 | 0.571 % | c | 9703 | 3480 3645 489400 | 8857 7094 3210 | 0.571 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 37.3183 s Remaining CPU time: 142.682 s c =============================================================================== c | 9907 | 3480 3646 492750 | 5000 7298 3210 | 0.571 % | c | 10007 | 3480 3646 492750 | 5500 3749 3203 | 0.571 % | c | 10158 | 3480 3646 492750 | 6050 3900 3204 | 0.571 % | c | 10383 | 3480 3646 492750 | 6655 4125 3204 | 0.571 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 39.732 s Remaining CPU time: 140.268 s c =============================================================================== c | 10643 | 3480 3647 496100 | 5000 4385 3204 | 0.571 % | c | 10745 | 3480 3647 496100 | 5500 4487 3204 | 0.571 % | c | 10895 | 3480 3647 496100 | 6050 4637 3204 | 0.571 % | c | 11120 | 3480 3647 496100 | 6655 4862 3204 | 0.571 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 41.9436 s Remaining CPU time: 138.056 s c =============================================================================== c | 11364 | 3480 3648 499450 | 5000 5106 3205 | 0.571 % | c | 11464 | 3480 3648 499450 | 5500 2653 3199 | 0.571 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 42.6465 s Remaining CPU time: 137.353 s c =============================================================================== c | 11489 | 3480 3649 502800 | 5000 2678 3199 | 0.571 % | c | 11589 | 3480 3649 502800 | 5500 2778 3199 | 0.571 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 43.4044 s Remaining CPU time: 136.596 s c =============================================================================== c | 11641 | 3480 3650 506150 | 5000 2830 3199 | 0.571 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 43.7443 s Remaining CPU time: 136.256 s c =============================================================================== c | 11691 | 3480 3651 509500 | 5000 2880 3199 | 0.571 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 44.0083 s Remaining CPU time: 135.992 s c =============================================================================== c | 11736 | 3480 3652 512850 | 5000 2925 3200 | 0.571 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 44.5152 s Remaining CPU time: 135.485 s c =============================================================================== c | 11827 | 3480 3653 516200 | 5000 3016 3200 | 0.571 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 44.7592 s Remaining CPU time: 135.241 s c =============================================================================== c | 11843 | 3480 3654 519550 | 5000 3032 3200 | 0.571 % | c | 11943 | 3480 3654 519550 | 5500 3132 3200 | 0.571 % | c | 12093 | 3480 3654 519550 | 6050 3282 3200 | 0.571 % | c | 12318 | 3480 3654 519550 | 6655 3507 3199 | 0.571 % | c | 12656 | 3480 3654 519550 | 7320 3845 3199 | 0.571 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 47.6388 s Remaining CPU time: 132.361 s c =============================================================================== c | 13134 | 3480 3655 522900 | 5000 4323 3199 | 0.571 % | c | 13234 | 3480 3655 522900 | 5500 4423 3199 | 0.571 % | c | 13384 | 3480 3655 522900 | 6050 4573 3199 | 0.571 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 49.4855 s Remaining CPU time: 130.515 s c =============================================================================== c | 13595 | 3480 3656 526250 | 5000 4784 3199 | 0.571 % | c | 13695 | 3480 3656 526250 | 5500 4884 3199 | 0.571 % | c | 13845 | 3480 3656 526250 | 6050 5034 3199 | 0.571 % | c | 14070 | 3480 3656 526250 | 6655 5259 3199 | 0.571 % | c | 14407 | 3480 3656 526250 | 7320 5596 3198 | 0.571 % | c | 14914 | 3480 3656 526250 | 8052 6103 3198 | 0.571 % | c | 15673 | 3480 3656 526250 | 8857 6862 3198 | 0.571 % | c | 16812 | 3480 3656 526250 | 9743 8001 3198 | 0.571 % | c | 18520 | 3480 3656 526250 | 10717 9709 3198 | 0.571 % | c | 21084 | 3480 3656 526250 | 11789 12273 3198 | 0.571 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 71.6891 s Remaining CPU time: 108.311 s c =============================================================================== c | 23503 | 3480 3657 529600 | 5000 8556 3195 | 0.571 % | c | 23603 | 3480 3657 529600 | 5500 4378 3193 | 0.571 % | c | 23753 | 3480 3657 529600 | 6050 4528 3193 | 0.571 % | c | 23978 | 3480 3657 529600 | 6655 4753 3193 | 0.571 % | c | 24315 | 3480 3657 529600 | 7320 5090 3194 | 0.571 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 75.4985 s Remaining CPU time: 104.501 s c =============================================================================== c | 24807 | 3480 3658 532950 | 5000 5582 3194 | 0.571 % | c | 24907 | 3480 3658 532950 | 5500 2891 3192 | 0.571 % | c | 25057 | 3480 3658 532950 | 6050 3041 3192 | 0.571 % | c | 25282 | 3480 3658 532950 | 6655 3266 3192 | 0.571 % | c | 25619 | 3480 3658 532950 | 7320 3603 3193 | 0.571 % | c | 26126 | 3480 3658 532950 | 8052 4110 3193 | 0.571 % | c | 26886 | 3480 3658 532950 | 8857 4870 3193 | 0.571 % | c | 28025 | 3480 3658 532950 | 9743 6009 3194 | 0.571 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 85.211 s Remaining CPU time: 94.789 s c =============================================================================== c | 28762 | 3480 3659 536300 | 5000 6746 3194 | 0.571 % | c | 28862 | 3480 3659 536300 | 5500 3473 3190 | 0.571 % | c | 29012 | 3480 3659 536300 | 6050 3623 3191 | 0.571 % | c | 29237 | 3480 3659 536300 | 6655 3848 3191 | 0.571 % | c | 29575 | 3480 3659 536300 | 7320 4186 3191 | 0.571 % |