c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5000 | c | Number Clauses: 5000 | 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 | 4987 5002 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26694 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 4987 5003 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26692 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 4987 5004 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26691 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 4987 5005 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26687 c Elapsed CPU time: 0.38894 s Remaining CPU time: 179.611 s c =============================================================================== c | 0 | 4987 5006 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26686 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 4987 5007 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26682 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 0 | 4987 5008 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26680 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 0 | 4987 5009 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26675 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 4987 5010 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26671 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 0 | 4987 5011 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26670 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s c =============================================================================== c | 0 | 4987 5012 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26668 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 0 | 4987 5013 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26667 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 0 | 4987 5014 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26666 c Elapsed CPU time: 1.22081 s Remaining CPU time: 178.779 s c =============================================================================== c | 0 | 4987 5015 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26665 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s c =============================================================================== c | 0 | 4987 5016 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26664 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s c =============================================================================== c | 0 | 4987 5017 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26660 c Elapsed CPU time: 1.51777 s Remaining CPU time: 178.482 s c =============================================================================== c | 0 | 4987 5018 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26656 c Elapsed CPU time: 1.61975 s Remaining CPU time: 178.38 s c =============================================================================== c | 0 | 4987 5019 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26655 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 0 | 4987 5020 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26654 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 0 | 4987 5021 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26650 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s c =============================================================================== c | 0 | 4987 5022 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26648 c Elapsed CPU time: 2.04569 s Remaining CPU time: 177.954 s c =============================================================================== c | 0 | 4987 5023 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26647 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 4987 5024 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26642 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c | 0 | 4987 5025 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26641 c Elapsed CPU time: 2.37764 s Remaining CPU time: 177.622 s c =============================================================================== c | 0 | 4987 5026 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26640 c Elapsed CPU time: 2.49662 s Remaining CPU time: 177.503 s c =============================================================================== c | 0 | 4987 5027 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26639 c Elapsed CPU time: 2.6156 s Remaining CPU time: 177.384 s c =============================================================================== c | 0 | 4987 5028 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26635 c Elapsed CPU time: 2.73458 s Remaining CPU time: 177.265 s c =============================================================================== c | 0 | 4987 5029 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26629 c Elapsed CPU time: 2.85556 s Remaining CPU time: 177.144 s c =============================================================================== c | 0 | 4987 5030 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26628 c Elapsed CPU time: 2.97855 s Remaining CPU time: 177.021 s c =============================================================================== c | 0 | 4987 5031 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26627 c Elapsed CPU time: 3.10653 s Remaining CPU time: 176.893 s c =============================================================================== c | 0 | 4987 5032 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26626 c Elapsed CPU time: 3.23751 s Remaining CPU time: 176.762 s c =============================================================================== c | 0 | 4987 5033 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26625 c Elapsed CPU time: 3.37349 s Remaining CPU time: 176.627 s c =============================================================================== c | 0 | 4987 5034 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26622 c Elapsed CPU time: 3.50647 s Remaining CPU time: 176.494 s c =============================================================================== c | 0 | 4987 5035 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26618 c Elapsed CPU time: 3.64245 s Remaining CPU time: 176.358 s c =============================================================================== c | 0 | 4987 5036 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26613 c Elapsed CPU time: 3.77743 s Remaining CPU time: 176.223 s c =============================================================================== c | 0 | 4987 5037 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26608 c Elapsed CPU time: 3.9174 s Remaining CPU time: 176.083 s c =============================================================================== c | 0 | 4987 5038 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26605 c Elapsed CPU time: 4.05938 s Remaining CPU time: 175.941 s c =============================================================================== c | 0 | 4987 5039 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26601 c Elapsed CPU time: 4.20436 s Remaining CPU time: 175.796 s c =============================================================================== c | 0 | 4987 5040 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26600 c Elapsed CPU time: 4.35334 s Remaining CPU time: 175.647 s c =============================================================================== c | 0 | 4987 5041 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26599 c Elapsed CPU time: 4.50531 s Remaining CPU time: 175.495 s c =============================================================================== c | 0 | 4987 5042 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26594 c Elapsed CPU time: 4.65829 s Remaining CPU time: 175.342 s c =============================================================================== c | 0 | 4987 5043 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26592 c Elapsed CPU time: 4.81627 s Remaining CPU time: 175.184 s c =============================================================================== c | 0 | 4987 5044 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26589 c Elapsed CPU time: 4.97124 s Remaining CPU time: 175.029 s c =============================================================================== c | 0 | 4987 5045 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26586 c Elapsed CPU time: 5.12922 s Remaining CPU time: 174.871 s c =============================================================================== c | 0 | 4987 5046 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26583 c Elapsed CPU time: 5.29019 s Remaining CPU time: 174.71 s c =============================================================================== c | 0 | 4987 5047 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26582 c Elapsed CPU time: 5.45517 s Remaining CPU time: 174.545 s c =============================================================================== c | 0 | 4987 5048 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26581 c Elapsed CPU time: 5.62714 s Remaining CPU time: 174.373 s c =============================================================================== c | 0 | 4987 5049 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26579 c Elapsed CPU time: 5.79812 s Remaining CPU time: 174.202 s c =============================================================================== c | 0 | 4987 5050 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26577 c Elapsed CPU time: 5.96709 s Remaining CPU time: 174.033 s c =============================================================================== c | 0 | 4987 5051 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26576 c Elapsed CPU time: 6.14506 s Remaining CPU time: 173.855 s c =============================================================================== c | 0 | 4987 5052 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26574 c Elapsed CPU time: 6.32104 s Remaining CPU time: 173.679 s c =============================================================================== c | 0 | 4987 5053 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26570 c Elapsed CPU time: 6.50201 s Remaining CPU time: 173.498 s c =============================================================================== c | 0 | 4987 5054 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26569 c Elapsed CPU time: 6.68898 s Remaining CPU time: 173.311 s c =============================================================================== c | 0 | 4987 5055 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26568 c Elapsed CPU time: 6.86996 s Remaining CPU time: 173.13 s c =============================================================================== c | 0 | 4987 5056 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26567 c Elapsed CPU time: 7.05693 s Remaining CPU time: 172.943 s c =============================================================================== c | 0 | 4987 5057 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26565 c Elapsed CPU time: 7.2519 s Remaining CPU time: 172.748 s c =============================================================================== c | 0 | 4987 5058 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26564 c Elapsed CPU time: 7.45187 s Remaining CPU time: 172.548 s c =============================================================================== c | 0 | 4987 5059 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26563 c Elapsed CPU time: 7.65084 s Remaining CPU time: 172.349 s c =============================================================================== c | 0 | 4987 5060 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26562 c Elapsed CPU time: 7.84781 s Remaining CPU time: 172.152 s c =============================================================================== c | 0 | 4987 5061 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26561 c Elapsed CPU time: 8.04978 s Remaining CPU time: 171.95 s c =============================================================================== c | 0 | 4987 5062 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26560 c Elapsed CPU time: 8.25375 s Remaining CPU time: 171.746 s c =============================================================================== c | 0 | 4987 5063 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26559 c Elapsed CPU time: 8.46171 s Remaining CPU time: 171.538 s c =============================================================================== c | 0 | 4987 5064 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26558 c Elapsed CPU time: 8.67668 s Remaining CPU time: 171.323 s c =============================================================================== c | 0 | 4987 5065 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26557 c Elapsed CPU time: 8.89165 s Remaining CPU time: 171.108 s c =============================================================================== c | 0 | 4987 5066 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26556 c Elapsed CPU time: 9.10262 s Remaining CPU time: 170.897 s c =============================================================================== c | 0 | 4987 5067 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26552 c Elapsed CPU time: 9.31258 s Remaining CPU time: 170.687 s c =============================================================================== c | 0 | 4987 5068 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26551 c Elapsed CPU time: 9.53055 s Remaining CPU time: 170.469 s c =============================================================================== c | 0 | 4987 5069 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26550 c Elapsed CPU time: 9.75752 s Remaining CPU time: 170.242 s c =============================================================================== c | 0 | 4987 5070 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26549 c Elapsed CPU time: 9.98448 s Remaining CPU time: 170.016 s c =============================================================================== c | 0 | 4987 5071 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26548 c Elapsed CPU time: 10.2094 s Remaining CPU time: 169.791 s c =============================================================================== c | 0 | 4987 5072 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26546 c Elapsed CPU time: 10.4414 s Remaining CPU time: 169.559 s c =============================================================================== c | 0 | 4987 5073 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26545 c Elapsed CPU time: 10.6744 s Remaining CPU time: 169.326 s c =============================================================================== c | 0 | 4987 5074 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26542 c Elapsed CPU time: 10.9093 s Remaining CPU time: 169.091 s c =============================================================================== c | 0 | 4987 5075 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26538 c Elapsed CPU time: 11.1473 s Remaining CPU time: 168.853 s c =============================================================================== c | 0 | 4987 5076 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26537 c Elapsed CPU time: 11.3853 s Remaining CPU time: 168.615 s c =============================================================================== c | 0 | 4987 5077 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26536 c Elapsed CPU time: 11.6282 s Remaining CPU time: 168.372 s c =============================================================================== c | 0 | 4987 5078 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26535 c Elapsed CPU time: 11.8732 s Remaining CPU time: 168.127 s c =============================================================================== c | 0 | 4987 5079 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26533 c Elapsed CPU time: 12.1172 s Remaining CPU time: 167.883 s c =============================================================================== c | 0 | 4987 5080 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26532 c Elapsed CPU time: 12.3601 s Remaining CPU time: 167.64 s c =============================================================================== c | 0 | 4987 5081 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26531 c Elapsed CPU time: 12.6101 s Remaining CPU time: 167.39 s c =============================================================================== c | 0 | 4987 5082 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26528 c Elapsed CPU time: 12.857 s Remaining CPU time: 167.143 s c =============================================================================== c | 0 | 4987 5083 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26527 c Elapsed CPU time: 13.108 s Remaining CPU time: 166.892 s c =============================================================================== c | 0 | 4987 5084 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26526 c Elapsed CPU time: 13.379 s Remaining CPU time: 166.621 s c =============================================================================== c | 0 | 4987 5085 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26525 c Elapsed CPU time: 13.6379 s Remaining CPU time: 166.362 s c =============================================================================== c | 0 | 4987 5086 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26524 c Elapsed CPU time: 13.8999 s Remaining CPU time: 166.1 s c =============================================================================== c | 0 | 4987 5087 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26523 c Elapsed CPU time: 14.1678 s Remaining CPU time: 165.832 s c =============================================================================== c | 0 | 4987 5088 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26522 c Elapsed CPU time: 14.4458 s Remaining CPU time: 165.554 s c =============================================================================== c | 0 | 4987 5089 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26520 c Elapsed CPU time: 14.7128 s Remaining CPU time: 165.287 s c =============================================================================== c | 0 | 4987 5090 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26518 c Elapsed CPU time: 14.9777 s Remaining CPU time: 165.022 s c =============================================================================== c | 0 | 4987 5091 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26515 c Elapsed CPU time: 15.2557 s Remaining CPU time: 164.744 s c =============================================================================== c | 0 | 4987 5092 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26514 c Elapsed CPU time: 15.5406 s Remaining CPU time: 164.459 s c =============================================================================== c | 0 | 4987 5093 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26513 c Elapsed CPU time: 15.8316 s Remaining CPU time: 164.168 s c =============================================================================== c | 0 | 4987 5094 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26512 c Elapsed CPU time: 16.1215 s Remaining CPU time: 163.878 s c =============================================================================== c | 0 | 4987 5095 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26510 c Elapsed CPU time: 16.4155 s Remaining CPU time: 163.584 s c =============================================================================== c | 0 | 4987 5096 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26509 c Elapsed CPU time: 16.7105 s Remaining CPU time: 163.29 s c =============================================================================== c | 0 | 4987 5097 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26508 c Elapsed CPU time: 17.0024 s Remaining CPU time: 162.998 s c =============================================================================== c | 0 | 4987 5098 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26507 c Elapsed CPU time: 17.2984 s Remaining CPU time: 162.702 s c =============================================================================== c | 0 | 4987 5099 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26505 c Elapsed CPU time: 17.5993 s Remaining CPU time: 162.401 s c =============================================================================== c | 0 | 4987 5100 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26504 c Elapsed CPU time: 17.9003 s Remaining CPU time: 162.1 s c =============================================================================== c | 0 | 4987 5101 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26503 c Elapsed CPU time: 18.2132 s Remaining CPU time: 161.787 s c =============================================================================== c | 0 | 4987 5102 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26502 c Elapsed CPU time: 18.5352 s Remaining CPU time: 161.465 s c =============================================================================== c | 0 | 4987 5103 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26500 c Elapsed CPU time: 18.8611 s Remaining CPU time: 161.139 s c =============================================================================== c | 0 | 4987 5104 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26499 c Elapsed CPU time: 19.1881 s Remaining CPU time: 160.812 s c =============================================================================== c | 0 | 4987 5105 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26497 c Elapsed CPU time: 19.502 s Remaining CPU time: 160.498 s c =============================================================================== c | 0 | 4987 5106 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26496 c Elapsed CPU time: 19.833 s Remaining CPU time: 160.167 s c =============================================================================== c | 0 | 4987 5107 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26495 c Elapsed CPU time: 20.1589 s Remaining CPU time: 159.841 s c =============================================================================== c | 0 | 4987 5108 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26494 c Elapsed CPU time: 20.4979 s Remaining CPU time: 159.502 s c =============================================================================== c | 0 | 4987 5109 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26492 c Elapsed CPU time: 20.8298 s Remaining CPU time: 159.17 s c =============================================================================== c | 0 | 4987 5110 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26491 c Elapsed CPU time: 21.1678 s Remaining CPU time: 158.832 s c =============================================================================== c | 0 | 4987 5111 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26490 c Elapsed CPU time: 21.5137 s Remaining CPU time: 158.486 s c =============================================================================== c | 0 | 4987 5112 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26489 c Elapsed CPU time: 21.8597 s Remaining CPU time: 158.14 s c =============================================================================== c | 0 | 4987 5113 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26488 c Elapsed CPU time: 22.2036 s Remaining CPU time: 157.796 s c =============================================================================== c | 0 | 4987 5114 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26486 c Elapsed CPU time: 22.5446 s Remaining CPU time: 157.455 s c =============================================================================== c | 0 | 4987 5115 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26482 c Elapsed CPU time: 22.8925 s Remaining CPU time: 157.107 s c =============================================================================== c | 0 | 4987 5116 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26479 c Elapsed CPU time: 23.2495 s Remaining CPU time: 156.751 s c =============================================================================== c | 0 | 4987 5117 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26478 c Elapsed CPU time: 23.6004 s Remaining CPU time: 156.4 s c =============================================================================== c | 0 | 4987 5118 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26477 c Elapsed CPU time: 23.9584 s Remaining CPU time: 156.042 s c =============================================================================== c | 0 | 4987 5119 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26474 c Elapsed CPU time: 24.3183 s Remaining CPU time: 155.682 s c =============================================================================== c | 0 | 4987 5120 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26472 c Elapsed CPU time: 24.6882 s Remaining CPU time: 155.312 s c =============================================================================== c | 0 | 4987 5121 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26471 c Elapsed CPU time: 25.0532 s Remaining CPU time: 154.947 s c =============================================================================== c | 0 | 4987 5122 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26469 c Elapsed CPU time: 25.4111 s Remaining CPU time: 154.589 s c =============================================================================== c | 0 | 4987 5123 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26467 c Elapsed CPU time: 25.8021 s Remaining CPU time: 154.198 s c =============================================================================== c | 0 | 4987 5124 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26465 c Elapsed CPU time: 26.189 s Remaining CPU time: 153.811 s c =============================================================================== c | 0 | 4987 5125 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26464 c Elapsed CPU time: 26.587 s Remaining CPU time: 153.413 s c =============================================================================== c | 0 | 4987 5126 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26462 c Elapsed CPU time: 26.9779 s Remaining CPU time: 153.022 s c =============================================================================== c | 0 | 4987 5127 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26461 c Elapsed CPU time: 27.3688 s Remaining CPU time: 152.631 s c =============================================================================== c | 0 | 4987 5128 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26456 c Elapsed CPU time: 27.7588 s Remaining CPU time: 152.241 s c =============================================================================== c | 0 | 4987 5129 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26454 c Elapsed CPU time: 28.1737 s Remaining CPU time: 151.826 s c =============================================================================== c | 0 | 4987 5130 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26452 c Elapsed CPU time: 28.5697 s Remaining CPU time: 151.43 s c =============================================================================== c | 0 | 4987 5131 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26450 c Elapsed CPU time: 28.9676 s Remaining CPU time: 151.032 s c =============================================================================== c | 0 | 4987 5132 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26449 c Elapsed CPU time: 29.3805 s Remaining CPU time: 150.619 s c =============================================================================== c | 0 | 4987 5133 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26448 c Elapsed CPU time: 29.7845 s Remaining CPU time: 150.216 s c =============================================================================== c | 0 | 4987 5134 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26447 c Elapsed CPU time: 30.2014 s Remaining CPU time: 149.799 s c =============================================================================== c | 0 | 4987 5135 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26446 c Elapsed CPU time: 30.6163 s Remaining CPU time: 149.384 s c =============================================================================== c | 0 | 4987 5136 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26443 c Elapsed CPU time: 31.0143 s Remaining CPU time: 148.986 s c =============================================================================== c | 0 | 4987 5137 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26442 c Elapsed CPU time: 31.4322 s Remaining CPU time: 148.568 s c =============================================================================== c | 0 | 4987 5138 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26441 c Elapsed CPU time: 31.8512 s Remaining CPU time: 148.149 s c =============================================================================== c | 0 | 4987 5139 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26440 c Elapsed CPU time: 32.2711 s Remaining CPU time: 147.729 s c =============================================================================== c | 0 | 4987 5140 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26438 c Elapsed CPU time: 32.696 s Remaining CPU time: 147.304 s c =============================================================================== c | 0 | 4987 5141 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26437 c Elapsed CPU time: 33.106 s Remaining CPU time: 146.894 s c =============================================================================== c | 0 | 4987 5142 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26435 c Elapsed CPU time: 33.5199 s Remaining CPU time: 146.48 s c =============================================================================== c | 0 | 4987 5143 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26434 c Elapsed CPU time: 33.9498 s Remaining CPU time: 146.05 s c =============================================================================== c | 0 | 4987 5144 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26433 c Elapsed CPU time: 34.3878 s Remaining CPU time: 145.612 s c =============================================================================== c | 0 | 4987 5145 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26432 c Elapsed CPU time: 34.8257 s Remaining CPU time: 145.174 s c =============================================================================== c | 0 | 4987 5146 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26431 c Elapsed CPU time: 35.2676 s Remaining CPU time: 144.732 s c =============================================================================== c | 0 | 4987 5147 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26429 c Elapsed CPU time: 35.6996 s Remaining CPU time: 144.3 s c =============================================================================== c | 0 | 4987 5148 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26428 c Elapsed CPU time: 36.1495 s Remaining CPU time: 143.85 s c =============================================================================== c | 0 | 4987 5149 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26427 c Elapsed CPU time: 36.5934 s Remaining CPU time: 143.407 s c =============================================================================== c | 0 | 4987 5150 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26425 c Elapsed CPU time: 37.0344 s Remaining CPU time: 142.966 s c =============================================================================== c | 0 | 4987 5151 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26422 c Elapsed CPU time: 37.4773 s Remaining CPU time: 142.523 s c =============================================================================== c | 0 | 4987 5152 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26420 c Elapsed CPU time: 37.9142 s Remaining CPU time: 142.086 s c =============================================================================== c | 0 | 4987 5153 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26418 c Elapsed CPU time: 38.3542 s Remaining CPU time: 141.646 s c =============================================================================== c | 0 | 4987 5154 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26417 c Elapsed CPU time: 38.8091 s Remaining CPU time: 141.191 s c =============================================================================== c | 0 | 4987 5155 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26416 c Elapsed CPU time: 39.255 s Remaining CPU time: 140.745 s c =============================================================================== c | 0 | 4987 5156 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26414 c Elapsed CPU time: 39.699 s Remaining CPU time: 140.301 s c =============================================================================== c | 0 | 4987 5157 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26412 c Elapsed CPU time: 40.1549 s Remaining CPU time: 139.845 s c =============================================================================== c | 0 | 4987 5158 771450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26409 c Elapsed CPU time: 40.6078 s Remaining CPU time: 139.392 s c =============================================================================== c | 0 | 4987 5159 776300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26408 c Elapsed CPU time: 41.0708 s Remaining CPU time: 138.929 s c =============================================================================== c | 0 | 4987 5160 781150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26406 c Elapsed CPU time: 41.5277 s Remaining CPU time: 138.472 s c =============================================================================== c | 0 | 4987 5161 786000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26402 c Elapsed CPU time: 41.9876 s Remaining CPU time: 138.012 s c =============================================================================== c | 0 | 4987 5162 790850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26398 c Elapsed CPU time: 42.4475 s Remaining CPU time: 137.552 s c =============================================================================== c | 0 | 4987 5163 795700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26397 c Elapsed CPU time: 42.9285 s Remaining CPU time: 137.072 s c =============================================================================== c | 0 | 4987 5164 800550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26396 c Elapsed CPU time: 43.3994 s Remaining CPU time: 136.601 s c =============================================================================== c | 0 | 4987 5165 805400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26395 c Elapsed CPU time: 43.9033 s Remaining CPU time: 136.097 s c =============================================================================== c | 0 | 4987 5166 810250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26393 c Elapsed CPU time: 44.4192 s Remaining CPU time: 135.581 s c =============================================================================== c | 0 | 4987 5167 815100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26392 c Elapsed CPU time: 44.9272 s Remaining CPU time: 135.073 s c =============================================================================== c | 0 | 4987 5168 819950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26391 c Elapsed CPU time: 45.4221 s Remaining CPU time: 134.578 s c =============================================================================== c | 0 | 4987 5169 824800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26390 c Elapsed CPU time: 45.917 s Remaining CPU time: 134.083 s c =============================================================================== c | 0 | 4987 5170 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26388 c Elapsed CPU time: 46.4239 s Remaining CPU time: 133.576 s c =============================================================================== c | 0 | 4987 5171 834500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26385 c Elapsed CPU time: 46.9169 s Remaining CPU time: 133.083 s c =============================================================================== c | 0 | 4987 5172 839350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26384 c Elapsed CPU time: 47.4238 s Remaining CPU time: 132.576 s c =============================================================================== c | 0 | 4987 5173 844200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26382 c Elapsed CPU time: 47.9237 s Remaining CPU time: 132.076 s c =============================================================================== c | 0 | 4987 5174 849050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26381 c Elapsed CPU time: 48.4476 s Remaining CPU time: 131.552 s c =============================================================================== c | 0 | 4987 5175 853900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26380 c Elapsed CPU time: 48.9706 s Remaining CPU time: 131.029 s c =============================================================================== c | 0 | 4987 5176 858750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26379 c Elapsed CPU time: 49.4725 s Remaining CPU time: 130.528 s c =============================================================================== c | 0 | 4987 5177 863600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26377 c Elapsed CPU time: 49.9914 s Remaining CPU time: 130.009 s c =============================================================================== c | 0 | 4987 5178 868450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26374 c Elapsed CPU time: 50.5153 s Remaining CPU time: 129.485 s c =============================================================================== c | 0 | 4987 5179 873300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26372 c Elapsed CPU time: 51.0572 s Remaining CPU time: 128.943 s c =============================================================================== c | 0 | 4987 5180 878150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26371 c Elapsed CPU time: 51.6052 s Remaining CPU time: 128.395 s c =============================================================================== c | 0 | 4987 5181 883000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26370 c Elapsed CPU time: 52.1391 s Remaining CPU time: 127.861 s c =============================================================================== c | 0 | 4987 5182 887850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26369 c Elapsed CPU time: 52.706 s Remaining CPU time: 127.294 s c =============================================================================== c | 0 | 4987 5183 892700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26368 c Elapsed CPU time: 53.2679 s Remaining CPU time: 126.732 s c =============================================================================== c | 0 | 4987 5184 897550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26367 c Elapsed CPU time: 53.8188 s Remaining CPU time: 126.181 s c =============================================================================== c | 0 | 4987 5185 902400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26366 c Elapsed CPU time: 54.3977 s Remaining CPU time: 125.602 s c =============================================================================== c | 0 | 4987 5186 907250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26365 c Elapsed CPU time: 54.9856 s Remaining CPU time: 125.014 s c =============================================================================== c | 0 | 4987 5187 912100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26364 c Elapsed CPU time: 55.5666 s Remaining CPU time: 124.433 s c =============================================================================== c | 0 | 4987 5188 916950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26363 c Elapsed CPU time: 56.1625 s Remaining CPU time: 123.838 s c =============================================================================== c | 0 | 4987 5189 921800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26362 c Elapsed CPU time: 56.7724 s Remaining CPU time: 123.228 s c =============================================================================== c | 0 | 4987 5190 926650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26361 c Elapsed CPU time: 57.3803 s Remaining CPU time: 122.62 s c =============================================================================== c | 0 | 4987 5191 931500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26360 c Elapsed CPU time: 57.9602 s Remaining CPU time: 122.04 s c =============================================================================== c | 0 | 4987 5192 936350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26359 c Elapsed CPU time: 58.5501 s Remaining CPU time: 121.45 s c =============================================================================== c | 0 | 4987 5193 941200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26358 c Elapsed CPU time: 59.165 s Remaining CPU time: 120.835 s c =============================================================================== c | 0 | 4987 5194 946050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26357 c Elapsed CPU time: 59.7609 s Remaining CPU time: 120.239 s c =============================================================================== c | 0 | 4987 5195 950900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26356 c Elapsed CPU time: 60.3588 s Remaining CPU time: 119.641 s c =============================================================================== c | 0 | 4987 5196 955750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26355 c Elapsed CPU time: 60.9487 s Remaining CPU time: 119.051 s c =============================================================================== c | 0 | 4987 5197 960600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26354 c Elapsed CPU time: 61.5446 s Remaining CPU time: 118.455 s c =============================================================================== c | 0 | 4987 5198 965450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26353 c Elapsed CPU time: 62.1426 s Remaining CPU time: 117.857 s c =============================================================================== c | 0 | 4987 5199 970300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26352 c Elapsed CPU time: 62.7405 s Remaining CPU time: 117.26 s c =============================================================================== c | 0 | 4987 5200 975150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26351 c Elapsed CPU time: 63.3284 s Remaining CPU time: 116.672 s c =============================================================================== c | 0 | 4987 5201 980000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26349 c Elapsed CPU time: 63.9343 s Remaining CPU time: 116.066 s c =============================================================================== c | 0 | 4987 5202 984850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26348 c Elapsed CPU time: 64.5362 s Remaining CPU time: 115.464 s c =============================================================================== c | 0 | 4987 5203 989700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26347 c Elapsed CPU time: 65.1581 s Remaining CPU time: 114.842 s c =============================================================================== c | 0 | 4987 5204 994550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26346 c Elapsed CPU time: 65.796 s Remaining CPU time: 114.204 s c =============================================================================== c | 0 | 4987 5205 999400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26343 c Elapsed CPU time: 66.4119 s Remaining CPU time: 113.588 s c =============================================================================== c | 0 | 4987 5206 1004250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26342 c Elapsed CPU time: 67.0408 s Remaining CPU time: 112.959 s c =============================================================================== c | 0 | 4987 5207 1009100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26339 c Elapsed CPU time: 67.6657 s Remaining CPU time: 112.334 s c =============================================================================== c | 0 | 4987 5208 1013950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26338 c Elapsed CPU time: 68.3046 s Remaining CPU time: 111.695 s c =============================================================================== c | 0 | 4987 5209 1018800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26337 c Elapsed CPU time: 68.9465 s Remaining CPU time: 111.053 s c =============================================================================== c | 0 | 4987 5210 1023650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26334 c Elapsed CPU time: 69.5864 s Remaining CPU time: 110.414 s c =============================================================================== c | 0 | 4987 5211 1028500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26329 c Elapsed CPU time: 70.2103 s Remaining CPU time: 109.79 s c =============================================================================== c | 0 | 4987 5212 1033350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26327 c Elapsed CPU time: 70.8452 s Remaining CPU time: 109.155 s c =============================================================================== c | 0 | 4987 5213 1038200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26324 c Elapsed CPU time: 71.4771 s Remaining CPU time: 108.523 s c =============================================================================== c | 0 | 4987 5214 1043050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26323 c Elapsed CPU time: 72.118 s Remaining CPU time: 107.882 s c =============================================================================== c | 0 | 4987 5215 1047900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26322 c Elapsed CPU time: 72.7549 s Remaining CPU time: 107.245 s c =============================================================================== c | 0 | 4987 5216 1052750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26318 c Elapsed CPU time: 73.3798 s Remaining CPU time: 106.62 s c =============================================================================== c | 0 | 4987 5217 1057600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26317 c Elapsed CPU time: 74.0577 s Remaining CPU time: 105.942 s c =============================================================================== c | 0 | 4987 5218 1062450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26316 c Elapsed CPU time: 74.7156 s Remaining CPU time: 105.284 s c =============================================================================== c | 0 | 4987 5219 1067300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26315 c Elapsed CPU time: 75.3475 s Remaining CPU time: 104.652 s c =============================================================================== c | 0 | 4987 5220 1072150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26314 c Elapsed CPU time: 76.0034 s Remaining CPU time: 103.997 s c =============================================================================== c | 0 | 4987 5221 1077000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26313 c Elapsed CPU time: 76.6513 s Remaining CPU time: 103.349 s c =============================================================================== c | 0 | 4987 5222 1081850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26312 c Elapsed CPU time: 77.3012 s Remaining CPU time: 102.699 s c =============================================================================== c | 0 | 4987 5223 1086700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26311 c Elapsed CPU time: 77.9481 s Remaining CPU time: 102.052 s c =============================================================================== c | 0 | 4987 5224 1091550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26310 c Elapsed CPU time: 78.6041 s Remaining CPU time: 101.396 s c =============================================================================== c | 0 | 4987 5225 1096400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26309 c Elapsed CPU time: 79.254 s Remaining CPU time: 100.746 s c =============================================================================== c | 0 | 4987 5226 1101250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26308 c Elapsed CPU time: 79.8889 s Remaining CPU time: 100.111 s c =============================================================================== c | 0 | 4987 5227 1106100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26306 c Elapsed CPU time: 80.5678 s Remaining CPU time: 99.4322 s c =============================================================================== c | 0 | 4987 5228 1110950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26305 c Elapsed CPU time: 81.2646 s Remaining CPU time: 98.7354 s c =============================================================================== c | 0 | 4987 5229 1115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26304 c Elapsed CPU time: 81.9995 s Remaining CPU time: 98.0005 s c =============================================================================== c | 0 | 4987 5230 1120650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26303 c Elapsed CPU time: 82.7044 s Remaining CPU time: 97.2956 s c =============================================================================== c | 0 | 4987 5231 1125500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26301 c Elapsed CPU time: 83.4293 s Remaining CPU time: 96.5707 s c =============================================================================== c | 0 | 4987 5232 1130350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26300 c Elapsed CPU time: 84.1242 s Remaining CPU time: 95.8758 s c =============================================================================== c | 0 | 4987 5233 1135200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26299 c Elapsed CPU time: 84.8331 s Remaining CPU time: 95.1669 s c =============================================================================== c | 0 | 4987 5234 1140050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26298 c Elapsed CPU time: 85.54 s Remaining CPU time: 94.46 s c =============================================================================== c | 0 | 4987 5235 1144900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26296 c Elapsed CPU time: 86.2399 s Remaining CPU time: 93.7601 s c =============================================================================== c | 0 | 4987 5236 1149750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26295 c Elapsed CPU time: 86.9478 s Remaining CPU time: 93.0522 s c =============================================================================== c | 0 | 4987 5237 1154600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26294 c Elapsed CPU time: 87.6717 s Remaining CPU time: 92.3283 s c =============================================================================== c | 0 | 4987 5238 1159450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26293 c Elapsed CPU time: 88.3816 s Remaining CPU time: 91.6184 s c =============================================================================== c | 0 | 4987 5239 1164300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26291 c Elapsed CPU time: 89.0885 s Remaining CPU time: 90.9115 s c =============================================================================== c | 0 | 4987 5240 1169150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26290 c Elapsed CPU time: 89.7863 s Remaining CPU time: 90.2137 s c =============================================================================== c | 0 | 4987 5241 1174000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26289 c Elapsed CPU time: 90.5322 s Remaining CPU time: 89.4678 s c =============================================================================== c | 0 | 4987 5242 1178850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26286 c Elapsed CPU time: 91.2511 s Remaining CPU time: 88.7489 s c =============================================================================== c | 0 | 4987 5243 1183700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26285 c Elapsed CPU time: 92.037 s Remaining CPU time: 87.963 s c =============================================================================== c | 0 | 4987 5244 1188550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26284 c Elapsed CPU time: 92.7899 s Remaining CPU time: 87.2101 s c =============================================================================== c | 0 | 4987 5245 1193400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26283 c Elapsed CPU time: 93.5128 s Remaining CPU time: 86.4872 s c =============================================================================== c | 0 | 4987 5246 1198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26280 c Elapsed CPU time: 94.2297 s Remaining CPU time: 85.7703 s c =============================================================================== c | 0 | 4987 5247 1203100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26279 c Elapsed CPU time: 94.9446 s Remaining CPU time: 85.0554 s c =============================================================================== c | 0 | 4987 5248 1207950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26278 c Elapsed CPU time: 95.6505 s Remaining CPU time: 84.3495 s c =============================================================================== c | 0 | 4987 5249 1212800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26275 c Elapsed CPU time: 96.3584 s Remaining CPU time: 83.6416 s c =============================================================================== c | 0 | 4987 5250 1217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26274 c Elapsed CPU time: 97.0742 s Remaining CPU time: 82.9258 s c =============================================================================== c | 0 | 4987 5251 1222500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26271 c Elapsed CPU time: 97.7871 s Remaining CPU time: 82.2129 s c =============================================================================== c | 0 | 4987 5252 1227350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26268 c Elapsed CPU time: 98.499 s Remaining CPU time: 81.501 s c =============================================================================== c | 0 | 4987 5253 1232200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26267 c Elapsed CPU time: 99.2189 s Remaining CPU time: 80.7811 s c =============================================================================== c | 0 | 4987 5254 1237050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26265 c Elapsed CPU time: 99.9688 s Remaining CPU time: 80.0312 s c =============================================================================== c | 0 | 4987 5255 1241900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26264 c Elapsed CPU time: 100.731 s Remaining CPU time: 79.2693 s c =============================================================================== c | 0 | 4987 5256 1246750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26263 c Elapsed CPU time: 101.462 s Remaining CPU time: 78.5384 s c =============================================================================== c | 0 | 4987 5257 1251600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26262 c Elapsed CPU time: 102.187 s Remaining CPU time: 77.8125 s c =============================================================================== c | 0 | 4987 5258 1256450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26260 c Elapsed CPU time: 102.911 s Remaining CPU time: 77.0886 s c =============================================================================== c | 0 | 4987 5259 1261300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26259 c Elapsed CPU time: 103.64 s Remaining CPU time: 76.3598 s c =============================================================================== c | 0 | 4987 5260 1266150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26258 c Elapsed CPU time: 104.382 s Remaining CPU time: 75.6179 s c =============================================================================== c | 0 | 4987 5261 1271000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26257 c Elapsed CPU time: 105.131 s Remaining CPU time: 74.869 s c =============================================================================== c | 0 | 4987 5262 1275850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26255 c Elapsed CPU time: 105.873 s Remaining CPU time: 74.1271 s c =============================================================================== c | 0 | 4987 5263 1280700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26254 c Elapsed CPU time: 106.616 s Remaining CPU time: 73.3842 s c =============================================================================== c | 0 | 4987 5264 1285550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26253 c Elapsed CPU time: 107.368 s Remaining CPU time: 72.6323 s c =============================================================================== c | 0 | 4987 5265 1290400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26251 c Elapsed CPU time: 108.084 s Remaining CPU time: 71.9164 s c =============================================================================== c | 0 | 4987 5266 1295250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26250 c Elapsed CPU time: 108.866 s Remaining CPU time: 71.1336 s c =============================================================================== c | 0 | 4987 5267 1300100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26249 c Elapsed CPU time: 109.623 s Remaining CPU time: 70.3767 s c =============================================================================== c | 0 | 4987 5268 1304950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26248 c Elapsed CPU time: 110.363 s Remaining CPU time: 69.6368 s c =============================================================================== c | 0 | 4987 5269 1309800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26245 c Elapsed CPU time: 111.093 s Remaining CPU time: 68.9069 s c =============================================================================== c | 0 | 4987 5270 1314650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26244 c Elapsed CPU time: 111.849 s Remaining CPU time: 68.151 s c =============================================================================== c | 0 | 4987 5271 1319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26243 c Elapsed CPU time: 112.601 s Remaining CPU time: 67.3991 s c =============================================================================== c | 0 | 4987 5272 1324350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26242 c Elapsed CPU time: 113.379 s Remaining CPU time: 66.6212 s c =============================================================================== c | 0 | 4987 5273 1329200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26241 c Elapsed CPU time: 114.162 s Remaining CPU time: 65.8384 s c =============================================================================== c | 0 | 4987 5274 1334050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26240 c Elapsed CPU time: 114.923 s Remaining CPU time: 65.0775 s c =============================================================================== c | 0 | 4987 5275 1338900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26239 c Elapsed CPU time: 115.687 s Remaining CPU time: 64.3126 s c =============================================================================== c | 0 | 4987 5276 1343750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26238 c Elapsed CPU time: 116.468 s Remaining CPU time: 63.5317 s c =============================================================================== c | 0 | 4987 5277 1348600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26237 c Elapsed CPU time: 117.255 s Remaining CPU time: 62.7448 s c =============================================================================== c | 0 | 4987 5278 1353450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26236 c Elapsed CPU time: 118.016 s Remaining CPU time: 61.9839 s c =============================================================================== c | 0 | 4987 5279 1358300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26234 c Elapsed CPU time: 118.787 s Remaining CPU time: 61.2131 s c =============================================================================== c | 0 | 4987 5280 1363150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26233 c Elapsed CPU time: 119.569 s Remaining CPU time: 60.4312 s c =============================================================================== c | 0 | 4987 5281 1368000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26232 c Elapsed CPU time: 120.337 s Remaining CPU time: 59.6633 s c =============================================================================== c | 0 | 4987 5282 1372850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26231 c Elapsed CPU time: 121.122 s Remaining CPU time: 58.8784 s c =============================================================================== c | 0 | 4987 5283 1377700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26230 c Elapsed CPU time: 121.903 s Remaining CPU time: 58.0965 s c =============================================================================== c | 0 | 4987 5284 1382550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26229 c Elapsed CPU time: 122.72 s Remaining CPU time: 57.2797 s c =============================================================================== c | 0 | 4987 5285 1387400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26228 c Elapsed CPU time: 123.501 s Remaining CPU time: 56.4988 s c =============================================================================== c | 0 | 4987 5286 1392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26226 c Elapsed CPU time: 124.295 s Remaining CPU time: 55.7049 s c =============================================================================== c | 0 | 4987 5287 1397100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26225 c Elapsed CPU time: 125.084 s Remaining CPU time: 54.916 s c =============================================================================== c | 0 | 4987 5288 1401950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26224 c Elapsed CPU time: 125.87 s Remaining CPU time: 54.1301 s c =============================================================================== c | 0 | 4987 5289 1406800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26223 c Elapsed CPU time: 126.69 s Remaining CPU time: 53.3103 s c =============================================================================== c | 0 | 4987 5290 1411650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26222 c Elapsed CPU time: 127.529 s Remaining CPU time: 52.4714 s c =============================================================================== c | 0 | 4987 5291 1416500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26221 c Elapsed CPU time: 128.332 s Remaining CPU time: 51.6675 s c =============================================================================== c | 0 | 4987 5292 1421350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26220 c Elapsed CPU time: 129.146 s Remaining CPU time: 50.8536 s c =============================================================================== c | 0 | 4987 5293 1426200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26219 c Elapsed CPU time: 129.967 s Remaining CPU time: 50.0328 s c =============================================================================== c | 0 | 4987 5294 1431050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26218 c Elapsed CPU time: 130.775 s Remaining CPU time: 49.2249 s c =============================================================================== c | 0 | 4987 5295 1435900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26217 c Elapsed CPU time: 131.598 s Remaining CPU time: 48.402 s c =============================================================================== c | 0 | 4987 5296 1440750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26216 c Elapsed CPU time: 132.481 s Remaining CPU time: 47.5191 s c =============================================================================== c | 0 | 4987 5297 1445600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26214 c Elapsed CPU time: 133.356 s Remaining CPU time: 46.6443 s c =============================================================================== c | 0 | 4987 5298 1450450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26213 c Elapsed CPU time: 134.268 s Remaining CPU time: 45.7324 s c =============================================================================== c | 0 | 4987 5299 1455300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26212 c Elapsed CPU time: 135.167 s Remaining CPU time: 44.8325 s c =============================================================================== c | 0 | 4987 5300 1460150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26211 c Elapsed CPU time: 136.058 s Remaining CPU time: 43.9417 s c =============================================================================== c | 0 | 4987 5301 1465000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26209 c Elapsed CPU time: 136.961 s Remaining CPU time: 43.0388 s c =============================================================================== c | 0 | 4987 5302 1469850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26206 c Elapsed CPU time: 137.855 s Remaining CPU time: 42.145 s c =============================================================================== c | 0 | 4987 5303 1474700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26205 c Elapsed CPU time: 138.778 s Remaining CPU time: 41.2221 s c =============================================================================== c | 0 | 4987 5304 1479550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26204 c Elapsed CPU time: 139.662 s Remaining CPU time: 40.3382 s c =============================================================================== c | 1 | 4987 5305 1484400 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26203 c Elapsed CPU time: 140.587 s Remaining CPU time: 39.4134 s c =============================================================================== c | 1 | 4987 5306 1489250 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26202 c Elapsed CPU time: 141.457 s Remaining CPU time: 38.5425 s c =============================================================================== c | 1 | 4987 5307 1494100 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26200 c Elapsed CPU time: 142.372 s Remaining CPU time: 37.6276 s c =============================================================================== c | 1 | 4987 5308 1498950 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26199 c Elapsed CPU time: 143.278 s Remaining CPU time: 36.7218 s c =============================================================================== c | 1 | 4987 5309 1503800 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26198 c Elapsed CPU time: 144.183 s Remaining CPU time: 35.8169 s c =============================================================================== c | 1 | 4987 5310 1508650 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26197 c Elapsed CPU time: 145.165 s Remaining CPU time: 34.8351 s c =============================================================================== c | 1 | 4987 5311 1513500 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26196 c Elapsed CPU time: 146.075 s Remaining CPU time: 33.9252 s c =============================================================================== c | 1 | 4987 5312 1518350 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26195 c Elapsed CPU time: 147.045 s Remaining CPU time: 32.9554 s c =============================================================================== c | 1 | 4987 5313 1523200 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26194 c Elapsed CPU time: 148.012 s Remaining CPU time: 31.9875 s c =============================================================================== c | 1 | 4987 5314 1528050 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26193 c Elapsed CPU time: 148.943 s Remaining CPU time: 31.0566 s c =============================================================================== c | 1 | 4987 5315 1532900 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26192 c Elapsed CPU time: 149.883 s Remaining CPU time: 30.1168 s c =============================================================================== c | 1 | 4987 5316 1537750 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26191 c Elapsed CPU time: 150.802 s Remaining CPU time: 29.1979 s c =============================================================================== c | 1 | 4987 5317 1542600 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26189 c Elapsed CPU time: 151.726 s Remaining CPU time: 28.2741 s c =============================================================================== c | 1 | 4987 5318 1547450 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26188 c Elapsed CPU time: 152.641 s Remaining CPU time: 27.3592 s c =============================================================================== c | 1 | 4987 5319 1552300 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26187 c Elapsed CPU time: 153.567 s Remaining CPU time: 26.4333 s c =============================================================================== c | 1 | 4987 5320 1557150 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26186 c Elapsed CPU time: 154.504 s Remaining CPU time: 25.4965 s c =============================================================================== c | 1 | 4987 5321 1562000 | 5000 1 4777 | 0.000 % | c =============================================================================== c New solution: 26185 c Elapsed CPU time: 155.538 s Remaining CPU time: 24.4616 s c =============================================================================== c | 2 | 4987 5322 1566850 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26184 c Elapsed CPU time: 156.65 s Remaining CPU time: 23.3498 s c =============================================================================== c | 2 | 4987 5323 1571700 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26183 c Elapsed CPU time: 157.729 s Remaining CPU time: 22.271 s c =============================================================================== c | 2 | 4987 5324 1576550 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26182 c Elapsed CPU time: 158.847 s Remaining CPU time: 21.1531 s c =============================================================================== c | 2 | 4987 5325 1581400 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26181 c Elapsed CPU time: 159.964 s Remaining CPU time: 20.0363 s c =============================================================================== c | 2 | 4987 5326 1586250 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26180 c Elapsed CPU time: 161.079 s Remaining CPU time: 18.9215 s c =============================================================================== c | 2 | 4987 5327 1591100 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26179 c Elapsed CPU time: 162.271 s Remaining CPU time: 17.7287 s c =============================================================================== c | 2 | 4987 5328 1595950 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26178 c Elapsed CPU time: 163.282 s Remaining CPU time: 16.7178 s c =============================================================================== c | 2 | 4987 5329 1600800 | 5000 2 4772 | 0.000 % | c =============================================================================== c New solution: 26177 c Elapsed CPU time: 164.218 s Remaining CPU time: 15.782 s c =============================================================================== c | 3 | 4987 5330 1605650 | 5000 3 4770 | 0.000 % | c =============================================================================== c New solution: 26176 c Elapsed CPU time: 165.127 s Remaining CPU time: 14.8731 s c =============================================================================== c | 3 | 4987 5331 1610500 | 5000 3 4770 | 0.000 % | c =============================================================================== c New solution: 26175 c Elapsed CPU time: 166.079 s Remaining CPU time: 13.9212 s c =============================================================================== c | 3 | 4987 5332 1615350 | 5000 3 4770 | 0.000 % | c =============================================================================== c New solution: 26174 c Elapsed CPU time: 166.997 s Remaining CPU time: 13.0034 s c =============================================================================== c | 3 | 4987 5333 1620200 | 5000 3 4770 | 0.000 % | c =============================================================================== c New solution: 26173 c Elapsed CPU time: 167.959 s Remaining CPU time: 12.0405 s c =============================================================================== c | 3 | 4987 5334 1625050 | 5000 3 4770 | 0.000 % | c =============================================================================== c New solution: 26172 c Elapsed CPU time: 168.963 s Remaining CPU time: 11.0367 s c =============================================================================== c | 4 | 4987 5335 1629900 | 5000 4 4768 | 0.000 % | c =============================================================================== c New solution: 26171 c Elapsed CPU time: 169.904 s Remaining CPU time: 10.0958 s c =============================================================================== c | 4 | 4987 5336 1634750 | 5000 4 4768 | 0.000 % | c =============================================================================== c New solution: 26170 c Elapsed CPU time: 170.864 s Remaining CPU time: 9.13598 s c =============================================================================== c | 5 | 4987 5337 1639600 | 5000 5 4767 | 0.000 % | c =============================================================================== c New solution: 26169 c Elapsed CPU time: 171.888 s Remaining CPU time: 8.11213 s c =============================================================================== c | 5 | 4987 5338 1644450 | 5000 5 4767 | 0.000 % | c =============================================================================== c New solution: 26168 c Elapsed CPU time: 172.827 s Remaining CPU time: 7.17327 s c =============================================================================== c | 5 | 4987 5339 1649300 | 5000 5 4767 | 0.000 % | c =============================================================================== c New solution: 26167 c Elapsed CPU time: 173.804 s Remaining CPU time: 6.19642 s c =============================================================================== c | 5 | 4987 5340 1654150 | 5000 5 4767 | 0.000 % | c =============================================================================== c New solution: 26166 c Elapsed CPU time: 174.805 s Remaining CPU time: 5.19457 s c =============================================================================== c | 5 | 4987 5341 1659000 | 5000 5 4767 | 0.000 % | c =============================================================================== c New solution: 26165 c Elapsed CPU time: 175.817 s Remaining CPU time: 4.18273 s c =============================================================================== c | 5 | 4987 5342 1663850 | 5000 5 4767 | 0.000 % | c =============================================================================== c New solution: 26164 c Elapsed CPU time: 176.847 s Remaining CPU time: 3.15288 s c =============================================================================== c | 6 | 4987 5343 1668700 | 5000 6 4766 | 0.000 % | c =============================================================================== c New solution: 26163 c Elapsed CPU time: 177.914 s Remaining CPU time: 2.08605 s c =============================================================================== c | 6 | 4987 5344 1673550 | 5000 6 4766 | 0.000 % | c =============================================================================== c New solution: 26162 c Elapsed CPU time: 178.988 s Remaining CPU time: 1.01221 s c =============================================================================== c | 6 | 4987 5345 1678400 | 5000 6 4766 | 0.000 % | c =============================================================================== c New solution: 26161 c Elapsed CPU time: 180.064 s Remaining CPU time: -0.063626 s c =============================================================================== c | 6 | 4987 5346 1683250 | 5000 6 4766 | 0.000 % | c There are 13 assigned variables. 3 in cost function.