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 | 3466 3503 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 3466 3504 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 3466 3505 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 3466 3506 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 3466 3507 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 3466 3508 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 3466 3509 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 3466 3510 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 3466 3511 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 3466 3512 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 3466 3513 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3466 3514 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 3466 3515 50550 | 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 | 3466 3516 53900 | 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 | 3466 3517 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 0 | 3466 3518 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 0 | 3466 3519 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 3466 3520 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 3466 3521 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 3466 3522 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 3466 3523 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 3466 3524 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 0 | 3466 3525 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 3466 3526 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 3466 3527 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 0 | 3466 3528 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 0 | 3466 3529 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 3466 3530 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 0 | 3466 3531 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 0 | 3466 3532 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 3466 3533 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 0 | 3466 3534 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 0 | 3466 3535 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 0 | 3466 3536 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 0 | 3466 3537 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.58791 s Remaining CPU time: 179.412 s c =============================================================================== c | 0 | 3466 3538 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s c =============================================================================== c | 0 | 3466 3539 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 3466 3540 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.691894 s Remaining CPU time: 179.308 s c =============================================================================== c | 0 | 3466 3541 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 0 | 3466 3542 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 0 | 3466 3543 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.808877 s Remaining CPU time: 179.191 s c =============================================================================== c | 0 | 3466 3544 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 0 | 3466 3545 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 0.895863 s Remaining CPU time: 179.104 s c =============================================================================== c | 0 | 3466 3546 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 0 | 3466 3547 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 0 | 3466 3548 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.03284 s Remaining CPU time: 178.967 s c =============================================================================== c | 0 | 3466 3549 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s c =============================================================================== c | 0 | 3466 3550 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 0 | 3466 3551 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 0 | 3466 3552 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 0 | 3466 3553 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.28181 s Remaining CPU time: 178.718 s c =============================================================================== c | 0 | 3466 3554 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 0 | 3466 3555 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.39179 s Remaining CPU time: 178.608 s c =============================================================================== c | 0 | 3466 3556 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 0 | 3466 3557 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.50977 s Remaining CPU time: 178.49 s c =============================================================================== c | 0 | 3466 3558 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 0 | 3466 3559 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 1.63775 s Remaining CPU time: 178.362 s c =============================================================================== c | 0 | 3466 3560 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 1.70174 s Remaining CPU time: 178.298 s c =============================================================================== c | 0 | 3466 3561 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 1.76873 s Remaining CPU time: 178.231 s c =============================================================================== c | 0 | 3466 3562 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 1.83772 s Remaining CPU time: 178.162 s c =============================================================================== c | 0 | 3466 3563 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 1.90771 s Remaining CPU time: 178.092 s c =============================================================================== c | 0 | 3466 3564 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 0 | 3466 3565 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 0 | 3466 3566 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.13167 s Remaining CPU time: 177.868 s c =============================================================================== c | 0 | 3466 3567 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.20766 s Remaining CPU time: 177.792 s c =============================================================================== c | 0 | 3466 3568 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s c =============================================================================== c | 0 | 3466 3569 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 0 | 3466 3570 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 2.44463 s Remaining CPU time: 177.555 s c =============================================================================== c | 0 | 3466 3571 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 0 | 3466 3572 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s c =============================================================================== c | 0 | 3466 3573 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 2.69359 s Remaining CPU time: 177.306 s c =============================================================================== c | 0 | 3466 3574 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 2.78058 s Remaining CPU time: 177.219 s c =============================================================================== c | 0 | 3466 3575 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 2.87056 s Remaining CPU time: 177.129 s c =============================================================================== c | 0 | 3466 3576 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 2.95955 s Remaining CPU time: 177.04 s c =============================================================================== c | 0 | 3466 3577 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 3.05054 s Remaining CPU time: 176.949 s c =============================================================================== c | 0 | 3466 3578 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 3.14252 s Remaining CPU time: 176.857 s c =============================================================================== c | 0 | 3466 3579 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 3.23851 s Remaining CPU time: 176.761 s c =============================================================================== c | 0 | 3466 3580 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s c =============================================================================== c | 0 | 3466 3581 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 3.43348 s Remaining CPU time: 176.567 s c =============================================================================== c | 0 | 3466 3582 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 3.53246 s Remaining CPU time: 176.468 s c =============================================================================== c | 0 | 3466 3583 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 3.63545 s Remaining CPU time: 176.365 s c =============================================================================== c | 0 | 3466 3584 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 3.73843 s Remaining CPU time: 176.262 s c =============================================================================== c | 0 | 3466 3585 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 3.83942 s Remaining CPU time: 176.161 s c =============================================================================== c | 0 | 3466 3586 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 3.9454 s Remaining CPU time: 176.055 s c =============================================================================== c | 0 | 3466 3587 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 4.05338 s Remaining CPU time: 175.947 s c =============================================================================== c | 0 | 3466 3588 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 4.16237 s Remaining CPU time: 175.838 s c =============================================================================== c | 0 | 3466 3589 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 4.27035 s Remaining CPU time: 175.73 s c =============================================================================== c | 0 | 3466 3590 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 4.38133 s Remaining CPU time: 175.619 s c =============================================================================== c | 0 | 3466 3591 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 4.49532 s Remaining CPU time: 175.505 s c =============================================================================== c | 0 | 3466 3592 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 4.6093 s Remaining CPU time: 175.391 s c =============================================================================== c | 0 | 3466 3593 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 4.72528 s Remaining CPU time: 175.275 s c =============================================================================== c | 0 | 3466 3594 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 4.84126 s Remaining CPU time: 175.159 s c =============================================================================== c | 0 | 3466 3595 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 4.95925 s Remaining CPU time: 175.041 s c =============================================================================== c | 0 | 3466 3596 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 5.08623 s Remaining CPU time: 174.914 s c =============================================================================== c | 0 | 3466 3597 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 5.21021 s Remaining CPU time: 174.79 s c =============================================================================== c | 0 | 3466 3598 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 5.33719 s Remaining CPU time: 174.663 s c =============================================================================== c | 0 | 3466 3599 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 5.46417 s Remaining CPU time: 174.536 s c =============================================================================== c | 0 | 3466 3600 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 5.59015 s Remaining CPU time: 174.41 s c =============================================================================== c | 0 | 3466 3601 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 5.71713 s Remaining CPU time: 174.283 s c =============================================================================== c | 0 | 3466 3602 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 5.85011 s Remaining CPU time: 174.15 s c =============================================================================== c | 0 | 3466 3603 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 5.98309 s Remaining CPU time: 174.017 s c =============================================================================== c | 0 | 3466 3604 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 6.12107 s Remaining CPU time: 173.879 s c =============================================================================== c | 0 | 3466 3605 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 6.25905 s Remaining CPU time: 173.741 s c =============================================================================== c | 0 | 3466 3606 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 6.40103 s Remaining CPU time: 173.599 s c =============================================================================== c | 0 | 3466 3607 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 6.54 s Remaining CPU time: 173.46 s c =============================================================================== c | 0 | 3466 3608 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 6.68198 s Remaining CPU time: 173.318 s c =============================================================================== c | 0 | 3466 3609 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 6.82496 s Remaining CPU time: 173.175 s c =============================================================================== c | 0 | 3466 3610 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 6.96794 s Remaining CPU time: 173.032 s c =============================================================================== c | 0 | 3466 3611 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 7.11492 s Remaining CPU time: 172.885 s c =============================================================================== c | 0 | 3466 3612 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 7.2629 s Remaining CPU time: 172.737 s c =============================================================================== c | 0 | 3466 3613 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 0 | 3466 3614 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 7.56285 s Remaining CPU time: 172.437 s c =============================================================================== c | 0 | 3466 3615 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 7.71583 s Remaining CPU time: 172.284 s c =============================================================================== c | 0 | 3466 3616 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 7.8688 s Remaining CPU time: 172.131 s c =============================================================================== c | 0 | 3466 3617 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 8.02278 s Remaining CPU time: 171.977 s c =============================================================================== c | 0 | 3466 3618 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 8.17976 s Remaining CPU time: 171.82 s c =============================================================================== c | 0 | 3466 3619 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 8.33573 s Remaining CPU time: 171.664 s c =============================================================================== c | 0 | 3466 3620 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 8.49571 s Remaining CPU time: 171.504 s c =============================================================================== c | 0 | 3466 3621 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 8.65868 s Remaining CPU time: 171.341 s c =============================================================================== c | 0 | 3466 3622 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 8.82266 s Remaining CPU time: 171.177 s c =============================================================================== c | 0 | 3466 3623 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 8.98563 s Remaining CPU time: 171.014 s c =============================================================================== c | 0 | 3466 3624 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 9.14861 s Remaining CPU time: 170.851 s c =============================================================================== c | 0 | 3466 3625 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 9.31758 s Remaining CPU time: 170.682 s c =============================================================================== c | 0 | 3466 3626 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 9.48756 s Remaining CPU time: 170.512 s c =============================================================================== c | 0 | 3466 3627 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 9.66053 s Remaining CPU time: 170.339 s c =============================================================================== c | 0 | 3466 3628 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 9.8325 s Remaining CPU time: 170.167 s c =============================================================================== c | 0 | 3466 3629 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 10.0075 s Remaining CPU time: 169.993 s c =============================================================================== c | 0 | 3466 3630 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 10.1825 s Remaining CPU time: 169.818 s c =============================================================================== c | 0 | 3466 3631 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 10.3604 s Remaining CPU time: 169.64 s c =============================================================================== c | 0 | 3466 3632 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 10.5364 s Remaining CPU time: 169.464 s c =============================================================================== c | 0 | 3466 3633 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 10.7154 s Remaining CPU time: 169.285 s c =============================================================================== c | 0 | 3466 3634 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 10.8993 s Remaining CPU time: 169.101 s c =============================================================================== c | 0 | 3466 3635 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 11.0853 s Remaining CPU time: 168.915 s c =============================================================================== c | 0 | 3466 3636 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 11.2703 s Remaining CPU time: 168.73 s c =============================================================================== c | 0 | 3466 3637 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 11.4583 s Remaining CPU time: 168.542 s c =============================================================================== c | 0 | 3466 3638 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 11.6492 s Remaining CPU time: 168.351 s c =============================================================================== c | 0 | 3466 3639 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 11.8402 s Remaining CPU time: 168.16 s c =============================================================================== c | 0 | 3466 3640 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 12.0312 s Remaining CPU time: 167.969 s c =============================================================================== c | 0 | 3466 3641 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 12.2241 s Remaining CPU time: 167.776 s c =============================================================================== c | 0 | 3466 3642 476000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 12.4211 s Remaining CPU time: 167.579 s c =============================================================================== c | 0 | 3466 3643 479350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 12.6231 s Remaining CPU time: 167.377 s c =============================================================================== c | 0 | 3466 3644 482700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 12.8171 s Remaining CPU time: 167.183 s c =============================================================================== c | 0 | 3466 3645 486050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 13.015 s Remaining CPU time: 166.985 s c =============================================================================== c | 0 | 3466 3646 489400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 13.219 s Remaining CPU time: 166.781 s c =============================================================================== c | 0 | 3466 3647 492750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 13.423 s Remaining CPU time: 166.577 s c =============================================================================== c | 0 | 3466 3648 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 13.6299 s Remaining CPU time: 166.37 s c =============================================================================== c | 0 | 3466 3649 499450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 13.8359 s Remaining CPU time: 166.164 s c =============================================================================== c | 0 | 3466 3650 502800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 14.0479 s Remaining CPU time: 165.952 s c =============================================================================== c | 0 | 3466 3651 506150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 14.2598 s Remaining CPU time: 165.74 s c =============================================================================== c | 0 | 3466 3652 509500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 14.4708 s Remaining CPU time: 165.529 s c =============================================================================== c | 0 | 3466 3653 512850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 14.6838 s Remaining CPU time: 165.316 s c =============================================================================== c | 0 | 3466 3654 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 14.8987 s Remaining CPU time: 165.101 s c =============================================================================== c | 0 | 3466 3655 519550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 15.1147 s Remaining CPU time: 164.885 s c =============================================================================== c | 0 | 3466 3656 522900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 15.3307 s Remaining CPU time: 164.669 s c =============================================================================== c | 0 | 3466 3657 526250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 15.5506 s Remaining CPU time: 164.449 s c =============================================================================== c | 0 | 3466 3658 529600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 15.7726 s Remaining CPU time: 164.227 s c =============================================================================== c | 0 | 3466 3659 532950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 15.9986 s Remaining CPU time: 164.001 s c =============================================================================== c | 0 | 3466 3660 536300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 16.2205 s Remaining CPU time: 163.779 s c =============================================================================== c | 0 | 3466 3661 539650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 16.4465 s Remaining CPU time: 163.554 s c =============================================================================== c | 0 | 3466 3662 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 16.6735 s Remaining CPU time: 163.327 s c =============================================================================== c | 0 | 3466 3663 546350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 16.9024 s Remaining CPU time: 163.098 s c =============================================================================== c | 0 | 3466 3664 549700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 17.1324 s Remaining CPU time: 162.868 s c =============================================================================== c | 0 | 3466 3665 553050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 17.3654 s Remaining CPU time: 162.635 s c =============================================================================== c | 0 | 3466 3666 556400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 17.6173 s Remaining CPU time: 162.383 s c =============================================================================== c | 0 | 3466 3667 559750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 17.8783 s Remaining CPU time: 162.122 s c =============================================================================== c | 0 | 3466 3668 563100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 18.1382 s Remaining CPU time: 161.862 s c =============================================================================== c | 0 | 3466 3669 566450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 18.3992 s Remaining CPU time: 161.601 s c =============================================================================== c | 0 | 3466 3670 569800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 18.6612 s Remaining CPU time: 161.339 s c =============================================================================== c | 0 | 3466 3671 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 18.9251 s Remaining CPU time: 161.075 s c =============================================================================== c | 0 | 3466 3672 576500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 19.1851 s Remaining CPU time: 160.815 s c =============================================================================== c | 0 | 3466 3673 579850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 19.451 s Remaining CPU time: 160.549 s c =============================================================================== c | 0 | 3466 3674 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 19.723 s Remaining CPU time: 160.277 s c =============================================================================== c | 0 | 3466 3675 586550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 19.996 s Remaining CPU time: 160.004 s c =============================================================================== c | 0 | 3466 3676 589900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 20.2719 s Remaining CPU time: 159.728 s c =============================================================================== c | 0 | 3466 3677 593250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 20.5479 s Remaining CPU time: 159.452 s c =============================================================================== c | 0 | 3466 3678 596600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 20.8218 s Remaining CPU time: 159.178 s c =============================================================================== c | 0 | 3466 3679 599950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 21.0938 s Remaining CPU time: 158.906 s c =============================================================================== c | 0 | 3466 3680 603300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 21.3688 s Remaining CPU time: 158.631 s c =============================================================================== c | 0 | 3466 3681 606650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 21.6427 s Remaining CPU time: 158.357 s c =============================================================================== c | 0 | 3466 3682 610000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 21.9397 s Remaining CPU time: 158.06 s c =============================================================================== c | 0 | 3466 3683 613350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 22.2336 s Remaining CPU time: 157.766 s c =============================================================================== c | 0 | 3466 3684 616700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 22.5286 s Remaining CPU time: 157.471 s c =============================================================================== c | 0 | 3466 3685 620050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 22.8225 s Remaining CPU time: 157.177 s c =============================================================================== c | 0 | 3466 3686 623400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 23.1435 s Remaining CPU time: 156.857 s c =============================================================================== c | 2 | 3466 3687 626750 | 5000 2 3169 | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 23.4574 s Remaining CPU time: 156.543 s c =============================================================================== c | 15 | 3466 3688 630100 | 5000 15 3168 | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 23.7314 s Remaining CPU time: 156.269 s c =============================================================================== c | 18 | 3466 3689 633450 | 5000 18 3168 | 0.000 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 24.1033 s Remaining CPU time: 155.897 s c =============================================================================== c | 78 | 3466 3690 636800 | 5000 78 3167 | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 24.6083 s Remaining CPU time: 155.392 s c =============================================================================== c | 162 | 3466 3691 640150 | 5000 162 3166 | 0.000 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 24.8862 s Remaining CPU time: 155.114 s c =============================================================================== c | 166 | 3466 3692 643500 | 5000 166 3147 | 0.000 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 25.1822 s Remaining CPU time: 154.818 s c =============================================================================== c | 187 | 3466 3693 646850 | 5000 187 3149 | 0.000 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 25.4571 s Remaining CPU time: 154.543 s c =============================================================================== c | 187 | 3466 3694 650200 | 5000 187 3149 | 0.000 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 25.7351 s Remaining CPU time: 154.265 s c =============================================================================== c | 187 | 3466 3695 653550 | 5000 187 3149 | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 26.017 s Remaining CPU time: 153.983 s c =============================================================================== c | 189 | 3466 3696 656900 | 5000 189 3149 | 0.000 % | c | 289 | 3466 3696 656900 | 5500 289 3153 | 0.971 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 26.7349 s Remaining CPU time: 153.265 s c =============================================================================== c | 336 | 3466 3697 660250 | 5000 336 3154 | 0.971 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 27.0289 s Remaining CPU time: 152.971 s c =============================================================================== c | 344 | 3466 3698 663600 | 5000 344 3154 | 0.971 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 27.3248 s Remaining CPU time: 152.675 s c =============================================================================== c | 358 | 3466 3699 666950 | 5000 358 3154 | 0.971 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 27.6498 s Remaining CPU time: 152.35 s c =============================================================================== c | 401 | 3466 3700 670300 | 5000 401 3154 | 0.971 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 27.9468 s Remaining CPU time: 152.053 s c =============================================================================== c | 407 | 3466 3701 673650 | 5000 407 3154 | 0.971 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 28.2467 s Remaining CPU time: 151.753 s c =============================================================================== c | 417 | 3466 3702 677000 | 5000 417 3154 | 0.971 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 28.5637 s Remaining CPU time: 151.436 s c =============================================================================== c | 442 | 3466 3703 680350 | 5000 442 3154 | 0.971 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 28.9196 s Remaining CPU time: 151.08 s c =============================================================================== c | 472 | 3466 3704 683700 | 5000 472 3154 | 0.971 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 29.2306 s Remaining CPU time: 150.769 s c =============================================================================== c | 491 | 3466 3705 687050 | 5000 491 3154 | 0.971 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 29.5605 s Remaining CPU time: 150.439 s c =============================================================================== c | 511 | 3466 3706 690400 | 5000 511 3154 | 0.971 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 29.8585 s Remaining CPU time: 150.142 s c =============================================================================== c | 513 | 3466 3707 693750 | 5000 513 3154 | 0.971 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 30.1834 s Remaining CPU time: 149.817 s c =============================================================================== c | 526 | 3466 3708 697100 | 5000 526 3153 | 0.971 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 30.7693 s Remaining CPU time: 149.231 s c =============================================================================== c | 623 | 3466 3709 700450 | 5000 623 3153 | 0.971 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 31.0783 s Remaining CPU time: 148.922 s c =============================================================================== c | 630 | 3466 3710 703800 | 5000 630 3152 | 0.971 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 31.4222 s Remaining CPU time: 148.578 s c =============================================================================== c | 670 | 3466 3711 707150 | 5000 670 3152 | 0.971 % | c | 770 | 3466 3711 707150 | 5500 770 3151 | 0.971 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 32.3121 s Remaining CPU time: 147.688 s c =============================================================================== c | 803 | 3466 3712 710500 | 5000 803 3151 | 0.971 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 32.638 s Remaining CPU time: 147.362 s c =============================================================================== c | 820 | 3466 3713 713850 | 5000 820 3151 | 0.971 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 32.958 s Remaining CPU time: 147.042 s c =============================================================================== c | 824 | 3466 3714 717200 | 5000 824 3151 | 0.971 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 33.2689 s Remaining CPU time: 146.731 s c =============================================================================== c | 825 | 3466 3715 720550 | 5000 825 3151 | 0.971 % | c | 925 | 3466 3715 720550 | 5500 925 3149 | 0.971 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 34.1838 s Remaining CPU time: 145.816 s c =============================================================================== c | 956 | 3466 3716 723900 | 5000 956 3149 | 0.971 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 34.5377 s Remaining CPU time: 145.462 s c =============================================================================== c | 983 | 3466 3717 727250 | 5000 983 3149 | 0.971 % | c | 1084 | 3466 3717 727250 | 5500 1084 3148 | 0.971 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 35.5166 s Remaining CPU time: 144.483 s c =============================================================================== c | 1205 | 3466 3718 730600 | 5000 1205 3147 | 0.971 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 35.9515 s Remaining CPU time: 144.048 s c =============================================================================== c | 1241 | 3466 3719 733950 | 5000 1241 3147 | 0.971 % | c | 1341 | 3466 3719 733950 | 5500 1341 3146 | 0.971 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 37.2903 s Remaining CPU time: 142.71 s c =============================================================================== c | 1441 | 3466 3720 737300 | 5000 1441 3145 | 0.971 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 37.6693 s Remaining CPU time: 142.331 s c =============================================================================== c | 1471 | 3466 3721 740650 | 5000 1471 3145 | 0.971 % | c | 1571 | 3466 3721 740650 | 5500 1571 3144 | 0.971 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 38.9611 s Remaining CPU time: 141.039 s c =============================================================================== c | 1692 | 3466 3722 744000 | 5000 1692 3144 | 0.971 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 39.333 s Remaining CPU time: 140.667 s c =============================================================================== c | 1742 | 3466 3723 747350 | 5000 1742 3143 | 0.971 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 39.681 s Remaining CPU time: 140.319 s c =============================================================================== c | 1765 | 3466 3724 750700 | 5000 1765 3143 | 0.971 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 40.0219 s Remaining CPU time: 139.978 s c =============================================================================== c | 1779 | 3466 3725 754050 | 5000 1779 3143 | 0.971 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 40.3739 s Remaining CPU time: 139.626 s c =============================================================================== c | 1804 | 3466 3726 757400 | 5000 1804 3143 | 0.971 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 40.8828 s Remaining CPU time: 139.117 s c =============================================================================== c | 1874 | 3466 3727 760750 | 5000 1874 3142 | 0.971 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 41.3687 s Remaining CPU time: 138.631 s c =============================================================================== c | 1914 | 3466 3728 764100 | 5000 1914 3142 | 0.971 % | c | 2014 | 3466 3728 764100 | 5500 2014 3140 | 0.971 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 42.3776 s Remaining CPU time: 137.622 s c =============================================================================== c | 2104 | 3466 3729 767450 | 5000 2104 3139 | 0.971 % | c | 2205 | 3466 3729 767450 | 5500 2205 3139 | 0.971 % | c | 2355 | 3466 3729 767450 | 6050 2355 3138 | 0.971 % | c | 2580 | 3466 3729 767450 | 6655 2580 3137 | 0.971 % | c | 2917 | 3466 3729 767450 | 7320 2917 3136 | 0.971 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 46.4789 s Remaining CPU time: 133.521 s c =============================================================================== c | 3045 | 3466 3730 770800 | 5000 3045 3135 | 0.971 % | c | 3146 | 3466 3730 770800 | 5500 3146 3135 | 0.971 % | c | 3297 | 3466 3730 770800 | 6050 3297 3135 | 0.971 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 48.3886 s Remaining CPU time: 131.611 s c =============================================================================== c | 3487 | 3466 3731 774150 | 5000 3487 3134 | 0.971 % | c | 3588 | 3466 3731 774150 | 5500 3588 3134 | 0.971 % | c | 3738 | 3466 3731 774150 | 6050 3738 3134 | 0.971 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 50.3643 s Remaining CPU time: 129.636 s c =============================================================================== c | 3811 | 3466 3732 777500 | 5000 3811 3133 | 0.971 % | c | 3911 | 3466 3732 777500 | 5500 3911 3133 | 0.971 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 51.2552 s Remaining CPU time: 128.745 s c =============================================================================== c | 3952 | 3466 3733 780850 | 5000 3952 3133 | 0.971 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 51.6731 s Remaining CPU time: 128.327 s c =============================================================================== c | 3979 | 3466 3734 784200 | 5000 3979 3133 | 0.971 % | c | 4079 | 3466 3734 784200 | 5500 4079 3133 | 0.971 % | c | 4229 | 3466 3734 784200 | 6050 4229 3132 | 0.971 % | c | 4454 | 3466 3734 784200 | 6655 4454 3131 | 0.971 % | c | 4792 | 3466 3734 784200 | 7320 4792 3130 | 0.971 % | c | 5299 | 3466 3734 784200 | 8052 5299 3130 | 0.971 % | c | 6058 | 3466 3734 784200 | 8857 6058 3128 | 0.971 % | c | 7197 | 3466 3734 784200 | 9743 7197 3127 | 0.971 % | c | 8905 | 3466 3734 784200 | 10717 8905 3125 | 0.971 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 69.8334 s Remaining CPU time: 110.167 s c =============================================================================== c | 10775 | 3466 3735 787550 | 5000 10775 3125 | 0.971 % | c | 10875 | 3466 3735 787550 | 5500 2794 3115 | 0.971 % | c | 11025 | 3466 3735 787550 | 6050 2944 3115 | 0.971 % | c | 11251 | 3466 3735 787550 | 6655 3170 3116 | 0.971 % | c | 11588 | 3466 3735 787550 | 7320 3507 3116 | 0.971 % | c | 12094 | 3466 3735 787550 | 8052 4013 3115 | 0.971 % | c | 12854 | 3466 3735 787550 | 8857 4773 3116 | 0.971 % | c | 13993 | 3466 3735 787550 | 9743 5912 3116 | 0.971 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 83.1774 s Remaining CPU time: 96.8226 s c =============================================================================== c | 15423 | 3466 3736 790900 | 5000 7342 3117 | 0.971 % | c | 15525 | 3466 3736 790900 | 5500 3773 3112 | 0.971 % | c | 15675 | 3466 3736 790900 | 6050 3923 3113 | 0.971 % | c | 15901 | 3466 3736 790900 | 6655 4149 3113 | 0.971 % | c | 16238 | 3466 3736 790900 | 7320 4486 3114 | 0.971 % | c | 16744 | 3466 3736 790900 | 8052 4992 3114 | 0.971 % | c | 17503 | 3466 3736 790900 | 8857 5751 3114 | 0.971 % | c | 18642 | 3466 3736 790900 | 9743 6890 3115 | 0.971 % | c | 20351 | 3466 3736 790900 | 10717 8599 3116 | 0.971 % | c | 22913 | 3466 3736 790900 | 11789 11161 3117 | 0.971 % | c | 26758 | 3466 3736 790900 | 12968 7524 3115 | 0.971 % |