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 | 3489 3504 10346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 3489 3505 13696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 3489 3506 17046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 3489 3507 20396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 3489 3508 23746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 3489 3509 27096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 3489 3510 30446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 3489 3511 33796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 3489 3512 37146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 3489 3513 40496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 3489 3514 43846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 3489 3515 47196 | 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 | 3489 3516 50546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 3489 3517 53896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 3489 3518 57246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 3489 3519 60596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 3489 3520 63946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 3489 3521 67296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 3489 3522 70646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 3489 3523 73996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 3489 3524 77346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 0 | 3489 3525 80696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 3489 3526 84046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 3489 3527 87396 | 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 | 3489 3528 90746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 0 | 3489 3529 94096 | 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 | 3489 3530 97446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 3489 3531 100796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 0 | 3489 3532 104146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 0 | 3489 3533 107496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 0 | 3489 3534 110846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 3489 3535 114196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 0 | 3489 3536 117546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.610907 s Remaining CPU time: 179.389 s c =============================================================================== c | 0 | 3489 3537 120896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 0 | 3489 3538 124246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 3489 3539 127596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 0 | 3489 3540 130946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 0 | 3489 3541 134296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s c =============================================================================== c | 0 | 3489 3542 137646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.860869 s Remaining CPU time: 179.139 s c =============================================================================== c | 0 | 3489 3543 140996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 0 | 3489 3544 144346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 0 | 3489 3545 147696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 1.01885 s Remaining CPU time: 178.981 s c =============================================================================== c | 0 | 3489 3546 151046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 0 | 3489 3547 154396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 0 | 3489 3548 157746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.19682 s Remaining CPU time: 178.803 s c =============================================================================== c | 0 | 3489 3549 161096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 0 | 3489 3550 164446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.3228 s Remaining CPU time: 178.677 s c =============================================================================== c | 0 | 3489 3551 167796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.38679 s Remaining CPU time: 178.613 s c =============================================================================== c | 0 | 3489 3552 171146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 0 | 3489 3553 174496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 0 | 3489 3554 177846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.59176 s Remaining CPU time: 178.408 s c =============================================================================== c | 0 | 3489 3555 181196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 0 | 3489 3556 184546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.74473 s Remaining CPU time: 178.255 s c =============================================================================== c | 0 | 3489 3557 187896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.82572 s Remaining CPU time: 178.174 s c =============================================================================== c | 0 | 3489 3558 191246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.90571 s Remaining CPU time: 178.094 s c =============================================================================== c | 0 | 3489 3559 194596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 1.9857 s Remaining CPU time: 178.014 s c =============================================================================== c | 0 | 3489 3560 197946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 0 | 3489 3561 201296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 2.15267 s Remaining CPU time: 177.847 s c =============================================================================== c | 0 | 3489 3562 204646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.24266 s Remaining CPU time: 177.757 s c =============================================================================== c | 0 | 3489 3563 207996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.33065 s Remaining CPU time: 177.669 s c =============================================================================== c | 0 | 3489 3564 211346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.42363 s Remaining CPU time: 177.576 s c =============================================================================== c | 0 | 3489 3565 214696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.51962 s Remaining CPU time: 177.48 s c =============================================================================== c | 0 | 3489 3566 218046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.6176 s Remaining CPU time: 177.382 s c =============================================================================== c | 0 | 3489 3567 221396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.71659 s Remaining CPU time: 177.283 s c =============================================================================== c | 0 | 3489 3568 224746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.81757 s Remaining CPU time: 177.182 s c =============================================================================== c | 0 | 3489 3569 228096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.91656 s Remaining CPU time: 177.083 s c =============================================================================== c | 0 | 3489 3570 231446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 3.02254 s Remaining CPU time: 176.977 s c =============================================================================== c | 0 | 3489 3571 234796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 3.12852 s Remaining CPU time: 176.871 s c =============================================================================== c | 0 | 3489 3572 238146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 3.23551 s Remaining CPU time: 176.764 s c =============================================================================== c | 0 | 3489 3573 241496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.34649 s Remaining CPU time: 176.654 s c =============================================================================== c | 0 | 3489 3574 244846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.45947 s Remaining CPU time: 176.541 s c =============================================================================== c | 0 | 3489 3575 248196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.57246 s Remaining CPU time: 176.428 s c =============================================================================== c | 0 | 3489 3576 251546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.68344 s Remaining CPU time: 176.317 s c =============================================================================== c | 0 | 3489 3577 254896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 3.80242 s Remaining CPU time: 176.198 s c =============================================================================== c | 0 | 3489 3578 258246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 3.9224 s Remaining CPU time: 176.078 s c =============================================================================== c | 0 | 3489 3579 261596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 4.04338 s Remaining CPU time: 175.957 s c =============================================================================== c | 0 | 3489 3580 264946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 4.16737 s Remaining CPU time: 175.833 s c =============================================================================== c | 0 | 3489 3581 268296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 4.29435 s Remaining CPU time: 175.706 s c =============================================================================== c | 0 | 3489 3582 271646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.42233 s Remaining CPU time: 175.578 s c =============================================================================== c | 0 | 3489 3583 274996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.55231 s Remaining CPU time: 175.448 s c =============================================================================== c | 0 | 3489 3584 278346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 4.68329 s Remaining CPU time: 175.317 s c =============================================================================== c | 0 | 3489 3585 281696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 4.81927 s Remaining CPU time: 175.181 s c =============================================================================== c | 0 | 3489 3586 285046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 4.95625 s Remaining CPU time: 175.044 s c =============================================================================== c | 0 | 3489 3587 288396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 5.09623 s Remaining CPU time: 174.904 s c =============================================================================== c | 0 | 3489 3588 291746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 0 | 3489 3589 295096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 5.38318 s Remaining CPU time: 174.617 s c =============================================================================== c | 0 | 3489 3590 298446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.53116 s Remaining CPU time: 174.469 s c =============================================================================== c | 0 | 3489 3591 301796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.67914 s Remaining CPU time: 174.321 s c =============================================================================== c | 0 | 3489 3592 305146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 5.82811 s Remaining CPU time: 174.172 s c =============================================================================== c | 0 | 3489 3593 308496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 5.98209 s Remaining CPU time: 174.018 s c =============================================================================== c | 0 | 3489 3594 311846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 6.13407 s Remaining CPU time: 173.866 s c =============================================================================== c | 0 | 3489 3595 315196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 6.29404 s Remaining CPU time: 173.706 s c =============================================================================== c | 0 | 3489 3596 318546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 6.45502 s Remaining CPU time: 173.545 s c =============================================================================== c | 0 | 3489 3597 321896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 6.62199 s Remaining CPU time: 173.378 s c =============================================================================== c | 0 | 3489 3598 325246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 6.78397 s Remaining CPU time: 173.216 s c =============================================================================== c | 0 | 3489 3599 328596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 6.94694 s Remaining CPU time: 173.053 s c =============================================================================== c | 0 | 3489 3600 331946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 7.11592 s Remaining CPU time: 172.884 s c =============================================================================== c | 0 | 3489 3601 335296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 7.28489 s Remaining CPU time: 172.715 s c =============================================================================== c | 0 | 3489 3602 338646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 7.45887 s Remaining CPU time: 172.541 s c =============================================================================== c | 0 | 3489 3603 341996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 7.63384 s Remaining CPU time: 172.366 s c =============================================================================== c | 0 | 3489 3604 345346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 7.81281 s Remaining CPU time: 172.187 s c =============================================================================== c | 0 | 3489 3605 348696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 7.99378 s Remaining CPU time: 172.006 s c =============================================================================== c | 0 | 3489 3606 352046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 8.17676 s Remaining CPU time: 171.823 s c =============================================================================== c | 0 | 3489 3607 355396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 8.36373 s Remaining CPU time: 171.636 s c =============================================================================== c | 0 | 3489 3608 358746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 8.5497 s Remaining CPU time: 171.45 s c =============================================================================== c | 0 | 3489 3609 362096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 8.73367 s Remaining CPU time: 171.266 s c =============================================================================== c | 0 | 3489 3610 365446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 8.92664 s Remaining CPU time: 171.073 s c =============================================================================== c | 0 | 3489 3611 368796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 9.11661 s Remaining CPU time: 170.883 s c =============================================================================== c | 0 | 3489 3612 372146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 9.31858 s Remaining CPU time: 170.681 s c =============================================================================== c | 0 | 3489 3613 375496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 9.51955 s Remaining CPU time: 170.48 s c =============================================================================== c | 0 | 3489 3614 378846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 9.72952 s Remaining CPU time: 170.27 s c =============================================================================== c | 1 | 3489 3615 382196 | 5000 1 3242 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 9.94049 s Remaining CPU time: 170.06 s c =============================================================================== c | 1 | 3489 3616 385546 | 5000 1 3242 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 10.1615 s Remaining CPU time: 169.839 s c =============================================================================== c | 2 | 3489 3617 388896 | 5000 2 3241 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 10.3994 s Remaining CPU time: 169.601 s c =============================================================================== c | 10 | 3489 3618 392246 | 5000 10 3240 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 10.6204 s Remaining CPU time: 169.38 s c =============================================================================== c | 10 | 3489 3619 395596 | 5000 10 3240 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 10.8444 s Remaining CPU time: 169.156 s c =============================================================================== c | 10 | 3489 3620 398946 | 5000 10 3240 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 11.1083 s Remaining CPU time: 168.892 s c =============================================================================== c | 16 | 3489 3621 402296 | 5000 16 3238 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 11.3623 s Remaining CPU time: 168.638 s c =============================================================================== c | 18 | 3489 3622 405646 | 5000 18 3238 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 11.6042 s Remaining CPU time: 168.396 s c =============================================================================== c | 24 | 3489 3623 408996 | 5000 24 3237 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 11.8412 s Remaining CPU time: 168.159 s c =============================================================================== c | 32 | 3489 3624 412346 | 5000 32 3236 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 12.1741 s Remaining CPU time: 167.826 s c =============================================================================== c | 93 | 3489 3625 415696 | 5000 93 3234 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 12.4241 s Remaining CPU time: 167.576 s c =============================================================================== c | 94 | 3489 3626 419046 | 5000 94 3200 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 12.6871 s Remaining CPU time: 167.313 s c =============================================================================== c | 115 | 3489 3627 422396 | 5000 115 3205 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 12.93 s Remaining CPU time: 167.07 s c =============================================================================== c | 122 | 3489 3628 425746 | 5000 122 3207 | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 13.174 s Remaining CPU time: 166.826 s c =============================================================================== c | 122 | 3489 3629 429096 | 5000 122 3207 | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 13.442 s Remaining CPU time: 166.558 s c =============================================================================== c | 122 | 3489 3630 432446 | 5000 122 3207 | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 13.7199 s Remaining CPU time: 166.28 s c =============================================================================== c | 130 | 3489 3631 435796 | 5000 130 3208 | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 13.9899 s Remaining CPU time: 166.01 s c =============================================================================== c | 140 | 3489 3632 439146 | 5000 140 3209 | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 14.2798 s Remaining CPU time: 165.72 s c =============================================================================== c | 151 | 3489 3633 442496 | 5000 151 3210 | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 14.5428 s Remaining CPU time: 165.457 s c =============================================================================== c | 151 | 3489 3634 445846 | 5000 151 3210 | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 14.8797 s Remaining CPU time: 165.12 s c =============================================================================== c | 184 | 3489 3635 449196 | 5000 184 3212 | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 15.1447 s Remaining CPU time: 164.855 s c =============================================================================== c | 185 | 3489 3636 452546 | 5000 185 3213 | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 15.4507 s Remaining CPU time: 164.549 s c =============================================================================== c | 224 | 3489 3637 455896 | 5000 224 3214 | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 15.7186 s Remaining CPU time: 164.281 s c =============================================================================== c | 224 | 3489 3638 459246 | 5000 224 3214 | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 15.9856 s Remaining CPU time: 164.014 s c =============================================================================== c | 224 | 3489 3639 462596 | 5000 224 3214 | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 16.3705 s Remaining CPU time: 163.629 s c =============================================================================== c | 256 | 3489 3640 465946 | 5000 256 3214 | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 16.6635 s Remaining CPU time: 163.337 s c =============================================================================== c | 257 | 3489 3641 469296 | 5000 257 3214 | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 16.9484 s Remaining CPU time: 163.052 s c =============================================================================== c | 258 | 3489 3642 472646 | 5000 258 3214 | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 17.2314 s Remaining CPU time: 162.769 s c =============================================================================== c | 259 | 3489 3643 475996 | 5000 259 3214 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 17.5103 s Remaining CPU time: 162.49 s c =============================================================================== c | 260 | 3489 3644 479346 | 5000 260 3214 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 17.7873 s Remaining CPU time: 162.213 s c =============================================================================== c | 260 | 3489 3645 482696 | 5000 260 3214 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 18.0733 s Remaining CPU time: 161.927 s c =============================================================================== c | 264 | 3489 3646 486046 | 5000 264 3214 | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 18.4572 s Remaining CPU time: 161.543 s c =============================================================================== c | 294 | 3489 3647 489396 | 5000 294 3214 | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 18.8191 s Remaining CPU time: 161.181 s c =============================================================================== c | 302 | 3489 3648 492746 | 5000 302 3214 | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 19.1601 s Remaining CPU time: 160.84 s c =============================================================================== c | 313 | 3489 3649 496096 | 5000 313 3214 | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 19.545 s Remaining CPU time: 160.455 s c =============================================================================== c | 353 | 3489 3650 499446 | 5000 353 3213 | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 19.868 s Remaining CPU time: 160.132 s c =============================================================================== c | 364 | 3489 3651 502796 | 5000 364 3213 | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 20.1749 s Remaining CPU time: 159.825 s c =============================================================================== c | 378 | 3489 3652 506146 | 5000 378 3212 | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 20.6849 s Remaining CPU time: 159.315 s c =============================================================================== c | 468 | 3489 3653 509496 | 5000 468 3211 | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 21.0018 s Remaining CPU time: 158.998 s c =============================================================================== c | 472 | 3489 3654 512846 | 5000 472 3211 | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 21.3488 s Remaining CPU time: 158.651 s c =============================================================================== c | 501 | 3489 3655 516196 | 5000 501 3210 | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 21.7707 s Remaining CPU time: 158.229 s c =============================================================================== c | 557 | 3489 3656 519546 | 5000 557 3210 | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 22.1406 s Remaining CPU time: 157.859 s c =============================================================================== c | 581 | 3489 3657 522896 | 5000 581 3209 | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 22.5756 s Remaining CPU time: 157.424 s c =============================================================================== c | 615 | 3489 3658 526246 | 5000 615 3209 | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 22.9995 s Remaining CPU time: 157 s c =============================================================================== c | 645 | 3489 3659 529596 | 5000 645 3208 | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 23.3105 s Remaining CPU time: 156.69 s c =============================================================================== c | 662 | 3489 3660 532946 | 5000 662 3208 | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 23.6904 s Remaining CPU time: 156.31 s c =============================================================================== c | 737 | 3489 3661 536296 | 5000 737 3207 | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 23.9904 s Remaining CPU time: 156.01 s c =============================================================================== c | 739 | 3489 3662 539646 | 5000 739 3207 | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 24.3083 s Remaining CPU time: 155.692 s c =============================================================================== c | 760 | 3489 3663 542996 | 5000 760 3206 | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 24.6433 s Remaining CPU time: 155.357 s c =============================================================================== c | 793 | 3489 3664 546346 | 5000 793 3206 | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 25.0552 s Remaining CPU time: 154.945 s c =============================================================================== c | 862 | 3489 3665 549696 | 5000 862 3205 | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 25.3651 s Remaining CPU time: 154.635 s c =============================================================================== c | 869 | 3489 3666 553046 | 5000 869 3205 | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 25.6821 s Remaining CPU time: 154.318 s c =============================================================================== c | 882 | 3489 3667 556396 | 5000 882 3204 | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 26.166 s Remaining CPU time: 153.834 s c =============================================================================== c | 968 | 3489 3668 559746 | 5000 968 3203 | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 26.549 s Remaining CPU time: 153.451 s c =============================================================================== c | 1004 | 3489 3669 563096 | 5000 1004 3203 | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 26.8689 s Remaining CPU time: 153.131 s c =============================================================================== c | 1012 | 3489 3670 566446 | 5000 1012 3202 | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 27.3328 s Remaining CPU time: 152.667 s c =============================================================================== c | 1083 | 3489 3671 569796 | 5000 1083 3198 | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 27.6548 s Remaining CPU time: 152.345 s c =============================================================================== c | 1087 | 3489 3672 573146 | 5000 1087 3198 | 0.000 % | c | 1187 | 3489 3672 573146 | 5500 1187 3197 | 0.314 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 28.6206 s Remaining CPU time: 151.379 s c =============================================================================== c | 1219 | 3489 3673 576496 | 5000 1219 3197 | 0.314 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 28.9806 s Remaining CPU time: 151.019 s c =============================================================================== c | 1246 | 3489 3674 579846 | 5000 1246 3197 | 0.314 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 29.3165 s Remaining CPU time: 150.683 s c =============================================================================== c | 1256 | 3489 3675 583196 | 5000 1256 3196 | 0.314 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 29.8105 s Remaining CPU time: 150.19 s c =============================================================================== c | 1311 | 3489 3676 586546 | 5000 1311 3196 | 0.314 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 30.3594 s Remaining CPU time: 149.641 s c =============================================================================== c | 1407 | 3489 3677 589896 | 5000 1407 3193 | 0.314 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 30.6993 s Remaining CPU time: 149.301 s c =============================================================================== c | 1415 | 3489 3678 593246 | 5000 1415 3193 | 0.314 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 31.1483 s Remaining CPU time: 148.852 s c =============================================================================== c | 1462 | 3489 3679 596596 | 5000 1462 3192 | 0.314 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 31.4962 s Remaining CPU time: 148.504 s c =============================================================================== c | 1478 | 3489 3680 599946 | 5000 1478 3192 | 0.314 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 31.9481 s Remaining CPU time: 148.052 s c =============================================================================== c | 1526 | 3489 3681 603296 | 5000 1526 3191 | 0.314 % | c | 1627 | 3489 3681 603296 | 5500 1627 3190 | 0.314 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 32.833 s Remaining CPU time: 147.167 s c =============================================================================== c | 1641 | 3489 3682 606646 | 5000 1641 3190 | 0.314 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 33.207 s Remaining CPU time: 146.793 s c =============================================================================== c | 1672 | 3489 3683 609996 | 5000 1672 3190 | 0.314 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 33.5709 s Remaining CPU time: 146.429 s c =============================================================================== c | 1695 | 3489 3684 613346 | 5000 1695 3190 | 0.314 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 33.9398 s Remaining CPU time: 146.06 s c =============================================================================== c | 1722 | 3489 3685 616696 | 5000 1722 3190 | 0.314 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 34.3798 s Remaining CPU time: 145.62 s c =============================================================================== c | 1769 | 3489 3686 620046 | 5000 1769 3189 | 0.314 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 34.7757 s Remaining CPU time: 145.224 s c =============================================================================== c | 1795 | 3489 3687 623396 | 5000 1795 3189 | 0.314 % | c | 1895 | 3489 3687 623396 | 5500 1895 3188 | 0.314 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 35.6886 s Remaining CPU time: 144.311 s c =============================================================================== c | 1948 | 3489 3688 626746 | 5000 1948 3187 | 0.314 % | c | 2049 | 3489 3688 626746 | 5500 2049 3186 | 0.314 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 36.7424 s Remaining CPU time: 143.258 s c =============================================================================== c | 2066 | 3489 3689 630096 | 5000 2066 3186 | 0.314 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 37.2803 s Remaining CPU time: 142.72 s c =============================================================================== c | 2161 | 3489 3690 633446 | 5000 2161 3185 | 0.314 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 37.7943 s Remaining CPU time: 142.206 s c =============================================================================== c | 2243 | 3489 3691 636796 | 5000 2243 3185 | 0.314 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 38.2362 s Remaining CPU time: 141.764 s c =============================================================================== c | 2281 | 3489 3692 640146 | 5000 2281 3184 | 0.314 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 38.6121 s Remaining CPU time: 141.388 s c =============================================================================== c | 2298 | 3489 3693 643496 | 5000 2298 3184 | 0.314 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 38.9781 s Remaining CPU time: 141.022 s c =============================================================================== c | 2299 | 3489 3694 646846 | 5000 2299 3184 | 0.314 % | c | 2400 | 3489 3694 646846 | 5500 2400 3183 | 0.314 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 39.9959 s Remaining CPU time: 140.004 s c =============================================================================== c | 2470 | 3489 3695 650196 | 5000 2470 3183 | 0.314 % | c | 2571 | 3489 3695 650196 | 5500 2571 3182 | 0.314 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 41.0928 s Remaining CPU time: 138.907 s c =============================================================================== c | 2614 | 3489 3696 653546 | 5000 2614 3182 | 0.314 % | c | 2714 | 3489 3696 653546 | 5500 2714 3181 | 0.314 % | c | 2864 | 3489 3696 653546 | 6050 2864 3180 | 0.314 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 42.8285 s Remaining CPU time: 137.172 s c =============================================================================== c | 2887 | 3489 3697 656896 | 5000 2887 3180 | 0.314 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 43.2364 s Remaining CPU time: 136.764 s c =============================================================================== c | 2921 | 3489 3698 660246 | 5000 2921 3179 | 0.314 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 43.6304 s Remaining CPU time: 136.37 s c =============================================================================== c | 2934 | 3489 3699 663596 | 5000 2934 3179 | 0.314 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 44.0093 s Remaining CPU time: 135.991 s c =============================================================================== c | 2936 | 3489 3700 666946 | 5000 2936 3179 | 0.314 % | c | 3036 | 3489 3700 666946 | 5500 3036 3178 | 0.314 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 45.3001 s Remaining CPU time: 134.7 s c =============================================================================== c | 3144 | 3489 3701 670296 | 5000 3144 3178 | 0.314 % | c | 3244 | 3489 3701 670296 | 5500 3244 3177 | 0.314 % | c | 3395 | 3489 3701 670296 | 6050 3395 3176 | 0.314 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 47.2408 s Remaining CPU time: 132.759 s c =============================================================================== c | 3477 | 3489 3702 673646 | 5000 3477 3176 | 0.314 % | c | 3577 | 3489 3702 673646 | 5500 3577 3175 | 0.314 % | c | 3727 | 3489 3702 673646 | 6050 3727 3174 | 0.314 % | c | 3952 | 3489 3702 673646 | 6655 3952 3173 | 0.314 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 50.2254 s Remaining CPU time: 129.775 s c =============================================================================== c | 4110 | 3489 3703 676996 | 5000 4110 3172 | 0.314 % | c | 4212 | 3489 3703 676996 | 5500 4212 3172 | 0.314 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 51.3712 s Remaining CPU time: 128.629 s c =============================================================================== c | 4288 | 3489 3704 680346 | 5000 4288 3172 | 0.314 % | c | 4389 | 3489 3704 680346 | 5500 4389 3171 | 0.314 % | c | 4540 | 3489 3704 680346 | 6050 4540 3171 | 0.314 % | c | 4766 | 3489 3704 680346 | 6655 4766 3170 | 0.314 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 54.6277 s Remaining CPU time: 125.372 s c =============================================================================== c | 4925 | 3489 3705 683696 | 5000 4925 3169 | 0.314 % | c | 5025 | 3489 3705 683696 | 5500 5025 3169 | 0.314 % | c | 5175 | 3489 3705 683696 | 6050 5175 3168 | 0.314 % | c | 5401 | 3489 3705 683696 | 6655 5401 3167 | 0.314 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 57.4093 s Remaining CPU time: 122.591 s c =============================================================================== c | 5626 | 3489 3706 687046 | 5000 5626 3166 | 0.314 % | c | 5727 | 3489 3706 687046 | 5500 2914 3150 | 0.314 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 58.6141 s Remaining CPU time: 121.386 s c =============================================================================== c | 5860 | 3489 3707 690396 | 5000 3047 3150 | 0.314 % | c | 5960 | 3489 3707 690396 | 5500 3147 3150 | 0.314 % | c | 6111 | 3489 3707 690396 | 6050 3298 3150 | 0.314 % | c | 6337 | 3489 3707 690396 | 6655 3524 3150 | 0.314 % | c | 6674 | 3489 3707 690396 | 7320 3861 3150 | 0.314 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 62.9354 s Remaining CPU time: 117.065 s c =============================================================================== c | 6949 | 3489 3708 693746 | 5000 4136 3150 | 0.314 % | c | 7050 | 3489 3708 693746 | 5500 4237 3150 | 0.314 % | c | 7200 | 3489 3708 693746 | 6050 4387 3150 | 0.314 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 65.1941 s Remaining CPU time: 114.806 s c =============================================================================== c | 7326 | 3489 3709 697096 | 5000 4513 3150 | 0.314 % | c | 7426 | 3489 3709 697096 | 5500 4613 3150 | 0.314 % | c | 7576 | 3489 3709 697096 | 6050 4763 3149 | 0.314 % | c | 7801 | 3489 3709 697096 | 6655 4988 3149 | 0.314 % | c | 8139 | 3489 3709 697096 | 7320 5326 3149 | 0.314 % | c | 8645 | 3489 3709 697096 | 8052 5832 3149 | 0.314 % | c | 9406 | 3489 3709 697096 | 8857 6593 3149 | 0.314 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 73.4528 s Remaining CPU time: 106.547 s c =============================================================================== c | 10175 | 3489 3710 700446 | 5000 7362 3148 | 0.314 % | c | 10275 | 3489 3710 700446 | 5500 3781 3144 | 0.314 % | c | 10426 | 3489 3710 700446 | 6050 3932 3144 | 0.314 % | c | 10653 | 3489 3710 700446 | 6655 4159 3144 | 0.314 % | c | 10991 | 3489 3710 700446 | 7320 4497 3144 | 0.314 % | c | 11497 | 3489 3710 700446 | 8052 5003 3145 | 0.314 % | c | 12256 | 3489 3710 700446 | 8857 5762 3145 | 0.314 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 80.3828 s Remaining CPU time: 99.6172 s c =============================================================================== c | 12379 | 3489 3711 703796 | 5000 5885 3144 | 0.314 % | c | 12480 | 3489 3711 703796 | 5500 3044 3141 | 0.314 % | c | 12630 | 3489 3711 703796 | 6050 3194 3141 | 0.314 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 82.2855 s Remaining CPU time: 97.7145 s c =============================================================================== c | 12817 | 3489 3712 707146 | 5000 3381 3141 | 0.314 % | c | 12918 | 3489 3712 707146 | 5500 3482 3141 | 0.314 % | c | 13068 | 3489 3712 707146 | 6050 3632 3141 | 0.314 % | c | 13293 | 3489 3712 707146 | 6655 3857 3142 | 0.314 % | c | 13630 | 3489 3712 707146 | 7320 4194 3142 | 0.314 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 85.9259 s Remaining CPU time: 94.0741 s c =============================================================================== c | 13751 | 3489 3713 710496 | 5000 4315 3142 | 0.314 % | c | 13852 | 3489 3713 710496 | 5500 4416 3142 | 0.314 % | c | 14002 | 3489 3713 710496 | 6050 4566 3142 | 0.314 % | c | 14227 | 3489 3713 710496 | 6655 4791 3142 | 0.314 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 88.6625 s Remaining CPU time: 91.3375 s c =============================================================================== c | 14366 | 3489 3714 713846 | 5000 4930 3142 | 0.314 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 89.1105 s Remaining CPU time: 90.8895 s c =============================================================================== c | 14389 | 3489 3715 717196 | 5000 4953 3142 | 0.314 % | c | 14490 | 3489 3715 717196 | 5500 5054 3142 | 0.314 % | c | 14640 | 3489 3715 717196 | 6050 5204 3142 | 0.314 % | c | 14865 | 3489 3715 717196 | 6655 5429 3142 | 0.314 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 92.213 s Remaining CPU time: 87.787 s c =============================================================================== c | 15147 | 3489 3716 720546 | 5000 5711 3142 | 0.314 % | c | 15248 | 3489 3716 720546 | 5500 2957 3137 | 0.314 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 93.5988 s Remaining CPU time: 86.4012 s c =============================================================================== c | 15371 | 3489 3717 723896 | 5000 3080 3137 | 0.314 % | c | 15472 | 3489 3717 723896 | 5500 3181 3137 | 0.314 % | c | 15622 | 3489 3717 723896 | 6050 3331 3137 | 0.314 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 95.6255 s Remaining CPU time: 84.3745 s c =============================================================================== c | 15775 | 3489 3718 727246 | 5000 3484 3138 | 0.314 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 96.1884 s Remaining CPU time: 83.8116 s c =============================================================================== c | 15824 | 3489 3719 730596 | 5000 3533 3138 | 0.314 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 96.6413 s Remaining CPU time: 83.3587 s c =============================================================================== c | 15851 | 3489 3720 733946 | 5000 3560 3138 | 0.314 % | c | 15951 | 3489 3720 733946 | 5500 3660 3138 | 0.314 % | c | 16101 | 3489 3720 733946 | 6050 3810 3138 | 0.314 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 98.503 s Remaining CPU time: 81.497 s c =============================================================================== c | 16134 | 3489 3721 737296 | 5000 3843 3137 | 0.314 % | c | 16235 | 3489 3721 737296 | 5500 3944 3137 | 0.314 % | c | 16385 | 3489 3721 737296 | 6050 4094 3137 | 0.314 % | c | 16610 | 3489 3721 737296 | 6655 4319 3137 | 0.314 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 100.947 s Remaining CPU time: 79.0533 s c =============================================================================== c | 16706 | 3489 3722 740646 | 5000 4415 3137 | 0.314 % | c | 16807 | 3489 3722 740646 | 5500 4516 3137 | 0.314 % | c | 16958 | 3489 3722 740646 | 6050 4667 3137 | 0.314 % | c | 17183 | 3489 3722 740646 | 6655 4892 3137 | 0.314 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 103.79 s Remaining CPU time: 76.2098 s c =============================================================================== c | 17403 | 3489 3723 743996 | 5000 5112 3137 | 0.314 % | c | 17503 | 3489 3723 743996 | 5500 2656 3130 | 0.314 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 104.843 s Remaining CPU time: 75.1569 s c =============================================================================== c | 17557 | 3489 3724 747346 | 5000 2710 3130 | 0.314 % | c | 17657 | 3489 3724 747346 | 5500 2810 3130 | 0.314 % | c | 17808 | 3489 3724 747346 | 6050 2961 3130 | 0.314 % | c | 18034 | 3489 3724 747346 | 6655 3187 3130 | 0.314 % | c | 18372 | 3489 3724 747346 | 7320 3525 3131 | 0.314 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 108.846 s Remaining CPU time: 71.1535 s c =============================================================================== c | 18429 | 3489 3725 750696 | 5000 3582 3131 | 0.314 % | c | 18529 | 3489 3725 750696 | 5500 3682 3131 | 0.314 % | c | 18679 | 3489 3725 750696 | 6050 3832 3131 | 0.314 % | c | 18904 | 3489 3725 750696 | 6655 4057 3131 | 0.314 % | c | 19242 | 3489 3725 750696 | 7320 4395 3131 | 0.314 % | c | 19748 | 3489 3725 750696 | 8052 4901 3131 | 0.314 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 113.642 s Remaining CPU time: 66.3583 s c =============================================================================== c | 19887 | 3489 3726 754046 | 5000 5040 3131 | 0.314 % | c | 19987 | 3489 3726 754046 | 5500 2620 3125 | 0.314 % | c | 20137 | 3489 3726 754046 | 6050 2770 3125 | 0.314 % | c | 20362 | 3489 3726 754046 | 6655 2995 3126 | 0.314 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 116.293 s Remaining CPU time: 63.7067 s c =============================================================================== c | 20421 | 3489 3727 757396 | 5000 3054 3126 | 0.314 % | c | 20522 | 3489 3727 757396 | 5500 3155 3126 | 0.314 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 117.437 s Remaining CPU time: 62.5629 s c =============================================================================== c | 20593 | 3489 3728 760746 | 5000 3226 3126 | 0.314 % | c | 20695 | 3489 3728 760746 | 5500 3328 3126 | 0.314 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 118.599 s Remaining CPU time: 61.401 s c =============================================================================== c | 20796 | 3489 3729 764096 | 5000 3429 3126 | 0.314 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 119.244 s Remaining CPU time: 60.7561 s c =============================================================================== c | 20888 | 3489 3730 767446 | 5000 3521 3126 | 0.314 % | c | 20989 | 3489 3730 767446 | 5500 3622 3126 | 0.314 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 120.519 s Remaining CPU time: 59.4813 s c =============================================================================== c | 21087 | 3489 3731 770796 | 5000 3720 3126 | 0.314 % | c | 21187 | 3489 3731 770796 | 5500 3820 3126 | 0.314 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 121.705 s Remaining CPU time: 58.2945 s c =============================================================================== c | 21278 | 3489 3732 774146 | 5000 3911 3126 | 0.314 % | c | 21379 | 3489 3732 774146 | 5500 4012 3126 | 0.314 % | c | 21530 | 3489 3732 774146 | 6050 4163 3126 | 0.314 % | c | 21756 | 3489 3732 774146 | 6655 4389 3126 | 0.314 % | c | 22093 | 3489 3732 774146 | 7320 4726 3126 | 0.314 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 125.575 s Remaining CPU time: 54.4251 s c =============================================================================== c | 22221 | 3489 3733 777496 | 5000 4854 3126 | 0.314 % | c | 22321 | 3489 3733 777496 | 5500 4954 3126 | 0.314 % | c | 22472 | 3489 3733 777496 | 6050 5105 3126 | 0.314 % | c | 22697 | 3489 3733 777496 | 6655 5330 3126 | 0.314 % | c | 23034 | 3489 3733 777496 | 7320 5667 3126 | 0.314 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 130.77 s Remaining CPU time: 49.2299 s c =============================================================================== c | 23447 | 3489 3734 780846 | 5000 6080 3125 | 0.314 % | c | 23547 | 3489 3734 780846 | 5500 3140 3119 | 0.314 % | c | 23698 | 3489 3734 780846 | 6050 3291 3119 | 0.314 % | c | 23923 | 3489 3734 780846 | 6655 3516 3119 | 0.314 % | c | 24261 | 3489 3734 780846 | 7320 3854 3119 | 0.314 % | c | 24767 | 3489 3734 780846 | 8052 4360 3119 | 0.314 % | c | 25526 | 3489 3734 780846 | 8857 5119 3120 | 0.314 % | c | 26666 | 3489 3734 780846 | 9743 6259 3120 | 0.314 % | c | 28375 | 3489 3734 780846 | 10717 7968 3121 | 0.314 % |