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 | 3497 3503 10336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 3497 3504 13686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 3497 3505 17036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 3497 3506 20386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 3497 3507 23736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 3497 3508 27086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 3497 3509 30436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 3497 3510 33786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 3497 3511 37136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 3497 3512 40486 | 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 | 3497 3513 43836 | 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 | 3497 3514 47186 | 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 | 3497 3515 50536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 3497 3516 53886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 3497 3517 57236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 3497 3518 60586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 3497 3519 63936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 3497 3520 67286 | 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 | 3497 3521 70636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 3497 3522 73986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 3497 3523 77336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 3497 3524 80686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 3497 3525 84036 | 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 | 3497 3526 87386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 3497 3527 90736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 3497 3528 94086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 0 | 3497 3529 97436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 0 | 3497 3530 100786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 0 | 3497 3531 104136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 0 | 3497 3532 107486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 0 | 3497 3533 110836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 0 | 3497 3534 114186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 0 | 3497 3535 117536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s c =============================================================================== c | 0 | 3497 3536 120886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 0 | 3497 3537 124236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 0 | 3497 3538 127586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 0 | 3497 3539 130936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 0 | 3497 3540 134286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 0 | 3497 3541 137636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.928858 s Remaining CPU time: 179.071 s c =============================================================================== c | 0 | 3497 3542 140986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 0 | 3497 3543 144336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 0 | 3497 3544 147686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 0 | 3497 3545 151036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 0 | 3497 3546 154386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 0 | 3497 3547 157736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 0 | 3497 3548 161086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.35279 s Remaining CPU time: 178.647 s c =============================================================================== c | 0 | 3497 3549 164436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.42178 s Remaining CPU time: 178.578 s c =============================================================================== c | 0 | 3497 3550 167786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 0 | 3497 3551 171136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.56176 s Remaining CPU time: 178.438 s c =============================================================================== c | 0 | 3497 3552 174486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 0 | 3497 3553 177836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.70974 s Remaining CPU time: 178.29 s c =============================================================================== c | 0 | 3497 3554 181186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.78773 s Remaining CPU time: 178.212 s c =============================================================================== c | 0 | 3497 3555 184536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 0 | 3497 3556 187886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.9487 s Remaining CPU time: 178.051 s c =============================================================================== c | 0 | 3497 3557 191236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 2.02869 s Remaining CPU time: 177.971 s c =============================================================================== c | 0 | 3497 3558 194586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 0 | 3497 3559 197936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 2.19467 s Remaining CPU time: 177.805 s c =============================================================================== c | 0 | 3497 3560 201286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 2.28065 s Remaining CPU time: 177.719 s c =============================================================================== c | 0 | 3497 3561 204636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s c =============================================================================== c | 1 | 3497 3562 207986 | 5000 1 3294 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.46263 s Remaining CPU time: 177.537 s c =============================================================================== c | 1 | 3497 3563 211336 | 5000 1 3294 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.56061 s Remaining CPU time: 177.439 s c =============================================================================== c | 1 | 3497 3564 214686 | 5000 1 3294 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.66759 s Remaining CPU time: 177.332 s c =============================================================================== c | 1 | 3497 3565 218036 | 5000 1 3294 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.77958 s Remaining CPU time: 177.22 s c =============================================================================== c | 1 | 3497 3566 221386 | 5000 1 3294 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.89056 s Remaining CPU time: 177.109 s c =============================================================================== c | 2 | 3497 3567 224736 | 5000 2 3292 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 3.00054 s Remaining CPU time: 176.999 s c =============================================================================== c | 2 | 3497 3568 228086 | 5000 2 3292 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s c =============================================================================== c | 2 | 3497 3569 231436 | 5000 2 3292 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 3 | 3497 3570 234786 | 5000 3 3290 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 3.36249 s Remaining CPU time: 176.638 s c =============================================================================== c | 3 | 3497 3571 238136 | 5000 3 3290 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 3.48847 s Remaining CPU time: 176.512 s c =============================================================================== c | 4 | 3497 3572 241486 | 5000 4 2468 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.61145 s Remaining CPU time: 176.389 s c =============================================================================== c | 4 | 3497 3573 244836 | 5000 4 2468 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s c =============================================================================== c | 6 | 3497 3574 248186 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.86241 s Remaining CPU time: 176.138 s c =============================================================================== c | 6 | 3497 3575 251536 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.98839 s Remaining CPU time: 176.012 s c =============================================================================== c | 6 | 3497 3576 254886 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 4.12037 s Remaining CPU time: 175.88 s c =============================================================================== c | 6 | 3497 3577 258236 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 4.25735 s Remaining CPU time: 175.743 s c =============================================================================== c | 9 | 3497 3578 261586 | 5000 9 2919 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 9 | 3497 3579 264936 | 5000 9 2919 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 4.52931 s Remaining CPU time: 175.471 s c =============================================================================== c | 9 | 3497 3580 268286 | 5000 9 2919 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 4.66429 s Remaining CPU time: 175.336 s c =============================================================================== c | 9 | 3497 3581 271636 | 5000 9 2919 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.80827 s Remaining CPU time: 175.192 s c =============================================================================== c | 11 | 3497 3582 274986 | 5000 11 2983 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.95625 s Remaining CPU time: 175.044 s c =============================================================================== c | 18 | 3497 3583 278336 | 5000 18 3096 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 5.11422 s Remaining CPU time: 174.886 s c =============================================================================== c | 25 | 3497 3584 281686 | 5000 25 3145 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 5.2622 s Remaining CPU time: 174.738 s c =============================================================================== c | 25 | 3497 3585 285036 | 5000 25 3145 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 5.41318 s Remaining CPU time: 174.587 s c =============================================================================== c | 27 | 3497 3586 288386 | 5000 27 3154 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 5.56515 s Remaining CPU time: 174.435 s c =============================================================================== c | 27 | 3497 3587 291736 | 5000 27 3154 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 5.72113 s Remaining CPU time: 174.279 s c =============================================================================== c | 30 | 3497 3588 295086 | 5000 30 3166 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 5.87211 s Remaining CPU time: 174.128 s c =============================================================================== c | 30 | 3497 3589 298436 | 5000 30 3166 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 6.02808 s Remaining CPU time: 173.972 s c =============================================================================== c | 30 | 3497 3590 301786 | 5000 30 3166 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 6.18606 s Remaining CPU time: 173.814 s c =============================================================================== c | 32 | 3497 3591 305136 | 5000 32 3172 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 6.34504 s Remaining CPU time: 173.655 s c =============================================================================== c | 32 | 3497 3592 308486 | 5000 32 3172 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 6.52001 s Remaining CPU time: 173.48 s c =============================================================================== c | 42 | 3497 3593 311836 | 5000 42 3194 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 6.69598 s Remaining CPU time: 173.304 s c =============================================================================== c | 46 | 3497 3594 315186 | 5000 46 3200 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 6.87995 s Remaining CPU time: 173.12 s c =============================================================================== c | 52 | 3497 3595 318536 | 5000 52 3207 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 7.06293 s Remaining CPU time: 172.937 s c =============================================================================== c | 52 | 3497 3596 321886 | 5000 52 3207 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 7.2589 s Remaining CPU time: 172.741 s c =============================================================================== c | 62 | 3497 3597 325236 | 5000 62 3215 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 7.44087 s Remaining CPU time: 172.559 s c =============================================================================== c | 63 | 3497 3598 328586 | 5000 63 3216 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 7.62784 s Remaining CPU time: 172.372 s c =============================================================================== c | 72 | 3497 3599 331936 | 5000 72 3221 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 7.81081 s Remaining CPU time: 172.189 s c =============================================================================== c | 77 | 3497 3600 335286 | 5000 77 3223 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 7.99778 s Remaining CPU time: 172.002 s c =============================================================================== c | 78 | 3497 3601 338636 | 5000 78 3224 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 8.18675 s Remaining CPU time: 171.813 s c =============================================================================== c | 79 | 3497 3602 341986 | 5000 79 3224 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 8.38373 s Remaining CPU time: 171.616 s c =============================================================================== c | 80 | 3497 3603 345336 | 5000 80 3224 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 8.60469 s Remaining CPU time: 171.395 s c =============================================================================== c | 101 | 3497 3604 348686 | 5000 101 3230 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 8.82166 s Remaining CPU time: 171.178 s c =============================================================================== c | 106 | 3497 3605 352036 | 5000 106 3231 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 9.05562 s Remaining CPU time: 170.944 s c =============================================================================== c | 124 | 3497 3606 355386 | 5000 124 3234 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 9.26859 s Remaining CPU time: 170.731 s c =============================================================================== c | 126 | 3497 3607 358736 | 5000 126 3234 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 9.47756 s Remaining CPU time: 170.522 s c =============================================================================== c | 132 | 3497 3608 362086 | 5000 132 3235 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 9.68053 s Remaining CPU time: 170.319 s c =============================================================================== c | 133 | 3497 3609 365436 | 5000 133 3235 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 9.8825 s Remaining CPU time: 170.118 s c =============================================================================== c | 135 | 3497 3610 368786 | 5000 135 3235 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 10.1335 s Remaining CPU time: 169.867 s c =============================================================================== c | 178 | 3497 3611 372136 | 5000 178 3238 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 10.3394 s Remaining CPU time: 169.661 s c =============================================================================== c | 185 | 3497 3612 375486 | 5000 185 3238 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 10.5764 s Remaining CPU time: 169.424 s c =============================================================================== c | 202 | 3497 3613 378836 | 5000 202 3222 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 10.7894 s Remaining CPU time: 169.211 s c =============================================================================== c | 218 | 3497 3614 382186 | 5000 218 3224 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 11.0023 s Remaining CPU time: 168.998 s c =============================================================================== c | 227 | 3497 3615 385536 | 5000 227 3224 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 11.3363 s Remaining CPU time: 168.664 s c =============================================================================== c | 317 | 3497 3616 388886 | 5000 317 3229 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 11.5792 s Remaining CPU time: 168.421 s c =============================================================================== c | 326 | 3497 3617 392236 | 5000 326 3229 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 11.8322 s Remaining CPU time: 168.168 s c =============================================================================== c | 349 | 3497 3618 395586 | 5000 349 3230 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 12.0532 s Remaining CPU time: 167.947 s c =============================================================================== c | 349 | 3497 3619 398936 | 5000 349 3230 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 12.3201 s Remaining CPU time: 167.68 s c =============================================================================== c | 387 | 3497 3620 402286 | 5000 387 3230 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 12.5831 s Remaining CPU time: 167.417 s c =============================================================================== c | 442 | 3497 3621 405636 | 5000 442 3231 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 12.839 s Remaining CPU time: 167.161 s c =============================================================================== c | 478 | 3497 3622 408986 | 5000 478 3231 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 13.075 s Remaining CPU time: 166.925 s c =============================================================================== c | 499 | 3497 3623 412336 | 5000 499 3231 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 13.407 s Remaining CPU time: 166.593 s c =============================================================================== c | 577 | 3497 3624 415686 | 5000 577 3232 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 13.6489 s Remaining CPU time: 166.351 s c =============================================================================== c | 588 | 3497 3625 419036 | 5000 588 3232 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 13.9289 s Remaining CPU time: 166.071 s c =============================================================================== c | 636 | 3497 3626 422386 | 5000 636 3231 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 14.1588 s Remaining CPU time: 165.841 s c =============================================================================== c | 638 | 3497 3627 425736 | 5000 638 3226 | 0.000 % | c | 738 | 3497 3627 425736 | 5500 738 3227 | 0.086 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 14.8317 s Remaining CPU time: 165.168 s c =============================================================================== c | 787 | 3497 3628 429086 | 5000 787 3223 | 0.086 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 15.1247 s Remaining CPU time: 164.875 s c =============================================================================== c | 850 | 3497 3629 432436 | 5000 850 3223 | 0.086 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 15.3977 s Remaining CPU time: 164.602 s c =============================================================================== c | 884 | 3497 3630 435786 | 5000 884 3223 | 0.086 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 15.6506 s Remaining CPU time: 164.349 s c =============================================================================== c | 905 | 3497 3631 439136 | 5000 905 3223 | 0.086 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 15.8866 s Remaining CPU time: 164.113 s c =============================================================================== c | 907 | 3497 3632 442486 | 5000 907 3220 | 0.086 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 16.1385 s Remaining CPU time: 163.861 s c =============================================================================== c | 919 | 3497 3633 445836 | 5000 919 3220 | 0.086 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 16.3815 s Remaining CPU time: 163.618 s c =============================================================================== c | 922 | 3497 3634 449186 | 5000 922 3220 | 0.086 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 16.6605 s Remaining CPU time: 163.34 s c =============================================================================== c | 950 | 3497 3635 452536 | 5000 950 3220 | 0.086 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 16.9204 s Remaining CPU time: 163.08 s c =============================================================================== c | 963 | 3497 3636 455886 | 5000 963 3220 | 0.086 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 17.1954 s Remaining CPU time: 162.805 s c =============================================================================== c | 980 | 3497 3637 459236 | 5000 980 3220 | 0.086 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 17.4953 s Remaining CPU time: 162.505 s c =============================================================================== c | 1032 | 3497 3638 462586 | 5000 1032 3220 | 0.086 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 17.7623 s Remaining CPU time: 162.238 s c =============================================================================== c | 1047 | 3497 3639 465936 | 5000 1047 3220 | 0.086 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 18.1552 s Remaining CPU time: 161.845 s c =============================================================================== c | 1125 | 3497 3640 469286 | 5000 1125 3219 | 0.086 % | c | 1225 | 3497 3640 469286 | 5500 1225 3219 | 0.086 % | c | 1375 | 3497 3640 469286 | 6050 1375 3216 | 0.086 % | c | 1600 | 3497 3640 469286 | 6655 1600 3216 | 0.086 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 20.2869 s Remaining CPU time: 159.713 s c =============================================================================== c | 1875 | 3497 3641 472636 | 5000 1875 3216 | 0.086 % | c | 1975 | 3497 3641 472636 | 5500 1975 3216 | 0.086 % | c | 2125 | 3497 3641 472636 | 6050 2125 3216 | 0.086 % | c | 2351 | 3497 3641 472636 | 6655 2351 3216 | 0.086 % | c | 2688 | 3497 3641 472636 | 7320 2688 3216 | 0.086 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 22.9295 s Remaining CPU time: 157.07 s c =============================================================================== c | 2788 | 3497 3642 475986 | 5000 2788 3216 | 0.086 % | c | 2888 | 3497 3642 475986 | 5500 2888 3216 | 0.086 % | c | 3038 | 3497 3642 475986 | 6050 3038 3215 | 0.086 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 24.2743 s Remaining CPU time: 155.726 s c =============================================================================== c | 3155 | 3497 3643 479336 | 5000 3155 3215 | 0.086 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 24.6942 s Remaining CPU time: 155.306 s c =============================================================================== c | 3248 | 3497 3644 482686 | 5000 3248 3215 | 0.086 % | c | 3349 | 3497 3644 482686 | 5500 3349 3215 | 0.086 % | c | 3499 | 3497 3644 482686 | 6050 3499 3215 | 0.086 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 25.8721 s Remaining CPU time: 154.128 s c =============================================================================== c | 3557 | 3497 3645 486036 | 5000 3557 3215 | 0.086 % | c | 3657 | 3497 3645 486036 | 5500 3657 3215 | 0.086 % | c | 3808 | 3497 3645 486036 | 6050 3808 3215 | 0.086 % | c | 4033 | 3497 3645 486036 | 6655 4033 3214 | 0.086 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 27.9767 s Remaining CPU time: 152.023 s c =============================================================================== c | 4280 | 3497 3646 489386 | 5000 4280 3214 | 0.086 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 28.2577 s Remaining CPU time: 151.742 s c =============================================================================== c | 4292 | 3497 3647 492736 | 5000 4292 3214 | 0.086 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 28.5737 s Remaining CPU time: 151.426 s c =============================================================================== c | 4325 | 3497 3648 496086 | 5000 4325 3214 | 0.086 % | c | 4425 | 3497 3648 496086 | 5500 4425 3214 | 0.086 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 29.3435 s Remaining CPU time: 150.656 s c =============================================================================== c | 4526 | 3497 3649 499436 | 5000 4526 3214 | 0.086 % | c | 4627 | 3497 3649 499436 | 5500 4627 3214 | 0.086 % | c | 4777 | 3497 3649 499436 | 6050 4777 3213 | 0.086 % | c | 5003 | 3497 3649 499436 | 6655 5003 3213 | 0.086 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 31.4892 s Remaining CPU time: 148.511 s c =============================================================================== c | 5223 | 3497 3650 502786 | 5000 5223 3213 | 0.086 % | c | 5323 | 3497 3650 502786 | 5500 2712 3203 | 0.086 % | c | 5474 | 3497 3650 502786 | 6050 2863 3202 | 0.086 % | c | 5699 | 3497 3650 502786 | 6655 3088 3202 | 0.086 % | c | 6037 | 3497 3650 502786 | 7320 3426 3202 | 0.086 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 34.7327 s Remaining CPU time: 145.267 s c =============================================================================== c | 6529 | 3497 3651 506136 | 5000 3918 3203 | 0.086 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 35.1297 s Remaining CPU time: 144.87 s c =============================================================================== c | 6607 | 3497 3652 509486 | 5000 3996 3203 | 0.086 % | c | 6708 | 3497 3652 509486 | 5500 4097 3203 | 0.086 % | c | 6858 | 3497 3652 509486 | 6050 4247 3203 | 0.086 % | c | 7083 | 3497 3652 509486 | 6655 4472 3203 | 0.086 % | c | 7421 | 3497 3652 509486 | 7320 4810 3203 | 0.086 % | c | 7928 | 3497 3652 509486 | 8052 5317 3202 | 0.086 % | c | 8687 | 3497 3652 509486 | 8857 6076 3201 | 0.086 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 41.3147 s Remaining CPU time: 138.685 s c =============================================================================== c | 9303 | 3497 3653 512836 | 5000 6692 3201 | 0.086 % | c | 9403 | 3497 3653 512836 | 5500 3446 3194 | 0.086 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 42.0906 s Remaining CPU time: 137.909 s c =============================================================================== c | 9462 | 3497 3654 516186 | 5000 3505 3194 | 0.086 % | c | 9563 | 3497 3654 516186 | 5500 3606 3194 | 0.086 % | c | 9714 | 3497 3654 516186 | 6050 3757 3194 | 0.086 % | c | 9939 | 3497 3654 516186 | 6655 3982 3195 | 0.086 % | c | 10276 | 3497 3654 516186 | 7320 4319 3195 | 0.086 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 45.3441 s Remaining CPU time: 134.656 s c =============================================================================== c | 10598 | 3497 3655 519536 | 5000 4641 3196 | 0.086 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 45.762 s Remaining CPU time: 134.238 s c =============================================================================== c | 10671 | 3497 3656 522886 | 5000 4714 3196 | 0.086 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 46.062 s Remaining CPU time: 133.938 s c =============================================================================== c | 10676 | 3497 3657 526236 | 5000 4719 3196 | 0.086 % | c | 10778 | 3497 3657 526236 | 5500 4821 3196 | 0.086 % | c | 10928 | 3497 3657 526236 | 6050 4971 3196 | 0.086 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 47.6768 s Remaining CPU time: 132.323 s c =============================================================================== c | 11068 | 3497 3658 529586 | 5000 5111 3196 | 0.086 % | c | 11170 | 3497 3658 529586 | 5500 2658 3188 | 0.086 % | c | 11321 | 3497 3658 529586 | 6050 2809 3189 | 0.086 % | c | 11546 | 3497 3658 529586 | 6655 3034 3190 | 0.086 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 50.0864 s Remaining CPU time: 129.914 s c =============================================================================== c | 11665 | 3497 3659 532936 | 5000 3153 3190 | 0.086 % | c | 11766 | 3497 3659 532936 | 5500 3254 3190 | 0.086 % | c | 11916 | 3497 3659 532936 | 6050 3404 3190 | 0.086 % | c | 12141 | 3497 3659 532936 | 6655 3629 3191 | 0.086 % | c | 12478 | 3497 3659 532936 | 7320 3966 3191 | 0.086 % | c | 12984 | 3497 3659 532936 | 8052 4472 3190 | 0.086 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 54.2578 s Remaining CPU time: 125.742 s c =============================================================================== c | 13005 | 3497 3660 536286 | 5000 4493 3190 | 0.086 % | c | 13106 | 3497 3660 536286 | 5500 4594 3190 | 0.086 % | c | 13257 | 3497 3660 536286 | 6050 4745 3191 | 0.086 % | c | 13482 | 3497 3660 536286 | 6655 4970 3191 | 0.086 % | c | 13819 | 3497 3660 536286 | 7320 5307 3191 | 0.086 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 57.8532 s Remaining CPU time: 122.147 s c =============================================================================== c | 14308 | 3497 3661 539636 | 5000 5796 3192 | 0.086 % | c | 14408 | 3497 3661 539636 | 5500 2998 3183 | 0.086 % | c | 14559 | 3497 3661 539636 | 6050 3149 3184 | 0.086 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 59.6309 s Remaining CPU time: 120.369 s c =============================================================================== c | 14776 | 3497 3662 542986 | 5000 3366 3185 | 0.086 % | c | 14876 | 3497 3662 542986 | 5500 3466 3185 | 0.086 % | c | 15026 | 3497 3662 542986 | 6050 3616 3185 | 0.086 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 61.1957 s Remaining CPU time: 118.804 s c =============================================================================== c | 15172 | 3497 3663 546336 | 5000 3762 3185 | 0.086 % | c | 15273 | 3497 3663 546336 | 5500 3863 3186 | 0.086 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 61.9986 s Remaining CPU time: 118.001 s c =============================================================================== c | 15373 | 3497 3664 549686 | 5000 3963 3186 | 0.086 % | c | 15474 | 3497 3664 549686 | 5500 4064 3186 | 0.086 % | c | 15624 | 3497 3664 549686 | 6050 4214 3186 | 0.086 % | c | 15849 | 3497 3664 549686 | 6655 4439 3186 | 0.086 % | c | 16189 | 3497 3664 549686 | 7320 4779 3187 | 0.086 % | c | 16695 | 3497 3664 549686 | 8052 5285 3187 | 0.086 % | c | 17454 | 3497 3664 549686 | 8857 6044 3188 | 0.086 % | c | 18593 | 3497 3664 549686 | 9743 7183 3187 | 0.086 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 72.574 s Remaining CPU time: 107.426 s c =============================================================================== c | 19611 | 3497 3665 553036 | 5000 8201 3187 | 0.086 % | c | 19711 | 3497 3665 553036 | 5500 4201 3182 | 0.086 % | c | 19861 | 3497 3665 553036 | 6050 4351 3182 | 0.086 % | c | 20086 | 3497 3665 553036 | 6655 4576 3183 | 0.086 % | c | 20423 | 3497 3665 553036 | 7320 4913 3183 | 0.086 % | c | 20929 | 3497 3665 553036 | 8052 5419 3184 | 0.086 % | c | 21688 | 3497 3665 553036 | 8857 6178 3184 | 0.086 % | c | 22827 | 3497 3665 553036 | 9743 7317 3185 | 0.086 % | c | 24536 | 3497 3665 553036 | 10717 9026 3186 | 0.086 % | c | 27100 | 3497 3665 553036 | 11789 11590 3187 | 0.086 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 98.0311 s Remaining CPU time: 81.9689 s c =============================================================================== c | 29619 | 3497 3666 556386 | 5000 14109 3188 | 0.086 % |