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 | 3380 3508 10321 | 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 | 3380 3509 13671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 3380 3510 17021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 3380 3511 20371 | 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 | 3380 3512 23721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 3380 3513 27071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 3380 3514 30421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 3380 3515 33771 | 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 | 3380 3516 37121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 3380 3517 40471 | 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 | 3380 3518 43821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 3380 3519 47171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 3380 3520 50521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 3380 3521 53871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 3380 3522 57221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 3380 3523 60571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 3380 3524 63921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 3380 3525 67271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 3380 3526 70621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 3380 3527 73971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 3380 3528 77321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 3380 3529 80671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 3380 3530 84021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 3380 3531 87371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 0 | 3380 3532 90721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 3380 3533 94071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 3380 3534 97421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 3380 3535 100771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 3380 3536 104121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 0 | 3380 3537 107471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 0 | 3380 3538 110821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 3380 3539 114171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 0 | 3380 3540 117521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 3380 3541 120871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 0 | 3380 3542 124221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 0.677896 s Remaining CPU time: 179.322 s c =============================================================================== c | 0 | 3380 3543 127571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 0 | 3380 3544 130921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 0.760884 s Remaining CPU time: 179.239 s c =============================================================================== c | 0 | 3380 3545 134271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 0.805877 s Remaining CPU time: 179.194 s c =============================================================================== c | 0 | 3380 3546 137621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 0.85087 s Remaining CPU time: 179.149 s c =============================================================================== c | 0 | 3380 3547 140971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s c =============================================================================== c | 0 | 3380 3548 144321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 0.945856 s Remaining CPU time: 179.054 s c =============================================================================== c | 0 | 3380 3549 147671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 0 | 3380 3550 151021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 1.05184 s Remaining CPU time: 178.948 s c =============================================================================== c | 0 | 3380 3551 154371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 0 | 3380 3552 157721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 0 | 3380 3553 161071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 0 | 3380 3554 164421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 0 | 3380 3555 167771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 0 | 3380 3556 171121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 1.40878 s Remaining CPU time: 178.591 s c =============================================================================== c | 0 | 3380 3557 174471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 1.47677 s Remaining CPU time: 178.523 s c =============================================================================== c | 0 | 3380 3558 177821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 1.54377 s Remaining CPU time: 178.456 s c =============================================================================== c | 0 | 3380 3559 181171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 1.61375 s Remaining CPU time: 178.386 s c =============================================================================== c | 0 | 3380 3560 184521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 1.68874 s Remaining CPU time: 178.311 s c =============================================================================== c | 0 | 3380 3561 187871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 0 | 3380 3562 191221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 1.83772 s Remaining CPU time: 178.162 s c =============================================================================== c | 0 | 3380 3563 194571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 0 | 3380 3564 197921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 0 | 3380 3565 201271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 0 | 3380 3566 204621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 0 | 3380 3567 207971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 2.25366 s Remaining CPU time: 177.746 s c =============================================================================== c | 0 | 3380 3568 211321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 0 | 3380 3569 214671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 2.43263 s Remaining CPU time: 177.567 s c =============================================================================== c | 0 | 3380 3570 218021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 0 | 3380 3571 221371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 0 | 3380 3572 224721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 0 | 3380 3573 228071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 0 | 3380 3574 231421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 2.92256 s Remaining CPU time: 177.077 s c =============================================================================== c | 0 | 3380 3575 234771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 3.02454 s Remaining CPU time: 176.975 s c =============================================================================== c | 0 | 3380 3576 238121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 0 | 3380 3577 241471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 3.23851 s Remaining CPU time: 176.761 s c =============================================================================== c | 0 | 3380 3578 244821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 3.34749 s Remaining CPU time: 176.653 s c =============================================================================== c | 0 | 3380 3579 248171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 3.45847 s Remaining CPU time: 176.542 s c =============================================================================== c | 0 | 3380 3580 251521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 3.57346 s Remaining CPU time: 176.427 s c =============================================================================== c | 0 | 3380 3581 254871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 3.69344 s Remaining CPU time: 176.307 s c =============================================================================== c | 0 | 3380 3582 258221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 3.81142 s Remaining CPU time: 176.189 s c =============================================================================== c | 0 | 3380 3583 261571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 3.9304 s Remaining CPU time: 176.07 s c =============================================================================== c | 0 | 3380 3584 264921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 4.05138 s Remaining CPU time: 175.949 s c =============================================================================== c | 0 | 3380 3585 268271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 4.17537 s Remaining CPU time: 175.825 s c =============================================================================== c | 0 | 3380 3586 271621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 4.30234 s Remaining CPU time: 175.698 s c =============================================================================== c | 0 | 3380 3587 274971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 4.42933 s Remaining CPU time: 175.571 s c =============================================================================== c | 0 | 3380 3588 278321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 4.56131 s Remaining CPU time: 175.439 s c =============================================================================== c | 0 | 3380 3589 281671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 4.69728 s Remaining CPU time: 175.303 s c =============================================================================== c | 0 | 3380 3590 285021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 4.83427 s Remaining CPU time: 175.166 s c =============================================================================== c | 0 | 3380 3591 288371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 4.96924 s Remaining CPU time: 175.031 s c =============================================================================== c | 0 | 3380 3592 291721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 5.10722 s Remaining CPU time: 174.893 s c =============================================================================== c | 0 | 3380 3593 295071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 5.2482 s Remaining CPU time: 174.752 s c =============================================================================== c | 0 | 3380 3594 298421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 5.38818 s Remaining CPU time: 174.612 s c =============================================================================== c | 0 | 3380 3595 301771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 5.53316 s Remaining CPU time: 174.467 s c =============================================================================== c | 0 | 3380 3596 305121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 5.67914 s Remaining CPU time: 174.321 s c =============================================================================== c | 0 | 3380 3597 308471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 5.82511 s Remaining CPU time: 174.175 s c =============================================================================== c | 1 | 3380 3598 311821 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 5.97809 s Remaining CPU time: 174.022 s c =============================================================================== c | 1 | 3380 3599 315171 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 6.14607 s Remaining CPU time: 173.854 s c =============================================================================== c | 1 | 3380 3600 318521 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 6.31304 s Remaining CPU time: 173.687 s c =============================================================================== c | 1 | 3380 3601 321871 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 6.48601 s Remaining CPU time: 173.514 s c =============================================================================== c | 1 | 3380 3602 325221 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 6.65699 s Remaining CPU time: 173.343 s c =============================================================================== c | 1 | 3380 3603 328571 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 6.82796 s Remaining CPU time: 173.172 s c =============================================================================== c | 1 | 3380 3604 331921 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 7.00493 s Remaining CPU time: 172.995 s c =============================================================================== c | 1 | 3380 3605 335271 | 5000 1 3263 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 7.18591 s Remaining CPU time: 172.814 s c =============================================================================== c | 2 | 3380 3606 338621 | 5000 2 3259 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 7.36688 s Remaining CPU time: 172.633 s c =============================================================================== c | 2 | 3380 3607 341971 | 5000 2 3259 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 7.55185 s Remaining CPU time: 172.448 s c =============================================================================== c | 4 | 3380 3608 345321 | 5000 4 3256 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 7.74182 s Remaining CPU time: 172.258 s c =============================================================================== c | 5 | 3380 3609 348671 | 5000 5 3255 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 7.93079 s Remaining CPU time: 172.069 s c =============================================================================== c | 5 | 3380 3610 352021 | 5000 5 3255 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 8.11976 s Remaining CPU time: 171.88 s c =============================================================================== c | 5 | 3380 3611 355371 | 5000 5 3255 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 8.31174 s Remaining CPU time: 171.688 s c =============================================================================== c | 5 | 3380 3612 358721 | 5000 5 3255 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 8.5577 s Remaining CPU time: 171.442 s c =============================================================================== c | 38 | 3380 3613 362071 | 5000 38 3249 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 8.77167 s Remaining CPU time: 171.228 s c =============================================================================== c | 53 | 3380 3614 365421 | 5000 53 3249 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 8.96764 s Remaining CPU time: 171.032 s c =============================================================================== c | 55 | 3380 3615 368771 | 5000 55 3248 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 9.16061 s Remaining CPU time: 170.839 s c =============================================================================== c | 58 | 3380 3616 372121 | 5000 58 3248 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 9.35058 s Remaining CPU time: 170.649 s c =============================================================================== c | 58 | 3380 3617 375471 | 5000 58 3248 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 9.55055 s Remaining CPU time: 170.449 s c =============================================================================== c | 58 | 3380 3618 378821 | 5000 58 3248 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 9.76851 s Remaining CPU time: 170.231 s c =============================================================================== c | 59 | 3380 3619 382171 | 5000 59 3248 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 9.99048 s Remaining CPU time: 170.01 s c =============================================================================== c | 66 | 3380 3620 385521 | 5000 66 3247 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 10.2084 s Remaining CPU time: 169.792 s c =============================================================================== c | 66 | 3380 3621 388871 | 5000 66 3247 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 10.4314 s Remaining CPU time: 169.569 s c =============================================================================== c | 67 | 3380 3622 392221 | 5000 67 3247 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 10.6504 s Remaining CPU time: 169.35 s c =============================================================================== c | 67 | 3380 3623 395571 | 5000 67 3247 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 10.8703 s Remaining CPU time: 169.13 s c =============================================================================== c | 67 | 3380 3624 398921 | 5000 67 3247 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 11.1003 s Remaining CPU time: 168.9 s c =============================================================================== c | 75 | 3380 3625 402271 | 5000 75 3246 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 11.3293 s Remaining CPU time: 168.671 s c =============================================================================== c | 87 | 3380 3626 405621 | 5000 87 3245 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 11.5472 s Remaining CPU time: 168.453 s c =============================================================================== c | 91 | 3380 3627 408971 | 5000 91 3244 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 11.7722 s Remaining CPU time: 168.228 s c =============================================================================== c | 94 | 3380 3628 412321 | 5000 94 3244 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 11.9952 s Remaining CPU time: 168.005 s c =============================================================================== c | 94 | 3380 3629 415671 | 5000 94 3244 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 12.2321 s Remaining CPU time: 167.768 s c =============================================================================== c | 108 | 3380 3630 419021 | 5000 108 3242 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 12.4591 s Remaining CPU time: 167.541 s c =============================================================================== c | 110 | 3380 3631 422371 | 5000 110 3242 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 12.7021 s Remaining CPU time: 167.298 s c =============================================================================== c | 111 | 3380 3632 425721 | 5000 111 3242 | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 12.957 s Remaining CPU time: 167.043 s c =============================================================================== c | 111 | 3380 3633 429071 | 5000 111 3242 | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 13.224 s Remaining CPU time: 166.776 s c =============================================================================== c | 124 | 3380 3634 432421 | 5000 124 3240 | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 13.5309 s Remaining CPU time: 166.469 s c =============================================================================== c | 160 | 3380 3635 435771 | 5000 160 3237 | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 13.8439 s Remaining CPU time: 166.156 s c =============================================================================== c | 219 | 3380 3636 439121 | 5000 219 3234 | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 14.1349 s Remaining CPU time: 165.865 s c =============================================================================== c | 238 | 3380 3637 442471 | 5000 238 3233 | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 14.4548 s Remaining CPU time: 165.545 s c =============================================================================== c | 257 | 3380 3638 445821 | 5000 257 3233 | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 14.7308 s Remaining CPU time: 165.269 s c =============================================================================== c | 270 | 3380 3639 449171 | 5000 270 3232 | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 14.9977 s Remaining CPU time: 165.002 s c =============================================================================== c | 276 | 3380 3640 452521 | 5000 276 3232 | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 15.2597 s Remaining CPU time: 164.74 s c =============================================================================== c | 276 | 3380 3641 455871 | 5000 276 3232 | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 15.5476 s Remaining CPU time: 164.452 s c =============================================================================== c | 304 | 3380 3642 459221 | 5000 304 3231 | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 15.8106 s Remaining CPU time: 164.189 s c =============================================================================== c | 308 | 3380 3643 462571 | 5000 308 3231 | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 16.0786 s Remaining CPU time: 163.921 s c =============================================================================== c | 313 | 3380 3644 465921 | 5000 313 3230 | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 16.3715 s Remaining CPU time: 163.628 s c =============================================================================== c | 341 | 3380 3645 469271 | 5000 341 3229 | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 16.6425 s Remaining CPU time: 163.358 s c =============================================================================== c | 350 | 3380 3646 472621 | 5000 350 3229 | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 16.9104 s Remaining CPU time: 163.09 s c =============================================================================== c | 351 | 3380 3647 475971 | 5000 351 3229 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 17.1824 s Remaining CPU time: 162.818 s c =============================================================================== c | 361 | 3380 3648 479321 | 5000 361 3228 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 17.4793 s Remaining CPU time: 162.521 s c =============================================================================== c | 362 | 3380 3649 482671 | 5000 362 3228 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 17.7763 s Remaining CPU time: 162.224 s c =============================================================================== c | 362 | 3380 3650 486021 | 5000 362 3228 | 0.000 % | c | 463 | 3380 3650 486021 | 5500 463 3224 | 3.429 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 18.4602 s Remaining CPU time: 161.54 s c =============================================================================== c | 494 | 3380 3651 489371 | 5000 494 3224 | 3.429 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 18.7641 s Remaining CPU time: 161.236 s c =============================================================================== c | 518 | 3380 3652 492721 | 5000 518 3223 | 3.429 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 19.0781 s Remaining CPU time: 160.922 s c =============================================================================== c | 551 | 3380 3653 496071 | 5000 551 3222 | 3.429 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 19.3931 s Remaining CPU time: 160.607 s c =============================================================================== c | 578 | 3380 3654 499421 | 5000 578 3221 | 3.429 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 19.689 s Remaining CPU time: 160.311 s c =============================================================================== c | 587 | 3380 3655 502771 | 5000 587 3221 | 3.429 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 19.981 s Remaining CPU time: 160.019 s c =============================================================================== c | 591 | 3380 3656 506121 | 5000 591 3221 | 3.429 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 20.2869 s Remaining CPU time: 159.713 s c =============================================================================== c | 608 | 3380 3657 509471 | 5000 608 3221 | 3.429 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 20.5879 s Remaining CPU time: 159.412 s c =============================================================================== c | 626 | 3380 3658 512821 | 5000 626 3220 | 3.429 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 20.8848 s Remaining CPU time: 159.115 s c =============================================================================== c | 633 | 3380 3659 516171 | 5000 633 3215 | 3.429 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 21.1908 s Remaining CPU time: 158.809 s c =============================================================================== c | 649 | 3380 3660 519521 | 5000 649 3214 | 3.429 % | c | 749 | 3380 3660 519521 | 5500 749 3213 | 3.429 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 21.9377 s Remaining CPU time: 158.062 s c =============================================================================== c | 816 | 3380 3661 522871 | 5000 816 3212 | 3.429 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 22.2876 s Remaining CPU time: 157.712 s c =============================================================================== c | 878 | 3380 3662 526221 | 5000 878 3211 | 3.429 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 22.6346 s Remaining CPU time: 157.365 s c =============================================================================== c | 933 | 3380 3663 529571 | 5000 933 3210 | 3.429 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 22.9665 s Remaining CPU time: 157.033 s c =============================================================================== c | 958 | 3380 3664 532921 | 5000 958 3210 | 3.429 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 23.2825 s Remaining CPU time: 156.718 s c =============================================================================== c | 962 | 3380 3665 536271 | 5000 962 3210 | 3.429 % | c | 1063 | 3380 3665 536271 | 5500 1063 3208 | 3.429 % | c | 1213 | 3380 3665 536271 | 6050 1213 3207 | 3.429 % | c | 1438 | 3380 3665 536271 | 6655 1438 3205 | 3.429 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 25.6521 s Remaining CPU time: 154.348 s c =============================================================================== c | 1748 | 3380 3666 539621 | 5000 1748 3203 | 3.429 % | c | 1848 | 3380 3666 539621 | 5500 1848 3203 | 3.429 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 26.577 s Remaining CPU time: 153.423 s c =============================================================================== c | 1964 | 3380 3667 542971 | 5000 1964 3202 | 3.429 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 27.0129 s Remaining CPU time: 152.987 s c =============================================================================== c | 2018 | 3380 3668 546321 | 5000 2018 3202 | 3.429 % | c | 2118 | 3380 3668 546321 | 5500 2118 3202 | 3.429 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 27.8768 s Remaining CPU time: 152.123 s c =============================================================================== c | 2179 | 3380 3669 549671 | 5000 2179 3201 | 3.429 % | c | 2279 | 3380 3669 549671 | 5500 2279 3201 | 3.429 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 28.7466 s Remaining CPU time: 151.253 s c =============================================================================== c | 2362 | 3380 3670 553021 | 5000 2362 3201 | 3.429 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 29.1416 s Remaining CPU time: 150.858 s c =============================================================================== c | 2401 | 3380 3671 556371 | 5000 2401 3201 | 3.429 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 29.5725 s Remaining CPU time: 150.427 s c =============================================================================== c | 2491 | 3380 3672 559721 | 5000 2491 3200 | 3.429 % | c | 2591 | 3380 3672 559721 | 5500 2591 3200 | 3.429 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 30.4734 s Remaining CPU time: 149.527 s c =============================================================================== c | 2717 | 3380 3673 563071 | 5000 2717 3199 | 3.429 % | c | 2817 | 3380 3673 563071 | 5500 2817 3199 | 3.429 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 31.3512 s Remaining CPU time: 148.649 s c =============================================================================== c | 2945 | 3380 3674 566421 | 5000 2945 3198 | 3.429 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 31.7832 s Remaining CPU time: 148.217 s c =============================================================================== c | 3016 | 3380 3675 569771 | 5000 3016 3198 | 3.429 % | c | 3116 | 3380 3675 569771 | 5500 3116 3198 | 3.429 % | c | 3267 | 3380 3675 569771 | 6050 3267 3197 | 3.429 % | c | 3493 | 3380 3675 569771 | 6655 3493 3196 | 3.429 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 33.8439 s Remaining CPU time: 146.156 s c =============================================================================== c | 3547 | 3380 3676 573121 | 5000 3547 3196 | 3.429 % | c | 3647 | 3380 3676 573121 | 5500 3647 3196 | 3.429 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 34.5887 s Remaining CPU time: 145.411 s c =============================================================================== c | 3659 | 3380 3677 576471 | 5000 3659 3196 | 3.429 % | c | 3759 | 3380 3677 576471 | 5500 3759 3195 | 3.429 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 35.4146 s Remaining CPU time: 144.585 s c =============================================================================== c | 3832 | 3380 3678 579821 | 5000 3832 3195 | 3.429 % | c | 3933 | 3380 3678 579821 | 5500 3933 3195 | 3.429 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 36.3835 s Remaining CPU time: 143.617 s c =============================================================================== c | 4020 | 3380 3679 583171 | 5000 4020 3195 | 3.429 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 36.8054 s Remaining CPU time: 143.195 s c =============================================================================== c | 4095 | 3380 3680 586521 | 5000 4095 3194 | 3.429 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 37.1673 s Remaining CPU time: 142.833 s c =============================================================================== c | 4127 | 3380 3681 589871 | 5000 4127 3194 | 3.429 % | c | 4227 | 3380 3681 589871 | 5500 4227 3194 | 3.429 % | c | 4377 | 3380 3681 589871 | 6050 4377 3193 | 3.429 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 38.7251 s Remaining CPU time: 141.275 s c =============================================================================== c | 4530 | 3380 3682 593221 | 5000 4530 3193 | 3.429 % | c | 4630 | 3380 3682 593221 | 5500 4630 3193 | 3.429 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 39.639 s Remaining CPU time: 140.361 s c =============================================================================== c | 4742 | 3380 3683 596571 | 5000 4742 3192 | 3.429 % | c | 4842 | 3380 3683 596571 | 5500 4842 3192 | 3.429 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 40.4748 s Remaining CPU time: 139.525 s c =============================================================================== c | 4870 | 3380 3684 599921 | 5000 4870 3192 | 3.429 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 40.8988 s Remaining CPU time: 139.101 s c =============================================================================== c | 4962 | 3380 3685 603271 | 5000 4962 3192 | 3.429 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 41.4017 s Remaining CPU time: 138.598 s c =============================================================================== c | 5050 | 3380 3686 606621 | 5000 5050 3191 | 3.429 % | c | 5151 | 3380 3686 606621 | 5500 5151 3191 | 3.429 % | c | 5302 | 3380 3686 606621 | 6050 5302 3191 | 3.429 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 42.8225 s Remaining CPU time: 137.178 s c =============================================================================== c | 5341 | 3380 3687 609971 | 5000 5341 3190 | 3.429 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 43.2434 s Remaining CPU time: 136.757 s c =============================================================================== c | 5383 | 3380 3688 613321 | 5000 2713 3180 | 3.429 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 43.6014 s Remaining CPU time: 136.399 s c =============================================================================== c | 5394 | 3380 3689 616671 | 5000 2724 3180 | 3.429 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 44.0273 s Remaining CPU time: 135.973 s c =============================================================================== c | 5416 | 3380 3690 620021 | 5000 2746 3180 | 3.429 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 44.4362 s Remaining CPU time: 135.564 s c =============================================================================== c | 5449 | 3380 3691 623371 | 5000 2779 3180 | 3.429 % | c | 5549 | 3380 3691 623371 | 5500 2879 3180 | 3.429 % | c | 5700 | 3380 3691 623371 | 6050 3030 3179 | 3.429 % | c | 5925 | 3380 3691 623371 | 6655 3255 3179 | 3.429 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 46.5839 s Remaining CPU time: 133.416 s c =============================================================================== c | 5968 | 3380 3692 626721 | 5000 3298 3178 | 3.429 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 46.9499 s Remaining CPU time: 133.05 s c =============================================================================== c | 5983 | 3380 3693 630071 | 5000 3313 3178 | 3.429 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 47.3398 s Remaining CPU time: 132.66 s c =============================================================================== c | 6024 | 3380 3694 633421 | 5000 3354 3178 | 3.429 % | c | 6124 | 3380 3694 633421 | 5500 3454 3178 | 3.429 % | c | 6274 | 3380 3694 633421 | 6050 3604 3178 | 3.429 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 48.9016 s Remaining CPU time: 131.098 s c =============================================================================== c | 6293 | 3380 3695 636771 | 5000 3623 3177 | 3.429 % | c | 6393 | 3380 3695 636771 | 5500 3723 3177 | 3.429 % | c | 6544 | 3380 3695 636771 | 6050 3874 3177 | 3.429 % | c | 6769 | 3380 3695 636771 | 6655 4099 3176 | 3.429 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 51.0242 s Remaining CPU time: 128.976 s c =============================================================================== c | 6909 | 3380 3696 640121 | 5000 4239 3176 | 3.429 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 51.4312 s Remaining CPU time: 128.569 s c =============================================================================== c | 6953 | 3380 3697 643471 | 5000 4283 3176 | 3.429 % | c | 7053 | 3380 3697 643471 | 5500 4383 3175 | 3.429 % | c | 7204 | 3380 3697 643471 | 6050 4534 3175 | 3.429 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 52.9659 s Remaining CPU time: 127.034 s c =============================================================================== c | 7418 | 3380 3698 646821 | 5000 4748 3174 | 3.429 % | c | 7519 | 3380 3698 646821 | 5500 4849 3174 | 3.429 % | c | 7669 | 3380 3698 646821 | 6050 4999 3174 | 3.429 % | c | 7894 | 3380 3698 646821 | 6655 5224 3173 | 3.429 % | c | 8232 | 3380 3698 646821 | 7320 5562 3173 | 3.429 % | c | 8738 | 3380 3698 646821 | 8052 6068 3172 | 3.429 % | c | 9497 | 3380 3698 646821 | 8857 6827 3171 | 3.429 % | c | 10636 | 3380 3698 646821 | 9743 7966 3170 | 3.429 % | c | 12344 | 3380 3698 646821 | 10717 9674 3169 | 3.429 % | c | 14906 | 3380 3698 646821 | 11789 12236 3167 | 3.429 % | c | 18751 | 3380 3698 646821 | 12968 9963 3162 | 3.429 % | c | 24517 | 3380 3698 646821 | 14265 15729 3163 | 3.429 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 103.968 s Remaining CPU time: 76.0318 s c =============================================================================== c | 26373 | 3380 3699 650171 | 5000 9721 3163 | 3.429 % | c | 26473 | 3380 3699 650171 | 5500 4961 3162 | 3.429 % | c | 26624 | 3380 3699 650171 | 6050 5112 3161 | 3.429 % | c | 26850 | 3380 3699 650171 | 6655 5338 3161 | 3.429 % | c | 27188 | 3380 3699 650171 | 7320 5676 3161 | 3.429 % | c | 27695 | 3380 3699 650171 | 8052 6183 3161 | 3.429 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 110.391 s Remaining CPU time: 69.6088 s c =============================================================================== c | 28393 | 3380 3700 653521 | 5000 6881 3162 | 3.429 % | c | 28494 | 3380 3700 653521 | 5500 3542 3160 | 3.429 % | c | 28644 | 3380 3700 653521 | 6050 3692 3160 | 3.429 % | c | 28870 | 3380 3700 653521 | 6655 3918 3160 | 3.429 % | c | 29209 | 3380 3700 653521 | 7320 4257 3160 | 3.429 % |