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 | 4493 4505 13342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24173 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 4493 4506 17692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24163 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 4493 4507 22042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24157 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 0 | 4493 4508 26392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24154 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 0 | 4493 4509 30742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24152 c Elapsed CPU time: 0.386941 s Remaining CPU time: 179.613 s c =============================================================================== c | 0 | 4493 4510 35092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24149 c Elapsed CPU time: 0.460929 s Remaining CPU time: 179.539 s c =============================================================================== c | 0 | 4493 4511 39442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24148 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 4493 4512 43792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24146 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 0 | 4493 4513 48142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24144 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 4493 4514 52492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24142 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 0 | 4493 4515 56842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24141 c Elapsed CPU time: 0.839872 s Remaining CPU time: 179.16 s c =============================================================================== c | 0 | 4493 4516 61192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24140 c Elapsed CPU time: 0.91686 s Remaining CPU time: 179.083 s c =============================================================================== c | 0 | 4493 4517 65542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24139 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 4493 4518 69892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24138 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 0 | 4493 4519 74242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24137 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 0 | 4493 4520 78592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24135 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 4493 4521 82942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24134 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 0 | 4493 4522 87292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24133 c Elapsed CPU time: 1.43478 s Remaining CPU time: 178.565 s c =============================================================================== c | 0 | 4493 4523 91642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24132 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s c =============================================================================== c | 0 | 4493 4524 95992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24131 c Elapsed CPU time: 1.63175 s Remaining CPU time: 178.368 s c =============================================================================== c | 0 | 4493 4525 100342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24130 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 0 | 4493 4526 104692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24129 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 0 | 4493 4527 109042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24128 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 0 | 4493 4528 113392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24127 c Elapsed CPU time: 2.03369 s Remaining CPU time: 177.966 s c =============================================================================== c | 0 | 4493 4529 117742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24125 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 0 | 4493 4530 122092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24122 c Elapsed CPU time: 2.24366 s Remaining CPU time: 177.756 s c =============================================================================== c | 0 | 4493 4531 126442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24119 c Elapsed CPU time: 2.35264 s Remaining CPU time: 177.647 s c =============================================================================== c | 0 | 4493 4532 130792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24115 c Elapsed CPU time: 2.46962 s Remaining CPU time: 177.53 s c =============================================================================== c | 0 | 4493 4533 135142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24111 c Elapsed CPU time: 2.58661 s Remaining CPU time: 177.413 s c =============================================================================== c | 0 | 4493 4534 139492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24110 c Elapsed CPU time: 2.70659 s Remaining CPU time: 177.293 s c =============================================================================== c | 0 | 4493 4535 143842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24109 c Elapsed CPU time: 2.82857 s Remaining CPU time: 177.171 s c =============================================================================== c | 0 | 4493 4536 148192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24103 c Elapsed CPU time: 2.95555 s Remaining CPU time: 177.044 s c =============================================================================== c | 0 | 4493 4537 152542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24102 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 0 | 4493 4538 156892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24101 c Elapsed CPU time: 3.22051 s Remaining CPU time: 176.779 s c =============================================================================== c | 0 | 4493 4539 161242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24100 c Elapsed CPU time: 3.35549 s Remaining CPU time: 176.645 s c =============================================================================== c | 0 | 4493 4540 165592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24094 c Elapsed CPU time: 3.49047 s Remaining CPU time: 176.51 s c =============================================================================== c | 0 | 4493 4541 169942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24093 c Elapsed CPU time: 3.63645 s Remaining CPU time: 176.364 s c =============================================================================== c | 0 | 4493 4542 174292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24092 c Elapsed CPU time: 3.78642 s Remaining CPU time: 176.214 s c =============================================================================== c | 0 | 4493 4543 178642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24091 c Elapsed CPU time: 3.9364 s Remaining CPU time: 176.064 s c =============================================================================== c | 0 | 4493 4544 182992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24090 c Elapsed CPU time: 4.08938 s Remaining CPU time: 175.911 s c =============================================================================== c | 0 | 4493 4545 187342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24088 c Elapsed CPU time: 4.23735 s Remaining CPU time: 175.763 s c =============================================================================== c | 0 | 4493 4546 191692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24087 c Elapsed CPU time: 4.39133 s Remaining CPU time: 175.609 s c =============================================================================== c | 0 | 4493 4547 196042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24086 c Elapsed CPU time: 4.55331 s Remaining CPU time: 175.447 s c =============================================================================== c | 0 | 4493 4548 200392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24083 c Elapsed CPU time: 4.70928 s Remaining CPU time: 175.291 s c =============================================================================== c | 0 | 4493 4549 204742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24081 c Elapsed CPU time: 4.87726 s Remaining CPU time: 175.123 s c =============================================================================== c | 0 | 4493 4550 209092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24080 c Elapsed CPU time: 5.03523 s Remaining CPU time: 174.965 s c =============================================================================== c | 0 | 4493 4551 213442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24079 c Elapsed CPU time: 5.20621 s Remaining CPU time: 174.794 s c =============================================================================== c | 0 | 4493 4552 217792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24078 c Elapsed CPU time: 5.38118 s Remaining CPU time: 174.619 s c =============================================================================== c | 0 | 4493 4553 222142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24077 c Elapsed CPU time: 5.56115 s Remaining CPU time: 174.439 s c =============================================================================== c | 0 | 4493 4554 226492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24076 c Elapsed CPU time: 5.74013 s Remaining CPU time: 174.26 s c =============================================================================== c | 0 | 4493 4555 230842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24072 c Elapsed CPU time: 5.9211 s Remaining CPU time: 174.079 s c =============================================================================== c | 0 | 4493 4556 235192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24071 c Elapsed CPU time: 6.10407 s Remaining CPU time: 173.896 s c =============================================================================== c | 0 | 4493 4557 239542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24069 c Elapsed CPU time: 6.29904 s Remaining CPU time: 173.701 s c =============================================================================== c | 0 | 4493 4558 243892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24067 c Elapsed CPU time: 6.50001 s Remaining CPU time: 173.5 s c =============================================================================== c | 0 | 4493 4559 248242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24066 c Elapsed CPU time: 6.70098 s Remaining CPU time: 173.299 s c =============================================================================== c | 0 | 4493 4560 252592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24065 c Elapsed CPU time: 6.89795 s Remaining CPU time: 173.102 s c =============================================================================== c | 0 | 4493 4561 256942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24063 c Elapsed CPU time: 7.10392 s Remaining CPU time: 172.896 s c =============================================================================== c | 0 | 4493 4562 261292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24061 c Elapsed CPU time: 7.30889 s Remaining CPU time: 172.691 s c =============================================================================== c | 0 | 4493 4563 265642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24060 c Elapsed CPU time: 7.51586 s Remaining CPU time: 172.484 s c =============================================================================== c | 0 | 4493 4564 269992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24059 c Elapsed CPU time: 7.73182 s Remaining CPU time: 172.268 s c =============================================================================== c | 0 | 4493 4565 274342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24058 c Elapsed CPU time: 7.94579 s Remaining CPU time: 172.054 s c =============================================================================== c | 0 | 4493 4566 278692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24057 c Elapsed CPU time: 8.16276 s Remaining CPU time: 171.837 s c =============================================================================== c | 0 | 4493 4567 283042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24055 c Elapsed CPU time: 8.39472 s Remaining CPU time: 171.605 s c =============================================================================== c | 0 | 4493 4568 287392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24054 c Elapsed CPU time: 8.61969 s Remaining CPU time: 171.38 s c =============================================================================== c | 0 | 4493 4569 291742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24053 c Elapsed CPU time: 8.84765 s Remaining CPU time: 171.152 s c =============================================================================== c | 0 | 4493 4570 296092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24049 c Elapsed CPU time: 9.08062 s Remaining CPU time: 170.919 s c =============================================================================== c | 0 | 4493 4571 300442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24048 c Elapsed CPU time: 9.31658 s Remaining CPU time: 170.683 s c =============================================================================== c | 0 | 4493 4572 304792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24043 c Elapsed CPU time: 9.55755 s Remaining CPU time: 170.442 s c =============================================================================== c | 0 | 4493 4573 309142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24042 c Elapsed CPU time: 9.80251 s Remaining CPU time: 170.197 s c =============================================================================== c | 0 | 4493 4574 313492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24041 c Elapsed CPU time: 10.0545 s Remaining CPU time: 169.946 s c =============================================================================== c | 0 | 4493 4575 317842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24040 c Elapsed CPU time: 10.3034 s Remaining CPU time: 169.697 s c =============================================================================== c | 0 | 4493 4576 322192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24039 c Elapsed CPU time: 10.5544 s Remaining CPU time: 169.446 s c =============================================================================== c | 0 | 4493 4577 326542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24038 c Elapsed CPU time: 10.8104 s Remaining CPU time: 169.19 s c =============================================================================== c | 0 | 4493 4578 330892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24035 c Elapsed CPU time: 11.0643 s Remaining CPU time: 168.936 s c =============================================================================== c | 0 | 4493 4579 335242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24034 c Elapsed CPU time: 11.3233 s Remaining CPU time: 168.677 s c =============================================================================== c | 0 | 4493 4580 339592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24033 c Elapsed CPU time: 11.5952 s Remaining CPU time: 168.405 s c =============================================================================== c | 0 | 4493 4581 343942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24032 c Elapsed CPU time: 11.8622 s Remaining CPU time: 168.138 s c =============================================================================== c | 0 | 4493 4582 348292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24030 c Elapsed CPU time: 12.1352 s Remaining CPU time: 167.865 s c =============================================================================== c | 0 | 4493 4583 352642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24028 c Elapsed CPU time: 12.4111 s Remaining CPU time: 167.589 s c =============================================================================== c | 0 | 4493 4584 356992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24023 c Elapsed CPU time: 12.6791 s Remaining CPU time: 167.321 s c =============================================================================== c | 0 | 4493 4585 361342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24021 c Elapsed CPU time: 12.963 s Remaining CPU time: 167.037 s c =============================================================================== c | 0 | 4493 4586 365692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24018 c Elapsed CPU time: 13.239 s Remaining CPU time: 166.761 s c =============================================================================== c | 0 | 4493 4587 370042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24013 c Elapsed CPU time: 13.5229 s Remaining CPU time: 166.477 s c =============================================================================== c | 0 | 4493 4588 374392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24011 c Elapsed CPU time: 13.8099 s Remaining CPU time: 166.19 s c =============================================================================== c | 0 | 4493 4589 378742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24010 c Elapsed CPU time: 14.1019 s Remaining CPU time: 165.898 s c =============================================================================== c | 0 | 4493 4590 383092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24006 c Elapsed CPU time: 14.3868 s Remaining CPU time: 165.613 s c =============================================================================== c | 0 | 4493 4591 387442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24002 c Elapsed CPU time: 14.6848 s Remaining CPU time: 165.315 s c =============================================================================== c | 0 | 4493 4592 391792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24001 c Elapsed CPU time: 14.9817 s Remaining CPU time: 165.018 s c =============================================================================== c | 0 | 4493 4593 396142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23999 c Elapsed CPU time: 15.2977 s Remaining CPU time: 164.702 s c =============================================================================== c | 0 | 4493 4594 400492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23997 c Elapsed CPU time: 15.6086 s Remaining CPU time: 164.391 s c =============================================================================== c | 0 | 4493 4595 404842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23994 c Elapsed CPU time: 15.9216 s Remaining CPU time: 164.078 s c =============================================================================== c | 0 | 4493 4596 409192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23990 c Elapsed CPU time: 16.2325 s Remaining CPU time: 163.767 s c =============================================================================== c | 0 | 4493 4597 413542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23988 c Elapsed CPU time: 16.5625 s Remaining CPU time: 163.438 s c =============================================================================== c | 0 | 4493 4598 417892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23986 c Elapsed CPU time: 16.8904 s Remaining CPU time: 163.11 s c =============================================================================== c | 0 | 4493 4599 422242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23984 c Elapsed CPU time: 17.2144 s Remaining CPU time: 162.786 s c =============================================================================== c | 0 | 4493 4600 426592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23983 c Elapsed CPU time: 17.5423 s Remaining CPU time: 162.458 s c =============================================================================== c | 0 | 4493 4601 430942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23981 c Elapsed CPU time: 17.8673 s Remaining CPU time: 162.133 s c =============================================================================== c | 0 | 4493 4602 435292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23980 c Elapsed CPU time: 18.2032 s Remaining CPU time: 161.797 s c =============================================================================== c | 0 | 4493 4603 439642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23979 c Elapsed CPU time: 18.5372 s Remaining CPU time: 161.463 s c =============================================================================== c | 0 | 4493 4604 443992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23978 c Elapsed CPU time: 18.8841 s Remaining CPU time: 161.116 s c =============================================================================== c | 0 | 4493 4605 448342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23977 c Elapsed CPU time: 19.2221 s Remaining CPU time: 160.778 s c =============================================================================== c | 0 | 4493 4606 452692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23975 c Elapsed CPU time: 19.561 s Remaining CPU time: 160.439 s c =============================================================================== c | 0 | 4493 4607 457042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23973 c Elapsed CPU time: 19.917 s Remaining CPU time: 160.083 s c =============================================================================== c | 0 | 4493 4608 461392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23972 c Elapsed CPU time: 20.2769 s Remaining CPU time: 159.723 s c =============================================================================== c | 0 | 4493 4609 465742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23970 c Elapsed CPU time: 20.6329 s Remaining CPU time: 159.367 s c =============================================================================== c | 0 | 4493 4610 470092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23969 c Elapsed CPU time: 20.9878 s Remaining CPU time: 159.012 s c =============================================================================== c | 0 | 4493 4611 474442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23966 c Elapsed CPU time: 21.3408 s Remaining CPU time: 158.659 s c =============================================================================== c | 0 | 4493 4612 478792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23963 c Elapsed CPU time: 21.6907 s Remaining CPU time: 158.309 s c =============================================================================== c | 0 | 4493 4613 483142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23962 c Elapsed CPU time: 22.0526 s Remaining CPU time: 157.947 s c =============================================================================== c | 0 | 4493 4614 487492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23961 c Elapsed CPU time: 22.4236 s Remaining CPU time: 157.576 s c =============================================================================== c | 0 | 4493 4615 491842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23960 c Elapsed CPU time: 22.7895 s Remaining CPU time: 157.21 s c =============================================================================== c | 0 | 4493 4616 496192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23959 c Elapsed CPU time: 23.1705 s Remaining CPU time: 156.83 s c =============================================================================== c | 0 | 4493 4617 500542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23958 c Elapsed CPU time: 23.5704 s Remaining CPU time: 156.43 s c =============================================================================== c | 0 | 4493 4618 504892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23957 c Elapsed CPU time: 23.9734 s Remaining CPU time: 156.027 s c =============================================================================== c | 0 | 4493 4619 509242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23956 c Elapsed CPU time: 24.3663 s Remaining CPU time: 155.634 s c =============================================================================== c | 0 | 4493 4620 513592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23955 c Elapsed CPU time: 24.7642 s Remaining CPU time: 155.236 s c =============================================================================== c | 0 | 4493 4621 517942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23954 c Elapsed CPU time: 25.1622 s Remaining CPU time: 154.838 s c =============================================================================== c | 0 | 4493 4622 522292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23951 c Elapsed CPU time: 25.5561 s Remaining CPU time: 154.444 s c =============================================================================== c | 0 | 4493 4623 526642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23950 c Elapsed CPU time: 25.9741 s Remaining CPU time: 154.026 s c =============================================================================== c | 0 | 4493 4624 530992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23949 c Elapsed CPU time: 26.386 s Remaining CPU time: 153.614 s c =============================================================================== c | 0 | 4493 4625 535342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23948 c Elapsed CPU time: 26.7959 s Remaining CPU time: 153.204 s c =============================================================================== c | 0 | 4493 4626 539692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23947 c Elapsed CPU time: 27.1999 s Remaining CPU time: 152.8 s c =============================================================================== c | 0 | 4493 4627 544042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23946 c Elapsed CPU time: 27.6038 s Remaining CPU time: 152.396 s c =============================================================================== c | 0 | 4493 4628 548392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23944 c Elapsed CPU time: 28.0127 s Remaining CPU time: 151.987 s c =============================================================================== c | 0 | 4493 4629 552742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23943 c Elapsed CPU time: 28.4217 s Remaining CPU time: 151.578 s c =============================================================================== c | 0 | 4493 4630 557092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23942 c Elapsed CPU time: 28.8626 s Remaining CPU time: 151.137 s c =============================================================================== c | 0 | 4493 4631 561442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23941 c Elapsed CPU time: 29.3025 s Remaining CPU time: 150.697 s c =============================================================================== c | 0 | 4493 4632 565792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23939 c Elapsed CPU time: 29.7405 s Remaining CPU time: 150.26 s c =============================================================================== c | 0 | 4493 4633 570142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23936 c Elapsed CPU time: 30.1804 s Remaining CPU time: 149.82 s c =============================================================================== c | 0 | 4493 4634 574492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23934 c Elapsed CPU time: 30.6283 s Remaining CPU time: 149.372 s c =============================================================================== c | 0 | 4493 4635 578842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23931 c Elapsed CPU time: 31.0753 s Remaining CPU time: 148.925 s c =============================================================================== c | 0 | 4493 4636 583192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23930 c Elapsed CPU time: 31.5192 s Remaining CPU time: 148.481 s c =============================================================================== c | 0 | 4493 4637 587542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23928 c Elapsed CPU time: 31.9721 s Remaining CPU time: 148.028 s c =============================================================================== c | 0 | 4493 4638 591892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23926 c Elapsed CPU time: 32.4241 s Remaining CPU time: 147.576 s c =============================================================================== c | 0 | 4493 4639 596242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23924 c Elapsed CPU time: 32.868 s Remaining CPU time: 147.132 s c =============================================================================== c | 0 | 4493 4640 600592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23923 c Elapsed CPU time: 33.3289 s Remaining CPU time: 146.671 s c =============================================================================== c | 0 | 4493 4641 604942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23922 c Elapsed CPU time: 33.7799 s Remaining CPU time: 146.22 s c =============================================================================== c | 0 | 4493 4642 609292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23921 c Elapsed CPU time: 34.2378 s Remaining CPU time: 145.762 s c =============================================================================== c | 0 | 4493 4643 613642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23918 c Elapsed CPU time: 34.6897 s Remaining CPU time: 145.31 s c =============================================================================== c | 0 | 4493 4644 617992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23916 c Elapsed CPU time: 35.1747 s Remaining CPU time: 144.825 s c =============================================================================== c | 0 | 4493 4645 622342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23915 c Elapsed CPU time: 35.6466 s Remaining CPU time: 144.353 s c =============================================================================== c | 0 | 4493 4646 626692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23914 c Elapsed CPU time: 36.1255 s Remaining CPU time: 143.874 s c =============================================================================== c | 0 | 4493 4647 631042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23913 c Elapsed CPU time: 36.6044 s Remaining CPU time: 143.396 s c =============================================================================== c | 0 | 4493 4648 635392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23912 c Elapsed CPU time: 37.0934 s Remaining CPU time: 142.907 s c =============================================================================== c | 0 | 4493 4649 639742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23910 c Elapsed CPU time: 37.5793 s Remaining CPU time: 142.421 s c =============================================================================== c | 0 | 4493 4650 644092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23908 c Elapsed CPU time: 38.0722 s Remaining CPU time: 141.928 s c =============================================================================== c | 0 | 4493 4651 648442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23907 c Elapsed CPU time: 38.5811 s Remaining CPU time: 141.419 s c =============================================================================== c | 0 | 4493 4652 652792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23905 c Elapsed CPU time: 39.0781 s Remaining CPU time: 140.922 s c =============================================================================== c | 0 | 4493 4653 657142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23904 c Elapsed CPU time: 39.586 s Remaining CPU time: 140.414 s c =============================================================================== c | 0 | 4493 4654 661492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23902 c Elapsed CPU time: 40.1119 s Remaining CPU time: 139.888 s c =============================================================================== c | 0 | 4493 4655 665842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23900 c Elapsed CPU time: 40.6288 s Remaining CPU time: 139.371 s c =============================================================================== c | 0 | 4493 4656 670192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23897 c Elapsed CPU time: 41.1327 s Remaining CPU time: 138.867 s c =============================================================================== c | 0 | 4493 4657 674542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23894 c Elapsed CPU time: 41.6667 s Remaining CPU time: 138.333 s c =============================================================================== c | 0 | 4493 4658 678892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23892 c Elapsed CPU time: 42.1876 s Remaining CPU time: 137.812 s c =============================================================================== c | 0 | 4493 4659 683242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23891 c Elapsed CPU time: 42.7245 s Remaining CPU time: 137.275 s c =============================================================================== c | 0 | 4493 4660 687592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23889 c Elapsed CPU time: 43.2504 s Remaining CPU time: 136.75 s c =============================================================================== c | 0 | 4493 4661 691942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23888 c Elapsed CPU time: 43.7713 s Remaining CPU time: 136.229 s c =============================================================================== c | 0 | 4493 4662 696292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23885 c Elapsed CPU time: 44.2783 s Remaining CPU time: 135.722 s c =============================================================================== c | 0 | 4493 4663 700642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23884 c Elapsed CPU time: 44.8222 s Remaining CPU time: 135.178 s c =============================================================================== c | 0 | 4493 4664 704992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23883 c Elapsed CPU time: 45.3601 s Remaining CPU time: 134.64 s c =============================================================================== c | 0 | 4493 4665 709342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23879 c Elapsed CPU time: 45.9 s Remaining CPU time: 134.1 s c =============================================================================== c | 0 | 4493 4666 713692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23877 c Elapsed CPU time: 46.4579 s Remaining CPU time: 133.542 s c =============================================================================== c | 0 | 4493 4667 718042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23876 c Elapsed CPU time: 47.0059 s Remaining CPU time: 132.994 s c =============================================================================== c | 0 | 4493 4668 722392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23875 c Elapsed CPU time: 47.5538 s Remaining CPU time: 132.446 s c =============================================================================== c | 0 | 4493 4669 726742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23874 c Elapsed CPU time: 48.1137 s Remaining CPU time: 131.886 s c =============================================================================== c | 0 | 4493 4670 731092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23873 c Elapsed CPU time: 48.6516 s Remaining CPU time: 131.348 s c =============================================================================== c | 0 | 4493 4671 735442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23872 c Elapsed CPU time: 49.1975 s Remaining CPU time: 130.802 s c =============================================================================== c | 0 | 4493 4672 739792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23871 c Elapsed CPU time: 49.7454 s Remaining CPU time: 130.255 s c =============================================================================== c | 0 | 4493 4673 744142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23870 c Elapsed CPU time: 50.2874 s Remaining CPU time: 129.713 s c =============================================================================== c | 0 | 4493 4674 748492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23869 c Elapsed CPU time: 50.8433 s Remaining CPU time: 129.157 s c =============================================================================== c | 0 | 4493 4675 752842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23867 c Elapsed CPU time: 51.3812 s Remaining CPU time: 128.619 s c =============================================================================== c | 0 | 4493 4676 757192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23866 c Elapsed CPU time: 51.9241 s Remaining CPU time: 128.076 s c =============================================================================== c | 0 | 4493 4677 761542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23865 c Elapsed CPU time: 52.47 s Remaining CPU time: 127.53 s c =============================================================================== c | 0 | 4493 4678 765892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23864 c Elapsed CPU time: 53.0139 s Remaining CPU time: 126.986 s c =============================================================================== c | 0 | 4493 4679 770242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23863 c Elapsed CPU time: 53.5589 s Remaining CPU time: 126.441 s c =============================================================================== c | 0 | 4493 4680 774592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23862 c Elapsed CPU time: 54.1498 s Remaining CPU time: 125.85 s c =============================================================================== c | 0 | 4493 4681 778942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23861 c Elapsed CPU time: 54.7377 s Remaining CPU time: 125.262 s c =============================================================================== c | 0 | 4493 4682 783292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23859 c Elapsed CPU time: 55.3386 s Remaining CPU time: 124.661 s c =============================================================================== c | 0 | 4493 4683 787642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23858 c Elapsed CPU time: 55.9455 s Remaining CPU time: 124.055 s c =============================================================================== c | 0 | 4493 4684 791992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23857 c Elapsed CPU time: 56.5474 s Remaining CPU time: 123.453 s c =============================================================================== c | 0 | 4493 4685 796342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23856 c Elapsed CPU time: 57.1483 s Remaining CPU time: 122.852 s c =============================================================================== c | 0 | 4493 4686 800692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23855 c Elapsed CPU time: 57.7482 s Remaining CPU time: 122.252 s c =============================================================================== c | 0 | 4493 4687 805042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23852 c Elapsed CPU time: 58.3551 s Remaining CPU time: 121.645 s c =============================================================================== c | 0 | 4493 4688 809392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23851 c Elapsed CPU time: 58.975 s Remaining CPU time: 121.025 s c =============================================================================== c | 0 | 4493 4689 813742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23849 c Elapsed CPU time: 59.5929 s Remaining CPU time: 120.407 s c =============================================================================== c | 0 | 4493 4690 818092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23847 c Elapsed CPU time: 60.1928 s Remaining CPU time: 119.807 s c =============================================================================== c | 0 | 4493 4691 822442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23846 c Elapsed CPU time: 60.8068 s Remaining CPU time: 119.193 s c =============================================================================== c | 0 | 4493 4692 826792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23845 c Elapsed CPU time: 61.4647 s Remaining CPU time: 118.535 s c =============================================================================== c | 0 | 4493 4693 831142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23842 c Elapsed CPU time: 62.1226 s Remaining CPU time: 117.877 s c =============================================================================== c | 0 | 4493 4694 835492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23841 c Elapsed CPU time: 62.7915 s Remaining CPU time: 117.209 s c =============================================================================== c | 0 | 4493 4695 839842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23840 c Elapsed CPU time: 63.4753 s Remaining CPU time: 116.525 s c =============================================================================== c | 0 | 4493 4696 844192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23838 c Elapsed CPU time: 64.1602 s Remaining CPU time: 115.84 s c =============================================================================== c | 0 | 4493 4697 848542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23837 c Elapsed CPU time: 64.8371 s Remaining CPU time: 115.163 s c =============================================================================== c | 0 | 4493 4698 852892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23836 c Elapsed CPU time: 65.542 s Remaining CPU time: 114.458 s c =============================================================================== c | 0 | 4493 4699 857242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23835 c Elapsed CPU time: 66.2279 s Remaining CPU time: 113.772 s c =============================================================================== c | 0 | 4493 4700 861592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23834 c Elapsed CPU time: 66.9218 s Remaining CPU time: 113.078 s c =============================================================================== c | 0 | 4493 4701 865942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23832 c Elapsed CPU time: 67.6197 s Remaining CPU time: 112.38 s c =============================================================================== c | 0 | 4493 4702 870292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23830 c Elapsed CPU time: 68.3116 s Remaining CPU time: 111.688 s c =============================================================================== c | 0 | 4493 4703 874642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23829 c Elapsed CPU time: 69.0185 s Remaining CPU time: 110.981 s c =============================================================================== c | 0 | 4493 4704 878992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23828 c Elapsed CPU time: 69.7164 s Remaining CPU time: 110.284 s c =============================================================================== c | 0 | 4493 4705 883342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23827 c Elapsed CPU time: 70.4583 s Remaining CPU time: 109.542 s c =============================================================================== c | 0 | 4493 4706 887692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23826 c Elapsed CPU time: 71.1722 s Remaining CPU time: 108.828 s c =============================================================================== c | 0 | 4493 4707 892042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23824 c Elapsed CPU time: 71.9101 s Remaining CPU time: 108.09 s c =============================================================================== c | 0 | 4493 4708 896392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23822 c Elapsed CPU time: 72.635 s Remaining CPU time: 107.365 s c =============================================================================== c | 0 | 4493 4709 900742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23821 c Elapsed CPU time: 73.3528 s Remaining CPU time: 106.647 s c =============================================================================== c | 0 | 4493 4710 905092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23820 c Elapsed CPU time: 74.0607 s Remaining CPU time: 105.939 s c =============================================================================== c | 0 | 4493 4711 909442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23818 c Elapsed CPU time: 74.7816 s Remaining CPU time: 105.218 s c =============================================================================== c | 0 | 4493 4712 913792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23817 c Elapsed CPU time: 75.4905 s Remaining CPU time: 104.509 s c =============================================================================== c | 0 | 4493 4713 918142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23816 c Elapsed CPU time: 76.1964 s Remaining CPU time: 103.804 s c =============================================================================== c | 0 | 4493 4714 922492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23813 c Elapsed CPU time: 76.9183 s Remaining CPU time: 103.082 s c =============================================================================== c | 0 | 4493 4715 926842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23812 c Elapsed CPU time: 77.6432 s Remaining CPU time: 102.357 s c =============================================================================== c | 0 | 4493 4716 931192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23811 c Elapsed CPU time: 78.3511 s Remaining CPU time: 101.649 s c =============================================================================== c | 0 | 4493 4717 935542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23808 c Elapsed CPU time: 79.069 s Remaining CPU time: 100.931 s c =============================================================================== c | 0 | 4493 4718 939892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23807 c Elapsed CPU time: 79.7919 s Remaining CPU time: 100.208 s c =============================================================================== c | 0 | 4493 4719 944242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23804 c Elapsed CPU time: 80.5028 s Remaining CPU time: 99.4972 s c =============================================================================== c | 0 | 4493 4720 948592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23803 c Elapsed CPU time: 81.2686 s Remaining CPU time: 98.7314 s c =============================================================================== c | 0 | 4493 4721 952942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23802 c Elapsed CPU time: 82.0185 s Remaining CPU time: 97.9815 s c =============================================================================== c | 0 | 4493 4722 957292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23801 c Elapsed CPU time: 82.7734 s Remaining CPU time: 97.2266 s c =============================================================================== c | 0 | 4493 4723 961642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23800 c Elapsed CPU time: 83.5193 s Remaining CPU time: 96.4807 s c =============================================================================== c | 0 | 4493 4724 965992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23798 c Elapsed CPU time: 84.2632 s Remaining CPU time: 95.7368 s c =============================================================================== c | 0 | 4493 4725 970342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23796 c Elapsed CPU time: 85.0051 s Remaining CPU time: 94.9949 s c =============================================================================== c | 0 | 4493 4726 974692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23794 c Elapsed CPU time: 85.774 s Remaining CPU time: 94.226 s c =============================================================================== c | 0 | 4493 4727 979042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23793 c Elapsed CPU time: 86.5418 s Remaining CPU time: 93.4582 s c =============================================================================== c | 0 | 4493 4728 983392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23792 c Elapsed CPU time: 87.3127 s Remaining CPU time: 92.6873 s c =============================================================================== c | 0 | 4493 4729 987742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23791 c Elapsed CPU time: 88.0936 s Remaining CPU time: 91.9064 s c =============================================================================== c | 0 | 4493 4730 992092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23790 c Elapsed CPU time: 88.8365 s Remaining CPU time: 91.1635 s c =============================================================================== c | 0 | 4493 4731 996442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23789 c Elapsed CPU time: 89.5694 s Remaining CPU time: 90.4306 s c =============================================================================== c | 0 | 4493 4732 1000792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23788 c Elapsed CPU time: 90.3203 s Remaining CPU time: 89.6797 s c =============================================================================== c | 0 | 4493 4733 1005142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23787 c Elapsed CPU time: 91.0692 s Remaining CPU time: 88.9308 s c =============================================================================== c | 0 | 4493 4734 1009492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23785 c Elapsed CPU time: 91.819 s Remaining CPU time: 88.181 s c =============================================================================== c | 0 | 4493 4735 1013842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23783 c Elapsed CPU time: 92.5639 s Remaining CPU time: 87.4361 s c =============================================================================== c | 0 | 4493 4736 1018192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23781 c Elapsed CPU time: 93.3258 s Remaining CPU time: 86.6742 s c =============================================================================== c | 0 | 4493 4737 1022542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23778 c Elapsed CPU time: 94.0707 s Remaining CPU time: 85.9293 s c =============================================================================== c | 0 | 4493 4738 1026892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23776 c Elapsed CPU time: 94.8406 s Remaining CPU time: 85.1594 s c =============================================================================== c | 0 | 4493 4739 1031242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23775 c Elapsed CPU time: 95.6555 s Remaining CPU time: 84.3445 s c =============================================================================== c | 0 | 4493 4740 1035592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23774 c Elapsed CPU time: 96.4863 s Remaining CPU time: 83.5137 s c =============================================================================== c | 0 | 4493 4741 1039942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23773 c Elapsed CPU time: 97.2942 s Remaining CPU time: 82.7058 s c =============================================================================== c | 0 | 4493 4742 1044292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23772 c Elapsed CPU time: 98.1061 s Remaining CPU time: 81.8939 s c =============================================================================== c | 0 | 4493 4743 1048642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23771 c Elapsed CPU time: 98.922 s Remaining CPU time: 81.078 s c =============================================================================== c | 0 | 4493 4744 1052992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23768 c Elapsed CPU time: 99.7108 s Remaining CPU time: 80.2892 s c =============================================================================== c | 0 | 4493 4745 1057342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23767 c Elapsed CPU time: 100.52 s Remaining CPU time: 79.4803 s c =============================================================================== c | 0 | 4493 4746 1061692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23766 c Elapsed CPU time: 101.325 s Remaining CPU time: 78.6754 s c =============================================================================== c | 0 | 4493 4747 1066042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23765 c Elapsed CPU time: 102.168 s Remaining CPU time: 77.8315 s c =============================================================================== c | 0 | 4493 4748 1070392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23764 c Elapsed CPU time: 103.005 s Remaining CPU time: 76.9947 s c =============================================================================== c | 0 | 4493 4749 1074742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23763 c Elapsed CPU time: 103.823 s Remaining CPU time: 76.1768 s c =============================================================================== c | 0 | 4493 4750 1079092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23762 c Elapsed CPU time: 104.665 s Remaining CPU time: 75.3349 s c =============================================================================== c | 0 | 4493 4751 1083442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23761 c Elapsed CPU time: 105.548 s Remaining CPU time: 74.452 s c =============================================================================== c | 0 | 4493 4752 1087792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23760 c Elapsed CPU time: 106.379 s Remaining CPU time: 73.6212 s c =============================================================================== c | 0 | 4493 4753 1092142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23759 c Elapsed CPU time: 107.214 s Remaining CPU time: 72.7863 s c =============================================================================== c | 0 | 4493 4754 1096492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23758 c Elapsed CPU time: 108.048 s Remaining CPU time: 71.9524 s c =============================================================================== c | 0 | 4493 4755 1100842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23757 c Elapsed CPU time: 108.88 s Remaining CPU time: 71.1196 s c =============================================================================== c | 0 | 4493 4756 1105192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23755 c Elapsed CPU time: 109.684 s Remaining CPU time: 70.3157 s c =============================================================================== c | 0 | 4493 4757 1109542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23754 c Elapsed CPU time: 110.502 s Remaining CPU time: 69.4978 s c =============================================================================== c | 0 | 4493 4758 1113892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23753 c Elapsed CPU time: 111.315 s Remaining CPU time: 68.6849 s c =============================================================================== c | 0 | 4493 4759 1118242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23750 c Elapsed CPU time: 112.14 s Remaining CPU time: 67.86 s c =============================================================================== c | 0 | 4493 4760 1122592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23749 c Elapsed CPU time: 112.966 s Remaining CPU time: 67.0342 s c =============================================================================== c | 0 | 4493 4761 1126942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23747 c Elapsed CPU time: 113.778 s Remaining CPU time: 66.2223 s c =============================================================================== c | 0 | 4493 4762 1131292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23746 c Elapsed CPU time: 114.623 s Remaining CPU time: 65.3774 s c =============================================================================== c | 0 | 4493 4763 1135642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23745 c Elapsed CPU time: 115.439 s Remaining CPU time: 64.5606 s c =============================================================================== c | 0 | 4493 4764 1139992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23744 c Elapsed CPU time: 116.238 s Remaining CPU time: 63.7617 s c =============================================================================== c | 0 | 4493 4765 1144342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23743 c Elapsed CPU time: 117.049 s Remaining CPU time: 62.9508 s c =============================================================================== c | 0 | 4493 4766 1148692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23742 c Elapsed CPU time: 117.873 s Remaining CPU time: 62.1269 s c =============================================================================== c | 0 | 4493 4767 1153042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23740 c Elapsed CPU time: 118.701 s Remaining CPU time: 61.299 s c =============================================================================== c | 0 | 4493 4768 1157392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23739 c Elapsed CPU time: 119.516 s Remaining CPU time: 60.4842 s c =============================================================================== c | 0 | 4493 4769 1161742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23738 c Elapsed CPU time: 120.327 s Remaining CPU time: 59.6733 s c =============================================================================== c | 0 | 4493 4770 1166092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23737 c Elapsed CPU time: 121.176 s Remaining CPU time: 58.8244 s c =============================================================================== c | 0 | 4493 4771 1170442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23734 c Elapsed CPU time: 122.024 s Remaining CPU time: 57.9756 s c =============================================================================== c | 0 | 4493 4772 1174792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23733 c Elapsed CPU time: 122.885 s Remaining CPU time: 57.1147 s c =============================================================================== c | 0 | 4493 4773 1179142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23731 c Elapsed CPU time: 123.727 s Remaining CPU time: 56.2728 s c =============================================================================== c | 0 | 4493 4774 1183492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23730 c Elapsed CPU time: 124.574 s Remaining CPU time: 55.4259 s c =============================================================================== c | 0 | 4493 4775 1187842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23729 c Elapsed CPU time: 125.424 s Remaining CPU time: 54.5761 s c =============================================================================== c | 0 | 4493 4776 1192192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23726 c Elapsed CPU time: 126.261 s Remaining CPU time: 53.7392 s c =============================================================================== c | 0 | 4493 4777 1196542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 127.136 s Remaining CPU time: 52.8643 s c =============================================================================== c | 0 | 4493 4778 1200892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23720 c Elapsed CPU time: 128.013 s Remaining CPU time: 51.9875 s c =============================================================================== c | 0 | 4493 4779 1205242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23718 c Elapsed CPU time: 128.905 s Remaining CPU time: 51.0946 s c =============================================================================== c | 0 | 4493 4780 1209592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23716 c Elapsed CPU time: 129.794 s Remaining CPU time: 50.2057 s c =============================================================================== c | 0 | 4493 4781 1213942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23714 c Elapsed CPU time: 130.672 s Remaining CPU time: 49.3279 s c =============================================================================== c | 0 | 4493 4782 1218292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23713 c Elapsed CPU time: 131.564 s Remaining CPU time: 48.436 s c =============================================================================== c | 0 | 4493 4783 1222642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23711 c Elapsed CPU time: 132.459 s Remaining CPU time: 47.5411 s c =============================================================================== c | 0 | 4493 4784 1226992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 133.345 s Remaining CPU time: 46.6553 s c =============================================================================== c | 0 | 4493 4785 1231342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23707 c Elapsed CPU time: 134.214 s Remaining CPU time: 45.7864 s c =============================================================================== c | 0 | 4493 4786 1235692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23705 c Elapsed CPU time: 135.094 s Remaining CPU time: 44.9055 s c =============================================================================== c | 0 | 4493 4787 1240042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23704 c Elapsed CPU time: 135.98 s Remaining CPU time: 44.0197 s c =============================================================================== c | 0 | 4493 4788 1244392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23701 c Elapsed CPU time: 136.865 s Remaining CPU time: 43.1348 s c =============================================================================== c | 0 | 4493 4789 1248742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23699 c Elapsed CPU time: 137.742 s Remaining CPU time: 42.2579 s c =============================================================================== c | 0 | 4493 4790 1253092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23697 c Elapsed CPU time: 138.629 s Remaining CPU time: 41.3711 s c =============================================================================== c | 0 | 4493 4791 1257442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23694 c Elapsed CPU time: 139.536 s Remaining CPU time: 40.4642 s c =============================================================================== c | 0 | 4493 4792 1261792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23693 c Elapsed CPU time: 140.483 s Remaining CPU time: 39.5174 s c =============================================================================== c | 0 | 4493 4793 1266142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23692 c Elapsed CPU time: 141.437 s Remaining CPU time: 38.5625 s c =============================================================================== c | 0 | 4493 4794 1270492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23690 c Elapsed CPU time: 142.361 s Remaining CPU time: 37.6386 s c =============================================================================== c | 0 | 4493 4795 1274842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23689 c Elapsed CPU time: 143.325 s Remaining CPU time: 36.6748 s c =============================================================================== c | 0 | 4493 4796 1279192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23688 c Elapsed CPU time: 144.233 s Remaining CPU time: 35.7669 s c =============================================================================== c | 0 | 4493 4797 1283542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23686 c Elapsed CPU time: 145.138 s Remaining CPU time: 34.8621 s c =============================================================================== c | 0 | 4493 4798 1287892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23685 c Elapsed CPU time: 146.051 s Remaining CPU time: 33.9492 s c =============================================================================== c | 0 | 4493 4799 1292242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23684 c Elapsed CPU time: 146.988 s Remaining CPU time: 33.0123 s c =============================================================================== c | 0 | 4493 4800 1296592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23683 c Elapsed CPU time: 147.929 s Remaining CPU time: 32.0715 s c =============================================================================== c | 0 | 4493 4801 1300942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23681 c Elapsed CPU time: 148.871 s Remaining CPU time: 31.1286 s c =============================================================================== c | 0 | 4493 4802 1305292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23680 c Elapsed CPU time: 149.793 s Remaining CPU time: 30.2068 s c =============================================================================== c | 0 | 4493 4803 1309642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23679 c Elapsed CPU time: 150.756 s Remaining CPU time: 29.2439 s c =============================================================================== c | 0 | 4493 4804 1313992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23678 c Elapsed CPU time: 151.693 s Remaining CPU time: 28.3071 s c =============================================================================== c | 0 | 4493 4805 1318342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23677 c Elapsed CPU time: 152.62 s Remaining CPU time: 27.3802 s c =============================================================================== c | 0 | 4493 4806 1322692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23676 c Elapsed CPU time: 153.559 s Remaining CPU time: 26.4413 s c =============================================================================== c | 0 | 4493 4807 1327042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23674 c Elapsed CPU time: 154.592 s Remaining CPU time: 25.4075 s c =============================================================================== c | 0 | 4493 4808 1331392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23673 c Elapsed CPU time: 155.634 s Remaining CPU time: 24.3657 s c =============================================================================== c | 0 | 4493 4809 1335742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23672 c Elapsed CPU time: 156.679 s Remaining CPU time: 23.3208 s c =============================================================================== c | 0 | 4493 4810 1340092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23671 c Elapsed CPU time: 157.745 s Remaining CPU time: 22.255 s c =============================================================================== c | 0 | 4493 4811 1344442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23670 c Elapsed CPU time: 158.797 s Remaining CPU time: 21.2031 s c =============================================================================== c | 0 | 4493 4812 1348792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23668 c Elapsed CPU time: 159.833 s Remaining CPU time: 20.1673 s c =============================================================================== c | 0 | 4493 4813 1353142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23667 c Elapsed CPU time: 160.884 s Remaining CPU time: 19.1165 s c =============================================================================== c | 0 | 4493 4814 1357492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23666 c Elapsed CPU time: 161.957 s Remaining CPU time: 18.0426 s c =============================================================================== c | 0 | 4493 4815 1361842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23664 c Elapsed CPU time: 163.02 s Remaining CPU time: 16.9798 s c =============================================================================== c | 0 | 4493 4816 1366192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23663 c Elapsed CPU time: 164.04 s Remaining CPU time: 15.9599 s c =============================================================================== c | 0 | 4493 4817 1370542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23662 c Elapsed CPU time: 165.033 s Remaining CPU time: 14.9671 s c =============================================================================== c | 0 | 4493 4818 1374892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23661 c Elapsed CPU time: 166.049 s Remaining CPU time: 13.9512 s c =============================================================================== c | 0 | 4493 4819 1379242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23659 c Elapsed CPU time: 167.052 s Remaining CPU time: 12.9484 s c =============================================================================== c | 0 | 4493 4820 1383592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23657 c Elapsed CPU time: 168.085 s Remaining CPU time: 11.9146 s c =============================================================================== c | 0 | 4493 4821 1387942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23656 c Elapsed CPU time: 169.112 s Remaining CPU time: 10.8877 s c =============================================================================== c | 0 | 4493 4822 1392292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23655 c Elapsed CPU time: 170.136 s Remaining CPU time: 9.86387 s c =============================================================================== c | 0 | 4493 4823 1396642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23653 c Elapsed CPU time: 171.147 s Remaining CPU time: 8.85302 s c =============================================================================== c | 0 | 4493 4824 1400992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23650 c Elapsed CPU time: 172.161 s Remaining CPU time: 7.83917 s c =============================================================================== c | 0 | 4493 4825 1405342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23649 c Elapsed CPU time: 173.184 s Remaining CPU time: 6.81633 s c =============================================================================== c | 0 | 4493 4826 1409692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23648 c Elapsed CPU time: 174.24 s Remaining CPU time: 5.76049 s c =============================================================================== c | 0 | 4493 4827 1414042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23647 c Elapsed CPU time: 175.296 s Remaining CPU time: 4.70365 s c =============================================================================== c | 0 | 4493 4828 1418392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23645 c Elapsed CPU time: 176.345 s Remaining CPU time: 3.65481 s c =============================================================================== c | 0 | 4493 4829 1422742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 177.371 s Remaining CPU time: 2.62896 s c =============================================================================== c | 0 | 4493 4830 1427092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23642 c Elapsed CPU time: 178.447 s Remaining CPU time: 1.55313 s c =============================================================================== c | 0 | 4493 4831 1431442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23641 c Elapsed CPU time: 179.483 s Remaining CPU time: 0.517286 s c =============================================================================== c | 0 | 4493 4832 1435792 | 5000 0 nan | 0.000 % | c There are 7 assigned variables. 0 in cost function.