c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 4500 | c | Number Clauses: 4500 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4492 4505 13346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24026 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 4492 4506 17696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24024 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 4492 4507 22046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24018 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 0 | 4492 4508 26396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24016 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 4492 4509 30746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24008 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 4492 4510 35096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24007 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 0 | 4492 4511 39446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24006 c Elapsed CPU time: 0.543917 s Remaining CPU time: 179.456 s c =============================================================================== c | 0 | 4492 4512 43796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24004 c Elapsed CPU time: 0.617906 s Remaining CPU time: 179.382 s c =============================================================================== c | 0 | 4492 4513 48146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 24003 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 0 | 4492 4514 52496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23998 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 4492 4515 56846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23996 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 0 | 4492 4516 61196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23992 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 0 | 4492 4517 65546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23990 c Elapsed CPU time: 1.02184 s Remaining CPU time: 178.978 s c =============================================================================== c | 0 | 4492 4518 69896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23987 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 0 | 4492 4519 74246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23986 c Elapsed CPU time: 1.19282 s Remaining CPU time: 178.807 s c =============================================================================== c | 0 | 4492 4520 78596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23985 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 0 | 4492 4521 82946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23984 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 0 | 4492 4522 87296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23983 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 0 | 4492 4523 91646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23982 c Elapsed CPU time: 1.55476 s Remaining CPU time: 178.445 s c =============================================================================== c | 0 | 4492 4524 95996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23981 c Elapsed CPU time: 1.64975 s Remaining CPU time: 178.35 s c =============================================================================== c | 0 | 4492 4525 100346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23978 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 0 | 4492 4526 104696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23977 c Elapsed CPU time: 1.84472 s Remaining CPU time: 178.155 s c =============================================================================== c | 0 | 4492 4527 109046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23975 c Elapsed CPU time: 1.9447 s Remaining CPU time: 178.055 s c =============================================================================== c | 0 | 4492 4528 113396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23971 c Elapsed CPU time: 2.04469 s Remaining CPU time: 177.955 s c =============================================================================== c | 0 | 4492 4529 117746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23970 c Elapsed CPU time: 2.14267 s Remaining CPU time: 177.857 s c =============================================================================== c | 0 | 4492 4530 122096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23969 c Elapsed CPU time: 2.25066 s Remaining CPU time: 177.749 s c =============================================================================== c | 0 | 4492 4531 126446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23968 c Elapsed CPU time: 2.35764 s Remaining CPU time: 177.642 s c =============================================================================== c | 0 | 4492 4532 130796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23964 c Elapsed CPU time: 2.47062 s Remaining CPU time: 177.529 s c =============================================================================== c | 0 | 4492 4533 135146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23963 c Elapsed CPU time: 2.58461 s Remaining CPU time: 177.415 s c =============================================================================== c | 0 | 4492 4534 139496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23962 c Elapsed CPU time: 2.70259 s Remaining CPU time: 177.297 s c =============================================================================== c | 0 | 4492 4535 143846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23960 c Elapsed CPU time: 2.81957 s Remaining CPU time: 177.18 s c =============================================================================== c | 0 | 4492 4536 148196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23956 c Elapsed CPU time: 2.93855 s Remaining CPU time: 177.061 s c =============================================================================== c | 0 | 4492 4537 152546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23955 c Elapsed CPU time: 3.06253 s Remaining CPU time: 176.937 s c =============================================================================== c | 0 | 4492 4538 156896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23953 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 0 | 4492 4539 161246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23952 c Elapsed CPU time: 3.31949 s Remaining CPU time: 176.681 s c =============================================================================== c | 0 | 4492 4540 165596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23951 c Elapsed CPU time: 3.44747 s Remaining CPU time: 176.553 s c =============================================================================== c | 0 | 4492 4541 169946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23950 c Elapsed CPU time: 3.57845 s Remaining CPU time: 176.422 s c =============================================================================== c | 0 | 4492 4542 174296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23949 c Elapsed CPU time: 3.71043 s Remaining CPU time: 176.29 s c =============================================================================== c | 0 | 4492 4543 178646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23945 c Elapsed CPU time: 3.84442 s Remaining CPU time: 176.156 s c =============================================================================== c | 0 | 4492 4544 182996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23944 c Elapsed CPU time: 3.98039 s Remaining CPU time: 176.02 s c =============================================================================== c | 0 | 4492 4545 187346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23943 c Elapsed CPU time: 4.12537 s Remaining CPU time: 175.875 s c =============================================================================== c | 0 | 4492 4546 191696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23942 c Elapsed CPU time: 4.26935 s Remaining CPU time: 175.731 s c =============================================================================== c | 0 | 4492 4547 196046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23938 c Elapsed CPU time: 4.41433 s Remaining CPU time: 175.586 s c =============================================================================== c | 0 | 4492 4548 200396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23937 c Elapsed CPU time: 4.56431 s Remaining CPU time: 175.436 s c =============================================================================== c | 0 | 4492 4549 204746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23936 c Elapsed CPU time: 4.71728 s Remaining CPU time: 175.283 s c =============================================================================== c | 0 | 4492 4550 209096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23935 c Elapsed CPU time: 4.87526 s Remaining CPU time: 175.125 s c =============================================================================== c | 0 | 4492 4551 213446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23933 c Elapsed CPU time: 5.03923 s Remaining CPU time: 174.961 s c =============================================================================== c | 0 | 4492 4552 217796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23932 c Elapsed CPU time: 5.20021 s Remaining CPU time: 174.8 s c =============================================================================== c | 0 | 4492 4553 222146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23930 c Elapsed CPU time: 5.36518 s Remaining CPU time: 174.635 s c =============================================================================== c | 0 | 4492 4554 226496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23928 c Elapsed CPU time: 5.53716 s Remaining CPU time: 174.463 s c =============================================================================== c | 0 | 4492 4555 230846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23926 c Elapsed CPU time: 5.71013 s Remaining CPU time: 174.29 s c =============================================================================== c | 0 | 4492 4556 235196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23924 c Elapsed CPU time: 5.8881 s Remaining CPU time: 174.112 s c =============================================================================== c | 0 | 4492 4557 239546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23923 c Elapsed CPU time: 6.06308 s Remaining CPU time: 173.937 s c =============================================================================== c | 0 | 4492 4558 243896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23922 c Elapsed CPU time: 6.25005 s Remaining CPU time: 173.75 s c =============================================================================== c | 0 | 4492 4559 248246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23921 c Elapsed CPU time: 6.44002 s Remaining CPU time: 173.56 s c =============================================================================== c | 0 | 4492 4560 252596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23918 c Elapsed CPU time: 6.62799 s Remaining CPU time: 173.372 s c =============================================================================== c | 0 | 4492 4561 256946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23916 c Elapsed CPU time: 6.82196 s Remaining CPU time: 173.178 s c =============================================================================== c | 0 | 4492 4562 261296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23915 c Elapsed CPU time: 7.01393 s Remaining CPU time: 172.986 s c =============================================================================== c | 0 | 4492 4563 265646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23914 c Elapsed CPU time: 7.2089 s Remaining CPU time: 172.791 s c =============================================================================== c | 0 | 4492 4564 269996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23912 c Elapsed CPU time: 7.41487 s Remaining CPU time: 172.585 s c =============================================================================== c | 0 | 4492 4565 274346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23911 c Elapsed CPU time: 7.61784 s Remaining CPU time: 172.382 s c =============================================================================== c | 0 | 4492 4566 278696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23907 c Elapsed CPU time: 7.81881 s Remaining CPU time: 172.181 s c =============================================================================== c | 0 | 4492 4567 283046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23906 c Elapsed CPU time: 8.02878 s Remaining CPU time: 171.971 s c =============================================================================== c | 0 | 4492 4568 287396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23904 c Elapsed CPU time: 8.23875 s Remaining CPU time: 171.761 s c =============================================================================== c | 0 | 4492 4569 291746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23903 c Elapsed CPU time: 8.44971 s Remaining CPU time: 171.55 s c =============================================================================== c | 0 | 4492 4570 296096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23901 c Elapsed CPU time: 8.66668 s Remaining CPU time: 171.333 s c =============================================================================== c | 0 | 4492 4571 300446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23900 c Elapsed CPU time: 8.90565 s Remaining CPU time: 171.094 s c =============================================================================== c | 0 | 4492 4572 304796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23897 c Elapsed CPU time: 9.13961 s Remaining CPU time: 170.86 s c =============================================================================== c | 0 | 4492 4573 309146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23894 c Elapsed CPU time: 9.37757 s Remaining CPU time: 170.622 s c =============================================================================== c | 0 | 4492 4574 313496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23890 c Elapsed CPU time: 9.62454 s Remaining CPU time: 170.375 s c =============================================================================== c | 0 | 4492 4575 317846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23889 c Elapsed CPU time: 9.8675 s Remaining CPU time: 170.133 s c =============================================================================== c | 0 | 4492 4576 322196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23886 c Elapsed CPU time: 10.1075 s Remaining CPU time: 169.893 s c =============================================================================== c | 0 | 4492 4577 326546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23884 c Elapsed CPU time: 10.3454 s Remaining CPU time: 169.655 s c =============================================================================== c | 0 | 4492 4578 330896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23883 c Elapsed CPU time: 10.5864 s Remaining CPU time: 169.414 s c =============================================================================== c | 0 | 4492 4579 335246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23879 c Elapsed CPU time: 10.8314 s Remaining CPU time: 169.169 s c =============================================================================== c | 0 | 4492 4580 339596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23877 c Elapsed CPU time: 11.0803 s Remaining CPU time: 168.92 s c =============================================================================== c | 0 | 4492 4581 343946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23876 c Elapsed CPU time: 11.3363 s Remaining CPU time: 168.664 s c =============================================================================== c | 0 | 4492 4582 348296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23874 c Elapsed CPU time: 11.5832 s Remaining CPU time: 168.417 s c =============================================================================== c | 0 | 4492 4583 352646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23873 c Elapsed CPU time: 11.8342 s Remaining CPU time: 168.166 s c =============================================================================== c | 0 | 4492 4584 356996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23872 c Elapsed CPU time: 12.0972 s Remaining CPU time: 167.903 s c =============================================================================== c | 0 | 4492 4585 361346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23869 c Elapsed CPU time: 12.3581 s Remaining CPU time: 167.642 s c =============================================================================== c | 0 | 4492 4586 365696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23868 c Elapsed CPU time: 12.6221 s Remaining CPU time: 167.378 s c =============================================================================== c | 0 | 4492 4587 370046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23866 c Elapsed CPU time: 12.905 s Remaining CPU time: 167.095 s c =============================================================================== c | 0 | 4492 4588 374396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23865 c Elapsed CPU time: 13.194 s Remaining CPU time: 166.806 s c =============================================================================== c | 0 | 4492 4589 378746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23864 c Elapsed CPU time: 13.4949 s Remaining CPU time: 166.505 s c =============================================================================== c | 0 | 4492 4590 383096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23863 c Elapsed CPU time: 13.7949 s Remaining CPU time: 166.205 s c =============================================================================== c | 0 | 4492 4591 387446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23861 c Elapsed CPU time: 14.0979 s Remaining CPU time: 165.902 s c =============================================================================== c | 0 | 4492 4592 391796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23859 c Elapsed CPU time: 14.3978 s Remaining CPU time: 165.602 s c =============================================================================== c | 0 | 4492 4593 396146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23857 c Elapsed CPU time: 14.6948 s Remaining CPU time: 165.305 s c =============================================================================== c | 0 | 4492 4594 400496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23854 c Elapsed CPU time: 14.9967 s Remaining CPU time: 165.003 s c =============================================================================== c | 0 | 4492 4595 404846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23851 c Elapsed CPU time: 15.3047 s Remaining CPU time: 164.695 s c =============================================================================== c | 0 | 4492 4596 409196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23850 c Elapsed CPU time: 15.6176 s Remaining CPU time: 164.382 s c =============================================================================== c | 0 | 4492 4597 413546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23848 c Elapsed CPU time: 15.9256 s Remaining CPU time: 164.074 s c =============================================================================== c | 0 | 4492 4598 417896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23847 c Elapsed CPU time: 16.2395 s Remaining CPU time: 163.76 s c =============================================================================== c | 0 | 4492 4599 422246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23844 c Elapsed CPU time: 16.5515 s Remaining CPU time: 163.449 s c =============================================================================== c | 0 | 4492 4600 426596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23841 c Elapsed CPU time: 16.8664 s Remaining CPU time: 163.134 s c =============================================================================== c | 0 | 4492 4601 430946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23840 c Elapsed CPU time: 17.1924 s Remaining CPU time: 162.808 s c =============================================================================== c | 0 | 4492 4602 435296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23839 c Elapsed CPU time: 17.5113 s Remaining CPU time: 162.489 s c =============================================================================== c | 0 | 4492 4603 439646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23838 c Elapsed CPU time: 17.8423 s Remaining CPU time: 162.158 s c =============================================================================== c | 0 | 4492 4604 443996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23837 c Elapsed CPU time: 18.1632 s Remaining CPU time: 161.837 s c =============================================================================== c | 0 | 4492 4605 448346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23836 c Elapsed CPU time: 18.5012 s Remaining CPU time: 161.499 s c =============================================================================== c | 0 | 4492 4606 452696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23835 c Elapsed CPU time: 18.8431 s Remaining CPU time: 161.157 s c =============================================================================== c | 0 | 4492 4607 457046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23834 c Elapsed CPU time: 19.1741 s Remaining CPU time: 160.826 s c =============================================================================== c | 0 | 4492 4608 461396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23833 c Elapsed CPU time: 19.51 s Remaining CPU time: 160.49 s c =============================================================================== c | 0 | 4492 4609 465746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23830 c Elapsed CPU time: 19.845 s Remaining CPU time: 160.155 s c =============================================================================== c | 0 | 4492 4610 470096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23829 c Elapsed CPU time: 20.1969 s Remaining CPU time: 159.803 s c =============================================================================== c | 0 | 4492 4611 474446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23827 c Elapsed CPU time: 20.5449 s Remaining CPU time: 159.455 s c =============================================================================== c | 0 | 4492 4612 478796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23826 c Elapsed CPU time: 20.8918 s Remaining CPU time: 159.108 s c =============================================================================== c | 0 | 4492 4613 483146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23825 c Elapsed CPU time: 21.2428 s Remaining CPU time: 158.757 s c =============================================================================== c | 0 | 4492 4614 487496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23821 c Elapsed CPU time: 21.5857 s Remaining CPU time: 158.414 s c =============================================================================== c | 0 | 4492 4615 491846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23818 c Elapsed CPU time: 21.9467 s Remaining CPU time: 158.053 s c =============================================================================== c | 0 | 4492 4616 496196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23815 c Elapsed CPU time: 22.3116 s Remaining CPU time: 157.688 s c =============================================================================== c | 0 | 4492 4617 500546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23813 c Elapsed CPU time: 22.6736 s Remaining CPU time: 157.326 s c =============================================================================== c | 0 | 4492 4618 504896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23812 c Elapsed CPU time: 23.0385 s Remaining CPU time: 156.962 s c =============================================================================== c | 0 | 4492 4619 509246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23809 c Elapsed CPU time: 23.4014 s Remaining CPU time: 156.599 s c =============================================================================== c | 0 | 4492 4620 513596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23808 c Elapsed CPU time: 23.7664 s Remaining CPU time: 156.234 s c =============================================================================== c | 0 | 4492 4621 517946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23806 c Elapsed CPU time: 24.1443 s Remaining CPU time: 155.856 s c =============================================================================== c | 0 | 4492 4622 522296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23805 c Elapsed CPU time: 24.5413 s Remaining CPU time: 155.459 s c =============================================================================== c | 0 | 4492 4623 526646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23804 c Elapsed CPU time: 24.9192 s Remaining CPU time: 155.081 s c =============================================================================== c | 0 | 4492 4624 530996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23803 c Elapsed CPU time: 25.3132 s Remaining CPU time: 154.687 s c =============================================================================== c | 0 | 4492 4625 535346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23802 c Elapsed CPU time: 25.7031 s Remaining CPU time: 154.297 s c =============================================================================== c | 0 | 4492 4626 539696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23801 c Elapsed CPU time: 26.097 s Remaining CPU time: 153.903 s c =============================================================================== c | 0 | 4492 4627 544046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23800 c Elapsed CPU time: 26.513 s Remaining CPU time: 153.487 s c =============================================================================== c | 0 | 4492 4628 548396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23798 c Elapsed CPU time: 26.9199 s Remaining CPU time: 153.08 s c =============================================================================== c | 0 | 4492 4629 552746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23797 c Elapsed CPU time: 27.3288 s Remaining CPU time: 152.671 s c =============================================================================== c | 0 | 4492 4630 557096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23795 c Elapsed CPU time: 27.7518 s Remaining CPU time: 152.248 s c =============================================================================== c | 0 | 4492 4631 561446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23794 c Elapsed CPU time: 28.1657 s Remaining CPU time: 151.834 s c =============================================================================== c | 0 | 4492 4632 565796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23792 c Elapsed CPU time: 28.5877 s Remaining CPU time: 151.412 s c =============================================================================== c | 0 | 4492 4633 570146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23790 c Elapsed CPU time: 29.0076 s Remaining CPU time: 150.992 s c =============================================================================== c | 0 | 4492 4634 574496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23789 c Elapsed CPU time: 29.4365 s Remaining CPU time: 150.563 s c =============================================================================== c | 0 | 4492 4635 578846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23787 c Elapsed CPU time: 29.8755 s Remaining CPU time: 150.125 s c =============================================================================== c | 0 | 4492 4636 583196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23785 c Elapsed CPU time: 30.3084 s Remaining CPU time: 149.692 s c =============================================================================== c | 0 | 4492 4637 587546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23783 c Elapsed CPU time: 30.7493 s Remaining CPU time: 149.251 s c =============================================================================== c | 0 | 4492 4638 591896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23782 c Elapsed CPU time: 31.1853 s Remaining CPU time: 148.815 s c =============================================================================== c | 0 | 4492 4639 596246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23778 c Elapsed CPU time: 31.6302 s Remaining CPU time: 148.37 s c =============================================================================== c | 0 | 4492 4640 600596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23776 c Elapsed CPU time: 32.0751 s Remaining CPU time: 147.925 s c =============================================================================== c | 0 | 4492 4641 604946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23773 c Elapsed CPU time: 32.5271 s Remaining CPU time: 147.473 s c =============================================================================== c | 0 | 4492 4642 609296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23771 c Elapsed CPU time: 32.976 s Remaining CPU time: 147.024 s c =============================================================================== c | 0 | 4492 4643 613646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23770 c Elapsed CPU time: 33.4309 s Remaining CPU time: 146.569 s c =============================================================================== c | 0 | 4492 4644 617996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23768 c Elapsed CPU time: 33.8988 s Remaining CPU time: 146.101 s c =============================================================================== c | 0 | 4492 4645 622346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23767 c Elapsed CPU time: 34.3768 s Remaining CPU time: 145.623 s c =============================================================================== c | 0 | 4492 4646 626696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23765 c Elapsed CPU time: 34.8397 s Remaining CPU time: 145.16 s c =============================================================================== c | 0 | 4492 4647 631046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23764 c Elapsed CPU time: 35.3146 s Remaining CPU time: 144.685 s c =============================================================================== c | 0 | 4492 4648 635396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23762 c Elapsed CPU time: 35.7846 s Remaining CPU time: 144.215 s c =============================================================================== c | 0 | 4492 4649 639746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23761 c Elapsed CPU time: 36.2585 s Remaining CPU time: 143.742 s c =============================================================================== c | 0 | 4492 4650 644096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23760 c Elapsed CPU time: 36.7374 s Remaining CPU time: 143.263 s c =============================================================================== c | 0 | 4492 4651 648446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23758 c Elapsed CPU time: 37.2183 s Remaining CPU time: 142.782 s c =============================================================================== c | 0 | 4492 4652 652796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23757 c Elapsed CPU time: 37.7223 s Remaining CPU time: 142.278 s c =============================================================================== c | 0 | 4492 4653 657146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23756 c Elapsed CPU time: 38.2152 s Remaining CPU time: 141.785 s c =============================================================================== c | 0 | 4492 4654 661496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23754 c Elapsed CPU time: 38.7131 s Remaining CPU time: 141.287 s c =============================================================================== c | 0 | 4492 4655 665846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23753 c Elapsed CPU time: 39.219 s Remaining CPU time: 140.781 s c =============================================================================== c | 0 | 4492 4656 670196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23750 c Elapsed CPU time: 39.711 s Remaining CPU time: 140.289 s c =============================================================================== c | 0 | 4492 4657 674546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23749 c Elapsed CPU time: 40.2229 s Remaining CPU time: 139.777 s c =============================================================================== c | 0 | 4492 4658 678896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23748 c Elapsed CPU time: 40.7338 s Remaining CPU time: 139.266 s c =============================================================================== c | 0 | 4492 4659 683246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23747 c Elapsed CPU time: 41.2507 s Remaining CPU time: 138.749 s c =============================================================================== c | 0 | 4492 4660 687596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23746 c Elapsed CPU time: 41.7636 s Remaining CPU time: 138.236 s c =============================================================================== c | 0 | 4492 4661 691946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23744 c Elapsed CPU time: 42.2736 s Remaining CPU time: 137.726 s c =============================================================================== c | 0 | 4492 4662 696296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23743 c Elapsed CPU time: 42.7975 s Remaining CPU time: 137.203 s c =============================================================================== c | 0 | 4492 4663 700646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23742 c Elapsed CPU time: 43.3134 s Remaining CPU time: 136.687 s c =============================================================================== c | 0 | 4492 4664 704996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23739 c Elapsed CPU time: 43.8373 s Remaining CPU time: 136.163 s c =============================================================================== c | 0 | 4492 4665 709346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23738 c Elapsed CPU time: 44.3533 s Remaining CPU time: 135.647 s c =============================================================================== c | 0 | 4492 4666 713696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23735 c Elapsed CPU time: 44.8902 s Remaining CPU time: 135.11 s c =============================================================================== c | 0 | 4492 4667 718046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23732 c Elapsed CPU time: 45.4211 s Remaining CPU time: 134.579 s c =============================================================================== c | 0 | 4492 4668 722396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23730 c Elapsed CPU time: 45.959 s Remaining CPU time: 134.041 s c =============================================================================== c | 0 | 4492 4669 726746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23728 c Elapsed CPU time: 46.5039 s Remaining CPU time: 133.496 s c =============================================================================== c | 0 | 4492 4670 731096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23727 c Elapsed CPU time: 47.0508 s Remaining CPU time: 132.949 s c =============================================================================== c | 0 | 4492 4671 735446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23726 c Elapsed CPU time: 47.5958 s Remaining CPU time: 132.404 s c =============================================================================== c | 0 | 4492 4672 739796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 48.1437 s Remaining CPU time: 131.856 s c =============================================================================== c | 0 | 4492 4673 744146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23721 c Elapsed CPU time: 48.7086 s Remaining CPU time: 131.291 s c =============================================================================== c | 0 | 4492 4674 748496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23720 c Elapsed CPU time: 49.2725 s Remaining CPU time: 130.727 s c =============================================================================== c | 0 | 4492 4675 752846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23718 c Elapsed CPU time: 49.8244 s Remaining CPU time: 130.176 s c =============================================================================== c | 0 | 4492 4676 757196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23717 c Elapsed CPU time: 50.3983 s Remaining CPU time: 129.602 s c =============================================================================== c | 0 | 4492 4677 761546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23716 c Elapsed CPU time: 50.9862 s Remaining CPU time: 129.014 s c =============================================================================== c | 0 | 4492 4678 765896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23714 c Elapsed CPU time: 51.5902 s Remaining CPU time: 128.41 s c =============================================================================== c | 0 | 4492 4679 770246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23712 c Elapsed CPU time: 52.1821 s Remaining CPU time: 127.818 s c =============================================================================== c | 0 | 4492 4680 774596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23711 c Elapsed CPU time: 52.782 s Remaining CPU time: 127.218 s c =============================================================================== c | 0 | 4492 4681 778946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 53.3669 s Remaining CPU time: 126.633 s c =============================================================================== c | 0 | 4492 4682 783296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23709 c Elapsed CPU time: 53.9598 s Remaining CPU time: 126.04 s c =============================================================================== c | 0 | 4492 4683 787646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23708 c Elapsed CPU time: 54.5527 s Remaining CPU time: 125.447 s c =============================================================================== c | 0 | 4492 4684 791996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23705 c Elapsed CPU time: 55.1406 s Remaining CPU time: 124.859 s c =============================================================================== c | 0 | 4492 4685 796346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23701 c Elapsed CPU time: 55.7395 s Remaining CPU time: 124.26 s c =============================================================================== c | 0 | 4492 4686 800696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23699 c Elapsed CPU time: 56.3534 s Remaining CPU time: 123.647 s c =============================================================================== c | 0 | 4492 4687 805046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23698 c Elapsed CPU time: 56.9713 s Remaining CPU time: 123.029 s c =============================================================================== c | 0 | 4492 4688 809396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23697 c Elapsed CPU time: 57.5902 s Remaining CPU time: 122.41 s c =============================================================================== c | 0 | 4492 4689 813746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23696 c Elapsed CPU time: 58.2082 s Remaining CPU time: 121.792 s c =============================================================================== c | 0 | 4492 4690 818096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23695 c Elapsed CPU time: 58.8271 s Remaining CPU time: 121.173 s c =============================================================================== c | 0 | 4492 4691 822446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23694 c Elapsed CPU time: 59.459 s Remaining CPU time: 120.541 s c =============================================================================== c | 0 | 4492 4692 826796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23692 c Elapsed CPU time: 60.0709 s Remaining CPU time: 119.929 s c =============================================================================== c | 0 | 4492 4693 831146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23691 c Elapsed CPU time: 60.6818 s Remaining CPU time: 119.318 s c =============================================================================== c | 0 | 4492 4694 835496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23687 c Elapsed CPU time: 61.2917 s Remaining CPU time: 118.708 s c =============================================================================== c | 0 | 4492 4695 839846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23686 c Elapsed CPU time: 61.9056 s Remaining CPU time: 118.094 s c =============================================================================== c | 0 | 4492 4696 844196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23685 c Elapsed CPU time: 62.5275 s Remaining CPU time: 117.473 s c =============================================================================== c | 0 | 4492 4697 848546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23684 c Elapsed CPU time: 63.1884 s Remaining CPU time: 116.812 s c =============================================================================== c | 0 | 4492 4698 852896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23683 c Elapsed CPU time: 63.8413 s Remaining CPU time: 116.159 s c =============================================================================== c | 0 | 4492 4699 857246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23682 c Elapsed CPU time: 64.5142 s Remaining CPU time: 115.486 s c =============================================================================== c | 0 | 4492 4700 861596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23679 c Elapsed CPU time: 65.1711 s Remaining CPU time: 114.829 s c =============================================================================== c | 0 | 4492 4701 865946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23678 c Elapsed CPU time: 65.832 s Remaining CPU time: 114.168 s c =============================================================================== c | 0 | 4492 4702 870296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23677 c Elapsed CPU time: 66.4849 s Remaining CPU time: 113.515 s c =============================================================================== c | 0 | 4492 4703 874646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23676 c Elapsed CPU time: 67.1568 s Remaining CPU time: 112.843 s c =============================================================================== c | 0 | 4492 4704 878996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23675 c Elapsed CPU time: 67.8197 s Remaining CPU time: 112.18 s c =============================================================================== c | 0 | 4492 4705 883346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23673 c Elapsed CPU time: 68.4766 s Remaining CPU time: 111.523 s c =============================================================================== c | 0 | 4492 4706 887696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23670 c Elapsed CPU time: 69.1285 s Remaining CPU time: 110.872 s c =============================================================================== c | 0 | 4492 4707 892046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23669 c Elapsed CPU time: 69.7924 s Remaining CPU time: 110.208 s c =============================================================================== c | 0 | 4492 4708 896396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23668 c Elapsed CPU time: 70.4553 s Remaining CPU time: 109.545 s c =============================================================================== c | 0 | 4492 4709 900746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23667 c Elapsed CPU time: 71.1322 s Remaining CPU time: 108.868 s c =============================================================================== c | 0 | 4492 4710 905096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23666 c Elapsed CPU time: 71.7801 s Remaining CPU time: 108.22 s c =============================================================================== c | 0 | 4492 4711 909446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23665 c Elapsed CPU time: 72.451 s Remaining CPU time: 107.549 s c =============================================================================== c | 0 | 4492 4712 913796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23664 c Elapsed CPU time: 73.1179 s Remaining CPU time: 106.882 s c =============================================================================== c | 0 | 4492 4713 918146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23662 c Elapsed CPU time: 73.7768 s Remaining CPU time: 106.223 s c =============================================================================== c | 0 | 4492 4714 922496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23661 c Elapsed CPU time: 74.4407 s Remaining CPU time: 105.559 s c =============================================================================== c | 0 | 4492 4715 926846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23660 c Elapsed CPU time: 75.1256 s Remaining CPU time: 104.874 s c =============================================================================== c | 0 | 4492 4716 931196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23657 c Elapsed CPU time: 75.7885 s Remaining CPU time: 104.212 s c =============================================================================== c | 0 | 4492 4717 935546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23656 c Elapsed CPU time: 76.4464 s Remaining CPU time: 103.554 s c =============================================================================== c | 0 | 4492 4718 939896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23655 c Elapsed CPU time: 77.1203 s Remaining CPU time: 102.88 s c =============================================================================== c | 0 | 4492 4719 944246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23654 c Elapsed CPU time: 77.7872 s Remaining CPU time: 102.213 s c =============================================================================== c | 0 | 4492 4720 948596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23653 c Elapsed CPU time: 78.4921 s Remaining CPU time: 101.508 s c =============================================================================== c | 0 | 4492 4721 952946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23651 c Elapsed CPU time: 79.187 s Remaining CPU time: 100.813 s c =============================================================================== c | 0 | 4492 4722 957296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23650 c Elapsed CPU time: 79.8709 s Remaining CPU time: 100.129 s c =============================================================================== c | 0 | 4492 4723 961646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23649 c Elapsed CPU time: 80.5548 s Remaining CPU time: 99.4452 s c =============================================================================== c | 0 | 4492 4724 965996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23648 c Elapsed CPU time: 81.2386 s Remaining CPU time: 98.7614 s c =============================================================================== c | 0 | 4492 4725 970346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23647 c Elapsed CPU time: 81.9275 s Remaining CPU time: 98.0725 s c =============================================================================== c | 0 | 4492 4726 974696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23646 c Elapsed CPU time: 82.6324 s Remaining CPU time: 97.3676 s c =============================================================================== c | 0 | 4492 4727 979046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 83.3223 s Remaining CPU time: 96.6777 s c =============================================================================== c | 0 | 4492 4728 983396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23643 c Elapsed CPU time: 84.0102 s Remaining CPU time: 95.9898 s c =============================================================================== c | 0 | 4492 4729 987746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23640 c Elapsed CPU time: 84.7031 s Remaining CPU time: 95.2969 s c =============================================================================== c | 0 | 4492 4730 992096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23638 c Elapsed CPU time: 85.405 s Remaining CPU time: 94.595 s c =============================================================================== c | 0 | 4492 4731 996446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23637 c Elapsed CPU time: 86.1249 s Remaining CPU time: 93.8751 s c =============================================================================== c | 0 | 4492 4732 1000796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23636 c Elapsed CPU time: 86.8518 s Remaining CPU time: 93.1482 s c =============================================================================== c | 0 | 4492 4733 1005146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23635 c Elapsed CPU time: 87.6247 s Remaining CPU time: 92.3753 s c =============================================================================== c | 0 | 4492 4734 1009496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23633 c Elapsed CPU time: 88.3926 s Remaining CPU time: 91.6074 s c =============================================================================== c | 0 | 4492 4735 1013846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23631 c Elapsed CPU time: 89.1424 s Remaining CPU time: 90.8576 s c =============================================================================== c | 0 | 4492 4736 1018196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23630 c Elapsed CPU time: 89.9353 s Remaining CPU time: 90.0647 s c =============================================================================== c | 0 | 4492 4737 1022546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23629 c Elapsed CPU time: 90.7422 s Remaining CPU time: 89.2578 s c =============================================================================== c | 0 | 4492 4738 1026896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23628 c Elapsed CPU time: 91.5351 s Remaining CPU time: 88.4649 s c =============================================================================== c | 0 | 4492 4739 1031246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23625 c Elapsed CPU time: 92.318 s Remaining CPU time: 87.682 s c =============================================================================== c | 0 | 4492 4740 1035596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23624 c Elapsed CPU time: 93.1098 s Remaining CPU time: 86.8902 s c =============================================================================== c | 0 | 4492 4741 1039946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23622 c Elapsed CPU time: 93.9037 s Remaining CPU time: 86.0963 s c =============================================================================== c | 0 | 4492 4742 1044296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23621 c Elapsed CPU time: 94.7086 s Remaining CPU time: 85.2914 s c =============================================================================== c | 0 | 4492 4743 1048646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23620 c Elapsed CPU time: 95.5275 s Remaining CPU time: 84.4725 s c =============================================================================== c | 0 | 4492 4744 1052996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23619 c Elapsed CPU time: 96.3224 s Remaining CPU time: 83.6776 s c =============================================================================== c | 0 | 4492 4745 1057346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23618 c Elapsed CPU time: 97.1462 s Remaining CPU time: 82.8538 s c =============================================================================== c | 0 | 4492 4746 1061696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23617 c Elapsed CPU time: 97.9601 s Remaining CPU time: 82.0399 s c =============================================================================== c | 0 | 4492 4747 1066046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23615 c Elapsed CPU time: 98.774 s Remaining CPU time: 81.226 s c =============================================================================== c | 0 | 4492 4748 1070396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23614 c Elapsed CPU time: 99.6019 s Remaining CPU time: 80.3981 s c =============================================================================== c | 0 | 4492 4749 1074746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23612 c Elapsed CPU time: 100.403 s Remaining CPU time: 79.5973 s c =============================================================================== c | 0 | 4492 4750 1079096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23610 c Elapsed CPU time: 101.211 s Remaining CPU time: 78.7894 s c =============================================================================== c | 0 | 4492 4751 1083446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23609 c Elapsed CPU time: 102.044 s Remaining CPU time: 77.9555 s c =============================================================================== c | 0 | 4492 4752 1087796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23608 c Elapsed CPU time: 102.852 s Remaining CPU time: 77.1476 s c =============================================================================== c | 0 | 4492 4753 1092146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23607 c Elapsed CPU time: 103.68 s Remaining CPU time: 76.3198 s c =============================================================================== c | 0 | 4492 4754 1096496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23605 c Elapsed CPU time: 104.503 s Remaining CPU time: 75.4969 s c =============================================================================== c | 0 | 4492 4755 1100846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23604 c Elapsed CPU time: 105.331 s Remaining CPU time: 74.669 s c =============================================================================== c | 0 | 4492 4756 1105196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23603 c Elapsed CPU time: 106.141 s Remaining CPU time: 73.8591 s c =============================================================================== c | 0 | 4492 4757 1109546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23602 c Elapsed CPU time: 106.971 s Remaining CPU time: 73.0293 s c =============================================================================== c | 0 | 4492 4758 1113896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23600 c Elapsed CPU time: 107.786 s Remaining CPU time: 72.2144 s c =============================================================================== c | 0 | 4492 4759 1118246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23599 c Elapsed CPU time: 108.624 s Remaining CPU time: 71.3755 s c =============================================================================== c | 0 | 4492 4760 1122596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23598 c Elapsed CPU time: 109.463 s Remaining CPU time: 70.5366 s c =============================================================================== c | 0 | 4492 4761 1126946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23597 c Elapsed CPU time: 110.346 s Remaining CPU time: 69.6538 s c =============================================================================== c | 0 | 4492 4762 1131296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23596 c Elapsed CPU time: 111.184 s Remaining CPU time: 68.8159 s c =============================================================================== c | 0 | 4492 4763 1135646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23595 c Elapsed CPU time: 112.041 s Remaining CPU time: 67.959 s c =============================================================================== c | 0 | 4492 4764 1139996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23593 c Elapsed CPU time: 112.877 s Remaining CPU time: 67.1232 s c =============================================================================== c | 0 | 4492 4765 1144346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23592 c Elapsed CPU time: 113.765 s Remaining CPU time: 66.2353 s c =============================================================================== c | 0 | 4492 4766 1148696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23591 c Elapsed CPU time: 114.654 s Remaining CPU time: 65.3464 s c =============================================================================== c | 0 | 4492 4767 1153046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23590 c Elapsed CPU time: 115.545 s Remaining CPU time: 64.4546 s c =============================================================================== c | 0 | 4492 4768 1157396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23589 c Elapsed CPU time: 116.449 s Remaining CPU time: 63.5507 s c =============================================================================== c | 0 | 4492 4769 1161746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23588 c Elapsed CPU time: 117.358 s Remaining CPU time: 62.6418 s c =============================================================================== c | 0 | 4492 4770 1166096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23585 c Elapsed CPU time: 118.247 s Remaining CPU time: 61.753 s c =============================================================================== c | 0 | 4492 4771 1170446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23584 c Elapsed CPU time: 119.139 s Remaining CPU time: 60.8611 s c =============================================================================== c | 0 | 4492 4772 1174796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23583 c Elapsed CPU time: 120.02 s Remaining CPU time: 59.9802 s c =============================================================================== c | 0 | 4492 4773 1179146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23582 c Elapsed CPU time: 120.926 s Remaining CPU time: 59.0744 s c =============================================================================== c | 0 | 4492 4774 1183496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23581 c Elapsed CPU time: 121.82 s Remaining CPU time: 58.1795 s c =============================================================================== c | 0 | 4492 4775 1187846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23580 c Elapsed CPU time: 122.717 s Remaining CPU time: 57.2827 s c =============================================================================== c | 0 | 4492 4776 1192196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23579 c Elapsed CPU time: 123.602 s Remaining CPU time: 56.3978 s c =============================================================================== c | 0 | 4492 4777 1196546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23578 c Elapsed CPU time: 124.502 s Remaining CPU time: 55.4979 s c =============================================================================== c | 0 | 4492 4778 1200896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23576 c Elapsed CPU time: 125.413 s Remaining CPU time: 54.5871 s c =============================================================================== c | 0 | 4492 4779 1205246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23575 c Elapsed CPU time: 126.307 s Remaining CPU time: 53.6932 s c =============================================================================== c | 0 | 4492 4780 1209596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23573 c Elapsed CPU time: 127.191 s Remaining CPU time: 52.8093 s c =============================================================================== c | 0 | 4492 4781 1213946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23571 c Elapsed CPU time: 128.07 s Remaining CPU time: 51.9305 s c =============================================================================== c | 0 | 4492 4782 1218296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23570 c Elapsed CPU time: 128.956 s Remaining CPU time: 51.0436 s c =============================================================================== c | 0 | 4492 4783 1222646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23569 c Elapsed CPU time: 129.85 s Remaining CPU time: 50.1497 s c =============================================================================== c | 0 | 4492 4784 1226996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23568 c Elapsed CPU time: 130.778 s Remaining CPU time: 49.2219 s c =============================================================================== c | 0 | 4492 4785 1231346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23567 c Elapsed CPU time: 131.674 s Remaining CPU time: 48.326 s c =============================================================================== c | 0 | 4492 4786 1235696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23566 c Elapsed CPU time: 132.572 s Remaining CPU time: 47.4282 s c =============================================================================== c | 0 | 4492 4787 1240046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23565 c Elapsed CPU time: 133.466 s Remaining CPU time: 46.5343 s c =============================================================================== c | 0 | 4492 4788 1244396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23564 c Elapsed CPU time: 134.387 s Remaining CPU time: 45.6134 s c =============================================================================== c | 0 | 4492 4789 1248746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23563 c Elapsed CPU time: 135.277 s Remaining CPU time: 44.7226 s c =============================================================================== c | 0 | 4492 4790 1253096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23562 c Elapsed CPU time: 136.194 s Remaining CPU time: 43.8057 s c =============================================================================== c | 0 | 4492 4791 1257446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23561 c Elapsed CPU time: 137.107 s Remaining CPU time: 42.8928 s c =============================================================================== c | 0 | 4492 4792 1261796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23559 c Elapsed CPU time: 138.041 s Remaining CPU time: 41.959 s c =============================================================================== c | 0 | 4492 4793 1266146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23558 c Elapsed CPU time: 138.963 s Remaining CPU time: 41.0371 s c =============================================================================== c | 0 | 4492 4794 1270496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23556 c Elapsed CPU time: 139.891 s Remaining CPU time: 40.1093 s c =============================================================================== c | 0 | 4492 4795 1274846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23555 c Elapsed CPU time: 140.829 s Remaining CPU time: 39.1714 s c =============================================================================== c | 0 | 4492 4796 1279196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23553 c Elapsed CPU time: 141.751 s Remaining CPU time: 38.2485 s c =============================================================================== c | 0 | 4492 4797 1283546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23552 c Elapsed CPU time: 142.683 s Remaining CPU time: 37.3167 s c =============================================================================== c | 0 | 4492 4798 1287896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23549 c Elapsed CPU time: 143.603 s Remaining CPU time: 36.3968 s c =============================================================================== c | 0 | 4492 4799 1292246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23547 c Elapsed CPU time: 144.55 s Remaining CPU time: 35.45 s c =============================================================================== c | 0 | 4492 4800 1296596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23545 c Elapsed CPU time: 145.495 s Remaining CPU time: 34.5051 s c =============================================================================== c | 0 | 4492 4801 1300946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23543 c Elapsed CPU time: 146.45 s Remaining CPU time: 33.5503 s c =============================================================================== c | 0 | 4492 4802 1305296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23542 c Elapsed CPU time: 147.384 s Remaining CPU time: 32.6164 s c =============================================================================== c | 0 | 4492 4803 1309646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23541 c Elapsed CPU time: 148.325 s Remaining CPU time: 31.6745 s c =============================================================================== c | 0 | 4492 4804 1313996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23540 c Elapsed CPU time: 149.283 s Remaining CPU time: 30.7167 s c =============================================================================== c | 0 | 4492 4805 1318346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23539 c Elapsed CPU time: 150.239 s Remaining CPU time: 29.7608 s c =============================================================================== c | 0 | 4492 4806 1322696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23538 c Elapsed CPU time: 151.191 s Remaining CPU time: 28.809 s c =============================================================================== c | 0 | 4492 4807 1327046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23537 c Elapsed CPU time: 152.109 s Remaining CPU time: 27.8911 s c =============================================================================== c | 0 | 4492 4808 1331396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23536 c Elapsed CPU time: 153.047 s Remaining CPU time: 26.9533 s c =============================================================================== c | 0 | 4492 4809 1335746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23535 c Elapsed CPU time: 153.971 s Remaining CPU time: 26.0294 s c =============================================================================== c | 0 | 4492 4810 1340096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23534 c Elapsed CPU time: 154.916 s Remaining CPU time: 25.0836 s c =============================================================================== c | 0 | 4492 4811 1344446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23533 c Elapsed CPU time: 155.878 s Remaining CPU time: 24.1217 s c =============================================================================== c | 0 | 4492 4812 1348796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23532 c Elapsed CPU time: 156.82 s Remaining CPU time: 23.1798 s c =============================================================================== c | 0 | 4492 4813 1353146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23531 c Elapsed CPU time: 157.76 s Remaining CPU time: 22.24 s c =============================================================================== c | 0 | 4492 4814 1357496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23530 c Elapsed CPU time: 158.704 s Remaining CPU time: 21.2961 s c =============================================================================== c | 0 | 4492 4815 1361846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23529 c Elapsed CPU time: 159.667 s Remaining CPU time: 20.3333 s c =============================================================================== c | 0 | 4492 4816 1366196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23528 c Elapsed CPU time: 160.642 s Remaining CPU time: 19.3584 s c =============================================================================== c | 0 | 4492 4817 1370546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23527 c Elapsed CPU time: 161.625 s Remaining CPU time: 18.3746 s c =============================================================================== c | 0 | 4492 4818 1374896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23526 c Elapsed CPU time: 162.574 s Remaining CPU time: 17.4257 s c =============================================================================== c | 0 | 4492 4819 1379246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23525 c Elapsed CPU time: 163.534 s Remaining CPU time: 16.4659 s c =============================================================================== c | 0 | 4492 4820 1383596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23524 c Elapsed CPU time: 164.378 s Remaining CPU time: 15.622 s c =============================================================================== c | 0 | 4492 4821 1387946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23522 c Elapsed CPU time: 165.141 s Remaining CPU time: 14.8591 s c =============================================================================== c | 0 | 4492 4822 1392296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23520 c Elapsed CPU time: 165.935 s Remaining CPU time: 14.0652 s c =============================================================================== c | 0 | 4492 4823 1396646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23519 c Elapsed CPU time: 166.736 s Remaining CPU time: 13.2643 s c =============================================================================== c | 0 | 4492 4824 1400996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23516 c Elapsed CPU time: 167.515 s Remaining CPU time: 12.4855 s c =============================================================================== c | 0 | 4492 4825 1405346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23514 c Elapsed CPU time: 168.35 s Remaining CPU time: 11.6496 s c =============================================================================== c | 0 | 4492 4826 1409696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23512 c Elapsed CPU time: 169.152 s Remaining CPU time: 10.8477 s c =============================================================================== c | 0 | 4492 4827 1414046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23510 c Elapsed CPU time: 169.994 s Remaining CPU time: 10.0058 s c =============================================================================== c | 0 | 4492 4828 1418396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23508 c Elapsed CPU time: 170.801 s Remaining CPU time: 9.19897 s c =============================================================================== c | 0 | 4492 4829 1422746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23505 c Elapsed CPU time: 171.614 s Remaining CPU time: 8.38609 s c =============================================================================== c | 0 | 4492 4830 1427096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23504 c Elapsed CPU time: 172.482 s Remaining CPU time: 7.51822 s c =============================================================================== c | 0 | 4492 4831 1431446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23503 c Elapsed CPU time: 173.334 s Remaining CPU time: 6.66635 s c =============================================================================== c | 0 | 4492 4832 1435796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23501 c Elapsed CPU time: 174.18 s Remaining CPU time: 5.82048 s c =============================================================================== c | 0 | 4492 4833 1440146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23500 c Elapsed CPU time: 175.039 s Remaining CPU time: 4.96061 s c =============================================================================== c | 0 | 4492 4834 1444496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23499 c Elapsed CPU time: 175.902 s Remaining CPU time: 4.09774 s c =============================================================================== c | 0 | 4492 4835 1448846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23498 c Elapsed CPU time: 176.78 s Remaining CPU time: 3.21988 s c =============================================================================== c | 0 | 4492 4836 1453196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23497 c Elapsed CPU time: 177.701 s Remaining CPU time: 2.29901 s c =============================================================================== c | 0 | 4492 4837 1457546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23496 c Elapsed CPU time: 178.607 s Remaining CPU time: 1.39315 s c =============================================================================== c | 0 | 4492 4838 1461896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23495 c Elapsed CPU time: 179.459 s Remaining CPU time: 0.541282 s c =============================================================================== c | 0 | 4492 4839 1466246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23494 c Elapsed CPU time: 180.344 s Remaining CPU time: -0.343583 s c =============================================================================== c | 0 | 4492 4840 1470596 | 5000 0 nan | 0.000 % | c There are 8 assigned variables. 1 in cost function.