c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 5000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 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 | 5000 5000 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26708 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 5000 5001 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26704 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 5000 5002 24550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26701 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 5000 5003 29400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26698 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 5000 5004 34250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26696 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 0 | 5000 5005 39100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26695 c Elapsed CPU time: 0.537918 s Remaining CPU time: 179.462 s c =============================================================================== c | 0 | 5000 5006 43950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26694 c Elapsed CPU time: 0.627904 s Remaining CPU time: 179.372 s c =============================================================================== c | 0 | 5000 5007 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26691 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 0 | 5000 5008 53650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26690 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 0 | 5000 5009 58500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26689 c Elapsed CPU time: 0.912861 s Remaining CPU time: 179.087 s c =============================================================================== c | 0 | 5000 5010 63350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26688 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 0 | 5000 5011 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26687 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 0 | 5000 5012 73050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26686 c Elapsed CPU time: 1.21582 s Remaining CPU time: 178.784 s c =============================================================================== c | 0 | 5000 5013 77900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26683 c Elapsed CPU time: 1.3218 s Remaining CPU time: 178.678 s c =============================================================================== c | 0 | 5000 5014 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26682 c Elapsed CPU time: 1.42478 s Remaining CPU time: 178.575 s c =============================================================================== c | 0 | 5000 5015 87600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26679 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s c =============================================================================== c | 0 | 5000 5016 92450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26678 c Elapsed CPU time: 1.64175 s Remaining CPU time: 178.358 s c =============================================================================== c | 0 | 5000 5017 97300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26677 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 0 | 5000 5018 102150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26674 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 0 | 5000 5019 107000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26673 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 0 | 5000 5020 111850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26672 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 0 | 5000 5021 116700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26670 c Elapsed CPU time: 2.22266 s Remaining CPU time: 177.777 s c =============================================================================== c | 0 | 5000 5022 121550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26669 c Elapsed CPU time: 2.34264 s Remaining CPU time: 177.657 s c =============================================================================== c | 0 | 5000 5023 126400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26667 c Elapsed CPU time: 2.46962 s Remaining CPU time: 177.53 s c =============================================================================== c | 0 | 5000 5024 131250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26664 c Elapsed CPU time: 2.5956 s Remaining CPU time: 177.404 s c =============================================================================== c | 0 | 5000 5025 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26663 c Elapsed CPU time: 2.72758 s Remaining CPU time: 177.272 s c =============================================================================== c | 0 | 5000 5026 140950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26662 c Elapsed CPU time: 2.85656 s Remaining CPU time: 177.143 s c =============================================================================== c | 0 | 5000 5027 145800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26661 c Elapsed CPU time: 2.99454 s Remaining CPU time: 177.005 s c =============================================================================== c | 0 | 5000 5028 150650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26660 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 0 | 5000 5029 155500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26659 c Elapsed CPU time: 3.2785 s Remaining CPU time: 176.721 s c =============================================================================== c | 0 | 5000 5030 160350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26658 c Elapsed CPU time: 3.42648 s Remaining CPU time: 176.574 s c =============================================================================== c | 0 | 5000 5031 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26657 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 0 | 5000 5032 170050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26656 c Elapsed CPU time: 3.73443 s Remaining CPU time: 176.266 s c =============================================================================== c | 0 | 5000 5033 174900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26654 c Elapsed CPU time: 3.89341 s Remaining CPU time: 176.107 s c =============================================================================== c | 0 | 5000 5034 179750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26653 c Elapsed CPU time: 4.05738 s Remaining CPU time: 175.943 s c =============================================================================== c | 0 | 5000 5035 184600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26652 c Elapsed CPU time: 4.22436 s Remaining CPU time: 175.776 s c =============================================================================== c | 0 | 5000 5036 189450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26651 c Elapsed CPU time: 4.39233 s Remaining CPU time: 175.608 s c =============================================================================== c | 0 | 5000 5037 194300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26648 c Elapsed CPU time: 4.55931 s Remaining CPU time: 175.441 s c =============================================================================== c | 0 | 5000 5038 199150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26645 c Elapsed CPU time: 4.73428 s Remaining CPU time: 175.266 s c =============================================================================== c | 0 | 5000 5039 204000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26644 c Elapsed CPU time: 4.91025 s Remaining CPU time: 175.09 s c =============================================================================== c | 0 | 5000 5040 208850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26643 c Elapsed CPU time: 5.08523 s Remaining CPU time: 174.915 s c =============================================================================== c | 0 | 5000 5041 213700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26642 c Elapsed CPU time: 5.2662 s Remaining CPU time: 174.734 s c =============================================================================== c | 0 | 5000 5042 218550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26640 c Elapsed CPU time: 5.44817 s Remaining CPU time: 174.552 s c =============================================================================== c | 0 | 5000 5043 223400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26636 c Elapsed CPU time: 5.63014 s Remaining CPU time: 174.37 s c =============================================================================== c | 0 | 5000 5044 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26634 c Elapsed CPU time: 5.81212 s Remaining CPU time: 174.188 s c =============================================================================== c | 0 | 5000 5045 233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26633 c Elapsed CPU time: 6.00209 s Remaining CPU time: 173.998 s c =============================================================================== c | 0 | 5000 5046 237950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26632 c Elapsed CPU time: 6.19506 s Remaining CPU time: 173.805 s c =============================================================================== c | 0 | 5000 5047 242800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26631 c Elapsed CPU time: 6.39303 s Remaining CPU time: 173.607 s c =============================================================================== c | 0 | 5000 5048 247650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26628 c Elapsed CPU time: 6.586 s Remaining CPU time: 173.414 s c =============================================================================== c | 0 | 5000 5049 252500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26627 c Elapsed CPU time: 6.79197 s Remaining CPU time: 173.208 s c =============================================================================== c | 0 | 5000 5050 257350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26626 c Elapsed CPU time: 7.00094 s Remaining CPU time: 172.999 s c =============================================================================== c | 0 | 5000 5051 262200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26624 c Elapsed CPU time: 7.2129 s Remaining CPU time: 172.787 s c =============================================================================== c | 0 | 5000 5052 267050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26623 c Elapsed CPU time: 7.42787 s Remaining CPU time: 172.572 s c =============================================================================== c | 0 | 5000 5053 271900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26620 c Elapsed CPU time: 7.64184 s Remaining CPU time: 172.358 s c =============================================================================== c | 0 | 5000 5054 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26618 c Elapsed CPU time: 7.8598 s Remaining CPU time: 172.14 s c =============================================================================== c | 0 | 5000 5055 281600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26616 c Elapsed CPU time: 8.07577 s Remaining CPU time: 171.924 s c =============================================================================== c | 0 | 5000 5056 286450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26613 c Elapsed CPU time: 8.29474 s Remaining CPU time: 171.705 s c =============================================================================== c | 0 | 5000 5057 291300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26610 c Elapsed CPU time: 8.5207 s Remaining CPU time: 171.479 s c =============================================================================== c | 0 | 5000 5058 296150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26607 c Elapsed CPU time: 8.74467 s Remaining CPU time: 171.255 s c =============================================================================== c | 0 | 5000 5059 301000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26604 c Elapsed CPU time: 8.97264 s Remaining CPU time: 171.027 s c =============================================================================== c | 0 | 5000 5060 305850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26603 c Elapsed CPU time: 9.2036 s Remaining CPU time: 170.796 s c =============================================================================== c | 0 | 5000 5061 310700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26602 c Elapsed CPU time: 9.43656 s Remaining CPU time: 170.563 s c =============================================================================== c | 0 | 5000 5062 315550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26601 c Elapsed CPU time: 9.67553 s Remaining CPU time: 170.324 s c =============================================================================== c | 0 | 5000 5063 320400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26600 c Elapsed CPU time: 9.92549 s Remaining CPU time: 170.075 s c =============================================================================== c | 0 | 5000 5064 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26597 c Elapsed CPU time: 10.1705 s Remaining CPU time: 169.83 s c =============================================================================== c | 0 | 5000 5065 330100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26596 c Elapsed CPU time: 10.4214 s Remaining CPU time: 169.579 s c =============================================================================== c | 0 | 5000 5066 334950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26595 c Elapsed CPU time: 10.6764 s Remaining CPU time: 169.324 s c =============================================================================== c | 0 | 5000 5067 339800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26594 c Elapsed CPU time: 10.9353 s Remaining CPU time: 169.065 s c =============================================================================== c | 0 | 5000 5068 344650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26591 c Elapsed CPU time: 11.2093 s Remaining CPU time: 168.791 s c =============================================================================== c | 0 | 5000 5069 349500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26590 c Elapsed CPU time: 11.4823 s Remaining CPU time: 168.518 s c =============================================================================== c | 0 | 5000 5070 354350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26589 c Elapsed CPU time: 11.7572 s Remaining CPU time: 168.243 s c =============================================================================== c | 0 | 5000 5071 359200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26586 c Elapsed CPU time: 12.0372 s Remaining CPU time: 167.963 s c =============================================================================== c | 0 | 5000 5072 364050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26584 c Elapsed CPU time: 12.3261 s Remaining CPU time: 167.674 s c =============================================================================== c | 0 | 5000 5073 368900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26581 c Elapsed CPU time: 12.6151 s Remaining CPU time: 167.385 s c =============================================================================== c | 0 | 5000 5074 373750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26580 c Elapsed CPU time: 12.91 s Remaining CPU time: 167.09 s c =============================================================================== c | 0 | 5000 5075 378600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26577 c Elapsed CPU time: 13.206 s Remaining CPU time: 166.794 s c =============================================================================== c | 0 | 5000 5076 383450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26573 c Elapsed CPU time: 13.5089 s Remaining CPU time: 166.491 s c =============================================================================== c | 0 | 5000 5077 388300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26572 c Elapsed CPU time: 13.8239 s Remaining CPU time: 166.176 s c =============================================================================== c | 0 | 5000 5078 393150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26571 c Elapsed CPU time: 14.1409 s Remaining CPU time: 165.859 s c =============================================================================== c | 0 | 5000 5079 398000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26570 c Elapsed CPU time: 14.4678 s Remaining CPU time: 165.532 s c =============================================================================== c | 0 | 5000 5080 402850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26569 c Elapsed CPU time: 14.7997 s Remaining CPU time: 165.2 s c =============================================================================== c | 0 | 5000 5081 407700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26568 c Elapsed CPU time: 15.1327 s Remaining CPU time: 164.867 s c =============================================================================== c | 0 | 5000 5082 412550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26567 c Elapsed CPU time: 15.4676 s Remaining CPU time: 164.532 s c =============================================================================== c | 0 | 5000 5083 417400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26565 c Elapsed CPU time: 15.7996 s Remaining CPU time: 164.2 s c =============================================================================== c | 0 | 5000 5084 422250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26564 c Elapsed CPU time: 16.1405 s Remaining CPU time: 163.859 s c =============================================================================== c | 0 | 5000 5085 427100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26562 c Elapsed CPU time: 16.4835 s Remaining CPU time: 163.517 s c =============================================================================== c | 0 | 5000 5086 431950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26560 c Elapsed CPU time: 16.8304 s Remaining CPU time: 163.17 s c =============================================================================== c | 0 | 5000 5087 436800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26559 c Elapsed CPU time: 17.1784 s Remaining CPU time: 162.822 s c =============================================================================== c | 0 | 5000 5088 441650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26556 c Elapsed CPU time: 17.5233 s Remaining CPU time: 162.477 s c =============================================================================== c | 0 | 5000 5089 446500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26552 c Elapsed CPU time: 17.8733 s Remaining CPU time: 162.127 s c =============================================================================== c | 0 | 5000 5090 451350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26550 c Elapsed CPU time: 18.2252 s Remaining CPU time: 161.775 s c =============================================================================== c | 0 | 5000 5091 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26547 c Elapsed CPU time: 18.5902 s Remaining CPU time: 161.41 s c =============================================================================== c | 0 | 5000 5092 461050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26546 c Elapsed CPU time: 18.9541 s Remaining CPU time: 161.046 s c =============================================================================== c | 0 | 5000 5093 465900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26545 c Elapsed CPU time: 19.3301 s Remaining CPU time: 160.67 s c =============================================================================== c | 0 | 5000 5094 470750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26543 c Elapsed CPU time: 19.71 s Remaining CPU time: 160.29 s c =============================================================================== c | 0 | 5000 5095 475600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26542 c Elapsed CPU time: 20.0909 s Remaining CPU time: 159.909 s c =============================================================================== c | 0 | 5000 5096 480450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26541 c Elapsed CPU time: 20.4789 s Remaining CPU time: 159.521 s c =============================================================================== c | 0 | 5000 5097 485300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26540 c Elapsed CPU time: 20.8648 s Remaining CPU time: 159.135 s c =============================================================================== c | 0 | 5000 5098 490150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26539 c Elapsed CPU time: 21.2458 s Remaining CPU time: 158.754 s c =============================================================================== c | 0 | 5000 5099 495000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26537 c Elapsed CPU time: 21.6387 s Remaining CPU time: 158.361 s c =============================================================================== c | 0 | 5000 5100 499850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26536 c Elapsed CPU time: 22.0396 s Remaining CPU time: 157.96 s c =============================================================================== c | 0 | 5000 5101 504700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26535 c Elapsed CPU time: 22.4496 s Remaining CPU time: 157.55 s c =============================================================================== c | 0 | 5000 5102 509550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26534 c Elapsed CPU time: 22.8605 s Remaining CPU time: 157.139 s c =============================================================================== c | 0 | 5000 5103 514400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26531 c Elapsed CPU time: 23.2705 s Remaining CPU time: 156.73 s c =============================================================================== c | 0 | 5000 5104 519250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26530 c Elapsed CPU time: 23.6844 s Remaining CPU time: 156.316 s c =============================================================================== c | 0 | 5000 5105 524100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26529 c Elapsed CPU time: 24.1203 s Remaining CPU time: 155.88 s c =============================================================================== c | 0 | 5000 5106 528950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26528 c Elapsed CPU time: 24.5513 s Remaining CPU time: 155.449 s c =============================================================================== c | 0 | 5000 5107 533800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26526 c Elapsed CPU time: 24.9952 s Remaining CPU time: 155.005 s c =============================================================================== c | 0 | 5000 5108 538650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26525 c Elapsed CPU time: 25.4451 s Remaining CPU time: 154.555 s c =============================================================================== c | 0 | 5000 5109 543500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26523 c Elapsed CPU time: 25.8831 s Remaining CPU time: 154.117 s c =============================================================================== c | 0 | 5000 5110 548350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26522 c Elapsed CPU time: 26.333 s Remaining CPU time: 153.667 s c =============================================================================== c | 0 | 5000 5111 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26521 c Elapsed CPU time: 26.7909 s Remaining CPU time: 153.209 s c =============================================================================== c | 0 | 5000 5112 558050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26518 c Elapsed CPU time: 27.2429 s Remaining CPU time: 152.757 s c =============================================================================== c | 0 | 5000 5113 562900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26517 c Elapsed CPU time: 27.7048 s Remaining CPU time: 152.295 s c =============================================================================== c | 0 | 5000 5114 567750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26515 c Elapsed CPU time: 28.1577 s Remaining CPU time: 151.842 s c =============================================================================== c | 0 | 5000 5115 572600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26514 c Elapsed CPU time: 28.6087 s Remaining CPU time: 151.391 s c =============================================================================== c | 0 | 5000 5116 577450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26513 c Elapsed CPU time: 29.0676 s Remaining CPU time: 150.932 s c =============================================================================== c | 0 | 5000 5117 582300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26510 c Elapsed CPU time: 29.5325 s Remaining CPU time: 150.467 s c =============================================================================== c | 0 | 5000 5118 587150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26509 c Elapsed CPU time: 29.9924 s Remaining CPU time: 150.008 s c =============================================================================== c | 0 | 5000 5119 592000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26506 c Elapsed CPU time: 30.4514 s Remaining CPU time: 149.549 s c =============================================================================== c | 0 | 5000 5120 596850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26505 c Elapsed CPU time: 30.9113 s Remaining CPU time: 149.089 s c =============================================================================== c | 0 | 5000 5121 601700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26504 c Elapsed CPU time: 31.3742 s Remaining CPU time: 148.626 s c =============================================================================== c | 0 | 5000 5122 606550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26502 c Elapsed CPU time: 31.8392 s Remaining CPU time: 148.161 s c =============================================================================== c | 0 | 5000 5123 611400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26501 c Elapsed CPU time: 32.3191 s Remaining CPU time: 147.681 s c =============================================================================== c | 0 | 5000 5124 616250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26499 c Elapsed CPU time: 32.797 s Remaining CPU time: 147.203 s c =============================================================================== c | 0 | 5000 5125 621100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26498 c Elapsed CPU time: 33.3009 s Remaining CPU time: 146.699 s c =============================================================================== c | 0 | 5000 5126 625950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26495 c Elapsed CPU time: 33.7989 s Remaining CPU time: 146.201 s c =============================================================================== c | 0 | 5000 5127 630800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26494 c Elapsed CPU time: 34.3208 s Remaining CPU time: 145.679 s c =============================================================================== c | 0 | 5000 5128 635650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26493 c Elapsed CPU time: 34.8547 s Remaining CPU time: 145.145 s c =============================================================================== c | 0 | 5000 5129 640500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26492 c Elapsed CPU time: 35.3816 s Remaining CPU time: 144.618 s c =============================================================================== c | 0 | 5000 5130 645350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26491 c Elapsed CPU time: 35.9065 s Remaining CPU time: 144.093 s c =============================================================================== c | 0 | 5000 5131 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26490 c Elapsed CPU time: 36.4175 s Remaining CPU time: 143.583 s c =============================================================================== c | 0 | 5000 5132 655050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26488 c Elapsed CPU time: 36.9274 s Remaining CPU time: 143.073 s c =============================================================================== c | 0 | 5000 5133 659900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26487 c Elapsed CPU time: 37.4523 s Remaining CPU time: 142.548 s c =============================================================================== c | 0 | 5000 5134 664750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26486 c Elapsed CPU time: 37.9742 s Remaining CPU time: 142.026 s c =============================================================================== c | 0 | 5000 5135 669600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26485 c Elapsed CPU time: 38.5141 s Remaining CPU time: 141.486 s c =============================================================================== c | 0 | 5000 5136 674450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26484 c Elapsed CPU time: 39.0411 s Remaining CPU time: 140.959 s c =============================================================================== c | 0 | 5000 5137 679300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26481 c Elapsed CPU time: 39.565 s Remaining CPU time: 140.435 s c =============================================================================== c | 0 | 5000 5138 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26478 c Elapsed CPU time: 40.0939 s Remaining CPU time: 139.906 s c =============================================================================== c | 0 | 5000 5139 689000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26476 c Elapsed CPU time: 40.6328 s Remaining CPU time: 139.367 s c =============================================================================== c | 0 | 5000 5140 693850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26475 c Elapsed CPU time: 41.1707 s Remaining CPU time: 138.829 s c =============================================================================== c | 0 | 5000 5141 698700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26474 c Elapsed CPU time: 41.7117 s Remaining CPU time: 138.288 s c =============================================================================== c | 0 | 5000 5142 703550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26472 c Elapsed CPU time: 42.2546 s Remaining CPU time: 137.745 s c =============================================================================== c | 0 | 5000 5143 708400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26471 c Elapsed CPU time: 42.8035 s Remaining CPU time: 137.197 s c =============================================================================== c | 0 | 5000 5144 713250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26470 c Elapsed CPU time: 43.3594 s Remaining CPU time: 136.641 s c =============================================================================== c | 0 | 5000 5145 718100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26469 c Elapsed CPU time: 43.9143 s Remaining CPU time: 136.086 s c =============================================================================== c | 0 | 5000 5146 722950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26468 c Elapsed CPU time: 44.4872 s Remaining CPU time: 135.513 s c =============================================================================== c | 0 | 5000 5147 727800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26467 c Elapsed CPU time: 45.0482 s Remaining CPU time: 134.952 s c =============================================================================== c | 0 | 5000 5148 732650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26464 c Elapsed CPU time: 45.6161 s Remaining CPU time: 134.384 s c =============================================================================== c | 0 | 5000 5149 737500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26461 c Elapsed CPU time: 46.173 s Remaining CPU time: 133.827 s c =============================================================================== c | 0 | 5000 5150 742350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26460 c Elapsed CPU time: 46.7399 s Remaining CPU time: 133.26 s c =============================================================================== c | 0 | 5000 5151 747200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26458 c Elapsed CPU time: 47.3218 s Remaining CPU time: 132.678 s c =============================================================================== c | 0 | 5000 5152 752050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26456 c Elapsed CPU time: 47.9027 s Remaining CPU time: 132.097 s c =============================================================================== c | 0 | 5000 5153 756900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26452 c Elapsed CPU time: 48.4866 s Remaining CPU time: 131.513 s c =============================================================================== c | 0 | 5000 5154 761750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26451 c Elapsed CPU time: 49.0735 s Remaining CPU time: 130.926 s c =============================================================================== c | 0 | 5000 5155 766600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26450 c Elapsed CPU time: 49.6674 s Remaining CPU time: 130.333 s c =============================================================================== c | 0 | 5000 5156 771450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26448 c Elapsed CPU time: 50.2604 s Remaining CPU time: 129.74 s c =============================================================================== c | 0 | 5000 5157 776300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26445 c Elapsed CPU time: 50.8493 s Remaining CPU time: 129.151 s c =============================================================================== c | 0 | 5000 5158 781150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26444 c Elapsed CPU time: 51.4342 s Remaining CPU time: 128.566 s c =============================================================================== c | 0 | 5000 5159 786000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26443 c Elapsed CPU time: 52.0321 s Remaining CPU time: 127.968 s c =============================================================================== c | 0 | 5000 5160 790850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26442 c Elapsed CPU time: 52.619 s Remaining CPU time: 127.381 s c =============================================================================== c | 0 | 5000 5161 795700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26441 c Elapsed CPU time: 53.2409 s Remaining CPU time: 126.759 s c =============================================================================== c | 0 | 5000 5162 800550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26440 c Elapsed CPU time: 53.8498 s Remaining CPU time: 126.15 s c =============================================================================== c | 0 | 5000 5163 805400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26439 c Elapsed CPU time: 54.4607 s Remaining CPU time: 125.539 s c =============================================================================== c | 0 | 5000 5164 810250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26438 c Elapsed CPU time: 55.0866 s Remaining CPU time: 124.913 s c =============================================================================== c | 0 | 5000 5165 815100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26437 c Elapsed CPU time: 55.7075 s Remaining CPU time: 124.292 s c =============================================================================== c | 0 | 5000 5166 819950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26436 c Elapsed CPU time: 56.3314 s Remaining CPU time: 123.669 s c =============================================================================== c | 0 | 5000 5167 824800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26435 c Elapsed CPU time: 56.9673 s Remaining CPU time: 123.033 s c =============================================================================== c | 0 | 5000 5168 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26434 c Elapsed CPU time: 57.5892 s Remaining CPU time: 122.411 s c =============================================================================== c | 0 | 5000 5169 834500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26433 c Elapsed CPU time: 58.2221 s Remaining CPU time: 121.778 s c =============================================================================== c | 0 | 5000 5170 839350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26430 c Elapsed CPU time: 58.8561 s Remaining CPU time: 121.144 s c =============================================================================== c | 0 | 5000 5171 844200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26427 c Elapsed CPU time: 59.502 s Remaining CPU time: 120.498 s c =============================================================================== c | 0 | 5000 5172 849050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26426 c Elapsed CPU time: 60.1499 s Remaining CPU time: 119.85 s c =============================================================================== c | 0 | 5000 5173 853900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26425 c Elapsed CPU time: 60.8238 s Remaining CPU time: 119.176 s c =============================================================================== c | 0 | 5000 5174 858750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26424 c Elapsed CPU time: 61.4657 s Remaining CPU time: 118.534 s c =============================================================================== c | 0 | 5000 5175 863600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26423 c Elapsed CPU time: 62.1336 s Remaining CPU time: 117.866 s c =============================================================================== c | 0 | 5000 5176 868450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26422 c Elapsed CPU time: 62.8115 s Remaining CPU time: 117.189 s c =============================================================================== c | 0 | 5000 5177 873300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26421 c Elapsed CPU time: 63.4903 s Remaining CPU time: 116.51 s c =============================================================================== c | 0 | 5000 5178 878150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26420 c Elapsed CPU time: 64.1602 s Remaining CPU time: 115.84 s c =============================================================================== c | 0 | 5000 5179 883000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26418 c Elapsed CPU time: 64.8171 s Remaining CPU time: 115.183 s c =============================================================================== c | 0 | 5000 5180 887850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26417 c Elapsed CPU time: 65.496 s Remaining CPU time: 114.504 s c =============================================================================== c | 0 | 5000 5181 892700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26416 c Elapsed CPU time: 66.1819 s Remaining CPU time: 113.818 s c =============================================================================== c | 0 | 5000 5182 897550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26415 c Elapsed CPU time: 66.8568 s Remaining CPU time: 113.143 s c =============================================================================== c | 0 | 5000 5183 902400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26413 c Elapsed CPU time: 67.5327 s Remaining CPU time: 112.467 s c =============================================================================== c | 0 | 5000 5184 907250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26412 c Elapsed CPU time: 68.2216 s Remaining CPU time: 111.778 s c =============================================================================== c | 0 | 5000 5185 912100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26410 c Elapsed CPU time: 68.8935 s Remaining CPU time: 111.106 s c =============================================================================== c | 0 | 5000 5186 916950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26408 c Elapsed CPU time: 69.5854 s Remaining CPU time: 110.415 s c =============================================================================== c | 0 | 5000 5187 921800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26406 c Elapsed CPU time: 70.2823 s Remaining CPU time: 109.718 s c =============================================================================== c | 0 | 5000 5188 926650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26405 c Elapsed CPU time: 70.9882 s Remaining CPU time: 109.012 s c =============================================================================== c | 0 | 5000 5189 931500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26404 c Elapsed CPU time: 71.6961 s Remaining CPU time: 108.304 s c =============================================================================== c | 0 | 5000 5190 936350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26403 c Elapsed CPU time: 72.401 s Remaining CPU time: 107.599 s c =============================================================================== c | 0 | 5000 5191 941200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26401 c Elapsed CPU time: 73.1449 s Remaining CPU time: 106.855 s c =============================================================================== c | 0 | 5000 5192 946050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26399 c Elapsed CPU time: 73.8998 s Remaining CPU time: 106.1 s c =============================================================================== c | 0 | 5000 5193 950900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26398 c Elapsed CPU time: 74.6347 s Remaining CPU time: 105.365 s c =============================================================================== c | 0 | 5000 5194 955750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26397 c Elapsed CPU time: 75.3725 s Remaining CPU time: 104.627 s c =============================================================================== c | 0 | 5000 5195 960600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26396 c Elapsed CPU time: 76.1274 s Remaining CPU time: 103.873 s c =============================================================================== c | 0 | 5000 5196 965450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26395 c Elapsed CPU time: 76.8863 s Remaining CPU time: 103.114 s c =============================================================================== c | 0 | 5000 5197 970300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26393 c Elapsed CPU time: 77.6312 s Remaining CPU time: 102.369 s c =============================================================================== c | 0 | 5000 5198 975150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26391 c Elapsed CPU time: 78.3961 s Remaining CPU time: 101.604 s c =============================================================================== c | 0 | 5000 5199 980000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26390 c Elapsed CPU time: 79.174 s Remaining CPU time: 100.826 s c =============================================================================== c | 0 | 5000 5200 984850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26387 c Elapsed CPU time: 79.9518 s Remaining CPU time: 100.048 s c =============================================================================== c | 0 | 5000 5201 989700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26386 c Elapsed CPU time: 80.7197 s Remaining CPU time: 99.2803 s c =============================================================================== c | 0 | 5000 5202 994550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26383 c Elapsed CPU time: 81.4876 s Remaining CPU time: 98.5124 s c =============================================================================== c | 0 | 5000 5203 999400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26381 c Elapsed CPU time: 82.2515 s Remaining CPU time: 97.7485 s c =============================================================================== c | 0 | 5000 5204 1004250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26380 c Elapsed CPU time: 83.0264 s Remaining CPU time: 96.9736 s c =============================================================================== c | 0 | 5000 5205 1009100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26377 c Elapsed CPU time: 83.7963 s Remaining CPU time: 96.2037 s c =============================================================================== c | 0 | 5000 5206 1013950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26376 c Elapsed CPU time: 84.5611 s Remaining CPU time: 95.4389 s c =============================================================================== c | 0 | 5000 5207 1018800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26375 c Elapsed CPU time: 85.388 s Remaining CPU time: 94.612 s c =============================================================================== c | 0 | 5000 5208 1023650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26374 c Elapsed CPU time: 86.2169 s Remaining CPU time: 93.7831 s c =============================================================================== c | 0 | 5000 5209 1028500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26373 c Elapsed CPU time: 87.0028 s Remaining CPU time: 92.9972 s c =============================================================================== c | 0 | 5000 5210 1033350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26372 c Elapsed CPU time: 87.8286 s Remaining CPU time: 92.1714 s c =============================================================================== c | 0 | 5000 5211 1038200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26370 c Elapsed CPU time: 88.6255 s Remaining CPU time: 91.3745 s c =============================================================================== c | 0 | 5000 5212 1043050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26368 c Elapsed CPU time: 89.4214 s Remaining CPU time: 90.5786 s c =============================================================================== c | 0 | 5000 5213 1047900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26367 c Elapsed CPU time: 90.2193 s Remaining CPU time: 89.7807 s c =============================================================================== c | 0 | 5000 5214 1052750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26366 c Elapsed CPU time: 91.0142 s Remaining CPU time: 88.9858 s c =============================================================================== c | 0 | 5000 5215 1057600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26365 c Elapsed CPU time: 91.81 s Remaining CPU time: 88.19 s c =============================================================================== c | 0 | 5000 5216 1062450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26363 c Elapsed CPU time: 92.5999 s Remaining CPU time: 87.4001 s c =============================================================================== c | 0 | 5000 5217 1067300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26358 c Elapsed CPU time: 93.3838 s Remaining CPU time: 86.6162 s c =============================================================================== c | 0 | 5000 5218 1072150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26356 c Elapsed CPU time: 94.1957 s Remaining CPU time: 85.8043 s c =============================================================================== c | 0 | 5000 5219 1077000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26352 c Elapsed CPU time: 94.9876 s Remaining CPU time: 85.0124 s c =============================================================================== c | 0 | 5000 5220 1081850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26349 c Elapsed CPU time: 95.7864 s Remaining CPU time: 84.2136 s c =============================================================================== c | 0 | 5000 5221 1086700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26348 c Elapsed CPU time: 96.6193 s Remaining CPU time: 83.3807 s c =============================================================================== c | 0 | 5000 5222 1091550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26347 c Elapsed CPU time: 97.4752 s Remaining CPU time: 82.5248 s c =============================================================================== c | 0 | 5000 5223 1096400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26346 c Elapsed CPU time: 98.3301 s Remaining CPU time: 81.6699 s c =============================================================================== c | 0 | 5000 5224 1101250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26345 c Elapsed CPU time: 99.1809 s Remaining CPU time: 80.8191 s c =============================================================================== c | 0 | 5000 5225 1106100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26343 c Elapsed CPU time: 100.106 s Remaining CPU time: 79.8942 s c =============================================================================== c | 0 | 5000 5226 1110950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26341 c Elapsed CPU time: 101.022 s Remaining CPU time: 78.9784 s c =============================================================================== c | 0 | 5000 5227 1115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26340 c Elapsed CPU time: 101.952 s Remaining CPU time: 78.0485 s c =============================================================================== c | 0 | 5000 5228 1120650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26338 c Elapsed CPU time: 102.885 s Remaining CPU time: 77.1146 s c =============================================================================== c | 0 | 5000 5229 1125500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26336 c Elapsed CPU time: 103.824 s Remaining CPU time: 76.1758 s c =============================================================================== c | 0 | 5000 5230 1130350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26335 c Elapsed CPU time: 104.735 s Remaining CPU time: 75.2649 s c =============================================================================== c | 0 | 5000 5231 1135200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26334 c Elapsed CPU time: 105.658 s Remaining CPU time: 74.3421 s c =============================================================================== c | 0 | 5000 5232 1140050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26332 c Elapsed CPU time: 106.546 s Remaining CPU time: 73.4542 s c =============================================================================== c | 0 | 5000 5233 1144900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26331 c Elapsed CPU time: 107.464 s Remaining CPU time: 72.5363 s c =============================================================================== c | 0 | 5000 5234 1149750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26330 c Elapsed CPU time: 108.369 s Remaining CPU time: 71.6315 s c =============================================================================== c | 0 | 5000 5235 1154600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26329 c Elapsed CPU time: 109.271 s Remaining CPU time: 70.7286 s c =============================================================================== c | 0 | 5000 5236 1159450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26328 c Elapsed CPU time: 110.243 s Remaining CPU time: 69.7568 s c =============================================================================== c | 0 | 5000 5237 1164300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26327 c Elapsed CPU time: 111.181 s Remaining CPU time: 68.8189 s c =============================================================================== c | 0 | 5000 5238 1169150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26324 c Elapsed CPU time: 112.11 s Remaining CPU time: 67.89 s c =============================================================================== c | 0 | 5000 5239 1174000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26323 c Elapsed CPU time: 113.059 s Remaining CPU time: 66.9412 s c =============================================================================== c | 0 | 5000 5240 1178850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26321 c Elapsed CPU time: 113.99 s Remaining CPU time: 66.0103 s c =============================================================================== c | 0 | 5000 5241 1183700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26318 c Elapsed CPU time: 114.922 s Remaining CPU time: 65.0785 s c =============================================================================== c | 0 | 5000 5242 1188550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26317 c Elapsed CPU time: 115.846 s Remaining CPU time: 64.1536 s c =============================================================================== c | 0 | 5000 5243 1193400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26316 c Elapsed CPU time: 116.764 s Remaining CPU time: 63.2358 s c =============================================================================== c | 0 | 5000 5244 1198250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26315 c Elapsed CPU time: 117.691 s Remaining CPU time: 62.3089 s c =============================================================================== c | 0 | 5000 5245 1203100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26313 c Elapsed CPU time: 118.615 s Remaining CPU time: 61.385 s c =============================================================================== c | 0 | 5000 5246 1207950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26311 c Elapsed CPU time: 119.57 s Remaining CPU time: 60.4302 s c =============================================================================== c | 0 | 5000 5247 1212800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26310 c Elapsed CPU time: 120.524 s Remaining CPU time: 59.4763 s c =============================================================================== c | 0 | 5000 5248 1217650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26309 c Elapsed CPU time: 121.544 s Remaining CPU time: 58.4565 s c =============================================================================== c | 0 | 5000 5249 1222500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26306 c Elapsed CPU time: 122.554 s Remaining CPU time: 57.4456 s c =============================================================================== c | 0 | 5000 5250 1227350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26305 c Elapsed CPU time: 123.568 s Remaining CPU time: 56.4318 s c =============================================================================== c | 0 | 5000 5251 1232200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26304 c Elapsed CPU time: 124.575 s Remaining CPU time: 55.4249 s c =============================================================================== c | 0 | 5000 5252 1237050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26303 c Elapsed CPU time: 125.571 s Remaining CPU time: 54.4291 s c =============================================================================== c | 0 | 5000 5253 1241900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26302 c Elapsed CPU time: 126.588 s Remaining CPU time: 53.4122 s c =============================================================================== c | 0 | 5000 5254 1246750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26301 c Elapsed CPU time: 127.582 s Remaining CPU time: 52.4184 s c =============================================================================== c | 0 | 5000 5255 1251600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26300 c Elapsed CPU time: 128.607 s Remaining CPU time: 51.3926 s c =============================================================================== c | 0 | 5000 5256 1256450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26299 c Elapsed CPU time: 129.599 s Remaining CPU time: 50.4007 s c =============================================================================== c | 0 | 5000 5257 1261300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26298 c Elapsed CPU time: 130.592 s Remaining CPU time: 49.4079 s c =============================================================================== c | 0 | 5000 5258 1266150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26297 c Elapsed CPU time: 131.602 s Remaining CPU time: 48.398 s c =============================================================================== c | 0 | 5000 5259 1271000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26295 c Elapsed CPU time: 132.638 s Remaining CPU time: 47.3622 s c =============================================================================== c | 0 | 5000 5260 1275850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26294 c Elapsed CPU time: 133.681 s Remaining CPU time: 46.3193 s c =============================================================================== c | 0 | 5000 5261 1280700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26292 c Elapsed CPU time: 134.749 s Remaining CPU time: 45.2515 s c =============================================================================== c | 0 | 5000 5262 1285550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26291 c Elapsed CPU time: 135.79 s Remaining CPU time: 44.2096 s c =============================================================================== c | 0 | 5000 5263 1290400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26290 c Elapsed CPU time: 136.839 s Remaining CPU time: 43.1608 s c =============================================================================== c | 0 | 5000 5264 1295250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26289 c Elapsed CPU time: 137.917 s Remaining CPU time: 42.083 s c =============================================================================== c | 0 | 5000 5265 1300100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26288 c Elapsed CPU time: 138.937 s Remaining CPU time: 41.0631 s c =============================================================================== c | 0 | 5000 5266 1304950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26287 c Elapsed CPU time: 139.997 s Remaining CPU time: 40.0033 s c =============================================================================== c | 0 | 5000 5267 1309800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26286 c Elapsed CPU time: 141.062 s Remaining CPU time: 38.9384 s c =============================================================================== c | 0 | 5000 5268 1314650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26285 c Elapsed CPU time: 142.134 s Remaining CPU time: 37.8656 s c =============================================================================== c | 0 | 5000 5269 1319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26283 c Elapsed CPU time: 143.172 s Remaining CPU time: 36.8278 s c =============================================================================== c | 0 | 5000 5270 1324350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26280 c Elapsed CPU time: 144.242 s Remaining CPU time: 35.7579 s c =============================================================================== c | 0 | 5000 5271 1329200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26279 c Elapsed CPU time: 145.302 s Remaining CPU time: 34.6981 s c =============================================================================== c | 0 | 5000 5272 1334050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26278 c Elapsed CPU time: 146.36 s Remaining CPU time: 33.6403 s c =============================================================================== c | 0 | 5000 5273 1338900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26277 c Elapsed CPU time: 147.405 s Remaining CPU time: 32.5954 s c =============================================================================== c | 0 | 5000 5274 1343750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26276 c Elapsed CPU time: 148.442 s Remaining CPU time: 31.5576 s c =============================================================================== c | 0 | 5000 5275 1348600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26274 c Elapsed CPU time: 149.513 s Remaining CPU time: 30.4867 s c =============================================================================== c | 0 | 5000 5276 1353450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26272 c Elapsed CPU time: 150.569 s Remaining CPU time: 29.4309 s c =============================================================================== c | 0 | 5000 5277 1358300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26271 c Elapsed CPU time: 151.642 s Remaining CPU time: 28.3581 s c =============================================================================== c | 0 | 5000 5278 1363150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26270 c Elapsed CPU time: 152.683 s Remaining CPU time: 27.3172 s c =============================================================================== c | 0 | 5000 5279 1368000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26268 c Elapsed CPU time: 153.736 s Remaining CPU time: 26.2644 s c =============================================================================== c | 0 | 5000 5280 1372850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26265 c Elapsed CPU time: 154.805 s Remaining CPU time: 25.1945 s c =============================================================================== c | 0 | 5000 5281 1377700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26263 c Elapsed CPU time: 155.87 s Remaining CPU time: 24.1297 s c =============================================================================== c | 0 | 5000 5282 1382550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26261 c Elapsed CPU time: 156.929 s Remaining CPU time: 23.0709 s c =============================================================================== c | 0 | 5000 5283 1387400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26260 c Elapsed CPU time: 157.998 s Remaining CPU time: 22.002 s c =============================================================================== c | 0 | 5000 5284 1392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26259 c Elapsed CPU time: 159.044 s Remaining CPU time: 20.9562 s c =============================================================================== c | 0 | 5000 5285 1397100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26257 c Elapsed CPU time: 160.105 s Remaining CPU time: 19.8953 s c =============================================================================== c | 0 | 5000 5286 1401950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26256 c Elapsed CPU time: 161.162 s Remaining CPU time: 18.8375 s c =============================================================================== c | 0 | 5000 5287 1406800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26255 c Elapsed CPU time: 162.229 s Remaining CPU time: 17.7707 s c =============================================================================== c | 0 | 5000 5288 1411650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26254 c Elapsed CPU time: 163.279 s Remaining CPU time: 16.7208 s c =============================================================================== c | 0 | 5000 5289 1416500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26253 c Elapsed CPU time: 164.322 s Remaining CPU time: 15.678 s c =============================================================================== c | 0 | 5000 5290 1421350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26252 c Elapsed CPU time: 165.393 s Remaining CPU time: 14.6071 s c =============================================================================== c | 0 | 5000 5291 1426200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26250 c Elapsed CPU time: 166.488 s Remaining CPU time: 13.5123 s c =============================================================================== c | 0 | 5000 5292 1431050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26249 c Elapsed CPU time: 167.572 s Remaining CPU time: 12.4285 s c =============================================================================== c | 0 | 5000 5293 1435900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26248 c Elapsed CPU time: 168.646 s Remaining CPU time: 11.3536 s c =============================================================================== c | 0 | 5000 5294 1440750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26247 c Elapsed CPU time: 169.707 s Remaining CPU time: 10.2928 s c =============================================================================== c | 0 | 5000 5295 1445600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26245 c Elapsed CPU time: 170.758 s Remaining CPU time: 9.24196 s c =============================================================================== c | 0 | 5000 5296 1450450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26244 c Elapsed CPU time: 171.807 s Remaining CPU time: 8.19312 s c =============================================================================== c | 0 | 5000 5297 1455300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26242 c Elapsed CPU time: 172.889 s Remaining CPU time: 7.11128 s c =============================================================================== c | 0 | 5000 5298 1460150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26241 c Elapsed CPU time: 174.005 s Remaining CPU time: 5.99545 s c =============================================================================== c | 0 | 5000 5299 1465000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26240 c Elapsed CPU time: 175.114 s Remaining CPU time: 4.88562 s c =============================================================================== c | 0 | 5000 5300 1469850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26239 c Elapsed CPU time: 176.226 s Remaining CPU time: 3.77379 s c =============================================================================== c | 0 | 5000 5301 1474700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26238 c Elapsed CPU time: 177.32 s Remaining CPU time: 2.67996 s c =============================================================================== c | 0 | 5000 5302 1479550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26237 c Elapsed CPU time: 178.389 s Remaining CPU time: 1.61112 s c =============================================================================== c | 0 | 5000 5303 1484400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26235 c Elapsed CPU time: 179.454 s Remaining CPU time: 0.546282 s c =============================================================================== c | 0 | 5000 5304 1489250 | 5000 0 nan | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 150 10155 14850 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 155 10160 14859 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 160 10163 14870 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 166 10169 14880 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 171 10174 14889 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 179 10178 14907 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 191 10187 14931 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 223 10211 14987 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 229 10217 14997 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 239 10226 15016 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 259 10242 15053 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 270 10252 15070 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 287 10267 15110 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 301 10276 15147 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 308 10281 15169 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 316 10287 15182 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 335 10304 15223 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 342 10309 15237 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 360 10323 15270 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 373 10333 15297 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 379 10339 15313 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 391 10350 15338 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 401 10359 15357 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 414 10369 15384 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 420 10375 15394 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 433 10385 15423 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 444 10395 15441 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 451 10401 15451 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 458 10407 15461 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 467 10411 15483 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 473 10415 15495 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 480 10421 15509 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 488 10426 15523 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 498 10431 15540 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 506 10438 15557 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 513 10444 15573 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 552 10474 15661 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 559 10480 15673 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 566 10486 15685 | 5000 0 nan | 0.000 % | c ===============================================================================