c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4500 | c | Number Clauses: 4500 | 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 | 4465 4505 13328 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24156 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 4465 4506 17678 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24146 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 4465 4507 22028 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24139 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 0 | 4465 4508 26378 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24133 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 0 | 4465 4509 30728 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24130 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 0 | 4465 4510 35078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24128 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 0 | 4465 4511 39428 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24125 c Elapsed CPU time: 0.535918 s Remaining CPU time: 179.464 s c =============================================================================== c | 0 | 4465 4512 43778 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24122 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 0 | 4465 4513 48128 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24119 c Elapsed CPU time: 0.684895 s Remaining CPU time: 179.315 s c =============================================================================== c | 0 | 4465 4514 52478 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24118 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s c =============================================================================== c | 1 | 4465 4515 56828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24117 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 1 | 4465 4516 61178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24116 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 1 | 4465 4517 65528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24115 c Elapsed CPU time: 1.00085 s Remaining CPU time: 178.999 s c =============================================================================== c | 1 | 4465 4518 69878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24114 c Elapsed CPU time: 1.08583 s Remaining CPU time: 178.914 s c =============================================================================== c | 1 | 4465 4519 74228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24112 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 1 | 4465 4520 78578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24111 c Elapsed CPU time: 1.25381 s Remaining CPU time: 178.746 s c =============================================================================== c | 1 | 4465 4521 82928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24110 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 1 | 4465 4522 87278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24108 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 1 | 4465 4523 91628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24105 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 1 | 4465 4524 95978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24104 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s c =============================================================================== c | 1 | 4465 4525 100328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24102 c Elapsed CPU time: 1.70674 s Remaining CPU time: 178.293 s c =============================================================================== c | 1 | 4465 4526 104678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24100 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 1 | 4465 4527 109028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24099 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 1 | 4465 4528 113378 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24098 c Elapsed CPU time: 2.01469 s Remaining CPU time: 177.985 s c =============================================================================== c | 1 | 4465 4529 117728 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24097 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 1 | 4465 4530 122078 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24096 c Elapsed CPU time: 2.23666 s Remaining CPU time: 177.763 s c =============================================================================== c | 1 | 4465 4531 126428 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24095 c Elapsed CPU time: 2.34864 s Remaining CPU time: 177.651 s c =============================================================================== c | 1 | 4465 4532 130778 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24094 c Elapsed CPU time: 2.46263 s Remaining CPU time: 177.537 s c =============================================================================== c | 1 | 4465 4533 135128 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24093 c Elapsed CPU time: 2.57961 s Remaining CPU time: 177.42 s c =============================================================================== c | 1 | 4465 4534 139478 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24092 c Elapsed CPU time: 2.69559 s Remaining CPU time: 177.304 s c =============================================================================== c | 1 | 4465 4535 143828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24091 c Elapsed CPU time: 2.81757 s Remaining CPU time: 177.182 s c =============================================================================== c | 1 | 4465 4536 148178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24090 c Elapsed CPU time: 2.93855 s Remaining CPU time: 177.061 s c =============================================================================== c | 1 | 4465 4537 152528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24089 c Elapsed CPU time: 3.06453 s Remaining CPU time: 176.935 s c =============================================================================== c | 1 | 4465 4538 156878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24088 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 1 | 4465 4539 161228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24087 c Elapsed CPU time: 3.3215 s Remaining CPU time: 176.679 s c =============================================================================== c | 1 | 4465 4540 165578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24086 c Elapsed CPU time: 3.45647 s Remaining CPU time: 176.544 s c =============================================================================== c | 1 | 4465 4541 169928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24085 c Elapsed CPU time: 3.59145 s Remaining CPU time: 176.409 s c =============================================================================== c | 1 | 4465 4542 174278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24084 c Elapsed CPU time: 3.72843 s Remaining CPU time: 176.272 s c =============================================================================== c | 1 | 4465 4543 178628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24083 c Elapsed CPU time: 3.86541 s Remaining CPU time: 176.135 s c =============================================================================== c | 1 | 4465 4544 182978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24082 c Elapsed CPU time: 4.00439 s Remaining CPU time: 175.996 s c =============================================================================== c | 1 | 4465 4545 187328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24081 c Elapsed CPU time: 4.15437 s Remaining CPU time: 175.846 s c =============================================================================== c | 1 | 4465 4546 191678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24080 c Elapsed CPU time: 4.30635 s Remaining CPU time: 175.694 s c =============================================================================== c | 1 | 4465 4547 196028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24079 c Elapsed CPU time: 4.45732 s Remaining CPU time: 175.543 s c =============================================================================== c | 1 | 4465 4548 200378 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24078 c Elapsed CPU time: 4.6183 s Remaining CPU time: 175.382 s c =============================================================================== c | 1 | 4465 4549 204728 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24077 c Elapsed CPU time: 4.77727 s Remaining CPU time: 175.223 s c =============================================================================== c | 1 | 4465 4550 209078 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24076 c Elapsed CPU time: 4.93525 s Remaining CPU time: 175.065 s c =============================================================================== c | 1 | 4465 4551 213428 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24075 c Elapsed CPU time: 5.10622 s Remaining CPU time: 174.894 s c =============================================================================== c | 1 | 4465 4552 217778 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24074 c Elapsed CPU time: 5.2752 s Remaining CPU time: 174.725 s c =============================================================================== c | 1 | 4465 4553 222128 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24073 c Elapsed CPU time: 5.45017 s Remaining CPU time: 174.55 s c =============================================================================== c | 1 | 4465 4554 226478 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24072 c Elapsed CPU time: 5.62115 s Remaining CPU time: 174.379 s c =============================================================================== c | 1 | 4465 4555 230828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24071 c Elapsed CPU time: 5.80012 s Remaining CPU time: 174.2 s c =============================================================================== c | 1 | 4465 4556 235178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24070 c Elapsed CPU time: 5.97709 s Remaining CPU time: 174.023 s c =============================================================================== c | 1 | 4465 4557 239528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24069 c Elapsed CPU time: 6.16406 s Remaining CPU time: 173.836 s c =============================================================================== c | 1 | 4465 4558 243878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24067 c Elapsed CPU time: 6.34603 s Remaining CPU time: 173.654 s c =============================================================================== c | 1 | 4465 4559 248228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24066 c Elapsed CPU time: 6.53401 s Remaining CPU time: 173.466 s c =============================================================================== c | 1 | 4465 4560 252578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24065 c Elapsed CPU time: 6.72598 s Remaining CPU time: 173.274 s c =============================================================================== c | 1 | 4465 4561 256928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24064 c Elapsed CPU time: 6.92995 s Remaining CPU time: 173.07 s c =============================================================================== c | 1 | 4465 4562 261278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24063 c Elapsed CPU time: 7.12492 s Remaining CPU time: 172.875 s c =============================================================================== c | 1 | 4465 4563 265628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24062 c Elapsed CPU time: 7.32789 s Remaining CPU time: 172.672 s c =============================================================================== c | 1 | 4465 4564 269978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24061 c Elapsed CPU time: 7.52886 s Remaining CPU time: 172.471 s c =============================================================================== c | 1 | 4465 4565 274328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24060 c Elapsed CPU time: 7.73882 s Remaining CPU time: 172.261 s c =============================================================================== c | 1 | 4465 4566 278678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24059 c Elapsed CPU time: 7.94279 s Remaining CPU time: 172.057 s c =============================================================================== c | 1 | 4465 4567 283028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24058 c Elapsed CPU time: 8.15976 s Remaining CPU time: 171.84 s c =============================================================================== c | 1 | 4465 4568 287378 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24057 c Elapsed CPU time: 8.38172 s Remaining CPU time: 171.618 s c =============================================================================== c | 1 | 4465 4569 291728 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24056 c Elapsed CPU time: 8.60669 s Remaining CPU time: 171.393 s c =============================================================================== c | 1 | 4465 4570 296078 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24055 c Elapsed CPU time: 8.82766 s Remaining CPU time: 171.172 s c =============================================================================== c | 1 | 4465 4571 300428 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24054 c Elapsed CPU time: 9.05362 s Remaining CPU time: 170.946 s c =============================================================================== c | 1 | 4465 4572 304778 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24053 c Elapsed CPU time: 9.28359 s Remaining CPU time: 170.716 s c =============================================================================== c | 1 | 4465 4573 309128 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24052 c Elapsed CPU time: 9.52455 s Remaining CPU time: 170.475 s c =============================================================================== c | 1 | 4465 4574 313478 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24051 c Elapsed CPU time: 9.76552 s Remaining CPU time: 170.234 s c =============================================================================== c | 1 | 4465 4575 317828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24050 c Elapsed CPU time: 10.0115 s Remaining CPU time: 169.989 s c =============================================================================== c | 1 | 4465 4576 322178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24049 c Elapsed CPU time: 10.2584 s Remaining CPU time: 169.742 s c =============================================================================== c | 1 | 4465 4577 326528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24048 c Elapsed CPU time: 10.5164 s Remaining CPU time: 169.484 s c =============================================================================== c | 1 | 4465 4578 330878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24047 c Elapsed CPU time: 10.7744 s Remaining CPU time: 169.226 s c =============================================================================== c | 1 | 4465 4579 335228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24046 c Elapsed CPU time: 11.0383 s Remaining CPU time: 168.962 s c =============================================================================== c | 1 | 4465 4580 339578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24045 c Elapsed CPU time: 11.3063 s Remaining CPU time: 168.694 s c =============================================================================== c | 1 | 4465 4581 343928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24044 c Elapsed CPU time: 11.5782 s Remaining CPU time: 168.422 s c =============================================================================== c | 1 | 4465 4582 348278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24043 c Elapsed CPU time: 11.8542 s Remaining CPU time: 168.146 s c =============================================================================== c | 1 | 4465 4583 352628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24042 c Elapsed CPU time: 12.1282 s Remaining CPU time: 167.872 s c =============================================================================== c | 1 | 4465 4584 356978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24041 c Elapsed CPU time: 12.4031 s Remaining CPU time: 167.597 s c =============================================================================== c | 1 | 4465 4585 361328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24040 c Elapsed CPU time: 12.6881 s Remaining CPU time: 167.312 s c =============================================================================== c | 1 | 4465 4586 365678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24039 c Elapsed CPU time: 12.977 s Remaining CPU time: 167.023 s c =============================================================================== c | 1 | 4465 4587 370028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24038 c Elapsed CPU time: 13.289 s Remaining CPU time: 166.711 s c =============================================================================== c | 1 | 4465 4588 374378 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24036 c Elapsed CPU time: 13.5919 s Remaining CPU time: 166.408 s c =============================================================================== c | 1 | 4465 4589 378728 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24035 c Elapsed CPU time: 13.9099 s Remaining CPU time: 166.09 s c =============================================================================== c | 1 | 4465 4590 383078 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24034 c Elapsed CPU time: 14.2268 s Remaining CPU time: 165.773 s c =============================================================================== c | 1 | 4465 4591 387428 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24033 c Elapsed CPU time: 14.5678 s Remaining CPU time: 165.432 s c =============================================================================== c | 1 | 4465 4592 391778 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24032 c Elapsed CPU time: 14.9027 s Remaining CPU time: 165.097 s c =============================================================================== c | 1 | 4465 4593 396128 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24031 c Elapsed CPU time: 15.2347 s Remaining CPU time: 164.765 s c =============================================================================== c | 1 | 4465 4594 400478 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24030 c Elapsed CPU time: 15.5806 s Remaining CPU time: 164.419 s c =============================================================================== c | 1 | 4465 4595 404828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24029 c Elapsed CPU time: 15.9226 s Remaining CPU time: 164.077 s c =============================================================================== c | 1 | 4465 4596 409178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24028 c Elapsed CPU time: 16.2665 s Remaining CPU time: 163.733 s c =============================================================================== c | 1 | 4465 4597 413528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24027 c Elapsed CPU time: 16.6035 s Remaining CPU time: 163.397 s c =============================================================================== c | 1 | 4465 4598 417878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24026 c Elapsed CPU time: 16.9474 s Remaining CPU time: 163.053 s c =============================================================================== c | 1 | 4465 4599 422228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24025 c Elapsed CPU time: 17.2914 s Remaining CPU time: 162.709 s c =============================================================================== c | 1 | 4465 4600 426578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24024 c Elapsed CPU time: 17.6493 s Remaining CPU time: 162.351 s c =============================================================================== c | 1 | 4465 4601 430928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24023 c Elapsed CPU time: 17.9973 s Remaining CPU time: 162.003 s c =============================================================================== c | 1 | 4465 4602 435278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24022 c Elapsed CPU time: 18.3562 s Remaining CPU time: 161.644 s c =============================================================================== c | 1 | 4465 4603 439628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24021 c Elapsed CPU time: 18.7122 s Remaining CPU time: 161.288 s c =============================================================================== c | 1 | 4465 4604 443978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24020 c Elapsed CPU time: 19.0681 s Remaining CPU time: 160.932 s c =============================================================================== c | 1 | 4465 4605 448328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24019 c Elapsed CPU time: 19.43 s Remaining CPU time: 160.57 s c =============================================================================== c | 1 | 4465 4606 452678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24018 c Elapsed CPU time: 19.784 s Remaining CPU time: 160.216 s c =============================================================================== c | 1 | 4465 4607 457028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24017 c Elapsed CPU time: 20.1529 s Remaining CPU time: 159.847 s c =============================================================================== c | 1 | 4465 4608 461378 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24016 c Elapsed CPU time: 20.5289 s Remaining CPU time: 159.471 s c =============================================================================== c | 1 | 4465 4609 465728 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24015 c Elapsed CPU time: 20.9088 s Remaining CPU time: 159.091 s c =============================================================================== c | 1 | 4465 4610 470078 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24014 c Elapsed CPU time: 21.2778 s Remaining CPU time: 158.722 s c =============================================================================== c | 1 | 4465 4611 474428 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24013 c Elapsed CPU time: 21.6547 s Remaining CPU time: 158.345 s c =============================================================================== c | 1 | 4465 4612 478778 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24012 c Elapsed CPU time: 22.0237 s Remaining CPU time: 157.976 s c =============================================================================== c | 1 | 4465 4613 483128 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24011 c Elapsed CPU time: 22.3916 s Remaining CPU time: 157.608 s c =============================================================================== c | 1 | 4465 4614 487478 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24010 c Elapsed CPU time: 22.7835 s Remaining CPU time: 157.216 s c =============================================================================== c | 1 | 4465 4615 491828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24009 c Elapsed CPU time: 23.1655 s Remaining CPU time: 156.835 s c =============================================================================== c | 1 | 4465 4616 496178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24008 c Elapsed CPU time: 23.5694 s Remaining CPU time: 156.431 s c =============================================================================== c | 1 | 4465 4617 500528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24007 c Elapsed CPU time: 23.9564 s Remaining CPU time: 156.044 s c =============================================================================== c | 1 | 4465 4618 504878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24006 c Elapsed CPU time: 24.3563 s Remaining CPU time: 155.644 s c =============================================================================== c | 1 | 4465 4619 509228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24005 c Elapsed CPU time: 24.7512 s Remaining CPU time: 155.249 s c =============================================================================== c | 1 | 4465 4620 513578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24004 c Elapsed CPU time: 25.1632 s Remaining CPU time: 154.837 s c =============================================================================== c | 1 | 4465 4621 517928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24003 c Elapsed CPU time: 25.5771 s Remaining CPU time: 154.423 s c =============================================================================== c | 1 | 4465 4622 522278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24002 c Elapsed CPU time: 25.989 s Remaining CPU time: 154.011 s c =============================================================================== c | 1 | 4465 4623 526628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24001 c Elapsed CPU time: 26.404 s Remaining CPU time: 153.596 s c =============================================================================== c | 1 | 4465 4624 530978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 24000 c Elapsed CPU time: 26.8319 s Remaining CPU time: 153.168 s c =============================================================================== c | 1 | 4465 4625 535328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23999 c Elapsed CPU time: 27.2539 s Remaining CPU time: 152.746 s c =============================================================================== c | 1 | 4465 4626 539678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23998 c Elapsed CPU time: 27.6808 s Remaining CPU time: 152.319 s c =============================================================================== c | 1 | 4465 4627 544028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23997 c Elapsed CPU time: 28.1117 s Remaining CPU time: 151.888 s c =============================================================================== c | 1 | 4465 4628 548378 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23996 c Elapsed CPU time: 28.5607 s Remaining CPU time: 151.439 s c =============================================================================== c | 1 | 4465 4629 552728 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23995 c Elapsed CPU time: 28.9956 s Remaining CPU time: 151.004 s c =============================================================================== c | 1 | 4465 4630 557078 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23994 c Elapsed CPU time: 29.7895 s Remaining CPU time: 150.211 s c =============================================================================== c | 2 | 4464 4631 561428 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23993 c Elapsed CPU time: 30.2204 s Remaining CPU time: 149.78 s c =============================================================================== c | 2 | 4464 4632 565778 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23992 c Elapsed CPU time: 30.6723 s Remaining CPU time: 149.328 s c =============================================================================== c | 2 | 4464 4633 570128 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23991 c Elapsed CPU time: 31.1263 s Remaining CPU time: 148.874 s c =============================================================================== c | 2 | 4464 4634 574478 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23990 c Elapsed CPU time: 31.5732 s Remaining CPU time: 148.427 s c =============================================================================== c | 2 | 4464 4635 578828 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23989 c Elapsed CPU time: 32.0171 s Remaining CPU time: 147.983 s c =============================================================================== c | 2 | 4464 4636 583178 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23988 c Elapsed CPU time: 32.5031 s Remaining CPU time: 147.497 s c =============================================================================== c | 2 | 4464 4637 587528 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23987 c Elapsed CPU time: 32.976 s Remaining CPU time: 147.024 s c =============================================================================== c | 2 | 4464 4638 591878 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23986 c Elapsed CPU time: 33.4529 s Remaining CPU time: 146.547 s c =============================================================================== c | 2 | 4464 4639 596228 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23985 c Elapsed CPU time: 33.9298 s Remaining CPU time: 146.07 s c =============================================================================== c | 2 | 4464 4640 600578 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23984 c Elapsed CPU time: 34.4078 s Remaining CPU time: 145.592 s c =============================================================================== c | 2 | 4464 4641 604928 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23983 c Elapsed CPU time: 34.8887 s Remaining CPU time: 145.111 s c =============================================================================== c | 2 | 4464 4642 609278 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23982 c Elapsed CPU time: 35.3626 s Remaining CPU time: 144.637 s c =============================================================================== c | 2 | 4464 4643 613628 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23981 c Elapsed CPU time: 35.8575 s Remaining CPU time: 144.142 s c =============================================================================== c | 2 | 4464 4644 617978 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23980 c Elapsed CPU time: 36.3385 s Remaining CPU time: 143.662 s c =============================================================================== c | 2 | 4464 4645 622328 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23979 c Elapsed CPU time: 36.8214 s Remaining CPU time: 143.179 s c =============================================================================== c | 2 | 4464 4646 626678 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23978 c Elapsed CPU time: 37.3143 s Remaining CPU time: 142.686 s c =============================================================================== c | 2 | 4464 4647 631028 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 23977 c Elapsed CPU time: 38.1292 s Remaining CPU time: 141.871 s c =============================================================================== c | 3 | 4464 4648 635378 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23976 c Elapsed CPU time: 38.6061 s Remaining CPU time: 141.394 s c =============================================================================== c | 3 | 4464 4649 639728 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23975 c Elapsed CPU time: 39.1321 s Remaining CPU time: 140.868 s c =============================================================================== c | 3 | 4464 4650 644078 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23974 c Elapsed CPU time: 39.643 s Remaining CPU time: 140.357 s c =============================================================================== c | 3 | 4464 4651 648428 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23973 c Elapsed CPU time: 40.1629 s Remaining CPU time: 139.837 s c =============================================================================== c | 3 | 4464 4652 652778 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23972 c Elapsed CPU time: 40.7078 s Remaining CPU time: 139.292 s c =============================================================================== c | 3 | 4464 4653 657128 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23971 c Elapsed CPU time: 41.2357 s Remaining CPU time: 138.764 s c =============================================================================== c | 3 | 4464 4654 661478 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23970 c Elapsed CPU time: 41.7896 s Remaining CPU time: 138.21 s c =============================================================================== c | 3 | 4464 4655 665828 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23969 c Elapsed CPU time: 42.3486 s Remaining CPU time: 137.651 s c =============================================================================== c | 3 | 4464 4656 670178 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23968 c Elapsed CPU time: 42.8975 s Remaining CPU time: 137.103 s c =============================================================================== c | 3 | 4464 4657 674528 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23967 c Elapsed CPU time: 43.4394 s Remaining CPU time: 136.561 s c =============================================================================== c | 3 | 4464 4658 678878 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23966 c Elapsed CPU time: 43.9883 s Remaining CPU time: 136.012 s c =============================================================================== c | 3 | 4464 4659 683228 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23965 c Elapsed CPU time: 44.5302 s Remaining CPU time: 135.47 s c =============================================================================== c | 3 | 4464 4660 687578 | 5000 2 3 | 0.000 % | c =============================================================================== c New solution: 23964 c Elapsed CPU time: 45.5271 s Remaining CPU time: 134.473 s c =============================================================================== c | 4 | 4464 4661 691928 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23963 c Elapsed CPU time: 46.077 s Remaining CPU time: 133.923 s c =============================================================================== c | 4 | 4464 4662 696278 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23962 c Elapsed CPU time: 46.6379 s Remaining CPU time: 133.362 s c =============================================================================== c | 4 | 4464 4663 700628 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23961 c Elapsed CPU time: 47.1748 s Remaining CPU time: 132.825 s c =============================================================================== c | 4 | 4464 4664 704978 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23959 c Elapsed CPU time: 47.7267 s Remaining CPU time: 132.273 s c =============================================================================== c | 4 | 4464 4665 709328 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23958 c Elapsed CPU time: 48.2977 s Remaining CPU time: 131.702 s c =============================================================================== c | 4 | 4464 4666 713678 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23957 c Elapsed CPU time: 48.8516 s Remaining CPU time: 131.148 s c =============================================================================== c | 4 | 4464 4667 718028 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23956 c Elapsed CPU time: 49.4705 s Remaining CPU time: 130.53 s c =============================================================================== c | 4 | 4464 4668 722378 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23955 c Elapsed CPU time: 50.1094 s Remaining CPU time: 129.891 s c =============================================================================== c | 4 | 4464 4669 726728 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23954 c Elapsed CPU time: 50.7643 s Remaining CPU time: 129.236 s c =============================================================================== c | 4 | 4464 4670 731078 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23952 c Elapsed CPU time: 51.4252 s Remaining CPU time: 128.575 s c =============================================================================== c | 4 | 4464 4671 735428 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23950 c Elapsed CPU time: 52.0861 s Remaining CPU time: 127.914 s c =============================================================================== c | 4 | 4464 4672 739778 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23949 c Elapsed CPU time: 52.729 s Remaining CPU time: 127.271 s c =============================================================================== c | 4 | 4464 4673 744128 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23948 c Elapsed CPU time: 53.3769 s Remaining CPU time: 126.623 s c =============================================================================== c | 4 | 4464 4674 748478 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23947 c Elapsed CPU time: 54.0008 s Remaining CPU time: 125.999 s c =============================================================================== c | 4 | 4464 4675 752828 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23946 c Elapsed CPU time: 54.6427 s Remaining CPU time: 125.357 s c =============================================================================== c | 4 | 4464 4676 757178 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23945 c Elapsed CPU time: 55.3006 s Remaining CPU time: 124.699 s c =============================================================================== c | 4 | 4464 4677 761528 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23944 c Elapsed CPU time: 55.9445 s Remaining CPU time: 124.056 s c =============================================================================== c | 4 | 4464 4678 765878 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23943 c Elapsed CPU time: 56.5944 s Remaining CPU time: 123.406 s c =============================================================================== c | 4 | 4464 4679 770228 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23941 c Elapsed CPU time: 57.2593 s Remaining CPU time: 122.741 s c =============================================================================== c | 4 | 4464 4680 774578 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23940 c Elapsed CPU time: 57.9602 s Remaining CPU time: 122.04 s c =============================================================================== c | 4 | 4464 4681 778928 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23939 c Elapsed CPU time: 58.6151 s Remaining CPU time: 121.385 s c =============================================================================== c | 4 | 4464 4682 783278 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23938 c Elapsed CPU time: 59.283 s Remaining CPU time: 120.717 s c =============================================================================== c | 4 | 4464 4683 787628 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23937 c Elapsed CPU time: 59.9279 s Remaining CPU time: 120.072 s c =============================================================================== c | 4 | 4464 4684 791978 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23936 c Elapsed CPU time: 60.5818 s Remaining CPU time: 119.418 s c =============================================================================== c | 4 | 4464 4685 796328 | 5000 3 3 | 0.000 % | c =============================================================================== c New solution: 23935 c Elapsed CPU time: 61.4457 s Remaining CPU time: 118.554 s c =============================================================================== c | 5 | 4464 4686 800678 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23934 c Elapsed CPU time: 62.1046 s Remaining CPU time: 117.895 s c =============================================================================== c | 5 | 4464 4687 805028 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23933 c Elapsed CPU time: 62.7705 s Remaining CPU time: 117.23 s c =============================================================================== c | 5 | 4464 4688 809378 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23932 c Elapsed CPU time: 63.4734 s Remaining CPU time: 116.527 s c =============================================================================== c | 5 | 4464 4689 813728 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23931 c Elapsed CPU time: 64.1562 s Remaining CPU time: 115.844 s c =============================================================================== c | 5 | 4464 4690 818078 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23930 c Elapsed CPU time: 64.8591 s Remaining CPU time: 115.141 s c =============================================================================== c | 5 | 4464 4691 822428 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23929 c Elapsed CPU time: 65.543 s Remaining CPU time: 114.457 s c =============================================================================== c | 5 | 4464 4692 826778 | 5000 4 3 | 0.000 % | c =============================================================================== c New solution: 23928 c Elapsed CPU time: 66.6529 s Remaining CPU time: 113.347 s c =============================================================================== c | 6 | 4464 4693 831128 | 5000 5 3 | 0.000 % | c =============================================================================== c New solution: 23927 c Elapsed CPU time: 67.3508 s Remaining CPU time: 112.649 s c =============================================================================== c | 6 | 4464 4694 835478 | 5000 5 3 | 0.000 % | c =============================================================================== c New solution: 23926 c Elapsed CPU time: 68.0197 s Remaining CPU time: 111.98 s c =============================================================================== c | 6 | 4464 4695 839828 | 5000 5 3 | 0.000 % | c =============================================================================== c New solution: 23924 c Elapsed CPU time: 68.6376 s Remaining CPU time: 111.362 s c =============================================================================== c | 6 | 4464 4696 844178 | 5000 5 3 | 0.000 % | c =============================================================================== c New solution: 23923 c Elapsed CPU time: 69.3175 s Remaining CPU time: 110.683 s c =============================================================================== c | 6 | 4464 4697 848528 | 5000 5 3 | 0.000 % | c =============================================================================== c New solution: 23922 c Elapsed CPU time: 70.5583 s Remaining CPU time: 109.442 s c =============================================================================== c | 7 | 4464 4698 852878 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 23920 c Elapsed CPU time: 71.2492 s Remaining CPU time: 108.751 s c =============================================================================== c | 7 | 4464 4699 857228 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 23919 c Elapsed CPU time: 71.9301 s Remaining CPU time: 108.07 s c =============================================================================== c | 7 | 4464 4700 861578 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 23918 c Elapsed CPU time: 72.618 s Remaining CPU time: 107.382 s c =============================================================================== c | 7 | 4464 4701 865928 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 23917 c Elapsed CPU time: 73.3029 s Remaining CPU time: 106.697 s c =============================================================================== c | 7 | 4464 4702 870278 | 5000 6 3 | 0.000 % | c =============================================================================== c New solution: 23914 c Elapsed CPU time: 74.3057 s Remaining CPU time: 105.694 s c =============================================================================== c | 8 | 4464 4703 874628 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23912 c Elapsed CPU time: 74.9806 s Remaining CPU time: 105.019 s c =============================================================================== c | 8 | 4464 4704 878978 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23911 c Elapsed CPU time: 75.6705 s Remaining CPU time: 104.33 s c =============================================================================== c | 8 | 4464 4705 883328 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23909 c Elapsed CPU time: 76.3604 s Remaining CPU time: 103.64 s c =============================================================================== c | 8 | 4464 4706 887678 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23908 c Elapsed CPU time: 77.0623 s Remaining CPU time: 102.938 s c =============================================================================== c | 8 | 4464 4707 892028 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23907 c Elapsed CPU time: 77.7722 s Remaining CPU time: 102.228 s c =============================================================================== c | 8 | 4464 4708 896378 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23906 c Elapsed CPU time: 78.4661 s Remaining CPU time: 101.534 s c =============================================================================== c | 8 | 4464 4709 900728 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23905 c Elapsed CPU time: 79.16 s Remaining CPU time: 100.84 s c =============================================================================== c | 8 | 4464 4710 905078 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23904 c Elapsed CPU time: 79.8659 s Remaining CPU time: 100.134 s c =============================================================================== c | 8 | 4464 4711 909428 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23903 c Elapsed CPU time: 80.5668 s Remaining CPU time: 99.4332 s c =============================================================================== c | 8 | 4464 4712 913778 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23902 c Elapsed CPU time: 81.2736 s Remaining CPU time: 98.7264 s c =============================================================================== c | 8 | 4464 4713 918128 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23900 c Elapsed CPU time: 81.9935 s Remaining CPU time: 98.0065 s c =============================================================================== c | 8 | 4464 4714 922478 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23899 c Elapsed CPU time: 82.7244 s Remaining CPU time: 97.2756 s c =============================================================================== c | 8 | 4464 4715 926828 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23898 c Elapsed CPU time: 83.4433 s Remaining CPU time: 96.5567 s c =============================================================================== c | 8 | 4464 4716 931178 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23897 c Elapsed CPU time: 84.1412 s Remaining CPU time: 95.8588 s c =============================================================================== c | 8 | 4464 4717 935528 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23896 c Elapsed CPU time: 84.8661 s Remaining CPU time: 95.1339 s c =============================================================================== c | 8 | 4464 4718 939878 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23895 c Elapsed CPU time: 85.581 s Remaining CPU time: 94.419 s c =============================================================================== c | 8 | 4464 4719 944228 | 5000 7 3 | 0.000 % | c =============================================================================== c New solution: 23893 c Elapsed CPU time: 86.9018 s Remaining CPU time: 93.0982 s c =============================================================================== c | 9 | 4463 4720 948578 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23892 c Elapsed CPU time: 87.6037 s Remaining CPU time: 92.3963 s c =============================================================================== c | 9 | 4463 4721 952928 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23890 c Elapsed CPU time: 88.3106 s Remaining CPU time: 91.6894 s c =============================================================================== c | 9 | 4463 4722 957278 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23889 c Elapsed CPU time: 89.0355 s Remaining CPU time: 90.9645 s c =============================================================================== c | 9 | 4463 4723 961628 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23886 c Elapsed CPU time: 89.7624 s Remaining CPU time: 90.2376 s c =============================================================================== c | 9 | 4463 4724 965978 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23885 c Elapsed CPU time: 90.4772 s Remaining CPU time: 89.5228 s c =============================================================================== c | 9 | 4463 4725 970328 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23883 c Elapsed CPU time: 91.2151 s Remaining CPU time: 88.7849 s c =============================================================================== c | 9 | 4463 4726 974678 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23881 c Elapsed CPU time: 91.938 s Remaining CPU time: 88.062 s c =============================================================================== c | 9 | 4463 4727 979028 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23880 c Elapsed CPU time: 92.6629 s Remaining CPU time: 87.3371 s c =============================================================================== c | 9 | 4463 4728 983378 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23879 c Elapsed CPU time: 93.3968 s Remaining CPU time: 86.6032 s c =============================================================================== c | 9 | 4463 4729 987728 | 5000 8 3 | 0.000 % | c =============================================================================== c New solution: 23878 c Elapsed CPU time: 94.1497 s Remaining CPU time: 85.8503 s c =============================================================================== c | 10 | 4463 4730 992078 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23877 c Elapsed CPU time: 94.8686 s Remaining CPU time: 85.1314 s c =============================================================================== c | 10 | 4463 4731 996428 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23876 c Elapsed CPU time: 95.6285 s Remaining CPU time: 84.3715 s c =============================================================================== c | 10 | 4463 4732 1000778 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23875 c Elapsed CPU time: 96.4243 s Remaining CPU time: 83.5757 s c =============================================================================== c | 10 | 4463 4733 1005128 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23874 c Elapsed CPU time: 97.2552 s Remaining CPU time: 82.7448 s c =============================================================================== c | 10 | 4463 4734 1009478 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23873 c Elapsed CPU time: 98.0081 s Remaining CPU time: 81.9919 s c =============================================================================== c | 10 | 4463 4735 1013828 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23872 c Elapsed CPU time: 98.826 s Remaining CPU time: 81.174 s c =============================================================================== c | 10 | 4463 4736 1018178 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23871 c Elapsed CPU time: 99.6019 s Remaining CPU time: 80.3981 s c =============================================================================== c | 10 | 4463 4737 1022528 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23870 c Elapsed CPU time: 100.367 s Remaining CPU time: 79.6333 s c =============================================================================== c | 10 | 4463 4738 1026878 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23869 c Elapsed CPU time: 101.109 s Remaining CPU time: 78.8914 s c =============================================================================== c | 10 | 4463 4739 1031228 | 5000 9 481 | 0.000 % | c =============================================================================== c New solution: 23867 c Elapsed CPU time: 101.874 s Remaining CPU time: 78.1265 s c =============================================================================== c | 11 | 4463 4740 1035578 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23866 c Elapsed CPU time: 102.681 s Remaining CPU time: 77.3186 s c =============================================================================== c | 11 | 4463 4741 1039928 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23865 c Elapsed CPU time: 103.515 s Remaining CPU time: 76.4847 s c =============================================================================== c | 11 | 4463 4742 1044278 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23864 c Elapsed CPU time: 104.341 s Remaining CPU time: 75.6589 s c =============================================================================== c | 11 | 4463 4743 1048628 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23863 c Elapsed CPU time: 105.139 s Remaining CPU time: 74.861 s c =============================================================================== c | 11 | 4463 4744 1052978 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23862 c Elapsed CPU time: 105.914 s Remaining CPU time: 74.0861 s c =============================================================================== c | 11 | 4463 4745 1057328 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23861 c Elapsed CPU time: 106.659 s Remaining CPU time: 73.3412 s c =============================================================================== c | 11 | 4463 4746 1061678 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23860 c Elapsed CPU time: 107.46 s Remaining CPU time: 72.5403 s c =============================================================================== c | 11 | 4463 4747 1066028 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23859 c Elapsed CPU time: 108.248 s Remaining CPU time: 71.7525 s c =============================================================================== c | 11 | 4463 4748 1070378 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23858 c Elapsed CPU time: 109.073 s Remaining CPU time: 70.9266 s c =============================================================================== c | 11 | 4463 4749 1074728 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23857 c Elapsed CPU time: 109.877 s Remaining CPU time: 70.1227 s c =============================================================================== c | 11 | 4463 4750 1079078 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23856 c Elapsed CPU time: 110.707 s Remaining CPU time: 69.2928 s c =============================================================================== c | 11 | 4463 4751 1083428 | 5000 9 482 | 0.000 % | c =============================================================================== c New solution: 23855 c Elapsed CPU time: 111.508 s Remaining CPU time: 68.492 s c =============================================================================== c | 11 | 4463 4752 1087778 | 5000 9 482 | 0.000 % | c =============================================================================== c New solution: 23853 c Elapsed CPU time: 112.327 s Remaining CPU time: 67.6731 s c =============================================================================== c | 11 | 4463 4753 1092128 | 5000 9 482 | 0.000 % | c =============================================================================== c New solution: 23852 c Elapsed CPU time: 113.222 s Remaining CPU time: 66.7782 s c =============================================================================== c | 12 | 4463 4754 1096478 | 5000 10 434 | 0.000 % | c =============================================================================== c New solution: 23851 c Elapsed CPU time: 114.038 s Remaining CPU time: 65.9623 s c =============================================================================== c | 13 | 4463 4755 1100828 | 5000 11 786 | 0.000 % | c =============================================================================== c New solution: 23850 c Elapsed CPU time: 114.908 s Remaining CPU time: 65.0925 s c =============================================================================== c | 13 | 4463 4756 1105178 | 5000 11 786 | 0.000 % | c =============================================================================== c New solution: 23849 c Elapsed CPU time: 115.759 s Remaining CPU time: 64.2406 s c =============================================================================== c | 13 | 4463 4757 1109528 | 5000 11 786 | 0.000 % | c =============================================================================== c New solution: 23848 c Elapsed CPU time: 116.598 s Remaining CPU time: 63.4017 s c =============================================================================== c | 13 | 4463 4758 1113878 | 5000 11 786 | 0.000 % | c =============================================================================== c New solution: 23847 c Elapsed CPU time: 117.486 s Remaining CPU time: 62.5139 s c =============================================================================== c | 13 | 4463 4759 1118228 | 5000 11 786 | 0.000 % | c =============================================================================== c New solution: 23846 c Elapsed CPU time: 118.37 s Remaining CPU time: 61.63 s c =============================================================================== c | 14 | 4463 4760 1122578 | 5000 12 1079 | 0.000 % | c =============================================================================== c New solution: 23845 c Elapsed CPU time: 119.244 s Remaining CPU time: 60.7561 s c =============================================================================== c | 14 | 4463 4761 1126928 | 5000 12 1079 | 0.000 % | c =============================================================================== c New solution: 23844 c Elapsed CPU time: 120.12 s Remaining CPU time: 59.8803 s c =============================================================================== c | 14 | 4463 4762 1131278 | 5000 12 1079 | 0.000 % | c =============================================================================== c New solution: 23843 c Elapsed CPU time: 120.999 s Remaining CPU time: 59.0014 s c =============================================================================== c | 14 | 4463 4763 1135628 | 5000 12 1079 | 0.000 % | c =============================================================================== c New solution: 23842 c Elapsed CPU time: 121.891 s Remaining CPU time: 58.1085 s c =============================================================================== c | 15 | 4463 4764 1139978 | 5000 13 996 | 0.000 % | c =============================================================================== c New solution: 23841 c Elapsed CPU time: 122.712 s Remaining CPU time: 57.2877 s c =============================================================================== c | 15 | 4463 4765 1144328 | 5000 13 996 | 0.000 % | c =============================================================================== c New solution: 23840 c Elapsed CPU time: 123.575 s Remaining CPU time: 56.4248 s c =============================================================================== c | 15 | 4463 4766 1148678 | 5000 13 996 | 0.000 % | c =============================================================================== c New solution: 23839 c Elapsed CPU time: 124.393 s Remaining CPU time: 55.6069 s c =============================================================================== c | 15 | 4463 4767 1153028 | 5000 13 996 | 0.000 % | c =============================================================================== c New solution: 23838 c Elapsed CPU time: 125.295 s Remaining CPU time: 54.705 s c =============================================================================== c | 15 | 4463 4768 1157378 | 5000 13 996 | 0.000 % | c =============================================================================== c New solution: 23837 c Elapsed CPU time: 126.201 s Remaining CPU time: 53.7992 s c =============================================================================== c | 15 | 4463 4769 1161728 | 5000 13 996 | 0.000 % | c =============================================================================== c New solution: 23836 c Elapsed CPU time: 127.132 s Remaining CPU time: 52.8683 s c =============================================================================== c | 16 | 4463 4770 1166078 | 5000 14 1232 | 0.000 % | c =============================================================================== c New solution: 23835 c Elapsed CPU time: 128.049 s Remaining CPU time: 51.9515 s c =============================================================================== c | 16 | 4463 4771 1170428 | 5000 14 1232 | 0.000 % | c =============================================================================== c New solution: 23834 c Elapsed CPU time: 128.962 s Remaining CPU time: 51.0376 s c =============================================================================== c | 16 | 4463 4772 1174778 | 5000 14 1232 | 0.000 % | c =============================================================================== c New solution: 23833 c Elapsed CPU time: 129.886 s Remaining CPU time: 50.1137 s c =============================================================================== c | 16 | 4463 4773 1179128 | 5000 14 1232 | 0.000 % | c =============================================================================== c New solution: 23832 c Elapsed CPU time: 130.852 s Remaining CPU time: 49.1479 s c =============================================================================== c | 19 | 4463 4774 1183478 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23831 c Elapsed CPU time: 131.793 s Remaining CPU time: 48.207 s c =============================================================================== c | 19 | 4463 4775 1187828 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23830 c Elapsed CPU time: 132.729 s Remaining CPU time: 47.2712 s c =============================================================================== c | 19 | 4463 4776 1192178 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23829 c Elapsed CPU time: 133.673 s Remaining CPU time: 46.3273 s c =============================================================================== c | 19 | 4463 4777 1196528 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23828 c Elapsed CPU time: 134.625 s Remaining CPU time: 45.3755 s c =============================================================================== c | 19 | 4463 4778 1200878 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23827 c Elapsed CPU time: 135.565 s Remaining CPU time: 44.4346 s c =============================================================================== c | 19 | 4463 4779 1205228 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23826 c Elapsed CPU time: 136.494 s Remaining CPU time: 43.5058 s c =============================================================================== c | 19 | 4463 4780 1209578 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23825 c Elapsed CPU time: 137.462 s Remaining CPU time: 42.5379 s c =============================================================================== c | 19 | 4463 4781 1213928 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23824 c Elapsed CPU time: 138.43 s Remaining CPU time: 41.57 s c =============================================================================== c | 19 | 4463 4782 1218278 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23823 c Elapsed CPU time: 139.374 s Remaining CPU time: 40.6262 s c =============================================================================== c | 19 | 4463 4783 1222628 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23822 c Elapsed CPU time: 140.318 s Remaining CPU time: 39.6823 s c =============================================================================== c | 19 | 4463 4784 1226978 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23821 c Elapsed CPU time: 141.252 s Remaining CPU time: 38.7485 s c =============================================================================== c | 19 | 4463 4785 1231328 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23820 c Elapsed CPU time: 142.15 s Remaining CPU time: 37.8496 s c =============================================================================== c | 19 | 4463 4786 1235678 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23819 c Elapsed CPU time: 143.057 s Remaining CPU time: 36.9427 s c =============================================================================== c | 19 | 4463 4787 1240028 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23818 c Elapsed CPU time: 143.951 s Remaining CPU time: 36.0489 s c =============================================================================== c | 19 | 4463 4788 1244378 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23817 c Elapsed CPU time: 144.892 s Remaining CPU time: 35.108 s c =============================================================================== c | 19 | 4463 4789 1248728 | 5000 17 1520 | 0.000 % | c =============================================================================== c New solution: 23816 c Elapsed CPU time: 145.833 s Remaining CPU time: 34.1672 s c =============================================================================== c | 20 | 4463 4790 1253078 | 5000 18 1674 | 0.000 % | c =============================================================================== c New solution: 23815 c Elapsed CPU time: 146.749 s Remaining CPU time: 33.2513 s c =============================================================================== c | 20 | 4463 4791 1257428 | 5000 18 1674 | 0.000 % | c =============================================================================== c New solution: 23814 c Elapsed CPU time: 147.667 s Remaining CPU time: 32.3334 s c =============================================================================== c | 20 | 4463 4792 1261778 | 5000 18 1674 | 0.000 % | c =============================================================================== c New solution: 23813 c Elapsed CPU time: 148.644 s Remaining CPU time: 31.3556 s c =============================================================================== c | 20 | 4463 4793 1266128 | 5000 18 1674 | 0.000 % | c =============================================================================== c New solution: 23812 c Elapsed CPU time: 149.518 s Remaining CPU time: 30.4817 s c =============================================================================== c | 20 | 4463 4794 1270478 | 5000 18 1674 | 0.000 % | c =============================================================================== c New solution: 23811 c Elapsed CPU time: 150.419 s Remaining CPU time: 29.5809 s c =============================================================================== c | 20 | 4463 4795 1274828 | 5000 18 1674 | 0.000 % | c =============================================================================== c New solution: 23810 c Elapsed CPU time: 151.397 s Remaining CPU time: 28.603 s c =============================================================================== c | 22 | 4463 4796 1279178 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23809 c Elapsed CPU time: 152.304 s Remaining CPU time: 27.6962 s c =============================================================================== c | 22 | 4463 4797 1283528 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23808 c Elapsed CPU time: 153.2 s Remaining CPU time: 26.8003 s c =============================================================================== c | 22 | 4463 4798 1287878 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23807 c Elapsed CPU time: 154.117 s Remaining CPU time: 25.8834 s c =============================================================================== c | 22 | 4463 4799 1292228 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23806 c Elapsed CPU time: 155.06 s Remaining CPU time: 24.9396 s c =============================================================================== c | 22 | 4463 4800 1296578 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23805 c Elapsed CPU time: 155.982 s Remaining CPU time: 24.0177 s c =============================================================================== c | 22 | 4463 4801 1300928 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23804 c Elapsed CPU time: 156.938 s Remaining CPU time: 23.0619 s c =============================================================================== c | 22 | 4463 4802 1305278 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23803 c Elapsed CPU time: 157.921 s Remaining CPU time: 22.079 s c =============================================================================== c | 22 | 4463 4803 1309628 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23802 c Elapsed CPU time: 158.891 s Remaining CPU time: 21.1092 s c =============================================================================== c | 22 | 4463 4804 1313978 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23801 c Elapsed CPU time: 159.9 s Remaining CPU time: 20.1003 s c =============================================================================== c | 22 | 4463 4805 1318328 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23800 c Elapsed CPU time: 160.909 s Remaining CPU time: 19.0915 s c =============================================================================== c | 22 | 4463 4806 1322678 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23799 c Elapsed CPU time: 161.882 s Remaining CPU time: 18.1176 s c =============================================================================== c | 22 | 4463 4807 1327028 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23798 c Elapsed CPU time: 162.865 s Remaining CPU time: 17.1348 s c =============================================================================== c | 22 | 4463 4808 1331378 | 5000 20 1936 | 0.000 % | c =============================================================================== c New solution: 23797 c Elapsed CPU time: 163.949 s Remaining CPU time: 16.0509 s c =============================================================================== c | 23 | 4463 4809 1335728 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23796 c Elapsed CPU time: 165.015 s Remaining CPU time: 14.9851 s c =============================================================================== c | 23 | 4463 4810 1340078 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23795 c Elapsed CPU time: 166.082 s Remaining CPU time: 13.9182 s c =============================================================================== c | 23 | 4463 4811 1344428 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23794 c Elapsed CPU time: 167.168 s Remaining CPU time: 12.8324 s c =============================================================================== c | 23 | 4463 4812 1348778 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23793 c Elapsed CPU time: 168.174 s Remaining CPU time: 11.8256 s c =============================================================================== c | 23 | 4463 4813 1353128 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23792 c Elapsed CPU time: 169.217 s Remaining CPU time: 10.7827 s c =============================================================================== c | 23 | 4463 4814 1357478 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23791 c Elapsed CPU time: 170.249 s Remaining CPU time: 9.75088 s c =============================================================================== c | 23 | 4463 4815 1361828 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23790 c Elapsed CPU time: 171.324 s Remaining CPU time: 8.67605 s c =============================================================================== c | 23 | 4463 4816 1366178 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23789 c Elapsed CPU time: 172.357 s Remaining CPU time: 7.6432 s c =============================================================================== c | 23 | 4463 4817 1370528 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23788 c Elapsed CPU time: 173.428 s Remaining CPU time: 6.57237 s c =============================================================================== c | 23 | 4463 4818 1374878 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23787 c Elapsed CPU time: 174.528 s Remaining CPU time: 5.47153 s c =============================================================================== c | 23 | 4463 4819 1379228 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23786 c Elapsed CPU time: 175.591 s Remaining CPU time: 4.40869 s c =============================================================================== c | 23 | 4463 4820 1383578 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23785 c Elapsed CPU time: 176.68 s Remaining CPU time: 3.31986 s c =============================================================================== c | 23 | 4463 4821 1387928 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23784 c Elapsed CPU time: 177.705 s Remaining CPU time: 2.29502 s c =============================================================================== c | 23 | 4463 4822 1392278 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23783 c Elapsed CPU time: 178.736 s Remaining CPU time: 1.26417 s c =============================================================================== c | 23 | 4463 4823 1396628 | 5000 21 2048 | 0.000 % | c =============================================================================== c New solution: 23782 c Elapsed CPU time: 179.804 s Remaining CPU time: 0.196335 s c =============================================================================== c | 23 | 4463 4824 1400978 | 5000 21 2048 | 0.000 % | c There are 37 assigned variables. 16 in cost function.