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 | 3498 3502 10350 | 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 | 3498 3503 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 3498 3504 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 3498 3505 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 3498 3506 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 3498 3507 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 3498 3508 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 3498 3509 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 3498 3510 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 3498 3511 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 3498 3512 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 3498 3513 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 3498 3514 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3498 3515 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 3498 3516 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 3498 3517 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 3498 3518 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 3498 3519 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 3498 3520 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 0 | 3498 3521 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 3498 3522 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 3498 3523 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 3498 3524 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 3498 3525 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 0 | 3498 3526 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 3498 3527 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 3498 3528 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 3498 3529 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s c =============================================================================== c | 0 | 3498 3530 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 0 | 3498 3531 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.488925 s Remaining CPU time: 179.511 s c =============================================================================== c | 0 | 3498 3532 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 0 | 3498 3533 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s c =============================================================================== c | 0 | 3498 3534 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s c =============================================================================== c | 0 | 3498 3535 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 0 | 3498 3536 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 0 | 3498 3537 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s c =============================================================================== c | 0 | 3498 3538 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 0 | 3498 3539 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 0 | 3498 3540 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 0 | 3498 3541 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 0 | 3498 3542 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.999848 s Remaining CPU time: 179 s c =============================================================================== c | 0 | 3498 3543 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 0 | 3498 3544 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 0 | 3498 3545 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 1.18382 s Remaining CPU time: 178.816 s c =============================================================================== c | 0 | 3498 3546 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 0 | 3498 3547 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.3138 s Remaining CPU time: 178.686 s c =============================================================================== c | 0 | 3498 3548 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.38179 s Remaining CPU time: 178.618 s c =============================================================================== c | 0 | 3498 3549 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 0 | 3498 3550 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 0 | 3498 3551 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 0 | 3498 3552 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.67674 s Remaining CPU time: 178.323 s c =============================================================================== c | 0 | 3498 3553 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.75773 s Remaining CPU time: 178.242 s c =============================================================================== c | 0 | 3498 3554 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s c =============================================================================== c | 0 | 3498 3555 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.92271 s Remaining CPU time: 178.077 s c =============================================================================== c | 0 | 3498 3556 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 2.00869 s Remaining CPU time: 177.991 s c =============================================================================== c | 0 | 3498 3557 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 2.09568 s Remaining CPU time: 177.904 s c =============================================================================== c | 0 | 3498 3558 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 2.18567 s Remaining CPU time: 177.814 s c =============================================================================== c | 0 | 3498 3559 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 2.27865 s Remaining CPU time: 177.721 s c =============================================================================== c | 0 | 3498 3560 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.37064 s Remaining CPU time: 177.629 s c =============================================================================== c | 0 | 3498 3561 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.46962 s Remaining CPU time: 177.53 s c =============================================================================== c | 0 | 3498 3562 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.56561 s Remaining CPU time: 177.434 s c =============================================================================== c | 0 | 3498 3563 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.66759 s Remaining CPU time: 177.332 s c =============================================================================== c | 0 | 3498 3564 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s c =============================================================================== c | 0 | 3498 3565 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.87556 s Remaining CPU time: 177.124 s c =============================================================================== c | 0 | 3498 3566 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.98155 s Remaining CPU time: 177.018 s c =============================================================================== c | 0 | 3498 3567 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 0 | 3498 3568 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 3.20151 s Remaining CPU time: 176.798 s c =============================================================================== c | 0 | 3498 3569 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 3.31549 s Remaining CPU time: 176.685 s c =============================================================================== c | 0 | 3498 3570 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 3.42948 s Remaining CPU time: 176.571 s c =============================================================================== c | 0 | 3498 3571 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.54646 s Remaining CPU time: 176.454 s c =============================================================================== c | 0 | 3498 3572 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.66544 s Remaining CPU time: 176.335 s c =============================================================================== c | 0 | 3498 3573 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.78242 s Remaining CPU time: 176.218 s c =============================================================================== c | 0 | 3498 3574 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.90541 s Remaining CPU time: 176.095 s c =============================================================================== c | 0 | 3498 3575 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 4.03039 s Remaining CPU time: 175.97 s c =============================================================================== c | 0 | 3498 3576 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 4.15737 s Remaining CPU time: 175.843 s c =============================================================================== c | 0 | 3498 3577 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 0 | 3498 3578 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 4.41933 s Remaining CPU time: 175.581 s c =============================================================================== c | 0 | 3498 3579 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 4.55431 s Remaining CPU time: 175.446 s c =============================================================================== c | 0 | 3498 3580 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.69129 s Remaining CPU time: 175.309 s c =============================================================================== c | 0 | 3498 3581 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.83026 s Remaining CPU time: 175.17 s c =============================================================================== c | 0 | 3498 3582 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 4.97024 s Remaining CPU time: 175.03 s c =============================================================================== c | 0 | 3498 3583 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 5.10922 s Remaining CPU time: 174.891 s c =============================================================================== c | 0 | 3498 3584 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 5.2542 s Remaining CPU time: 174.746 s c =============================================================================== c | 0 | 3498 3585 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 5.40118 s Remaining CPU time: 174.599 s c =============================================================================== c | 0 | 3498 3586 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 5.54616 s Remaining CPU time: 174.454 s c =============================================================================== c | 0 | 3498 3587 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 5.69513 s Remaining CPU time: 174.305 s c =============================================================================== c | 0 | 3498 3588 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.84711 s Remaining CPU time: 174.153 s c =============================================================================== c | 0 | 3498 3589 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.99909 s Remaining CPU time: 174.001 s c =============================================================================== c | 0 | 3498 3590 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 6.15406 s Remaining CPU time: 173.846 s c =============================================================================== c | 0 | 3498 3591 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 6.31004 s Remaining CPU time: 173.69 s c =============================================================================== c | 0 | 3498 3592 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 6.46902 s Remaining CPU time: 173.531 s c =============================================================================== c | 0 | 3498 3593 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 6.62999 s Remaining CPU time: 173.37 s c =============================================================================== c | 0 | 3498 3594 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 6.79397 s Remaining CPU time: 173.206 s c =============================================================================== c | 0 | 3498 3595 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 6.96294 s Remaining CPU time: 173.037 s c =============================================================================== c | 0 | 3498 3596 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 7.12992 s Remaining CPU time: 172.87 s c =============================================================================== c | 0 | 3498 3597 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 7.29989 s Remaining CPU time: 172.7 s c =============================================================================== c | 0 | 3498 3598 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 7.47386 s Remaining CPU time: 172.526 s c =============================================================================== c | 0 | 3498 3599 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 7.64784 s Remaining CPU time: 172.352 s c =============================================================================== c | 0 | 3498 3600 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 7.82581 s Remaining CPU time: 172.174 s c =============================================================================== c | 0 | 3498 3601 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 8.00578 s Remaining CPU time: 171.994 s c =============================================================================== c | 0 | 3498 3602 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 8.18675 s Remaining CPU time: 171.813 s c =============================================================================== c | 0 | 3498 3603 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 8.36973 s Remaining CPU time: 171.63 s c =============================================================================== c | 0 | 3498 3604 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 8.5537 s Remaining CPU time: 171.446 s c =============================================================================== c | 0 | 3498 3605 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 8.74067 s Remaining CPU time: 171.259 s c =============================================================================== c | 0 | 3498 3606 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 8.93364 s Remaining CPU time: 171.066 s c =============================================================================== c | 0 | 3498 3607 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 9.12361 s Remaining CPU time: 170.876 s c =============================================================================== c | 0 | 3498 3608 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 9.31958 s Remaining CPU time: 170.68 s c =============================================================================== c | 1 | 3498 3609 368800 | 5000 1 3246 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 9.51855 s Remaining CPU time: 170.481 s c =============================================================================== c | 2 | 3498 3610 372150 | 5000 2 3246 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 9.72252 s Remaining CPU time: 170.277 s c =============================================================================== c | 2 | 3498 3611 375500 | 5000 2 3246 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 9.93349 s Remaining CPU time: 170.067 s c =============================================================================== c | 2 | 3498 3612 378850 | 5000 2 3246 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 10.1455 s Remaining CPU time: 169.855 s c =============================================================================== c | 2 | 3498 3613 382200 | 5000 2 3246 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 10.3654 s Remaining CPU time: 169.635 s c =============================================================================== c | 6 | 3498 3614 385550 | 5000 6 3243 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 10.5844 s Remaining CPU time: 169.416 s c =============================================================================== c | 10 | 3498 3615 388900 | 5000 10 3242 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 10.8074 s Remaining CPU time: 169.193 s c =============================================================================== c | 23 | 3498 3616 392250 | 5000 23 3241 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 11.0273 s Remaining CPU time: 168.973 s c =============================================================================== c | 23 | 3498 3617 395600 | 5000 23 3241 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 11.2483 s Remaining CPU time: 168.752 s c =============================================================================== c | 25 | 3498 3618 398950 | 5000 25 3240 | 0.000 % | c | 125 | 3498 3618 398950 | 5500 125 3237 | 0.057 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 11.7682 s Remaining CPU time: 168.232 s c =============================================================================== c | 125 | 3498 3619 402300 | 5000 125 3237 | 0.057 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 12.0112 s Remaining CPU time: 167.989 s c =============================================================================== c | 154 | 3498 3620 405650 | 5000 154 3237 | 0.057 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 12.2401 s Remaining CPU time: 167.76 s c =============================================================================== c | 162 | 3498 3621 409000 | 5000 162 3237 | 0.057 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 12.4691 s Remaining CPU time: 167.531 s c =============================================================================== c | 162 | 3498 3622 412350 | 5000 162 3237 | 0.057 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 12.7031 s Remaining CPU time: 167.297 s c =============================================================================== c | 174 | 3498 3623 415700 | 5000 174 3236 | 0.057 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 12.936 s Remaining CPU time: 167.064 s c =============================================================================== c | 178 | 3498 3624 419050 | 5000 178 3236 | 0.057 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 13.171 s Remaining CPU time: 166.829 s c =============================================================================== c | 184 | 3498 3625 422400 | 5000 184 3236 | 0.057 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 13.401 s Remaining CPU time: 166.599 s c =============================================================================== c | 184 | 3498 3626 425750 | 5000 184 3236 | 0.057 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 13.6989 s Remaining CPU time: 166.301 s c =============================================================================== c | 214 | 3498 3627 429100 | 5000 214 3235 | 0.057 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 13.9429 s Remaining CPU time: 166.057 s c =============================================================================== c | 217 | 3498 3628 432450 | 5000 217 3205 | 0.057 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 14.2218 s Remaining CPU time: 165.778 s c =============================================================================== c | 244 | 3498 3629 435800 | 5000 244 3208 | 0.057 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 14.5778 s Remaining CPU time: 165.422 s c =============================================================================== c | 298 | 3498 3630 439150 | 5000 298 3211 | 0.057 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 14.8507 s Remaining CPU time: 165.149 s c =============================================================================== c | 313 | 3498 3631 442500 | 5000 313 3181 | 0.057 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 15.1057 s Remaining CPU time: 164.894 s c =============================================================================== c | 313 | 3498 3632 445850 | 5000 313 3181 | 0.057 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 15.3687 s Remaining CPU time: 164.631 s c =============================================================================== c | 316 | 3498 3633 449200 | 5000 316 3181 | 0.057 % | c | 416 | 3498 3633 449200 | 5500 416 3191 | 0.057 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 16.0376 s Remaining CPU time: 163.962 s c =============================================================================== c | 453 | 3498 3634 452550 | 5000 453 3193 | 0.057 % | c | 553 | 3498 3634 452550 | 5500 553 3198 | 0.057 % | c | 703 | 3498 3634 452550 | 6050 703 3203 | 0.057 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 17.1624 s Remaining CPU time: 162.838 s c =============================================================================== c | 792 | 3498 3635 455900 | 5000 792 3205 | 0.057 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 17.4883 s Remaining CPU time: 162.512 s c =============================================================================== c | 863 | 3498 3636 459250 | 5000 863 3206 | 0.057 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 17.7593 s Remaining CPU time: 162.241 s c =============================================================================== c | 876 | 3498 3637 462600 | 5000 876 3206 | 0.057 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 18.0363 s Remaining CPU time: 161.964 s c =============================================================================== c | 898 | 3498 3638 465950 | 5000 898 3207 | 0.057 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 18.3082 s Remaining CPU time: 161.692 s c =============================================================================== c | 913 | 3498 3639 469300 | 5000 913 3207 | 0.057 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 18.5812 s Remaining CPU time: 161.419 s c =============================================================================== c | 917 | 3498 3640 472650 | 5000 917 3207 | 0.057 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 18.8721 s Remaining CPU time: 161.128 s c =============================================================================== c | 947 | 3498 3641 476000 | 5000 947 3207 | 0.057 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 19.1791 s Remaining CPU time: 160.821 s c =============================================================================== c | 977 | 3498 3642 479350 | 5000 977 3207 | 0.057 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 19.467 s Remaining CPU time: 160.533 s c =============================================================================== c | 993 | 3498 3643 482700 | 5000 993 3207 | 0.057 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 19.812 s Remaining CPU time: 160.188 s c =============================================================================== c | 1045 | 3498 3644 486050 | 5000 1045 3207 | 0.057 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 20.1409 s Remaining CPU time: 159.859 s c =============================================================================== c | 1085 | 3498 3645 489400 | 5000 1085 3208 | 0.057 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 20.4429 s Remaining CPU time: 159.557 s c =============================================================================== c | 1108 | 3498 3646 492750 | 5000 1108 3208 | 0.057 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 20.7438 s Remaining CPU time: 159.256 s c =============================================================================== c | 1133 | 3498 3647 496100 | 5000 1133 3208 | 0.057 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 21.0818 s Remaining CPU time: 158.918 s c =============================================================================== c | 1177 | 3498 3648 499450 | 5000 1177 3208 | 0.057 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 21.3747 s Remaining CPU time: 158.625 s c =============================================================================== c | 1184 | 3498 3649 502800 | 5000 1184 3208 | 0.057 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 21.7687 s Remaining CPU time: 158.231 s c =============================================================================== c | 1256 | 3498 3650 506150 | 5000 1256 3207 | 0.057 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 22.0866 s Remaining CPU time: 157.913 s c =============================================================================== c | 1276 | 3498 3651 509500 | 5000 1276 3207 | 0.057 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 22.4626 s Remaining CPU time: 157.537 s c =============================================================================== c | 1328 | 3498 3652 512850 | 5000 1328 3207 | 0.057 % | c | 1429 | 3498 3652 512850 | 5500 1429 3207 | 0.057 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 23.3465 s Remaining CPU time: 156.654 s c =============================================================================== c | 1503 | 3498 3653 516200 | 5000 1503 3207 | 0.057 % | c | 1603 | 3498 3653 516200 | 5500 1603 3206 | 0.057 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 24.1013 s Remaining CPU time: 155.899 s c =============================================================================== c | 1627 | 3498 3654 519550 | 5000 1627 3206 | 0.057 % | c | 1727 | 3498 3654 519550 | 5500 1727 3206 | 0.057 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 24.9272 s Remaining CPU time: 155.073 s c =============================================================================== c | 1769 | 3498 3655 522900 | 5000 1769 3206 | 0.057 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 25.2302 s Remaining CPU time: 154.77 s c =============================================================================== c | 1780 | 3498 3656 526250 | 5000 1780 3206 | 0.057 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 25.5311 s Remaining CPU time: 154.469 s c =============================================================================== c | 1780 | 3498 3657 529600 | 5000 1780 3206 | 0.057 % | c | 1881 | 3498 3657 529600 | 5500 1881 3205 | 0.057 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 26.346 s Remaining CPU time: 153.654 s c =============================================================================== c | 1924 | 3498 3658 532950 | 5000 1924 3205 | 0.057 % | c | 2024 | 3498 3658 532950 | 5500 2024 3205 | 0.057 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 27.1539 s Remaining CPU time: 152.846 s c =============================================================================== c | 2093 | 3498 3659 536300 | 5000 2093 3204 | 0.057 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 27.5428 s Remaining CPU time: 152.457 s c =============================================================================== c | 2141 | 3498 3660 539650 | 5000 2141 3204 | 0.057 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 27.8788 s Remaining CPU time: 152.121 s c =============================================================================== c | 2162 | 3498 3661 543000 | 5000 2162 3204 | 0.057 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 28.2027 s Remaining CPU time: 151.797 s c =============================================================================== c | 2171 | 3498 3662 546350 | 5000 2171 3204 | 0.057 % | c | 2272 | 3498 3662 546350 | 5500 2272 3204 | 0.057 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 29.0726 s Remaining CPU time: 150.927 s c =============================================================================== c | 2298 | 3498 3663 549700 | 5000 2298 3203 | 0.057 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 29.4765 s Remaining CPU time: 150.523 s c =============================================================================== c | 2339 | 3498 3664 553050 | 5000 2339 3203 | 0.057 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 29.8625 s Remaining CPU time: 150.138 s c =============================================================================== c | 2377 | 3498 3665 556400 | 5000 2377 3203 | 0.057 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 30.2354 s Remaining CPU time: 149.765 s c =============================================================================== c | 2428 | 3498 3666 559750 | 5000 2428 3203 | 0.057 % | c | 2528 | 3498 3666 559750 | 5500 2528 3202 | 0.057 % | c | 2679 | 3498 3666 559750 | 6050 2679 3201 | 0.057 % | c | 2904 | 3498 3666 559750 | 6655 2904 3200 | 0.057 % | c | 3241 | 3498 3666 559750 | 7320 3241 3199 | 0.057 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 33.5859 s Remaining CPU time: 146.414 s c =============================================================================== c | 3345 | 3498 3667 563100 | 5000 3345 3199 | 0.057 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 33.9478 s Remaining CPU time: 146.052 s c =============================================================================== c | 3393 | 3498 3668 566450 | 5000 3393 3199 | 0.057 % | c | 3494 | 3498 3668 566450 | 5500 3494 3198 | 0.057 % | c | 3644 | 3498 3668 566450 | 6050 3644 3198 | 0.057 % | c | 3870 | 3498 3668 566450 | 6655 3870 3197 | 0.057 % | c | 4207 | 3498 3668 566450 | 7320 4207 3196 | 0.057 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 36.7944 s Remaining CPU time: 143.206 s c =============================================================================== c | 4251 | 3498 3669 569800 | 5000 4251 3196 | 0.057 % | c | 4351 | 3498 3669 569800 | 5500 4351 3196 | 0.057 % | c | 4501 | 3498 3669 569800 | 6050 4501 3196 | 0.057 % | c | 4726 | 3498 3669 569800 | 6655 4726 3195 | 0.057 % | c | 5063 | 3498 3669 569800 | 7320 5063 3194 | 0.057 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 39.8229 s Remaining CPU time: 140.177 s c =============================================================================== c | 5242 | 3498 3670 573150 | 5000 5242 3194 | 0.057 % | c | 5343 | 3498 3670 573150 | 5500 2722 3182 | 0.057 % | c | 5493 | 3498 3670 573150 | 6050 2872 3182 | 0.057 % | c | 5719 | 3498 3670 573150 | 6655 3098 3182 | 0.057 % | c | 6056 | 3498 3670 573150 | 7320 3435 3182 | 0.057 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 42.6605 s Remaining CPU time: 137.339 s c =============================================================================== c | 6078 | 3498 3671 576500 | 5000 3457 3183 | 0.057 % | c | 6178 | 3498 3671 576500 | 5500 3557 3183 | 0.057 % | c | 6328 | 3498 3671 576500 | 6050 3707 3183 | 0.057 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 44.1913 s Remaining CPU time: 135.809 s c =============================================================================== c | 6355 | 3498 3672 579850 | 5000 3734 3183 | 0.057 % | c | 6455 | 3498 3672 579850 | 5500 3834 3183 | 0.057 % | c | 6605 | 3498 3672 579850 | 6050 3984 3183 | 0.057 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 45.6151 s Remaining CPU time: 134.385 s c =============================================================================== c | 6642 | 3498 3673 583200 | 5000 4021 3183 | 0.057 % | c | 6742 | 3498 3673 583200 | 5500 4121 3183 | 0.057 % | c | 6892 | 3498 3673 583200 | 6050 4271 3182 | 0.057 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 47.4118 s Remaining CPU time: 132.588 s c =============================================================================== c | 7077 | 3498 3674 586550 | 5000 4456 3182 | 0.057 % | c | 7177 | 3498 3674 586550 | 5500 4556 3182 | 0.057 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 48.3377 s Remaining CPU time: 131.662 s c =============================================================================== c | 7278 | 3498 3675 589900 | 5000 4657 3182 | 0.057 % | c | 7379 | 3498 3675 589900 | 5500 4758 3182 | 0.057 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 49.2965 s Remaining CPU time: 130.703 s c =============================================================================== c | 7501 | 3498 3676 593250 | 5000 4880 3182 | 0.057 % | c | 7601 | 3498 3676 593250 | 5500 4980 3182 | 0.057 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 50.1254 s Remaining CPU time: 129.875 s c =============================================================================== c | 7637 | 3498 3677 596600 | 5000 5016 3182 | 0.057 % | c | 7737 | 3498 3677 596600 | 5500 2608 3179 | 0.057 % | c | 7887 | 3498 3677 596600 | 6050 2758 3179 | 0.057 % | c | 8113 | 3498 3677 596600 | 6655 2984 3179 | 0.057 % | c | 8451 | 3498 3677 596600 | 7320 3322 3178 | 0.057 % | c | 8957 | 3498 3677 596600 | 8052 3828 3178 | 0.057 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 54.5337 s Remaining CPU time: 125.466 s c =============================================================================== c | 8971 | 3498 3678 599950 | 5000 3842 3178 | 0.057 % | c | 9071 | 3498 3678 599950 | 5500 3942 3178 | 0.057 % | c | 9221 | 3498 3678 599950 | 6050 4092 3178 | 0.057 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 56.4424 s Remaining CPU time: 123.558 s c =============================================================================== c | 9428 | 3498 3679 603300 | 5000 4299 3178 | 0.057 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 56.8314 s Remaining CPU time: 123.169 s c =============================================================================== c | 9470 | 3498 3680 606650 | 5000 4341 3178 | 0.057 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 57.2983 s Remaining CPU time: 122.702 s c =============================================================================== c | 9510 | 3498 3681 610000 | 5000 4381 3178 | 0.057 % | c | 9611 | 3498 3681 610000 | 5500 4482 3178 | 0.057 % | c | 9761 | 3498 3681 610000 | 6050 4632 3178 | 0.057 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 58.916 s Remaining CPU time: 121.084 s c =============================================================================== c | 9833 | 3498 3682 613350 | 5000 4704 3178 | 0.057 % | c | 9934 | 3498 3682 613350 | 5500 4805 3178 | 0.057 % | c | 10085 | 3498 3682 613350 | 6050 4956 3178 | 0.057 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 60.5578 s Remaining CPU time: 119.442 s c =============================================================================== c | 10102 | 3498 3683 616700 | 5000 4973 3177 | 0.057 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 60.9807 s Remaining CPU time: 119.019 s c =============================================================================== c | 10154 | 3498 3684 620050 | 5000 5025 3177 | 0.057 % | c | 10254 | 3498 3684 620050 | 5500 2613 3172 | 0.057 % | c | 10404 | 3498 3684 620050 | 6050 2763 3172 | 0.057 % | c | 10629 | 3498 3684 620050 | 6655 2988 3172 | 0.057 % | c | 10967 | 3498 3684 620050 | 7320 3326 3172 | 0.057 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 64.0423 s Remaining CPU time: 115.958 s c =============================================================================== c | 10995 | 3498 3685 623400 | 5000 3354 3172 | 0.057 % | c | 11097 | 3498 3685 623400 | 5500 3456 3172 | 0.057 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 65.1321 s Remaining CPU time: 114.868 s c =============================================================================== c | 11244 | 3498 3686 626750 | 5000 3603 3172 | 0.057 % | c | 11344 | 3498 3686 626750 | 5500 3703 3172 | 0.057 % | c | 11495 | 3498 3686 626750 | 6050 3854 3171 | 0.057 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 66.6159 s Remaining CPU time: 113.384 s c =============================================================================== c | 11578 | 3498 3687 630100 | 5000 3937 3171 | 0.057 % | c | 11678 | 3498 3687 630100 | 5500 4037 3171 | 0.057 % | c | 11828 | 3498 3687 630100 | 6050 4187 3170 | 0.057 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 68.1326 s Remaining CPU time: 111.867 s c =============================================================================== c | 11860 | 3498 3688 633450 | 5000 4219 3170 | 0.057 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 68.5556 s Remaining CPU time: 111.444 s c =============================================================================== c | 11896 | 3498 3689 636800 | 5000 4255 3170 | 0.057 % | c | 11997 | 3498 3689 636800 | 5500 4356 3170 | 0.057 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 69.7854 s Remaining CPU time: 110.215 s c =============================================================================== c | 12107 | 3498 3690 640150 | 5000 4466 3170 | 0.057 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 70.2523 s Remaining CPU time: 109.748 s c =============================================================================== c | 12153 | 3498 3691 643500 | 5000 4512 3170 | 0.057 % | c | 12253 | 3498 3691 643500 | 5500 4612 3170 | 0.057 % | c | 12404 | 3498 3691 643500 | 6050 4763 3170 | 0.057 % | c | 12629 | 3498 3691 643500 | 6655 4988 3169 | 0.057 % | c | 12966 | 3498 3691 643500 | 7320 5325 3169 | 0.057 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 73.6218 s Remaining CPU time: 106.378 s c =============================================================================== c | 13050 | 3498 3692 646850 | 5000 5409 3169 | 0.057 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 74.1717 s Remaining CPU time: 105.828 s c =============================================================================== c | 13137 | 3498 3693 650200 | 5000 2792 3163 | 0.057 % | c | 13237 | 3498 3693 650200 | 5500 2892 3163 | 0.057 % | c | 13387 | 3498 3693 650200 | 6050 3042 3163 | 0.057 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 75.7355 s Remaining CPU time: 104.265 s c =============================================================================== c | 13516 | 3498 3694 653550 | 5000 3171 3163 | 0.057 % | c | 13616 | 3498 3694 653550 | 5500 3271 3163 | 0.057 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 76.9153 s Remaining CPU time: 103.085 s c =============================================================================== c | 13745 | 3498 3695 656900 | 5000 3400 3163 | 0.057 % | c | 13846 | 3498 3695 656900 | 5500 3501 3163 | 0.057 % | c | 13996 | 3498 3695 656900 | 6050 3651 3163 | 0.057 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 78.931 s Remaining CPU time: 101.069 s c =============================================================================== c | 14183 | 3498 3696 660250 | 5000 3838 3163 | 0.057 % | c | 14283 | 3498 3696 660250 | 5500 3938 3162 | 0.057 % | c | 14433 | 3498 3696 660250 | 6050 4088 3162 | 0.057 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 80.8677 s Remaining CPU time: 99.1323 s c =============================================================================== c | 14481 | 3498 3697 663600 | 5000 4136 3161 | 0.057 % | c | 14581 | 3498 3697 663600 | 5500 4236 3161 | 0.057 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 81.8376 s Remaining CPU time: 98.1624 s c =============================================================================== c | 14606 | 3498 3698 666950 | 5000 4261 3161 | 0.057 % | c | 14706 | 3498 3698 666950 | 5500 4361 3161 | 0.057 % | c | 14856 | 3498 3698 666950 | 6050 4511 3161 | 0.057 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 83.6993 s Remaining CPU time: 96.3007 s c =============================================================================== c | 15046 | 3498 3699 670300 | 5000 4701 3161 | 0.057 % | c | 15146 | 3498 3699 670300 | 5500 4801 3161 | 0.057 % | c | 15296 | 3498 3699 670300 | 6050 4951 3161 | 0.057 % | c | 15522 | 3498 3699 670300 | 6655 5177 3160 | 0.057 % | c | 15859 | 3498 3699 670300 | 7320 5514 3160 | 0.057 % | c | 16365 | 3498 3699 670300 | 8052 6020 3160 | 0.057 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 89.5744 s Remaining CPU time: 90.4256 s c =============================================================================== c | 16948 | 3498 3700 673650 | 5000 6603 3159 | 0.057 % | c | 17048 | 3498 3700 673650 | 5500 3402 3153 | 0.057 % | c | 17199 | 3498 3700 673650 | 6050 3553 3153 | 0.057 % | c | 17424 | 3498 3700 673650 | 6655 3778 3153 | 0.057 % | c | 17762 | 3498 3700 673650 | 7320 4116 3153 | 0.057 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 94.4916 s Remaining CPU time: 85.5084 s c =============================================================================== c | 18098 | 3498 3701 677000 | 5000 4452 3153 | 0.057 % | c | 18200 | 3498 3701 677000 | 5500 4554 3153 | 0.057 % | c | 18350 | 3498 3701 677000 | 6050 4704 3153 | 0.057 % | c | 18577 | 3498 3701 677000 | 6655 4931 3153 | 0.057 % | c | 18914 | 3498 3701 677000 | 7320 5268 3153 | 0.057 % | c | 19420 | 3498 3701 677000 | 8052 5774 3153 | 0.057 % | c | 20179 | 3498 3701 677000 | 8857 6533 3153 | 0.057 % | c | 21320 | 3498 3701 677000 | 9743 7674 3153 | 0.057 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 106.734 s Remaining CPU time: 73.2662 s c =============================================================================== c | 21854 | 3498 3702 680350 | 5000 8208 3153 | 0.057 % | c | 21955 | 3498 3702 680350 | 5500 4205 3150 | 0.057 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 107.664 s Remaining CPU time: 72.3364 s c =============================================================================== c | 22020 | 3498 3703 683700 | 5000 4270 3150 | 0.057 % | c | 22120 | 3498 3703 683700 | 5500 4370 3150 | 0.057 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 108.81 s Remaining CPU time: 71.1895 s c =============================================================================== c | 22233 | 3498 3704 687050 | 5000 4483 3150 | 0.057 % | c | 22333 | 3498 3704 687050 | 5500 4583 3150 | 0.057 % | c | 22484 | 3498 3704 687050 | 6050 4734 3150 | 0.057 % | c | 22709 | 3498 3704 687050 | 6655 4959 3150 | 0.057 % | c | 23046 | 3498 3704 687050 | 7320 5296 3150 | 0.057 % | c | 23553 | 3498 3704 687050 | 8052 5803 3150 | 0.057 % | c | 24313 | 3498 3704 687050 | 8857 6563 3149 | 0.057 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 115.899 s Remaining CPU time: 64.1006 s c =============================================================================== c | 24525 | 3498 3705 690400 | 5000 6775 3149 | 0.057 % | c | 24625 | 3498 3705 690400 | 5500 3488 3145 | 0.057 % | c | 24775 | 3498 3705 690400 | 6050 3638 3145 | 0.057 % | c | 25001 | 3498 3705 690400 | 6655 3864 3145 | 0.057 % | c | 25339 | 3498 3705 690400 | 7320 4202 3145 | 0.057 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 120.038 s Remaining CPU time: 59.9622 s c =============================================================================== c | 25590 | 3498 3706 693750 | 5000 4453 3145 | 0.057 % | c | 25690 | 3498 3706 693750 | 5500 4553 3145 | 0.057 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 120.919 s Remaining CPU time: 59.0814 s c =============================================================================== c | 25699 | 3498 3707 697100 | 5000 4562 3145 | 0.057 % | c | 25799 | 3498 3707 697100 | 5500 4662 3145 | 0.057 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 121.842 s Remaining CPU time: 58.1575 s c =============================================================================== c | 25872 | 3498 3708 700450 | 5000 4735 3145 | 0.057 % | c | 25972 | 3498 3708 700450 | 5500 4835 3145 | 0.057 % | c | 26122 | 3498 3708 700450 | 6050 4985 3145 | 0.057 % | c | 26347 | 3498 3708 700450 | 6655 5210 3145 | 0.057 % | c | 26684 | 3498 3708 700450 | 7320 5547 3145 | 0.057 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 125.365 s Remaining CPU time: 54.6351 s c =============================================================================== c | 26773 | 3498 3709 703800 | 5000 5636 3145 | 0.057 % | c | 26873 | 3498 3709 703800 | 5500 2918 3139 | 0.057 % | c | 27024 | 3498 3709 703800 | 6050 3069 3139 | 0.057 % | c | 27249 | 3498 3709 703800 | 6655 3294 3140 | 0.057 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 127.713 s Remaining CPU time: 52.2874 s c =============================================================================== c | 27376 | 3498 3710 707150 | 5000 3421 3140 | 0.057 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 128.123 s Remaining CPU time: 51.8775 s c =============================================================================== c | 27439 | 3498 3711 710500 | 5000 3484 3140 | 0.057 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 128.577 s Remaining CPU time: 51.4225 s c =============================================================================== c | 27534 | 3498 3712 713850 | 5000 3579 3140 | 0.057 % | c | 27634 | 3498 3712 713850 | 5500 3679 3140 | 0.057 % | c | 27785 | 3498 3712 713850 | 6050 3830 3140 | 0.057 % | c | 28010 | 3498 3712 713850 | 6655 4055 3139 | 0.057 % | c | 28347 | 3498 3712 713850 | 7320 4392 3140 | 0.057 % | c | 28856 | 3498 3712 713850 | 8052 4901 3140 | 0.057 % |