c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 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 | 4498 4502 13350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24020 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 4498 4503 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24017 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 4498 4504 22050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24016 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 4498 4505 26400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24013 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 4498 4506 30750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24012 c Elapsed CPU time: 0.373943 s Remaining CPU time: 179.626 s c =============================================================================== c | 0 | 4498 4507 35100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24009 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 4498 4508 39450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24006 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 0 | 4498 4509 43800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24003 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 0 | 4498 4510 48150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24002 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 0 | 4498 4511 52500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24000 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 4498 4512 56850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23999 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 0 | 4498 4513 61200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23997 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 4498 4514 65550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23996 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 0 | 4498 4515 69900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23995 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 0 | 4498 4516 74250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23994 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 0 | 4498 4517 78600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23992 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 0 | 4498 4518 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23991 c Elapsed CPU time: 1.3278 s Remaining CPU time: 178.672 s c =============================================================================== c | 0 | 4498 4519 87300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23990 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s c =============================================================================== c | 0 | 4498 4520 91650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23989 c Elapsed CPU time: 1.51077 s Remaining CPU time: 178.489 s c =============================================================================== c | 0 | 4498 4521 96000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23988 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 0 | 4498 4522 100350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23987 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 0 | 4498 4523 104700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23986 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 0 | 4498 4524 109050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23985 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 0 | 4498 4525 113400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23981 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s c =============================================================================== c | 0 | 4498 4526 117750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23978 c Elapsed CPU time: 2.09668 s Remaining CPU time: 177.903 s c =============================================================================== c | 0 | 4498 4527 122100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23977 c Elapsed CPU time: 2.19767 s Remaining CPU time: 177.802 s c =============================================================================== c | 0 | 4498 4528 126450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23974 c Elapsed CPU time: 2.29965 s Remaining CPU time: 177.7 s c =============================================================================== c | 0 | 4498 4529 130800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23971 c Elapsed CPU time: 2.40363 s Remaining CPU time: 177.596 s c =============================================================================== c | 0 | 4498 4530 135150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23968 c Elapsed CPU time: 2.50962 s Remaining CPU time: 177.49 s c =============================================================================== c | 0 | 4498 4531 139500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23967 c Elapsed CPU time: 2.6186 s Remaining CPU time: 177.381 s c =============================================================================== c | 0 | 4498 4532 143850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23966 c Elapsed CPU time: 2.72858 s Remaining CPU time: 177.271 s c =============================================================================== c | 0 | 4498 4533 148200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23965 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 0 | 4498 4534 152550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23962 c Elapsed CPU time: 2.95855 s Remaining CPU time: 177.041 s c =============================================================================== c | 0 | 4498 4535 156900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23960 c Elapsed CPU time: 3.07953 s Remaining CPU time: 176.92 s c =============================================================================== c | 0 | 4498 4536 161250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23958 c Elapsed CPU time: 3.20351 s Remaining CPU time: 176.796 s c =============================================================================== c | 0 | 4498 4537 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23957 c Elapsed CPU time: 3.33749 s Remaining CPU time: 176.663 s c =============================================================================== c | 0 | 4498 4538 169950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23955 c Elapsed CPU time: 3.46547 s Remaining CPU time: 176.535 s c =============================================================================== c | 0 | 4498 4539 174300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23953 c Elapsed CPU time: 3.60045 s Remaining CPU time: 176.4 s c =============================================================================== c | 0 | 4498 4540 178650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23951 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s c =============================================================================== c | 0 | 4498 4541 183000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23949 c Elapsed CPU time: 3.86041 s Remaining CPU time: 176.14 s c =============================================================================== c | 0 | 4498 4542 187350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23946 c Elapsed CPU time: 3.99639 s Remaining CPU time: 176.004 s c =============================================================================== c | 0 | 4498 4543 191700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23943 c Elapsed CPU time: 4.13337 s Remaining CPU time: 175.867 s c =============================================================================== c | 0 | 4498 4544 196050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23942 c Elapsed CPU time: 4.26835 s Remaining CPU time: 175.732 s c =============================================================================== c | 0 | 4498 4545 200400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23941 c Elapsed CPU time: 4.40533 s Remaining CPU time: 175.595 s c =============================================================================== c | 0 | 4498 4546 204750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23939 c Elapsed CPU time: 4.54531 s Remaining CPU time: 175.455 s c =============================================================================== c | 0 | 4498 4547 209100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23938 c Elapsed CPU time: 4.69029 s Remaining CPU time: 175.31 s c =============================================================================== c | 0 | 4498 4548 213450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23937 c Elapsed CPU time: 4.83526 s Remaining CPU time: 175.165 s c =============================================================================== c | 0 | 4498 4549 217800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23934 c Elapsed CPU time: 4.98124 s Remaining CPU time: 175.019 s c =============================================================================== c | 0 | 4498 4550 222150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23932 c Elapsed CPU time: 5.12422 s Remaining CPU time: 174.876 s c =============================================================================== c | 0 | 4498 4551 226500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23929 c Elapsed CPU time: 5.2742 s Remaining CPU time: 174.726 s c =============================================================================== c | 0 | 4498 4552 230850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23926 c Elapsed CPU time: 5.42617 s Remaining CPU time: 174.574 s c =============================================================================== c | 0 | 4498 4553 235200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23923 c Elapsed CPU time: 5.58115 s Remaining CPU time: 174.419 s c =============================================================================== c | 0 | 4498 4554 239550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23922 c Elapsed CPU time: 5.73713 s Remaining CPU time: 174.263 s c =============================================================================== c | 0 | 4498 4555 243900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23921 c Elapsed CPU time: 5.8951 s Remaining CPU time: 174.105 s c =============================================================================== c | 0 | 4498 4556 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23919 c Elapsed CPU time: 6.05408 s Remaining CPU time: 173.946 s c =============================================================================== c | 0 | 4498 4557 252600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23918 c Elapsed CPU time: 6.21305 s Remaining CPU time: 173.787 s c =============================================================================== c | 0 | 4498 4558 256950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23917 c Elapsed CPU time: 6.38003 s Remaining CPU time: 173.62 s c =============================================================================== c | 0 | 4498 4559 261300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23916 c Elapsed CPU time: 6.54401 s Remaining CPU time: 173.456 s c =============================================================================== c | 0 | 4498 4560 265650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23915 c Elapsed CPU time: 6.71198 s Remaining CPU time: 173.288 s c =============================================================================== c | 0 | 4498 4561 270000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23914 c Elapsed CPU time: 6.88195 s Remaining CPU time: 173.118 s c =============================================================================== c | 0 | 4498 4562 274350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23913 c Elapsed CPU time: 7.05093 s Remaining CPU time: 172.949 s c =============================================================================== c | 0 | 4498 4563 278700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23911 c Elapsed CPU time: 7.2329 s Remaining CPU time: 172.767 s c =============================================================================== c | 0 | 4498 4564 283050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23910 c Elapsed CPU time: 7.42487 s Remaining CPU time: 172.575 s c =============================================================================== c | 0 | 4498 4565 287400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23909 c Elapsed CPU time: 7.60584 s Remaining CPU time: 172.394 s c =============================================================================== c | 0 | 4498 4566 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23907 c Elapsed CPU time: 7.79481 s Remaining CPU time: 172.205 s c =============================================================================== c | 0 | 4498 4567 296100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23906 c Elapsed CPU time: 7.98479 s Remaining CPU time: 172.015 s c =============================================================================== c | 0 | 4498 4568 300450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23905 c Elapsed CPU time: 8.16976 s Remaining CPU time: 171.83 s c =============================================================================== c | 0 | 4498 4569 304800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23904 c Elapsed CPU time: 8.36173 s Remaining CPU time: 171.638 s c =============================================================================== c | 0 | 4498 4570 309150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23903 c Elapsed CPU time: 8.5607 s Remaining CPU time: 171.439 s c =============================================================================== c | 0 | 4498 4571 313500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23902 c Elapsed CPU time: 8.76367 s Remaining CPU time: 171.236 s c =============================================================================== c | 0 | 4498 4572 317850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23900 c Elapsed CPU time: 8.96864 s Remaining CPU time: 171.031 s c =============================================================================== c | 0 | 4498 4573 322200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23898 c Elapsed CPU time: 9.16761 s Remaining CPU time: 170.832 s c =============================================================================== c | 0 | 4498 4574 326550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23896 c Elapsed CPU time: 9.37358 s Remaining CPU time: 170.626 s c =============================================================================== c | 0 | 4498 4575 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23894 c Elapsed CPU time: 9.57654 s Remaining CPU time: 170.423 s c =============================================================================== c | 0 | 4498 4576 335250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23889 c Elapsed CPU time: 9.78951 s Remaining CPU time: 170.21 s c =============================================================================== c | 0 | 4498 4577 339600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23888 c Elapsed CPU time: 10.0055 s Remaining CPU time: 169.995 s c =============================================================================== c | 0 | 4498 4578 343950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23883 c Elapsed CPU time: 10.2144 s Remaining CPU time: 169.786 s c =============================================================================== c | 0 | 4498 4579 348300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23880 c Elapsed CPU time: 10.4314 s Remaining CPU time: 169.569 s c =============================================================================== c | 0 | 4498 4580 352650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23879 c Elapsed CPU time: 10.6444 s Remaining CPU time: 169.356 s c =============================================================================== c | 0 | 4498 4581 357000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23878 c Elapsed CPU time: 10.8583 s Remaining CPU time: 169.142 s c =============================================================================== c | 0 | 4498 4582 361350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23874 c Elapsed CPU time: 11.0703 s Remaining CPU time: 168.93 s c =============================================================================== c | 0 | 4498 4583 365700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23873 c Elapsed CPU time: 11.2923 s Remaining CPU time: 168.708 s c =============================================================================== c | 0 | 4498 4584 370050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23871 c Elapsed CPU time: 11.5122 s Remaining CPU time: 168.488 s c =============================================================================== c | 0 | 4498 4585 374400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23866 c Elapsed CPU time: 11.7372 s Remaining CPU time: 168.263 s c =============================================================================== c | 0 | 4498 4586 378750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23864 c Elapsed CPU time: 11.9652 s Remaining CPU time: 168.035 s c =============================================================================== c | 0 | 4498 4587 383100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23860 c Elapsed CPU time: 12.2061 s Remaining CPU time: 167.794 s c =============================================================================== c | 0 | 4498 4588 387450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23857 c Elapsed CPU time: 12.4431 s Remaining CPU time: 167.557 s c =============================================================================== c | 0 | 4498 4589 391800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23856 c Elapsed CPU time: 12.6901 s Remaining CPU time: 167.31 s c =============================================================================== c | 0 | 4498 4590 396150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23855 c Elapsed CPU time: 12.963 s Remaining CPU time: 167.037 s c =============================================================================== c | 0 | 4498 4591 400500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23854 c Elapsed CPU time: 13.236 s Remaining CPU time: 166.764 s c =============================================================================== c | 0 | 4498 4592 404850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23853 c Elapsed CPU time: 13.5119 s Remaining CPU time: 166.488 s c =============================================================================== c | 0 | 4498 4593 409200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23852 c Elapsed CPU time: 13.7849 s Remaining CPU time: 166.215 s c =============================================================================== c | 0 | 4498 4594 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23851 c Elapsed CPU time: 14.0539 s Remaining CPU time: 165.946 s c =============================================================================== c | 0 | 4498 4595 417900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23849 c Elapsed CPU time: 14.3288 s Remaining CPU time: 165.671 s c =============================================================================== c | 0 | 4498 4596 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23848 c Elapsed CPU time: 14.6258 s Remaining CPU time: 165.374 s c =============================================================================== c | 0 | 4498 4597 426600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23845 c Elapsed CPU time: 14.9167 s Remaining CPU time: 165.083 s c =============================================================================== c | 0 | 4498 4598 430950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23844 c Elapsed CPU time: 15.2107 s Remaining CPU time: 164.789 s c =============================================================================== c | 0 | 4498 4599 435300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23842 c Elapsed CPU time: 15.5066 s Remaining CPU time: 164.493 s c =============================================================================== c | 0 | 4498 4600 439650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23839 c Elapsed CPU time: 15.7946 s Remaining CPU time: 164.205 s c =============================================================================== c | 0 | 4498 4601 444000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23838 c Elapsed CPU time: 16.1006 s Remaining CPU time: 163.899 s c =============================================================================== c | 0 | 4498 4602 448350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23837 c Elapsed CPU time: 16.3995 s Remaining CPU time: 163.6 s c =============================================================================== c | 0 | 4498 4603 452700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23833 c Elapsed CPU time: 16.6965 s Remaining CPU time: 163.304 s c =============================================================================== c | 0 | 4498 4604 457050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23831 c Elapsed CPU time: 16.9974 s Remaining CPU time: 163.003 s c =============================================================================== c | 0 | 4498 4605 461400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23830 c Elapsed CPU time: 17.3004 s Remaining CPU time: 162.7 s c =============================================================================== c | 0 | 4498 4606 465750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23829 c Elapsed CPU time: 17.6043 s Remaining CPU time: 162.396 s c =============================================================================== c | 0 | 4498 4607 470100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23827 c Elapsed CPU time: 17.9073 s Remaining CPU time: 162.093 s c =============================================================================== c | 0 | 4498 4608 474450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23825 c Elapsed CPU time: 18.2132 s Remaining CPU time: 161.787 s c =============================================================================== c | 0 | 4498 4609 478800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23823 c Elapsed CPU time: 18.5282 s Remaining CPU time: 161.472 s c =============================================================================== c | 0 | 4498 4610 483150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23822 c Elapsed CPU time: 18.8491 s Remaining CPU time: 161.151 s c =============================================================================== c | 0 | 4498 4611 487500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23821 c Elapsed CPU time: 19.1611 s Remaining CPU time: 160.839 s c =============================================================================== c | 0 | 4498 4612 491850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23819 c Elapsed CPU time: 19.475 s Remaining CPU time: 160.525 s c =============================================================================== c | 0 | 4498 4613 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23818 c Elapsed CPU time: 19.786 s Remaining CPU time: 160.214 s c =============================================================================== c | 0 | 4498 4614 500550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23817 c Elapsed CPU time: 20.1009 s Remaining CPU time: 159.899 s c =============================================================================== c | 0 | 4498 4615 504900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23816 c Elapsed CPU time: 20.4199 s Remaining CPU time: 159.58 s c =============================================================================== c | 0 | 4498 4616 509250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23814 c Elapsed CPU time: 20.7628 s Remaining CPU time: 159.237 s c =============================================================================== c | 0 | 4498 4617 513600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23813 c Elapsed CPU time: 21.0928 s Remaining CPU time: 158.907 s c =============================================================================== c | 0 | 4498 4618 517950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23812 c Elapsed CPU time: 21.4327 s Remaining CPU time: 158.567 s c =============================================================================== c | 0 | 4498 4619 522300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23811 c Elapsed CPU time: 21.7567 s Remaining CPU time: 158.243 s c =============================================================================== c | 0 | 4498 4620 526650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23809 c Elapsed CPU time: 22.0786 s Remaining CPU time: 157.921 s c =============================================================================== c | 0 | 4498 4621 531000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23807 c Elapsed CPU time: 22.4016 s Remaining CPU time: 157.598 s c =============================================================================== c | 0 | 4498 4622 535350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23804 c Elapsed CPU time: 22.7265 s Remaining CPU time: 157.273 s c =============================================================================== c | 0 | 4498 4623 539700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23803 c Elapsed CPU time: 23.0585 s Remaining CPU time: 156.942 s c =============================================================================== c | 0 | 4498 4624 544050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23802 c Elapsed CPU time: 23.3934 s Remaining CPU time: 156.607 s c =============================================================================== c | 0 | 4498 4625 548400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23801 c Elapsed CPU time: 23.7394 s Remaining CPU time: 156.261 s c =============================================================================== c | 0 | 4498 4626 552750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23799 c Elapsed CPU time: 24.0803 s Remaining CPU time: 155.92 s c =============================================================================== c | 0 | 4498 4627 557100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23796 c Elapsed CPU time: 24.4263 s Remaining CPU time: 155.574 s c =============================================================================== c | 0 | 4498 4628 561450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23795 c Elapsed CPU time: 24.7712 s Remaining CPU time: 155.229 s c =============================================================================== c | 0 | 4498 4629 565800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23794 c Elapsed CPU time: 25.1132 s Remaining CPU time: 154.887 s c =============================================================================== c | 0 | 4498 4630 570150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23793 c Elapsed CPU time: 25.4601 s Remaining CPU time: 154.54 s c =============================================================================== c | 0 | 4498 4631 574500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23790 c Elapsed CPU time: 25.7991 s Remaining CPU time: 154.201 s c =============================================================================== c | 0 | 4498 4632 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23788 c Elapsed CPU time: 26.159 s Remaining CPU time: 153.841 s c =============================================================================== c | 0 | 4498 4633 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23787 c Elapsed CPU time: 26.522 s Remaining CPU time: 153.478 s c =============================================================================== c | 0 | 4498 4634 587550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23784 c Elapsed CPU time: 26.8779 s Remaining CPU time: 153.122 s c =============================================================================== c | 0 | 4498 4635 591900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23780 c Elapsed CPU time: 27.2399 s Remaining CPU time: 152.76 s c =============================================================================== c | 0 | 4498 4636 596250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23778 c Elapsed CPU time: 27.5978 s Remaining CPU time: 152.402 s c =============================================================================== c | 0 | 4498 4637 600600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23775 c Elapsed CPU time: 27.9528 s Remaining CPU time: 152.047 s c =============================================================================== c | 0 | 4498 4638 604950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23772 c Elapsed CPU time: 28.3197 s Remaining CPU time: 151.68 s c =============================================================================== c | 0 | 4498 4639 609300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23771 c Elapsed CPU time: 28.6876 s Remaining CPU time: 151.312 s c =============================================================================== c | 0 | 4498 4640 613650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23770 c Elapsed CPU time: 29.0556 s Remaining CPU time: 150.944 s c =============================================================================== c | 0 | 4498 4641 618000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23769 c Elapsed CPU time: 29.4335 s Remaining CPU time: 150.566 s c =============================================================================== c | 0 | 4498 4642 622350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23767 c Elapsed CPU time: 29.8125 s Remaining CPU time: 150.188 s c =============================================================================== c | 0 | 4498 4643 626700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23766 c Elapsed CPU time: 30.1804 s Remaining CPU time: 149.82 s c =============================================================================== c | 0 | 4498 4644 631050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23764 c Elapsed CPU time: 30.5624 s Remaining CPU time: 149.438 s c =============================================================================== c | 0 | 4498 4645 635400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23763 c Elapsed CPU time: 30.9523 s Remaining CPU time: 149.048 s c =============================================================================== c | 0 | 4498 4646 639750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23762 c Elapsed CPU time: 31.3282 s Remaining CPU time: 148.672 s c =============================================================================== c | 0 | 4498 4647 644100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23760 c Elapsed CPU time: 31.7042 s Remaining CPU time: 148.296 s c =============================================================================== c | 0 | 4498 4648 648450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23759 c Elapsed CPU time: 32.0871 s Remaining CPU time: 147.913 s c =============================================================================== c | 0 | 4498 4649 652800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23758 c Elapsed CPU time: 32.4631 s Remaining CPU time: 147.537 s c =============================================================================== c | 0 | 4498 4650 657150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23757 c Elapsed CPU time: 32.849 s Remaining CPU time: 147.151 s c =============================================================================== c | 0 | 4498 4651 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23755 c Elapsed CPU time: 33.2499 s Remaining CPU time: 146.75 s c =============================================================================== c | 0 | 4498 4652 665850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23752 c Elapsed CPU time: 33.6479 s Remaining CPU time: 146.352 s c =============================================================================== c | 0 | 4498 4653 670200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23750 c Elapsed CPU time: 34.0438 s Remaining CPU time: 145.956 s c =============================================================================== c | 0 | 4498 4654 674550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23748 c Elapsed CPU time: 34.4428 s Remaining CPU time: 145.557 s c =============================================================================== c | 0 | 4498 4655 678900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23747 c Elapsed CPU time: 34.8507 s Remaining CPU time: 145.149 s c =============================================================================== c | 0 | 4498 4656 683250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23746 c Elapsed CPU time: 35.2416 s Remaining CPU time: 144.758 s c =============================================================================== c | 0 | 4498 4657 687600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23745 c Elapsed CPU time: 35.6376 s Remaining CPU time: 144.362 s c =============================================================================== c | 0 | 4498 4658 691950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23741 c Elapsed CPU time: 36.0345 s Remaining CPU time: 143.965 s c =============================================================================== c | 0 | 4498 4659 696300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23739 c Elapsed CPU time: 36.4315 s Remaining CPU time: 143.569 s c =============================================================================== c | 0 | 4498 4660 700650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23737 c Elapsed CPU time: 36.8554 s Remaining CPU time: 143.145 s c =============================================================================== c | 0 | 4498 4661 705000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23736 c Elapsed CPU time: 37.2723 s Remaining CPU time: 142.728 s c =============================================================================== c | 0 | 4498 4662 709350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23735 c Elapsed CPU time: 37.6953 s Remaining CPU time: 142.305 s c =============================================================================== c | 0 | 4498 4663 713700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23733 c Elapsed CPU time: 38.1132 s Remaining CPU time: 141.887 s c =============================================================================== c | 0 | 4498 4664 718050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23730 c Elapsed CPU time: 38.5301 s Remaining CPU time: 141.47 s c =============================================================================== c | 0 | 4498 4665 722400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23729 c Elapsed CPU time: 38.9621 s Remaining CPU time: 141.038 s c =============================================================================== c | 0 | 4498 4666 726750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23728 c Elapsed CPU time: 39.388 s Remaining CPU time: 140.612 s c =============================================================================== c | 0 | 4498 4667 731100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 39.8199 s Remaining CPU time: 140.18 s c =============================================================================== c | 0 | 4498 4668 735450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23722 c Elapsed CPU time: 40.2679 s Remaining CPU time: 139.732 s c =============================================================================== c | 0 | 4498 4669 739800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23720 c Elapsed CPU time: 40.7138 s Remaining CPU time: 139.286 s c =============================================================================== c | 0 | 4498 4670 744150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23719 c Elapsed CPU time: 41.1627 s Remaining CPU time: 138.837 s c =============================================================================== c | 0 | 4498 4671 748500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23715 c Elapsed CPU time: 41.5987 s Remaining CPU time: 138.401 s c =============================================================================== c | 0 | 4498 4672 752850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23712 c Elapsed CPU time: 42.0376 s Remaining CPU time: 137.962 s c =============================================================================== c | 0 | 4498 4673 757200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23711 c Elapsed CPU time: 42.4855 s Remaining CPU time: 137.514 s c =============================================================================== c | 0 | 4498 4674 761550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 42.9475 s Remaining CPU time: 137.053 s c =============================================================================== c | 0 | 4498 4675 765900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23709 c Elapsed CPU time: 43.4394 s Remaining CPU time: 136.561 s c =============================================================================== c | 0 | 4498 4676 770250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23707 c Elapsed CPU time: 43.9193 s Remaining CPU time: 136.081 s c =============================================================================== c | 0 | 4498 4677 774600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23706 c Elapsed CPU time: 44.3982 s Remaining CPU time: 135.602 s c =============================================================================== c | 0 | 4498 4678 778950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23704 c Elapsed CPU time: 44.8622 s Remaining CPU time: 135.138 s c =============================================================================== c | 0 | 4498 4679 783300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23703 c Elapsed CPU time: 45.3551 s Remaining CPU time: 134.645 s c =============================================================================== c | 0 | 4498 4680 787650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23702 c Elapsed CPU time: 45.837 s Remaining CPU time: 134.163 s c =============================================================================== c | 0 | 4498 4681 792000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23701 c Elapsed CPU time: 46.307 s Remaining CPU time: 133.693 s c =============================================================================== c | 0 | 4498 4682 796350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23700 c Elapsed CPU time: 46.7999 s Remaining CPU time: 133.2 s c =============================================================================== c | 0 | 4498 4683 800700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23699 c Elapsed CPU time: 47.2828 s Remaining CPU time: 132.717 s c =============================================================================== c | 0 | 4498 4684 805050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23697 c Elapsed CPU time: 47.7677 s Remaining CPU time: 132.232 s c =============================================================================== c | 0 | 4498 4685 809400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23695 c Elapsed CPU time: 48.2607 s Remaining CPU time: 131.739 s c =============================================================================== c | 0 | 4498 4686 813750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23693 c Elapsed CPU time: 48.7446 s Remaining CPU time: 131.255 s c =============================================================================== c | 0 | 4498 4687 818100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23691 c Elapsed CPU time: 49.2385 s Remaining CPU time: 130.761 s c =============================================================================== c | 0 | 4498 4688 822450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23688 c Elapsed CPU time: 49.7334 s Remaining CPU time: 130.267 s c =============================================================================== c | 0 | 4498 4689 826800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23684 c Elapsed CPU time: 50.2294 s Remaining CPU time: 129.771 s c =============================================================================== c | 0 | 4498 4690 831150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23683 c Elapsed CPU time: 50.7503 s Remaining CPU time: 129.25 s c =============================================================================== c | 0 | 4498 4691 835500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23682 c Elapsed CPU time: 51.2672 s Remaining CPU time: 128.733 s c =============================================================================== c | 0 | 4498 4692 839850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23681 c Elapsed CPU time: 51.7731 s Remaining CPU time: 128.227 s c =============================================================================== c | 0 | 4498 4693 844200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23680 c Elapsed CPU time: 52.2771 s Remaining CPU time: 127.723 s c =============================================================================== c | 0 | 4498 4694 848550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23679 c Elapsed CPU time: 52.791 s Remaining CPU time: 127.209 s c =============================================================================== c | 0 | 4498 4695 852900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23678 c Elapsed CPU time: 53.3129 s Remaining CPU time: 126.687 s c =============================================================================== c | 0 | 4498 4696 857250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23676 c Elapsed CPU time: 53.8288 s Remaining CPU time: 126.171 s c =============================================================================== c | 0 | 4498 4697 861600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23675 c Elapsed CPU time: 54.3347 s Remaining CPU time: 125.665 s c =============================================================================== c | 0 | 4498 4698 865950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23674 c Elapsed CPU time: 54.8387 s Remaining CPU time: 125.161 s c =============================================================================== c | 0 | 4498 4699 870300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23673 c Elapsed CPU time: 55.3566 s Remaining CPU time: 124.643 s c =============================================================================== c | 0 | 4498 4700 874650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23672 c Elapsed CPU time: 55.8715 s Remaining CPU time: 124.128 s c =============================================================================== c | 0 | 4498 4701 879000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23671 c Elapsed CPU time: 56.4054 s Remaining CPU time: 123.595 s c =============================================================================== c | 0 | 4498 4702 883350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23669 c Elapsed CPU time: 56.9233 s Remaining CPU time: 123.077 s c =============================================================================== c | 0 | 4498 4703 887700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23666 c Elapsed CPU time: 57.4493 s Remaining CPU time: 122.551 s c =============================================================================== c | 0 | 4498 4704 892050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23665 c Elapsed CPU time: 57.9822 s Remaining CPU time: 122.018 s c =============================================================================== c | 0 | 4498 4705 896400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23663 c Elapsed CPU time: 58.5161 s Remaining CPU time: 121.484 s c =============================================================================== c | 0 | 4498 4706 900750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23662 c Elapsed CPU time: 59.04 s Remaining CPU time: 120.96 s c =============================================================================== c | 0 | 4498 4707 905100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23661 c Elapsed CPU time: 59.5629 s Remaining CPU time: 120.437 s c =============================================================================== c | 0 | 4498 4708 909450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23660 c Elapsed CPU time: 60.0839 s Remaining CPU time: 119.916 s c =============================================================================== c | 0 | 4498 4709 913800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23657 c Elapsed CPU time: 60.6128 s Remaining CPU time: 119.387 s c =============================================================================== c | 0 | 4498 4710 918150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23655 c Elapsed CPU time: 61.1347 s Remaining CPU time: 118.865 s c =============================================================================== c | 0 | 4498 4711 922500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23652 c Elapsed CPU time: 61.6606 s Remaining CPU time: 118.339 s c =============================================================================== c | 0 | 4498 4712 926850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23649 c Elapsed CPU time: 62.1955 s Remaining CPU time: 117.804 s c =============================================================================== c | 0 | 4498 4713 931200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23645 c Elapsed CPU time: 62.7455 s Remaining CPU time: 117.255 s c =============================================================================== c | 0 | 4498 4714 935550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 63.2734 s Remaining CPU time: 116.727 s c =============================================================================== c | 0 | 4498 4715 939900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23642 c Elapsed CPU time: 63.8203 s Remaining CPU time: 116.18 s c =============================================================================== c | 0 | 4498 4716 944250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23641 c Elapsed CPU time: 64.3572 s Remaining CPU time: 115.643 s c =============================================================================== c | 0 | 4498 4717 948600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23640 c Elapsed CPU time: 64.9081 s Remaining CPU time: 115.092 s c =============================================================================== c | 0 | 4498 4718 952950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23639 c Elapsed CPU time: 65.486 s Remaining CPU time: 114.514 s c =============================================================================== c | 0 | 4498 4719 957300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23638 c Elapsed CPU time: 66.049 s Remaining CPU time: 113.951 s c =============================================================================== c | 1 | 4498 4720 961650 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23637 c Elapsed CPU time: 66.5999 s Remaining CPU time: 113.4 s c =============================================================================== c | 1 | 4498 4721 966000 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23636 c Elapsed CPU time: 67.1758 s Remaining CPU time: 112.824 s c =============================================================================== c | 1 | 4498 4722 970350 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23635 c Elapsed CPU time: 67.7867 s Remaining CPU time: 112.213 s c =============================================================================== c | 1 | 4498 4723 974700 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23634 c Elapsed CPU time: 68.3516 s Remaining CPU time: 111.648 s c =============================================================================== c | 1 | 4498 4724 979050 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23633 c Elapsed CPU time: 68.9315 s Remaining CPU time: 111.068 s c =============================================================================== c | 1 | 4498 4725 983400 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23632 c Elapsed CPU time: 69.5054 s Remaining CPU time: 110.495 s c =============================================================================== c | 1 | 4498 4726 987750 | 5000 1 4292 | 0.000 % | c =============================================================================== c New solution: 23631 c Elapsed CPU time: 70.1253 s Remaining CPU time: 109.875 s c =============================================================================== c | 7 | 4498 4727 992100 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23630 c Elapsed CPU time: 70.7092 s Remaining CPU time: 109.291 s c =============================================================================== c | 7 | 4498 4728 996450 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23629 c Elapsed CPU time: 71.2992 s Remaining CPU time: 108.701 s c =============================================================================== c | 7 | 4498 4729 1000800 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23628 c Elapsed CPU time: 71.8711 s Remaining CPU time: 108.129 s c =============================================================================== c | 7 | 4498 4730 1005150 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23627 c Elapsed CPU time: 72.46 s Remaining CPU time: 107.54 s c =============================================================================== c | 7 | 4498 4731 1009500 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23626 c Elapsed CPU time: 73.0649 s Remaining CPU time: 106.935 s c =============================================================================== c | 7 | 4498 4732 1013850 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23625 c Elapsed CPU time: 73.6918 s Remaining CPU time: 106.308 s c =============================================================================== c | 7 | 4498 4733 1018200 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23624 c Elapsed CPU time: 74.3197 s Remaining CPU time: 105.68 s c =============================================================================== c | 7 | 4498 4734 1022550 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23623 c Elapsed CPU time: 74.9636 s Remaining CPU time: 105.036 s c =============================================================================== c | 7 | 4498 4735 1026900 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23622 c Elapsed CPU time: 75.6185 s Remaining CPU time: 104.381 s c =============================================================================== c | 7 | 4498 4736 1031250 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23621 c Elapsed CPU time: 76.2834 s Remaining CPU time: 103.717 s c =============================================================================== c | 7 | 4498 4737 1035600 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23620 c Elapsed CPU time: 76.9003 s Remaining CPU time: 103.1 s c =============================================================================== c | 7 | 4498 4738 1039950 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23619 c Elapsed CPU time: 77.4972 s Remaining CPU time: 102.503 s c =============================================================================== c | 7 | 4498 4739 1044300 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23618 c Elapsed CPU time: 78.1041 s Remaining CPU time: 101.896 s c =============================================================================== c | 7 | 4498 4740 1048650 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23617 c Elapsed CPU time: 78.735 s Remaining CPU time: 101.265 s c =============================================================================== c | 7 | 4498 4741 1053000 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23616 c Elapsed CPU time: 79.3919 s Remaining CPU time: 100.608 s c =============================================================================== c | 7 | 4498 4742 1057350 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23615 c Elapsed CPU time: 80.0568 s Remaining CPU time: 99.9432 s c =============================================================================== c | 7 | 4498 4743 1061700 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23614 c Elapsed CPU time: 80.7317 s Remaining CPU time: 99.2683 s c =============================================================================== c | 7 | 4498 4744 1066050 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23613 c Elapsed CPU time: 81.3516 s Remaining CPU time: 98.6484 s c =============================================================================== c | 7 | 4498 4745 1070400 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23612 c Elapsed CPU time: 81.9965 s Remaining CPU time: 98.0035 s c =============================================================================== c | 7 | 4498 4746 1074750 | 5000 7 4288 | 0.000 % | c =============================================================================== c New solution: 23611 c Elapsed CPU time: 82.6934 s Remaining CPU time: 97.3066 s c =============================================================================== c | 8 | 4498 4747 1079100 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23610 c Elapsed CPU time: 83.3883 s Remaining CPU time: 96.6117 s c =============================================================================== c | 8 | 4498 4748 1083450 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23609 c Elapsed CPU time: 84.1192 s Remaining CPU time: 95.8808 s c =============================================================================== c | 8 | 4498 4749 1087800 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23608 c Elapsed CPU time: 84.8101 s Remaining CPU time: 95.1899 s c =============================================================================== c | 8 | 4498 4750 1092150 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23607 c Elapsed CPU time: 85.527 s Remaining CPU time: 94.473 s c =============================================================================== c | 8 | 4498 4751 1096500 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23606 c Elapsed CPU time: 86.2309 s Remaining CPU time: 93.7691 s c =============================================================================== c | 8 | 4498 4752 1100850 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23605 c Elapsed CPU time: 86.9148 s Remaining CPU time: 93.0852 s c =============================================================================== c | 8 | 4498 4753 1105200 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23604 c Elapsed CPU time: 87.6147 s Remaining CPU time: 92.3853 s c =============================================================================== c | 8 | 4498 4754 1109550 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23603 c Elapsed CPU time: 88.3346 s Remaining CPU time: 91.6654 s c =============================================================================== c | 8 | 4498 4755 1113900 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23602 c Elapsed CPU time: 89.0105 s Remaining CPU time: 90.9895 s c =============================================================================== c | 8 | 4498 4756 1118250 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23601 c Elapsed CPU time: 89.7034 s Remaining CPU time: 90.2966 s c =============================================================================== c | 8 | 4498 4757 1122600 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23600 c Elapsed CPU time: 90.3553 s Remaining CPU time: 89.6447 s c =============================================================================== c | 8 | 4498 4758 1126950 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23599 c Elapsed CPU time: 91.0372 s Remaining CPU time: 88.9628 s c =============================================================================== c | 8 | 4498 4759 1131300 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23598 c Elapsed CPU time: 91.7301 s Remaining CPU time: 88.2699 s c =============================================================================== c | 8 | 4498 4760 1135650 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23597 c Elapsed CPU time: 92.4159 s Remaining CPU time: 87.5841 s c =============================================================================== c | 8 | 4498 4761 1140000 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23596 c Elapsed CPU time: 93.0898 s Remaining CPU time: 86.9102 s c =============================================================================== c | 8 | 4498 4762 1144350 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23595 c Elapsed CPU time: 93.7707 s Remaining CPU time: 86.2293 s c =============================================================================== c | 8 | 4498 4763 1148700 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23594 c Elapsed CPU time: 94.4556 s Remaining CPU time: 85.5444 s c =============================================================================== c | 8 | 4498 4764 1153050 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23593 c Elapsed CPU time: 95.1185 s Remaining CPU time: 84.8815 s c =============================================================================== c | 8 | 4498 4765 1157400 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23592 c Elapsed CPU time: 95.8494 s Remaining CPU time: 84.1506 s c =============================================================================== c | 8 | 4498 4766 1161750 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23591 c Elapsed CPU time: 96.5573 s Remaining CPU time: 83.4427 s c =============================================================================== c | 8 | 4498 4767 1166100 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23590 c Elapsed CPU time: 97.3172 s Remaining CPU time: 82.6828 s c =============================================================================== c | 8 | 4498 4768 1170450 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23589 c Elapsed CPU time: 98.0531 s Remaining CPU time: 81.9469 s c =============================================================================== c | 8 | 4498 4769 1174800 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23588 c Elapsed CPU time: 98.771 s Remaining CPU time: 81.229 s c =============================================================================== c | 8 | 4498 4770 1179150 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23587 c Elapsed CPU time: 99.5339 s Remaining CPU time: 80.4661 s c =============================================================================== c | 8 | 4498 4771 1183500 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23586 c Elapsed CPU time: 100.285 s Remaining CPU time: 79.7152 s c =============================================================================== c | 8 | 4498 4772 1187850 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23585 c Elapsed CPU time: 101.062 s Remaining CPU time: 78.9384 s c =============================================================================== c | 8 | 4498 4773 1192200 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23584 c Elapsed CPU time: 101.835 s Remaining CPU time: 78.1655 s c =============================================================================== c | 8 | 4498 4774 1196550 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23583 c Elapsed CPU time: 102.636 s Remaining CPU time: 77.3636 s c =============================================================================== c | 8 | 4498 4775 1200900 | 5000 8 4288 | 0.000 % | c =============================================================================== c New solution: 23582 c Elapsed CPU time: 103.465 s Remaining CPU time: 76.5347 s c =============================================================================== c | 10 | 4498 4776 1205250 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23581 c Elapsed CPU time: 104.261 s Remaining CPU time: 75.7389 s c =============================================================================== c | 10 | 4498 4777 1209600 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23580 c Elapsed CPU time: 104.976 s Remaining CPU time: 75.024 s c =============================================================================== c | 10 | 4498 4778 1213950 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23579 c Elapsed CPU time: 105.727 s Remaining CPU time: 74.2731 s c =============================================================================== c | 10 | 4498 4779 1218300 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23578 c Elapsed CPU time: 106.446 s Remaining CPU time: 73.5542 s c =============================================================================== c | 10 | 4498 4780 1222650 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23577 c Elapsed CPU time: 107.179 s Remaining CPU time: 72.8213 s c =============================================================================== c | 10 | 4498 4781 1227000 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23576 c Elapsed CPU time: 108.005 s Remaining CPU time: 71.9954 s c =============================================================================== c | 10 | 4498 4782 1231350 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23575 c Elapsed CPU time: 108.819 s Remaining CPU time: 71.1805 s c =============================================================================== c | 10 | 4498 4783 1235700 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23574 c Elapsed CPU time: 109.621 s Remaining CPU time: 70.3787 s c =============================================================================== c | 10 | 4498 4784 1240050 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23573 c Elapsed CPU time: 110.403 s Remaining CPU time: 69.5968 s c =============================================================================== c | 10 | 4498 4785 1244400 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23572 c Elapsed CPU time: 111.22 s Remaining CPU time: 68.7799 s c =============================================================================== c | 10 | 4498 4786 1248750 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23571 c Elapsed CPU time: 111.992 s Remaining CPU time: 68.008 s c =============================================================================== c | 10 | 4498 4787 1253100 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23570 c Elapsed CPU time: 112.788 s Remaining CPU time: 67.2121 s c =============================================================================== c | 10 | 4498 4788 1257450 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23569 c Elapsed CPU time: 113.627 s Remaining CPU time: 66.3733 s c =============================================================================== c | 10 | 4498 4789 1261800 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23568 c Elapsed CPU time: 114.425 s Remaining CPU time: 65.5754 s c =============================================================================== c | 10 | 4498 4790 1266150 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23567 c Elapsed CPU time: 115.265 s Remaining CPU time: 64.7345 s c =============================================================================== c | 10 | 4498 4791 1270500 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23566 c Elapsed CPU time: 116.116 s Remaining CPU time: 63.8837 s c =============================================================================== c | 10 | 4498 4792 1274850 | 5000 10 4287 | 0.000 % | c =============================================================================== c New solution: 23565 c Elapsed CPU time: 116.931 s Remaining CPU time: 63.0688 s c =============================================================================== c | 11 | 4498 4793 1279200 | 5000 11 4287 | 0.000 % | c =============================================================================== c New solution: 23564 c Elapsed CPU time: 117.689 s Remaining CPU time: 62.3109 s c =============================================================================== c | 11 | 4498 4794 1283550 | 5000 11 4287 | 0.000 % | c =============================================================================== c New solution: 23563 c Elapsed CPU time: 118.455 s Remaining CPU time: 61.545 s c =============================================================================== c | 11 | 4498 4795 1287900 | 5000 11 4287 | 0.000 % | c =============================================================================== c New solution: 23562 c Elapsed CPU time: 119.233 s Remaining CPU time: 60.7671 s c =============================================================================== c | 11 | 4498 4796 1292250 | 5000 11 4287 | 0.000 % | c =============================================================================== c New solution: 23561 c Elapsed CPU time: 120.047 s Remaining CPU time: 59.9532 s c =============================================================================== c | 11 | 4498 4797 1296600 | 5000 11 4287 | 0.000 % | c =============================================================================== c New solution: 23560 c Elapsed CPU time: 120.814 s Remaining CPU time: 59.1864 s c =============================================================================== c | 11 | 4498 4798 1300950 | 5000 11 4287 | 0.000 % | c =============================================================================== c New solution: 23559 c Elapsed CPU time: 121.654 s Remaining CPU time: 58.3465 s c =============================================================================== c | 12 | 4498 4799 1305300 | 5000 12 4286 | 0.000 % | c =============================================================================== c New solution: 23558 c Elapsed CPU time: 122.478 s Remaining CPU time: 57.5216 s c =============================================================================== c | 12 | 4498 4800 1309650 | 5000 12 4286 | 0.000 % | c =============================================================================== c New solution: 23557 c Elapsed CPU time: 123.292 s Remaining CPU time: 56.7077 s c =============================================================================== c | 13 | 4498 4801 1314000 | 5000 13 4285 | 0.000 % | c =============================================================================== c New solution: 23556 c Elapsed CPU time: 124.088 s Remaining CPU time: 55.9119 s c =============================================================================== c | 13 | 4498 4802 1318350 | 5000 13 4285 | 0.000 % | c =============================================================================== c New solution: 23555 c Elapsed CPU time: 124.918 s Remaining CPU time: 55.082 s c =============================================================================== c | 13 | 4498 4803 1322700 | 5000 13 4285 | 0.000 % | c =============================================================================== c New solution: 23554 c Elapsed CPU time: 125.842 s Remaining CPU time: 54.1581 s c =============================================================================== c | 22 | 4498 4804 1327050 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23553 c Elapsed CPU time: 126.733 s Remaining CPU time: 53.2673 s c =============================================================================== c | 22 | 4498 4805 1331400 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23552 c Elapsed CPU time: 127.596 s Remaining CPU time: 52.4044 s c =============================================================================== c | 22 | 4498 4806 1335750 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23551 c Elapsed CPU time: 128.457 s Remaining CPU time: 51.5425 s c =============================================================================== c | 22 | 4498 4807 1340100 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23550 c Elapsed CPU time: 129.298 s Remaining CPU time: 50.7017 s c =============================================================================== c | 22 | 4498 4808 1344450 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23549 c Elapsed CPU time: 130.146 s Remaining CPU time: 49.8538 s c =============================================================================== c | 22 | 4498 4809 1348800 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23548 c Elapsed CPU time: 130.948 s Remaining CPU time: 49.0519 s c =============================================================================== c | 22 | 4498 4810 1353150 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23547 c Elapsed CPU time: 131.769 s Remaining CPU time: 48.231 s c =============================================================================== c | 22 | 4498 4811 1357500 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23546 c Elapsed CPU time: 132.545 s Remaining CPU time: 47.4552 s c =============================================================================== c | 22 | 4498 4812 1361850 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23545 c Elapsed CPU time: 133.403 s Remaining CPU time: 46.5973 s c =============================================================================== c | 22 | 4498 4813 1366200 | 5000 22 4283 | 0.000 % | c =============================================================================== c New solution: 23544 c Elapsed CPU time: 134.251 s Remaining CPU time: 45.7494 s c =============================================================================== c | 23 | 4498 4814 1370550 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23543 c Elapsed CPU time: 135.055 s Remaining CPU time: 44.9445 s c =============================================================================== c | 23 | 4498 4815 1374900 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23542 c Elapsed CPU time: 135.919 s Remaining CPU time: 44.0807 s c =============================================================================== c | 23 | 4498 4816 1379250 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23541 c Elapsed CPU time: 136.792 s Remaining CPU time: 43.2078 s c =============================================================================== c | 23 | 4498 4817 1383600 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23540 c Elapsed CPU time: 137.665 s Remaining CPU time: 42.3349 s c =============================================================================== c | 23 | 4498 4818 1387950 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23539 c Elapsed CPU time: 138.536 s Remaining CPU time: 41.4641 s c =============================================================================== c | 23 | 4498 4819 1392300 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23538 c Elapsed CPU time: 139.443 s Remaining CPU time: 40.5572 s c =============================================================================== c | 23 | 4498 4820 1396650 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23537 c Elapsed CPU time: 140.291 s Remaining CPU time: 39.7093 s c =============================================================================== c | 23 | 4498 4821 1401000 | 5000 23 4283 | 0.000 % | c =============================================================================== c New solution: 23536 c Elapsed CPU time: 141.169 s Remaining CPU time: 38.8315 s c =============================================================================== c | 24 | 4498 4822 1405350 | 5000 24 4282 | 0.000 % | c =============================================================================== c New solution: 23535 c Elapsed CPU time: 142.088 s Remaining CPU time: 37.9116 s c =============================================================================== c | 24 | 4498 4823 1409700 | 5000 24 4282 | 0.000 % | c =============================================================================== c New solution: 23534 c Elapsed CPU time: 142.953 s Remaining CPU time: 37.0467 s c =============================================================================== c | 25 | 4498 4824 1414050 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23533 c Elapsed CPU time: 143.854 s Remaining CPU time: 36.1459 s c =============================================================================== c | 25 | 4498 4825 1418400 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23532 c Elapsed CPU time: 144.782 s Remaining CPU time: 35.218 s c =============================================================================== c | 25 | 4498 4826 1422750 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23531 c Elapsed CPU time: 145.696 s Remaining CPU time: 34.3041 s c =============================================================================== c | 25 | 4498 4827 1427100 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23530 c Elapsed CPU time: 146.563 s Remaining CPU time: 33.4373 s c =============================================================================== c | 25 | 4498 4828 1431450 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23529 c Elapsed CPU time: 147.493 s Remaining CPU time: 32.5074 s c =============================================================================== c | 25 | 4498 4829 1435800 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23528 c Elapsed CPU time: 148.438 s Remaining CPU time: 31.5616 s c =============================================================================== c | 25 | 4498 4830 1440150 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23527 c Elapsed CPU time: 149.354 s Remaining CPU time: 30.6457 s c =============================================================================== c | 25 | 4498 4831 1444500 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23526 c Elapsed CPU time: 150.312 s Remaining CPU time: 29.6879 s c =============================================================================== c | 25 | 4498 4832 1448850 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23525 c Elapsed CPU time: 151.244 s Remaining CPU time: 28.756 s c =============================================================================== c | 25 | 4498 4833 1453200 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23524 c Elapsed CPU time: 152.191 s Remaining CPU time: 27.8091 s c =============================================================================== c | 25 | 4498 4834 1457550 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23523 c Elapsed CPU time: 153.056 s Remaining CPU time: 26.9443 s c =============================================================================== c | 25 | 4498 4835 1461900 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23522 c Elapsed CPU time: 153.924 s Remaining CPU time: 26.0764 s c =============================================================================== c | 25 | 4498 4836 1466250 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23521 c Elapsed CPU time: 154.832 s Remaining CPU time: 25.1675 s c =============================================================================== c | 25 | 4498 4837 1470600 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23520 c Elapsed CPU time: 155.707 s Remaining CPU time: 24.2927 s c =============================================================================== c | 25 | 4498 4838 1474950 | 5000 25 4282 | 0.000 % | c =============================================================================== c New solution: 23519 c Elapsed CPU time: 156.646 s Remaining CPU time: 23.3538 s c =============================================================================== c | 30 | 4498 4839 1479300 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23518 c Elapsed CPU time: 157.537 s Remaining CPU time: 22.463 s c =============================================================================== c | 30 | 4498 4840 1483650 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23517 c Elapsed CPU time: 158.437 s Remaining CPU time: 21.5631 s c =============================================================================== c | 30 | 4498 4841 1488000 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23516 c Elapsed CPU time: 159.337 s Remaining CPU time: 20.6632 s c =============================================================================== c | 30 | 4498 4842 1492350 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23515 c Elapsed CPU time: 160.276 s Remaining CPU time: 19.7244 s c =============================================================================== c | 30 | 4498 4843 1496700 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23514 c Elapsed CPU time: 161.185 s Remaining CPU time: 18.8145 s c =============================================================================== c | 30 | 4498 4844 1501050 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23513 c Elapsed CPU time: 162.106 s Remaining CPU time: 17.8936 s c =============================================================================== c | 30 | 4498 4845 1505400 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23512 c Elapsed CPU time: 162.998 s Remaining CPU time: 17.0018 s c =============================================================================== c | 30 | 4498 4846 1509750 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23511 c Elapsed CPU time: 163.929 s Remaining CPU time: 16.0709 s c =============================================================================== c | 30 | 4498 4847 1514100 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23510 c Elapsed CPU time: 164.88 s Remaining CPU time: 15.1201 s c =============================================================================== c | 30 | 4498 4848 1518450 | 5000 30 4281 | 0.000 % | c =============================================================================== c New solution: 23509 c Elapsed CPU time: 165.803 s Remaining CPU time: 14.1972 s c =============================================================================== c | 32 | 4498 4849 1522800 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23508 c Elapsed CPU time: 166.712 s Remaining CPU time: 13.2883 s c =============================================================================== c | 32 | 4498 4850 1527150 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23507 c Elapsed CPU time: 167.598 s Remaining CPU time: 12.4025 s c =============================================================================== c | 32 | 4498 4851 1531500 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23506 c Elapsed CPU time: 168.481 s Remaining CPU time: 11.5186 s c =============================================================================== c | 32 | 4498 4852 1535850 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23505 c Elapsed CPU time: 169.414 s Remaining CPU time: 10.5858 s c =============================================================================== c | 32 | 4498 4853 1540200 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23504 c Elapsed CPU time: 170.324 s Remaining CPU time: 9.67589 s c =============================================================================== c | 32 | 4498 4854 1544550 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23503 c Elapsed CPU time: 171.237 s Remaining CPU time: 8.76303 s c =============================================================================== c | 32 | 4498 4855 1548900 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23502 c Elapsed CPU time: 172.17 s Remaining CPU time: 7.83017 s c =============================================================================== c | 32 | 4498 4856 1553250 | 5000 32 4280 | 0.000 % | c =============================================================================== c New solution: 23501 c Elapsed CPU time: 173.136 s Remaining CPU time: 6.86432 s c =============================================================================== c | 34 | 4498 4857 1557600 | 5000 34 4280 | 0.000 % | c =============================================================================== c New solution: 23500 c Elapsed CPU time: 174.122 s Remaining CPU time: 5.87847 s c =============================================================================== c | 35 | 4498 4858 1561950 | 5000 35 4279 | 0.000 % | c =============================================================================== c New solution: 23499 c Elapsed CPU time: 175.119 s Remaining CPU time: 4.88062 s c =============================================================================== c | 42 | 4498 4859 1566300 | 5000 42 4278 | 0.000 % | c =============================================================================== c New solution: 23498 c Elapsed CPU time: 176.079 s Remaining CPU time: 3.92077 s c =============================================================================== c | 46 | 4498 4860 1570650 | 5000 46 4277 | 0.000 % | c =============================================================================== c New solution: 23497 c Elapsed CPU time: 176.962 s Remaining CPU time: 3.0379 s c =============================================================================== c | 49 | 4498 4861 1575000 | 5000 49 4276 | 0.000 % | c =============================================================================== c New solution: 23496 c Elapsed CPU time: 177.859 s Remaining CPU time: 2.14104 s c =============================================================================== c | 49 | 4498 4862 1579350 | 5000 49 4276 | 0.000 % | c =============================================================================== c New solution: 23495 c Elapsed CPU time: 178.795 s Remaining CPU time: 1.20518 s c =============================================================================== c | 49 | 4498 4863 1583700 | 5000 49 4276 | 0.000 % | c =============================================================================== c New solution: 23494 c Elapsed CPU time: 179.777 s Remaining CPU time: 0.223331 s c =============================================================================== c | 49 | 4498 4864 1588050 | 5000 49 4276 | 0.000 % | c There are 2 assigned variables. 0 in cost function.