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 | 3496 3502 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 3496 3503 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 3496 3504 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 3496 3505 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 3496 3506 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 3496 3507 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 3496 3508 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 3496 3509 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 3496 3510 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 3496 3511 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 3496 3512 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 3496 3513 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 3496 3514 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 3496 3515 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 3496 3516 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 3496 3517 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 3496 3518 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 3496 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 | 3496 3520 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 3496 3521 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 3496 3522 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 3496 3523 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 0 | 3496 3524 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 3496 3525 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 3496 3526 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 3496 3527 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 0 | 3496 3528 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.405938 s Remaining CPU time: 179.594 s c =============================================================================== c | 0 | 3496 3529 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 0 | 3496 3530 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 0 | 3496 3531 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 0 | 3496 3532 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 0 | 3496 3533 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 0 | 3496 3534 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 3496 3535 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 3496 3536 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.699893 s Remaining CPU time: 179.3 s c =============================================================================== c | 0 | 3496 3537 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 3496 3538 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 0 | 3496 3539 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 0 | 3496 3540 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 0 | 3496 3541 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 0 | 3496 3542 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 0 | 3496 3543 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 1.04484 s Remaining CPU time: 178.955 s c =============================================================================== c | 0 | 3496 3544 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 1.10083 s Remaining CPU time: 178.899 s c =============================================================================== c | 0 | 3496 3545 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 0 | 3496 3546 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 0 | 3496 3547 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 0 | 3496 3548 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.3478 s Remaining CPU time: 178.652 s c =============================================================================== c | 0 | 3496 3549 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 0 | 3496 3550 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.47778 s Remaining CPU time: 178.522 s c =============================================================================== c | 0 | 3496 3551 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 0 | 3496 3552 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.61875 s Remaining CPU time: 178.381 s c =============================================================================== c | 0 | 3496 3553 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.69374 s Remaining CPU time: 178.306 s c =============================================================================== c | 0 | 3496 3554 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.77173 s Remaining CPU time: 178.228 s c =============================================================================== c | 0 | 3496 3555 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 0 | 3496 3556 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.93471 s Remaining CPU time: 178.065 s c =============================================================================== c | 0 | 3496 3557 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 2.01769 s Remaining CPU time: 177.982 s c =============================================================================== c | 0 | 3496 3558 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 0 | 3496 3559 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 2.19167 s Remaining CPU time: 177.808 s c =============================================================================== c | 0 | 3496 3560 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.27765 s Remaining CPU time: 177.722 s c =============================================================================== c | 0 | 3496 3561 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.36864 s Remaining CPU time: 177.631 s c =============================================================================== c | 0 | 3496 3562 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.46263 s Remaining CPU time: 177.537 s c =============================================================================== c | 0 | 3496 3563 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.55661 s Remaining CPU time: 177.443 s c =============================================================================== c | 0 | 3496 3564 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 0 | 3496 3565 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.75658 s Remaining CPU time: 177.243 s c =============================================================================== c | 0 | 3496 3566 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.85757 s Remaining CPU time: 177.142 s c =============================================================================== c | 0 | 3496 3567 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 0 | 3496 3568 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 3.06853 s Remaining CPU time: 176.931 s c =============================================================================== c | 0 | 3496 3569 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 3.18152 s Remaining CPU time: 176.818 s c =============================================================================== c | 0 | 3496 3570 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 3.2945 s Remaining CPU time: 176.706 s c =============================================================================== c | 0 | 3496 3571 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.40948 s Remaining CPU time: 176.591 s c =============================================================================== c | 0 | 3496 3572 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.52446 s Remaining CPU time: 176.476 s c =============================================================================== c | 0 | 3496 3573 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.64445 s Remaining CPU time: 176.356 s c =============================================================================== c | 0 | 3496 3574 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.76143 s Remaining CPU time: 176.239 s c =============================================================================== c | 0 | 3496 3575 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 3.88541 s Remaining CPU time: 176.115 s c =============================================================================== c | 0 | 3496 3576 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 4.01339 s Remaining CPU time: 175.987 s c =============================================================================== c | 0 | 3496 3577 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 4.14037 s Remaining CPU time: 175.86 s c =============================================================================== c | 0 | 3496 3578 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 4.26835 s Remaining CPU time: 175.732 s c =============================================================================== c | 0 | 3496 3579 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 4.39933 s Remaining CPU time: 175.601 s c =============================================================================== c | 0 | 3496 3580 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.52931 s Remaining CPU time: 175.471 s c =============================================================================== c | 0 | 3496 3581 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.65929 s Remaining CPU time: 175.341 s c =============================================================================== c | 0 | 3496 3582 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 4.79427 s Remaining CPU time: 175.206 s c =============================================================================== c | 0 | 3496 3583 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 4.93025 s Remaining CPU time: 175.07 s c =============================================================================== c | 0 | 3496 3584 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 5.06923 s Remaining CPU time: 174.931 s c =============================================================================== c | 0 | 3496 3585 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 5.20821 s Remaining CPU time: 174.792 s c =============================================================================== c | 0 | 3496 3586 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 5.34819 s Remaining CPU time: 174.652 s c =============================================================================== c | 0 | 3496 3587 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 5.49116 s Remaining CPU time: 174.509 s c =============================================================================== c | 0 | 3496 3588 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.63914 s Remaining CPU time: 174.361 s c =============================================================================== c | 0 | 3496 3589 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.78712 s Remaining CPU time: 174.213 s c =============================================================================== c | 0 | 3496 3590 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 5.9371 s Remaining CPU time: 174.063 s c =============================================================================== c | 0 | 3496 3591 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 6.09107 s Remaining CPU time: 173.909 s c =============================================================================== c | 0 | 3496 3592 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 6.24605 s Remaining CPU time: 173.754 s c =============================================================================== c | 0 | 3496 3593 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 6.40203 s Remaining CPU time: 173.598 s c =============================================================================== c | 0 | 3496 3594 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 6.565 s Remaining CPU time: 173.435 s c =============================================================================== c | 0 | 3496 3595 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 0 | 3496 3596 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 6.89395 s Remaining CPU time: 173.106 s c =============================================================================== c | 0 | 3496 3597 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s c =============================================================================== c | 0 | 3496 3598 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 7.2269 s Remaining CPU time: 172.773 s c =============================================================================== c | 0 | 3496 3599 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 7.39487 s Remaining CPU time: 172.605 s c =============================================================================== c | 0 | 3496 3600 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 7.56385 s Remaining CPU time: 172.436 s c =============================================================================== c | 0 | 3496 3601 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 7.73282 s Remaining CPU time: 172.267 s c =============================================================================== c | 0 | 3496 3602 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 7.9108 s Remaining CPU time: 172.089 s c =============================================================================== c | 0 | 3496 3603 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 8.09077 s Remaining CPU time: 171.909 s c =============================================================================== c | 0 | 3496 3604 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 8.26774 s Remaining CPU time: 171.732 s c =============================================================================== c | 0 | 3496 3605 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 8.44871 s Remaining CPU time: 171.551 s c =============================================================================== c | 0 | 3496 3606 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 8.63169 s Remaining CPU time: 171.368 s c =============================================================================== c | 0 | 3496 3607 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 8.81866 s Remaining CPU time: 171.181 s c =============================================================================== c | 0 | 3496 3608 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 9.00163 s Remaining CPU time: 170.998 s c =============================================================================== c | 0 | 3496 3609 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 9.1916 s Remaining CPU time: 170.808 s c =============================================================================== c | 0 | 3496 3610 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 9.38557 s Remaining CPU time: 170.614 s c =============================================================================== c | 0 | 3496 3611 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 9.57754 s Remaining CPU time: 170.422 s c =============================================================================== c | 0 | 3496 3612 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 9.77451 s Remaining CPU time: 170.225 s c =============================================================================== c | 0 | 3496 3613 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 9.97648 s Remaining CPU time: 170.024 s c =============================================================================== c | 0 | 3496 3614 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 10.1745 s Remaining CPU time: 169.826 s c =============================================================================== c | 0 | 3496 3615 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 10.3794 s Remaining CPU time: 169.621 s c =============================================================================== c | 0 | 3496 3616 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 10.5864 s Remaining CPU time: 169.414 s c =============================================================================== c | 0 | 3496 3617 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 10.7914 s Remaining CPU time: 169.209 s c =============================================================================== c | 0 | 3496 3618 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 10.9993 s Remaining CPU time: 169.001 s c =============================================================================== c | 0 | 3496 3619 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 11.2103 s Remaining CPU time: 168.79 s c =============================================================================== c | 0 | 3496 3620 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 11.4243 s Remaining CPU time: 168.576 s c =============================================================================== c | 0 | 3496 3621 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 11.6402 s Remaining CPU time: 168.36 s c =============================================================================== c | 0 | 3496 3622 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 11.8592 s Remaining CPU time: 168.141 s c =============================================================================== c | 0 | 3496 3623 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 12.0802 s Remaining CPU time: 167.92 s c =============================================================================== c | 0 | 3496 3624 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 12.3001 s Remaining CPU time: 167.7 s c =============================================================================== c | 0 | 3496 3625 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 12.5201 s Remaining CPU time: 167.48 s c =============================================================================== c | 0 | 3496 3626 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 12.7511 s Remaining CPU time: 167.249 s c =============================================================================== c | 0 | 3496 3627 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 12.98 s Remaining CPU time: 167.02 s c =============================================================================== c | 0 | 3496 3628 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 13.212 s Remaining CPU time: 166.788 s c =============================================================================== c | 0 | 3496 3629 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 13.446 s Remaining CPU time: 166.554 s c =============================================================================== c | 0 | 3496 3630 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 13.6769 s Remaining CPU time: 166.323 s c =============================================================================== c | 0 | 3496 3631 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 13.9129 s Remaining CPU time: 166.087 s c =============================================================================== c | 0 | 3496 3632 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 14.1488 s Remaining CPU time: 165.851 s c =============================================================================== c | 0 | 3496 3633 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 14.3868 s Remaining CPU time: 165.613 s c =============================================================================== c | 0 | 3496 3634 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 14.6248 s Remaining CPU time: 165.375 s c =============================================================================== c | 0 | 3496 3635 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 14.8687 s Remaining CPU time: 165.131 s c =============================================================================== c | 0 | 3496 3636 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 15.1157 s Remaining CPU time: 164.884 s c =============================================================================== c | 0 | 3496 3637 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 15.3617 s Remaining CPU time: 164.638 s c =============================================================================== c | 0 | 3496 3638 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 15.6096 s Remaining CPU time: 164.39 s c =============================================================================== c | 0 | 3496 3639 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 15.8636 s Remaining CPU time: 164.136 s c =============================================================================== c | 0 | 3496 3640 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 16.1265 s Remaining CPU time: 163.873 s c =============================================================================== c | 1 | 3496 3641 476000 | 5000 1 3214 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 16.3845 s Remaining CPU time: 163.615 s c =============================================================================== c | 1 | 3496 3642 479350 | 5000 1 3214 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 16.6475 s Remaining CPU time: 163.353 s c =============================================================================== c | 2 | 3496 3643 482700 | 5000 2 3213 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 16.9144 s Remaining CPU time: 163.086 s c =============================================================================== c | 5 | 3496 3644 486050 | 5000 5 3212 | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 17.1784 s Remaining CPU time: 162.822 s c =============================================================================== c | 6 | 3496 3645 489400 | 5000 6 3211 | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 17.4453 s Remaining CPU time: 162.555 s c =============================================================================== c | 6 | 3496 3646 492750 | 5000 6 3211 | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 17.7233 s Remaining CPU time: 162.277 s c =============================================================================== c | 14 | 3496 3647 496100 | 5000 14 3210 | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 17.9953 s Remaining CPU time: 162.005 s c =============================================================================== c | 16 | 3496 3648 499450 | 5000 16 3209 | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 18.2652 s Remaining CPU time: 161.735 s c =============================================================================== c | 18 | 3496 3649 502800 | 5000 18 3209 | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 18.5452 s Remaining CPU time: 161.455 s c =============================================================================== c | 21 | 3496 3650 506150 | 5000 21 3208 | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 18.8241 s Remaining CPU time: 161.176 s c =============================================================================== c | 23 | 3496 3651 509500 | 5000 23 3208 | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 19.1041 s Remaining CPU time: 160.896 s c =============================================================================== c | 24 | 3496 3652 512850 | 5000 24 3208 | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 19.436 s Remaining CPU time: 160.564 s c =============================================================================== c | 49 | 3496 3653 516200 | 5000 49 3205 | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 19.739 s Remaining CPU time: 160.261 s c =============================================================================== c | 68 | 3496 3654 519550 | 5000 68 3204 | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 20.031 s Remaining CPU time: 159.969 s c =============================================================================== c | 74 | 3496 3655 522900 | 5000 74 3204 | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 20.3289 s Remaining CPU time: 159.671 s c =============================================================================== c | 85 | 3496 3656 526250 | 5000 85 3203 | 0.000 % | c | 185 | 3496 3656 526250 | 5500 185 3201 | 0.114 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 21.1678 s Remaining CPU time: 158.832 s c =============================================================================== c | 200 | 3496 3657 529600 | 5000 200 3201 | 0.114 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 21.4787 s Remaining CPU time: 158.521 s c =============================================================================== c | 216 | 3496 3658 532950 | 5000 216 3200 | 0.114 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 21.7917 s Remaining CPU time: 158.208 s c =============================================================================== c | 229 | 3496 3659 536300 | 5000 229 3200 | 0.114 % | c | 329 | 3496 3659 536300 | 5500 329 3199 | 0.114 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 22.4706 s Remaining CPU time: 157.529 s c =============================================================================== c | 350 | 3496 3660 539650 | 5000 350 3199 | 0.114 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 22.8115 s Remaining CPU time: 157.188 s c =============================================================================== c | 376 | 3496 3661 543000 | 5000 376 3198 | 0.114 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 23.1225 s Remaining CPU time: 156.878 s c =============================================================================== c | 388 | 3496 3662 546350 | 5000 388 3198 | 0.114 % | c | 488 | 3496 3662 546350 | 5500 488 3197 | 0.114 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 23.9744 s Remaining CPU time: 156.026 s c =============================================================================== c | 552 | 3496 3663 549700 | 5000 552 3197 | 0.114 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 24.3003 s Remaining CPU time: 155.7 s c =============================================================================== c | 564 | 3496 3664 553050 | 5000 564 3196 | 0.114 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 24.6483 s Remaining CPU time: 155.352 s c =============================================================================== c | 587 | 3496 3665 556400 | 5000 587 3196 | 0.114 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 24.9982 s Remaining CPU time: 155.002 s c =============================================================================== c | 612 | 3496 3666 559750 | 5000 612 3196 | 0.114 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 25.3112 s Remaining CPU time: 154.689 s c =============================================================================== c | 617 | 3496 3667 563100 | 5000 617 3196 | 0.114 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 25.6531 s Remaining CPU time: 154.347 s c =============================================================================== c | 642 | 3496 3668 566450 | 5000 642 3196 | 0.114 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 25.977 s Remaining CPU time: 154.023 s c =============================================================================== c | 653 | 3496 3669 569800 | 5000 653 3195 | 0.114 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 26.3 s Remaining CPU time: 153.7 s c =============================================================================== c | 657 | 3496 3670 573150 | 5000 657 3195 | 0.114 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 26.618 s Remaining CPU time: 153.382 s c =============================================================================== c | 658 | 3496 3671 576500 | 5000 658 3195 | 0.114 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 26.9899 s Remaining CPU time: 153.01 s c =============================================================================== c | 702 | 3496 3672 579850 | 5000 702 3195 | 0.114 % | c | 802 | 3496 3672 579850 | 5500 802 3193 | 0.114 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 27.8418 s Remaining CPU time: 152.158 s c =============================================================================== c | 917 | 3496 3673 583200 | 5000 917 3192 | 0.114 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 28.2407 s Remaining CPU time: 151.759 s c =============================================================================== c | 976 | 3496 3674 586550 | 5000 976 3191 | 0.114 % | c | 1076 | 3496 3674 586550 | 5500 1076 3190 | 0.114 % | c | 1226 | 3496 3674 586550 | 6050 1226 3189 | 0.114 % | c | 1452 | 3496 3674 586550 | 6655 1452 3188 | 0.114 % | c | 1789 | 3496 3674 586550 | 7320 1789 3181 | 0.114 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 31.2602 s Remaining CPU time: 148.74 s c =============================================================================== c | 1897 | 3496 3675 589900 | 5000 1897 3181 | 0.114 % | c | 1997 | 3496 3675 589900 | 5500 1997 3181 | 0.114 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 32.0451 s Remaining CPU time: 147.955 s c =============================================================================== c | 2079 | 3496 3676 593250 | 5000 2079 3181 | 0.114 % | c | 2179 | 3496 3676 593250 | 5500 2179 3181 | 0.114 % | c | 2329 | 3496 3676 593250 | 6050 2329 3181 | 0.114 % | c | 2554 | 3496 3676 593250 | 6655 2554 3180 | 0.114 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 33.8029 s Remaining CPU time: 146.197 s c =============================================================================== c | 2686 | 3496 3677 596600 | 5000 2686 3180 | 0.114 % | c | 2786 | 3496 3677 596600 | 5500 2786 3180 | 0.114 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 34.4838 s Remaining CPU time: 145.516 s c =============================================================================== c | 2822 | 3496 3678 599950 | 5000 2822 3180 | 0.114 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 34.7807 s Remaining CPU time: 145.219 s c =============================================================================== c | 2843 | 3496 3679 603300 | 5000 2843 3180 | 0.114 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 35.0687 s Remaining CPU time: 144.931 s c =============================================================================== c | 2855 | 3496 3680 606650 | 5000 2855 3180 | 0.114 % | c | 2955 | 3496 3680 606650 | 5500 2955 3180 | 0.114 % | c | 3105 | 3496 3680 606650 | 6050 3105 3180 | 0.114 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 36.2045 s Remaining CPU time: 143.796 s c =============================================================================== c | 3126 | 3496 3681 610000 | 5000 3126 3180 | 0.114 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 36.4795 s Remaining CPU time: 143.521 s c =============================================================================== c | 3132 | 3496 3682 613350 | 5000 3132 3180 | 0.114 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 36.7554 s Remaining CPU time: 143.245 s c =============================================================================== c | 3136 | 3496 3683 616700 | 5000 3136 3180 | 0.114 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 37.0354 s Remaining CPU time: 142.965 s c =============================================================================== c | 3149 | 3496 3684 620050 | 5000 3149 3180 | 0.114 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 37.4583 s Remaining CPU time: 142.542 s c =============================================================================== c | 3209 | 3496 3685 623400 | 5000 3209 3179 | 0.114 % | c | 3310 | 3496 3685 623400 | 5500 3310 3179 | 0.114 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 38.1872 s Remaining CPU time: 141.813 s c =============================================================================== c | 3346 | 3496 3686 626750 | 5000 3346 3179 | 0.114 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 38.5671 s Remaining CPU time: 141.433 s c =============================================================================== c | 3392 | 3496 3687 630100 | 5000 3392 3179 | 0.114 % | c | 3493 | 3496 3687 630100 | 5500 3493 3179 | 0.114 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 39.251 s Remaining CPU time: 140.749 s c =============================================================================== c | 3513 | 3496 3688 633450 | 5000 3513 3178 | 0.114 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 39.537 s Remaining CPU time: 140.463 s c =============================================================================== c | 3518 | 3496 3689 636800 | 5000 3518 3178 | 0.114 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 39.8549 s Remaining CPU time: 140.145 s c =============================================================================== c | 3544 | 3496 3690 640150 | 5000 3544 3177 | 0.114 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 40.1569 s Remaining CPU time: 139.843 s c =============================================================================== c | 3559 | 3496 3691 643500 | 5000 3559 3177 | 0.114 % | c | 3659 | 3496 3691 643500 | 5500 3659 3177 | 0.114 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 41.0238 s Remaining CPU time: 138.976 s c =============================================================================== c | 3769 | 3496 3692 646850 | 5000 3769 3177 | 0.114 % | c | 3869 | 3496 3692 646850 | 5500 3869 3176 | 0.114 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 41.7487 s Remaining CPU time: 138.251 s c =============================================================================== c | 3918 | 3496 3693 650200 | 5000 3918 3176 | 0.114 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 42.0606 s Remaining CPU time: 137.939 s c =============================================================================== c | 3945 | 3496 3694 653550 | 5000 3945 3176 | 0.114 % | c | 4046 | 3496 3694 653550 | 5500 4046 3176 | 0.114 % | c | 4196 | 3496 3694 653550 | 6050 4196 3175 | 0.114 % | c | 4421 | 3496 3694 653550 | 6655 4421 3174 | 0.114 % | c | 4758 | 3496 3694 653550 | 7320 4758 3173 | 0.114 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 46.4789 s Remaining CPU time: 133.521 s c =============================================================================== c | 5244 | 3496 3695 656900 | 5000 5244 3172 | 0.114 % | c | 5344 | 3496 3695 656900 | 5500 2722 3161 | 0.114 % | c | 5494 | 3496 3695 656900 | 6050 2872 3161 | 0.114 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 47.8017 s Remaining CPU time: 132.198 s c =============================================================================== c | 5568 | 3496 3696 660250 | 5000 2946 3161 | 0.114 % | c | 5668 | 3496 3696 660250 | 5500 3046 3160 | 0.114 % | c | 5819 | 3496 3696 660250 | 6050 3197 3160 | 0.114 % | c | 6044 | 3496 3696 660250 | 6655 3422 3160 | 0.114 % | c | 6383 | 3496 3696 660250 | 7320 3761 3160 | 0.114 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 50.9992 s Remaining CPU time: 129.001 s c =============================================================================== c | 6783 | 3496 3697 663600 | 5000 4161 3158 | 0.114 % | c | 6883 | 3496 3697 663600 | 5500 4261 3158 | 0.114 % | c | 7033 | 3496 3697 663600 | 6050 4411 3158 | 0.114 % | c | 7258 | 3496 3697 663600 | 6655 4636 3158 | 0.114 % | c | 7595 | 3496 3697 663600 | 7320 4973 3158 | 0.114 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 53.7458 s Remaining CPU time: 126.254 s c =============================================================================== c | 7652 | 3496 3698 666950 | 5000 5030 3158 | 0.114 % | c | 7753 | 3496 3698 666950 | 5500 2616 3154 | 0.114 % | c | 7903 | 3496 3698 666950 | 6050 2766 3154 | 0.114 % | c | 8128 | 3496 3698 666950 | 6655 2991 3154 | 0.114 % | c | 8465 | 3496 3698 666950 | 7320 3328 3154 | 0.114 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 56.9813 s Remaining CPU time: 123.019 s c =============================================================================== c | 8877 | 3496 3699 670300 | 5000 3740 3154 | 0.114 % | c | 8977 | 3496 3699 670300 | 5500 3840 3154 | 0.114 % | c | 9127 | 3496 3699 670300 | 6050 3990 3154 | 0.114 % | c | 9353 | 3496 3699 670300 | 6655 4216 3154 | 0.114 % | c | 9691 | 3496 3699 670300 | 7320 4554 3154 | 0.114 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 59.9749 s Remaining CPU time: 120.025 s c =============================================================================== c | 9998 | 3496 3700 673650 | 5000 4861 3154 | 0.114 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 60.3358 s Remaining CPU time: 119.664 s c =============================================================================== c | 10058 | 3496 3701 677000 | 5000 4921 3154 | 0.114 % | c | 10158 | 3496 3701 677000 | 5500 5021 3154 | 0.114 % | c | 10308 | 3496 3701 677000 | 6050 5171 3154 | 0.114 % | c | 10534 | 3496 3701 677000 | 6655 5397 3154 | 0.114 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 62.2455 s Remaining CPU time: 117.754 s c =============================================================================== c | 10584 | 3496 3702 680350 | 5000 5447 3154 | 0.114 % | c | 10684 | 3496 3702 680350 | 5500 2824 3150 | 0.114 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 63.2994 s Remaining CPU time: 116.701 s c =============================================================================== c | 10769 | 3496 3703 683700 | 5000 2909 3150 | 0.114 % | c | 10869 | 3496 3703 683700 | 5500 3009 3150 | 0.114 % | c | 11019 | 3496 3703 683700 | 6050 3159 3150 | 0.114 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 64.9091 s Remaining CPU time: 115.091 s c =============================================================================== c | 11153 | 3496 3704 687050 | 5000 3293 3150 | 0.114 % | c | 11253 | 3496 3704 687050 | 5500 3393 3150 | 0.114 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 65.649 s Remaining CPU time: 114.351 s c =============================================================================== c | 11289 | 3496 3705 690400 | 5000 3429 3150 | 0.114 % | c | 11390 | 3496 3705 690400 | 5500 3530 3150 | 0.114 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 66.4779 s Remaining CPU time: 113.522 s c =============================================================================== c | 11479 | 3496 3706 693750 | 5000 3619 3149 | 0.114 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 66.8308 s Remaining CPU time: 113.169 s c =============================================================================== c | 11510 | 3496 3707 697100 | 5000 3650 3149 | 0.114 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 67.2328 s Remaining CPU time: 112.767 s c =============================================================================== c | 11582 | 3496 3708 700450 | 5000 3722 3149 | 0.114 % | c | 11682 | 3496 3708 700450 | 5500 3822 3149 | 0.114 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 68.0057 s Remaining CPU time: 111.994 s c =============================================================================== c | 11747 | 3496 3709 703800 | 5000 3887 3149 | 0.114 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 68.3576 s Remaining CPU time: 111.642 s c =============================================================================== c | 11781 | 3496 3710 707150 | 5000 3921 3149 | 0.114 % | c | 11881 | 3496 3710 707150 | 5500 4021 3149 | 0.114 % | c | 12031 | 3496 3710 707150 | 6050 4171 3149 | 0.114 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 69.8434 s Remaining CPU time: 110.157 s c =============================================================================== c | 12218 | 3496 3711 710500 | 5000 4358 3148 | 0.114 % | c | 12318 | 3496 3711 710500 | 5500 4458 3148 | 0.114 % | c | 12468 | 3496 3711 710500 | 6050 4608 3148 | 0.114 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 71.1662 s Remaining CPU time: 108.834 s c =============================================================================== c | 12501 | 3496 3712 713850 | 5000 4641 3148 | 0.114 % | c | 12601 | 3496 3712 713850 | 5500 4741 3148 | 0.114 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 72.077 s Remaining CPU time: 107.923 s c =============================================================================== c | 12659 | 3496 3713 717200 | 5000 4799 3148 | 0.114 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 72.501 s Remaining CPU time: 107.499 s c =============================================================================== c | 12751 | 3496 3714 720550 | 5000 4891 3148 | 0.114 % | c | 12852 | 3496 3714 720550 | 5500 4992 3148 | 0.114 % | c | 13004 | 3496 3714 720550 | 6050 5144 3147 | 0.114 % | c | 13229 | 3496 3714 720550 | 6655 5369 3147 | 0.114 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 74.6177 s Remaining CPU time: 105.382 s c =============================================================================== c | 13254 | 3496 3715 723900 | 5000 5394 3147 | 0.114 % | c | 13354 | 3496 3715 723900 | 5500 2797 3139 | 0.114 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 75.5915 s Remaining CPU time: 104.408 s c =============================================================================== c | 13403 | 3496 3716 727250 | 5000 2846 3139 | 0.114 % | c | 13504 | 3496 3716 727250 | 5500 2947 3139 | 0.114 % | c | 13654 | 3496 3716 727250 | 6050 3097 3139 | 0.114 % | c | 13879 | 3496 3716 727250 | 6655 3322 3139 | 0.114 % | c | 14216 | 3496 3716 727250 | 7320 3659 3139 | 0.114 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 79.19 s Remaining CPU time: 100.81 s c =============================================================================== c | 14346 | 3496 3717 730600 | 5000 3789 3139 | 0.114 % | c | 14446 | 3496 3717 730600 | 5500 3889 3139 | 0.114 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 80.1148 s Remaining CPU time: 99.8852 s c =============================================================================== c | 14540 | 3496 3718 733950 | 5000 3983 3139 | 0.114 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 80.4708 s Remaining CPU time: 99.5292 s c =============================================================================== c | 14567 | 3496 3719 737300 | 5000 4010 3139 | 0.114 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 80.8347 s Remaining CPU time: 99.1653 s c =============================================================================== c | 14586 | 3496 3720 740650 | 5000 4029 3139 | 0.114 % | c | 14686 | 3496 3720 740650 | 5500 4129 3139 | 0.114 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 81.7516 s Remaining CPU time: 98.2484 s c =============================================================================== c | 14751 | 3496 3721 744000 | 5000 4194 3139 | 0.114 % | c | 14851 | 3496 3721 744000 | 5500 4294 3138 | 0.114 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 82.7314 s Remaining CPU time: 97.2686 s c =============================================================================== c | 14892 | 3496 3722 747350 | 5000 4335 3138 | 0.114 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 83.1004 s Remaining CPU time: 96.8996 s c =============================================================================== c | 14907 | 3496 3723 750700 | 5000 4350 3138 | 0.114 % | c | 15007 | 3496 3723 750700 | 5500 4450 3138 | 0.114 % | c | 15158 | 3496 3723 750700 | 6050 4601 3138 | 0.114 % | c | 15383 | 3496 3723 750700 | 6655 4826 3138 | 0.114 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 85.1371 s Remaining CPU time: 94.8629 s c =============================================================================== c | 15467 | 3496 3724 754050 | 5000 4910 3138 | 0.114 % | c | 15567 | 3496 3724 754050 | 5500 5010 3137 | 0.114 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 86.1879 s Remaining CPU time: 93.8121 s c =============================================================================== c | 15640 | 3496 3725 757400 | 5000 5083 3137 | 0.114 % | c | 15740 | 3496 3725 757400 | 5500 2642 3130 | 0.114 % | c | 15890 | 3496 3725 757400 | 6050 2792 3130 | 0.114 % | c | 16115 | 3496 3725 757400 | 6655 3017 3130 | 0.114 % | c | 16452 | 3496 3725 757400 | 7320 3354 3128 | 0.114 % | c | 16958 | 3496 3725 757400 | 8052 3860 3128 | 0.114 % | c | 17717 | 3496 3725 757400 | 8857 4619 3128 | 0.114 % | c | 18856 | 3496 3725 757400 | 9743 5758 3129 | 0.114 % | c | 20564 | 3496 3725 757400 | 10717 7466 3129 | 0.114 % | c | 23126 | 3496 3725 757400 | 11789 10028 3128 | 0.114 % | c | 26970 | 3496 3725 757400 | 12968 13872 3128 | 0.114 % |