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 | 3493 3507 10325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 3493 3508 13675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 3493 3509 17025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 3493 3510 20375 | 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 | 3493 3511 23725 | 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 | 3493 3512 27075 | 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 | 3493 3513 30425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 3493 3514 33775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 3493 3515 37125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 3493 3516 40475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 3493 3517 43825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 3493 3518 47175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 3493 3519 50525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 3493 3520 53875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 3493 3521 57225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 3493 3522 60575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 3493 3523 63925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 3493 3524 67275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 3493 3525 70625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 3493 3526 73975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 3493 3527 77325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 3493 3528 80675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 0 | 3493 3529 84025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 3493 3530 87375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 0 | 3493 3531 90725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 3493 3532 94075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 3493 3533 97425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 3493 3534 100775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s c =============================================================================== c | 0 | 3493 3535 104125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 0 | 3493 3536 107475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 0 | 3493 3537 110825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 0 | 3493 3538 114175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s c =============================================================================== c | 0 | 3493 3539 117525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 0 | 3493 3540 120875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 3493 3541 124225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 3493 3542 127575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 0 | 3493 3543 130925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 3493 3544 134275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 0 | 3493 3545 137625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.908861 s Remaining CPU time: 179.091 s c =============================================================================== c | 0 | 3493 3546 140975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.959854 s Remaining CPU time: 179.04 s c =============================================================================== c | 0 | 3493 3547 144325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 0 | 3493 3548 147675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 0 | 3493 3549 151025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 1.12383 s Remaining CPU time: 178.876 s c =============================================================================== c | 0 | 3493 3550 154375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 1.18182 s Remaining CPU time: 178.818 s c =============================================================================== c | 0 | 3493 3551 157725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.24381 s Remaining CPU time: 178.756 s c =============================================================================== c | 0 | 3493 3552 161075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.3068 s Remaining CPU time: 178.693 s c =============================================================================== c | 0 | 3493 3553 164425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 0 | 3493 3554 167775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.43578 s Remaining CPU time: 178.564 s c =============================================================================== c | 0 | 3493 3555 171125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.50377 s Remaining CPU time: 178.496 s c =============================================================================== c | 0 | 3493 3556 174475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.57476 s Remaining CPU time: 178.425 s c =============================================================================== c | 0 | 3493 3557 177825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 0 | 3493 3558 181175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 0 | 3493 3559 184525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 0 | 3493 3560 187875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.87571 s Remaining CPU time: 178.124 s c =============================================================================== c | 0 | 3493 3561 191225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.9527 s Remaining CPU time: 178.047 s c =============================================================================== c | 0 | 3493 3562 194575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 2.03369 s Remaining CPU time: 177.966 s c =============================================================================== c | 0 | 3493 3563 197925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 0 | 3493 3564 201275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 2.20366 s Remaining CPU time: 177.796 s c =============================================================================== c | 0 | 3493 3565 204625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.29265 s Remaining CPU time: 177.707 s c =============================================================================== c | 0 | 3493 3566 207975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.38364 s Remaining CPU time: 177.616 s c =============================================================================== c | 0 | 3493 3567 211325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.47662 s Remaining CPU time: 177.523 s c =============================================================================== c | 0 | 3493 3568 214675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.57361 s Remaining CPU time: 177.426 s c =============================================================================== c | 0 | 3493 3569 218025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.67259 s Remaining CPU time: 177.327 s c =============================================================================== c | 0 | 3493 3570 221375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.77458 s Remaining CPU time: 177.225 s c =============================================================================== c | 0 | 3493 3571 224725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.88056 s Remaining CPU time: 177.119 s c =============================================================================== c | 0 | 3493 3572 228075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.98855 s Remaining CPU time: 177.011 s c =============================================================================== c | 0 | 3493 3573 231425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 3.09653 s Remaining CPU time: 176.903 s c =============================================================================== c | 0 | 3493 3574 234775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 3.20751 s Remaining CPU time: 176.792 s c =============================================================================== c | 0 | 3493 3575 238125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 3.31949 s Remaining CPU time: 176.681 s c =============================================================================== c | 0 | 3493 3576 241475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.43148 s Remaining CPU time: 176.569 s c =============================================================================== c | 0 | 3493 3577 244825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.54546 s Remaining CPU time: 176.455 s c =============================================================================== c | 0 | 3493 3578 248175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s c =============================================================================== c | 0 | 3493 3579 251525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.77942 s Remaining CPU time: 176.221 s c =============================================================================== c | 0 | 3493 3580 254875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 3.89941 s Remaining CPU time: 176.101 s c =============================================================================== c | 0 | 3493 3581 258225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 4.02039 s Remaining CPU time: 175.98 s c =============================================================================== c | 0 | 3493 3582 261575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 4.14537 s Remaining CPU time: 175.855 s c =============================================================================== c | 0 | 3493 3583 264925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 4.26935 s Remaining CPU time: 175.731 s c =============================================================================== c | 0 | 3493 3584 268275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 0 | 3493 3585 271625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.52531 s Remaining CPU time: 175.475 s c =============================================================================== c | 0 | 3493 3586 274975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.65829 s Remaining CPU time: 175.342 s c =============================================================================== c | 0 | 3493 3587 278325 | 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 | 3493 3588 281675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 4.93125 s Remaining CPU time: 175.069 s c =============================================================================== c | 0 | 3493 3589 285025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 5.08023 s Remaining CPU time: 174.92 s c =============================================================================== c | 0 | 3493 3590 288375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 5.2342 s Remaining CPU time: 174.766 s c =============================================================================== c | 0 | 3493 3591 291725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 5.39918 s Remaining CPU time: 174.601 s c =============================================================================== c | 0 | 3493 3592 295075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 5.56715 s Remaining CPU time: 174.433 s c =============================================================================== c | 0 | 3493 3593 298425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.73713 s Remaining CPU time: 174.263 s c =============================================================================== c | 0 | 3493 3594 301775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.9121 s Remaining CPU time: 174.088 s c =============================================================================== c | 0 | 3493 3595 305125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 6.09007 s Remaining CPU time: 173.91 s c =============================================================================== c | 0 | 3493 3596 308475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 6.27205 s Remaining CPU time: 173.728 s c =============================================================================== c | 0 | 3493 3597 311825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 6.45402 s Remaining CPU time: 173.546 s c =============================================================================== c | 0 | 3493 3598 315175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 6.63799 s Remaining CPU time: 173.362 s c =============================================================================== c | 0 | 3493 3599 318525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 6.82296 s Remaining CPU time: 173.177 s c =============================================================================== c | 0 | 3493 3600 321875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 7.01393 s Remaining CPU time: 172.986 s c =============================================================================== c | 0 | 3493 3601 325225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 7.2089 s Remaining CPU time: 172.791 s c =============================================================================== c | 0 | 3493 3602 328575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 7.40387 s Remaining CPU time: 172.596 s c =============================================================================== c | 0 | 3493 3603 331925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 7.60284 s Remaining CPU time: 172.397 s c =============================================================================== c | 0 | 3493 3604 335275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 7.80081 s Remaining CPU time: 172.199 s c =============================================================================== c | 0 | 3493 3605 338625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 7.99778 s Remaining CPU time: 172.002 s c =============================================================================== c | 0 | 3493 3606 341975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 8.19375 s Remaining CPU time: 171.806 s c =============================================================================== c | 0 | 3493 3607 345325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 8.39272 s Remaining CPU time: 171.607 s c =============================================================================== c | 0 | 3493 3608 348675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 8.59069 s Remaining CPU time: 171.409 s c =============================================================================== c | 0 | 3493 3609 352025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 8.79366 s Remaining CPU time: 171.206 s c =============================================================================== c | 0 | 3493 3610 355375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 8.99463 s Remaining CPU time: 171.005 s c =============================================================================== c | 0 | 3493 3611 358725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 9.2026 s Remaining CPU time: 170.797 s c =============================================================================== c | 0 | 3493 3612 362075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 9.40857 s Remaining CPU time: 170.591 s c =============================================================================== c | 0 | 3493 3613 365425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 9.61154 s Remaining CPU time: 170.388 s c =============================================================================== c | 0 | 3493 3614 368775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 9.82051 s Remaining CPU time: 170.179 s c =============================================================================== c | 0 | 3493 3615 372125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 10.0315 s Remaining CPU time: 169.969 s c =============================================================================== c | 0 | 3493 3616 375475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 10.2464 s Remaining CPU time: 169.754 s c =============================================================================== c | 0 | 3493 3617 378825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 10.4594 s Remaining CPU time: 169.541 s c =============================================================================== c | 0 | 3493 3618 382175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 10.6764 s Remaining CPU time: 169.324 s c =============================================================================== c | 0 | 3493 3619 385525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 10.8933 s Remaining CPU time: 169.107 s c =============================================================================== c | 0 | 3493 3620 388875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 11.1203 s Remaining CPU time: 168.88 s c =============================================================================== c | 0 | 3493 3621 392225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 11.3513 s Remaining CPU time: 168.649 s c =============================================================================== c | 0 | 3493 3622 395575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 11.5862 s Remaining CPU time: 168.414 s c =============================================================================== c | 0 | 3493 3623 398925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 11.8202 s Remaining CPU time: 168.18 s c =============================================================================== c | 0 | 3493 3624 402275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 12.0532 s Remaining CPU time: 167.947 s c =============================================================================== c | 0 | 3493 3625 405625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 12.2901 s Remaining CPU time: 167.71 s c =============================================================================== c | 0 | 3493 3626 408975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 12.5251 s Remaining CPU time: 167.475 s c =============================================================================== c | 0 | 3493 3627 412325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 12.7651 s Remaining CPU time: 167.235 s c =============================================================================== c | 0 | 3493 3628 415675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 13.004 s Remaining CPU time: 166.996 s c =============================================================================== c | 0 | 3493 3629 419025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 13.245 s Remaining CPU time: 166.755 s c =============================================================================== c | 0 | 3493 3630 422375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 13.4889 s Remaining CPU time: 166.511 s c =============================================================================== c | 0 | 3493 3631 425725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 13.7329 s Remaining CPU time: 166.267 s c =============================================================================== c | 0 | 3493 3632 429075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 13.9789 s Remaining CPU time: 166.021 s c =============================================================================== c | 0 | 3493 3633 432425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 14.2248 s Remaining CPU time: 165.775 s c =============================================================================== c | 0 | 3493 3634 435775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 14.4788 s Remaining CPU time: 165.521 s c =============================================================================== c | 0 | 3493 3635 439125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 14.7318 s Remaining CPU time: 165.268 s c =============================================================================== c | 0 | 3493 3636 442475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 14.9907 s Remaining CPU time: 165.009 s c =============================================================================== c | 0 | 3493 3637 445825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 15.2457 s Remaining CPU time: 164.754 s c =============================================================================== c | 0 | 3493 3638 449175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 15.5076 s Remaining CPU time: 164.492 s c =============================================================================== c | 0 | 3493 3639 452525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 15.7686 s Remaining CPU time: 164.231 s c =============================================================================== c | 0 | 3493 3640 455875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 16.0296 s Remaining CPU time: 163.97 s c =============================================================================== c | 0 | 3493 3641 459225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 16.2915 s Remaining CPU time: 163.708 s c =============================================================================== c | 0 | 3493 3642 462575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 16.5575 s Remaining CPU time: 163.443 s c =============================================================================== c | 0 | 3493 3643 465925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 16.8284 s Remaining CPU time: 163.172 s c =============================================================================== c | 0 | 3493 3644 469275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 17.0964 s Remaining CPU time: 162.904 s c =============================================================================== c | 0 | 3493 3645 472625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 17.3744 s Remaining CPU time: 162.626 s c =============================================================================== c | 0 | 3493 3646 475975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 17.6503 s Remaining CPU time: 162.35 s c =============================================================================== c | 0 | 3493 3647 479325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 17.9313 s Remaining CPU time: 162.069 s c =============================================================================== c | 0 | 3493 3648 482675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 18.2072 s Remaining CPU time: 161.793 s c =============================================================================== c | 0 | 3493 3649 486025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 18.4832 s Remaining CPU time: 161.517 s c =============================================================================== c | 0 | 3493 3650 489375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 18.7631 s Remaining CPU time: 161.237 s c =============================================================================== c | 0 | 3493 3651 492725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 19.0431 s Remaining CPU time: 160.957 s c =============================================================================== c | 0 | 3493 3652 496075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 19.3281 s Remaining CPU time: 160.672 s c =============================================================================== c | 0 | 3493 3653 499425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 19.61 s Remaining CPU time: 160.39 s c =============================================================================== c | 0 | 3493 3654 502775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 19.896 s Remaining CPU time: 160.104 s c =============================================================================== c | 0 | 3493 3655 506125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 20.1839 s Remaining CPU time: 159.816 s c =============================================================================== c | 0 | 3493 3656 509475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 20.4719 s Remaining CPU time: 159.528 s c =============================================================================== c | 0 | 3493 3657 512825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 20.7628 s Remaining CPU time: 159.237 s c =============================================================================== c | 0 | 3493 3658 516175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 21.0538 s Remaining CPU time: 158.946 s c =============================================================================== c | 0 | 3493 3659 519525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 21.3468 s Remaining CPU time: 158.653 s c =============================================================================== c | 0 | 3493 3660 522875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 21.6417 s Remaining CPU time: 158.358 s c =============================================================================== c | 0 | 3493 3661 526225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 21.9377 s Remaining CPU time: 158.062 s c =============================================================================== c | 0 | 3493 3662 529575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 22.2366 s Remaining CPU time: 157.763 s c =============================================================================== c | 0 | 3493 3663 532925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 22.5346 s Remaining CPU time: 157.465 s c =============================================================================== c | 0 | 3493 3664 536275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 22.8365 s Remaining CPU time: 157.163 s c =============================================================================== c | 0 | 3493 3665 539625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 23.1425 s Remaining CPU time: 156.858 s c =============================================================================== c | 0 | 3493 3666 542975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 23.4474 s Remaining CPU time: 156.553 s c =============================================================================== c | 0 | 3493 3667 546325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 23.7544 s Remaining CPU time: 156.246 s c =============================================================================== c | 0 | 3493 3668 549675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 24.0593 s Remaining CPU time: 155.941 s c =============================================================================== c | 0 | 3493 3669 553025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 24.3743 s Remaining CPU time: 155.626 s c =============================================================================== c | 0 | 3493 3670 556375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 24.6892 s Remaining CPU time: 155.311 s c =============================================================================== c | 0 | 3493 3671 559725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 25.0032 s Remaining CPU time: 154.997 s c =============================================================================== c | 0 | 3493 3672 563075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 25.3211 s Remaining CPU time: 154.679 s c =============================================================================== c | 0 | 3493 3673 566425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 25.6371 s Remaining CPU time: 154.363 s c =============================================================================== c | 0 | 3493 3674 569775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 25.9571 s Remaining CPU time: 154.043 s c =============================================================================== c | 0 | 3493 3675 573125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 26.28 s Remaining CPU time: 153.72 s c =============================================================================== c | 0 | 3493 3676 576475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 26.603 s Remaining CPU time: 153.397 s c =============================================================================== c | 0 | 3493 3677 579825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 26.9279 s Remaining CPU time: 153.072 s c =============================================================================== c | 0 | 3493 3678 583175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 27.2589 s Remaining CPU time: 152.741 s c =============================================================================== c | 0 | 3493 3679 586525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 27.5918 s Remaining CPU time: 152.408 s c =============================================================================== c | 0 | 3493 3680 589875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 27.9228 s Remaining CPU time: 152.077 s c =============================================================================== c | 0 | 3493 3681 593225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 28.2577 s Remaining CPU time: 151.742 s c =============================================================================== c | 0 | 3493 3682 596575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 28.5937 s Remaining CPU time: 151.406 s c =============================================================================== c | 0 | 3493 3683 599925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 28.9306 s Remaining CPU time: 151.069 s c =============================================================================== c | 0 | 3493 3684 603275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 29.2695 s Remaining CPU time: 150.73 s c =============================================================================== c | 0 | 3493 3685 606625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 29.6145 s Remaining CPU time: 150.386 s c =============================================================================== c | 0 | 3493 3686 609975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 29.9574 s Remaining CPU time: 150.043 s c =============================================================================== c | 0 | 3493 3687 613325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 30.3074 s Remaining CPU time: 149.693 s c =============================================================================== c | 0 | 3493 3688 616675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 30.6543 s Remaining CPU time: 149.346 s c =============================================================================== c | 0 | 3493 3689 620025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 31.0033 s Remaining CPU time: 148.997 s c =============================================================================== c | 0 | 3493 3690 623375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 31.3542 s Remaining CPU time: 148.646 s c =============================================================================== c | 0 | 3493 3691 626725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 31.7042 s Remaining CPU time: 148.296 s c =============================================================================== c | 0 | 3493 3692 630075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 32.0601 s Remaining CPU time: 147.94 s c =============================================================================== c | 0 | 3493 3693 633425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 32.4151 s Remaining CPU time: 147.585 s c =============================================================================== c | 0 | 3493 3694 636775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 32.776 s Remaining CPU time: 147.224 s c =============================================================================== c | 0 | 3493 3695 640125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 33.138 s Remaining CPU time: 146.862 s c =============================================================================== c | 0 | 3493 3696 643475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 33.5049 s Remaining CPU time: 146.495 s c =============================================================================== c | 0 | 3493 3697 646825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 33.8728 s Remaining CPU time: 146.127 s c =============================================================================== c | 0 | 3493 3698 650175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 34.2438 s Remaining CPU time: 145.756 s c =============================================================================== c | 0 | 3493 3699 653525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 34.6167 s Remaining CPU time: 145.383 s c =============================================================================== c | 0 | 3493 3700 656875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 34.9927 s Remaining CPU time: 145.007 s c =============================================================================== c | 0 | 3493 3701 660225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 35.3706 s Remaining CPU time: 144.629 s c =============================================================================== c | 0 | 3493 3702 663575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 35.7486 s Remaining CPU time: 144.251 s c =============================================================================== c | 0 | 3493 3703 666925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 36.1285 s Remaining CPU time: 143.871 s c =============================================================================== c | 0 | 3493 3704 670275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 36.5114 s Remaining CPU time: 143.489 s c =============================================================================== c | 0 | 3493 3705 673625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 36.9014 s Remaining CPU time: 143.099 s c =============================================================================== c | 0 | 3493 3706 676975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 37.2883 s Remaining CPU time: 142.712 s c =============================================================================== c | 0 | 3493 3707 680325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 37.6783 s Remaining CPU time: 142.322 s c =============================================================================== c | 0 | 3493 3708 683675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 38.0692 s Remaining CPU time: 141.931 s c =============================================================================== c | 0 | 3493 3709 687025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 38.4642 s Remaining CPU time: 141.536 s c =============================================================================== c | 0 | 3493 3710 690375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 38.8621 s Remaining CPU time: 141.138 s c =============================================================================== c | 0 | 3493 3711 693725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 39.26 s Remaining CPU time: 140.74 s c =============================================================================== c | 0 | 3493 3712 697075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 39.662 s Remaining CPU time: 140.338 s c =============================================================================== c | 0 | 3493 3713 700425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 40.0609 s Remaining CPU time: 139.939 s c =============================================================================== c | 0 | 3493 3714 703775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 40.4628 s Remaining CPU time: 139.537 s c =============================================================================== c | 0 | 3493 3715 707125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 40.8678 s Remaining CPU time: 139.132 s c =============================================================================== c | 0 | 3493 3716 710475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 41.2767 s Remaining CPU time: 138.723 s c =============================================================================== c | 0 | 3493 3717 713825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 41.6917 s Remaining CPU time: 138.308 s c =============================================================================== c | 0 | 3493 3718 717175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 42.1056 s Remaining CPU time: 137.894 s c =============================================================================== c | 0 | 3493 3719 720525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 42.5175 s Remaining CPU time: 137.482 s c =============================================================================== c | 1 | 3493 3720 723875 | 5000 1 3140 | 0.000 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 42.9535 s Remaining CPU time: 137.047 s c =============================================================================== c | 1 | 3493 3721 727225 | 5000 1 3140 | 0.000 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 43.3904 s Remaining CPU time: 136.61 s c =============================================================================== c | 1 | 3493 3722 730575 | 5000 1 3140 | 0.000 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 43.8403 s Remaining CPU time: 136.16 s c =============================================================================== c | 4 | 3493 3723 733925 | 5000 4 3137 | 0.000 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 44.2323 s Remaining CPU time: 135.768 s c =============================================================================== c | 4 | 3493 3724 737275 | 5000 4 3137 | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 44.6012 s Remaining CPU time: 135.399 s c =============================================================================== c | 4 | 3493 3725 740625 | 5000 4 3137 | 0.000 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 44.9432 s Remaining CPU time: 135.057 s c =============================================================================== c | 4 | 3493 3726 743975 | 5000 4 3137 | 0.000 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 45.2971 s Remaining CPU time: 134.703 s c =============================================================================== c | 4 | 3493 3727 747325 | 5000 4 3137 | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 45.6901 s Remaining CPU time: 134.31 s c =============================================================================== c | 21 | 3493 3728 750675 | 5000 21 3133 | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 46.036 s Remaining CPU time: 133.964 s c =============================================================================== c | 21 | 3493 3729 754025 | 5000 21 3133 | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 46.3759 s Remaining CPU time: 133.624 s c =============================================================================== c | 21 | 3493 3730 757375 | 5000 21 3133 | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 46.7609 s Remaining CPU time: 133.239 s c =============================================================================== c | 39 | 3493 3731 760725 | 5000 39 3131 | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 47.1028 s Remaining CPU time: 132.897 s c =============================================================================== c | 39 | 3493 3732 764075 | 5000 39 3131 | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 47.4668 s Remaining CPU time: 132.533 s c =============================================================================== c | 48 | 3493 3733 767425 | 5000 48 3131 | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 47.8387 s Remaining CPU time: 132.161 s c =============================================================================== c | 49 | 3493 3734 770775 | 5000 49 3130 | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 48.2147 s Remaining CPU time: 131.785 s c =============================================================================== c | 49 | 3493 3735 774125 | 5000 49 3130 | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 48.6016 s Remaining CPU time: 131.398 s c =============================================================================== c | 61 | 3493 3736 777475 | 5000 61 3129 | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 48.9976 s Remaining CPU time: 131.002 s c =============================================================================== c | 69 | 3493 3737 780825 | 5000 69 3129 | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 49.4125 s Remaining CPU time: 130.588 s c =============================================================================== c | 96 | 3493 3738 784175 | 5000 96 3127 | 0.000 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 49.8544 s Remaining CPU time: 130.146 s c =============================================================================== c | 124 | 3493 3739 787525 | 5000 124 3126 | 0.000 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 50.2714 s Remaining CPU time: 129.729 s c =============================================================================== c | 134 | 3493 3740 790875 | 5000 134 3125 | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 50.7653 s Remaining CPU time: 129.235 s c =============================================================================== c | 174 | 3493 3741 794225 | 5000 174 3124 | 0.000 % | c =============================================================================== c New solution: 3116 c Elapsed CPU time: 51.1882 s Remaining CPU time: 128.812 s c =============================================================================== c | 188 | 3493 3742 797575 | 5000 188 3123 | 0.000 % | c =============================================================================== c New solution: 3115 c Elapsed CPU time: 51.5742 s Remaining CPU time: 128.426 s c =============================================================================== c | 190 | 3493 3743 800925 | 5000 190 3123 | 0.000 % | c | 291 | 3493 3743 800925 | 5500 291 3121 | 0.200 % | c | 443 | 3493 3743 800925 | 6050 443 3120 | 0.200 % | c | 668 | 3493 3743 800925 | 6655 668 3119 | 0.200 % | c | 1005 | 3493 3743 800925 | 7320 1005 3115 | 0.200 % | c | 1511 | 3493 3743 800925 | 8052 1511 3116 | 0.200 % | c | 2271 | 3493 3743 800925 | 8857 2271 3116 | 0.200 % | c =============================================================================== c New solution: 3114 c Elapsed CPU time: 60.3148 s Remaining CPU time: 119.685 s c =============================================================================== c | 2554 | 3493 3744 804275 | 5000 2554 3116 | 0.200 % | c | 2655 | 3493 3744 804275 | 5500 2655 3116 | 0.200 % | c | 2805 | 3493 3744 804275 | 6050 2805 3116 | 0.200 % | c | 3030 | 3493 3744 804275 | 6655 3030 3115 | 0.200 % | c | 3367 | 3493 3744 804275 | 7320 3367 3115 | 0.200 % | c | 3873 | 3493 3744 804275 | 8052 3873 3115 | 0.200 % | c | 4632 | 3493 3744 804275 | 8857 4632 3115 | 0.200 % | c | 5771 | 3493 3744 804275 | 9743 5771 3115 | 0.200 % | c | 7479 | 3493 3744 804275 | 10717 7479 3115 | 0.200 % | c | 10041 | 3493 3744 804275 | 11789 10041 3115 | 0.200 % | c | 13886 | 3493 3744 804275 | 12968 13886 3115 | 0.200 % | c | 19652 | 3493 3744 804275 | 14265 12709 3113 | 0.200 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 121.935 s Remaining CPU time: 58.0645 s c =============================================================================== c | 20266 | 3493 3745 807625 | 5000 13323 3114 | 0.200 % | c | 20368 | 3493 3745 807625 | 5500 3433 3109 | 0.200 % | c | 20518 | 3493 3745 807625 | 6050 3583 3109 | 0.200 % | c | 20743 | 3493 3745 807625 | 6655 3808 3109 | 0.200 % | c | 21081 | 3493 3745 807625 | 7320 4146 3109 | 0.200 % | c | 21588 | 3493 3745 807625 | 8052 4653 3110 | 0.200 % | c | 22348 | 3493 3745 807625 | 8857 5413 3110 | 0.200 % | c | 23488 | 3493 3745 807625 | 9743 6553 3111 | 0.200 % | c | 25197 | 3493 3745 807625 | 10717 8262 3112 | 0.200 % | c | 27760 | 3493 3745 807625 | 11789 10825 3113 | 0.200 % |