c wbo 1.4 beta - 20100610 c | Number of variables: 6600 | c | Number of clauses: 25449 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 6600 | c | Number Clauses: 25239 | 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 | 5678 26117 63700 | 8413 0 nan | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 14.1388 s Remaining CPU time: 165.861 s c =============================================================================== c | 37 | 5678 26118 63910 | 8706 37 39 | 0.000 % | c | 137 | 5678 26118 63910 | 9576 137 72 | 13.970 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 14.2168 s Remaining CPU time: 165.783 s c =============================================================================== c | 274 | 5678 26119 64120 | 8706 274 44 | 13.970 % | c | 374 | 5678 26119 64120 | 9576 374 39 | 13.970 % | c | 526 | 5678 26119 64120 | 10534 526 38 | 13.970 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 14.3698 s Remaining CPU time: 165.63 s c =============================================================================== c | 728 | 5678 26120 64330 | 8706 728 41 | 13.970 % | c | 828 | 5678 26120 64330 | 9577 828 39 | 13.970 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 14.4358 s Remaining CPU time: 165.564 s c =============================================================================== c | 911 | 5678 26121 64540 | 8707 911 37 | 13.970 % | c | 1012 | 5678 26121 64540 | 9577 1012 38 | 13.970 % | c | 1163 | 5678 26121 64540 | 10535 1163 42 | 13.970 % | c | 1388 | 5678 26121 64540 | 11589 1388 44 | 13.970 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 14.7168 s Remaining CPU time: 165.283 s c =============================================================================== c | 1608 | 5678 26122 64750 | 8707 1608 47 | 13.970 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 14.7378 s Remaining CPU time: 165.262 s c =============================================================================== c | 1644 | 5678 26123 64960 | 8707 1644 47 | 13.970 % | c | 1746 | 5678 26123 64960 | 9578 1746 47 | 13.970 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 14.7908 s Remaining CPU time: 165.209 s c =============================================================================== c | 1757 | 5678 26124 65170 | 8708 1757 47 | 13.970 % | c | 1857 | 5678 26124 65170 | 9578 1857 47 | 13.970 % | c | 2008 | 5678 26124 65170 | 10536 2008 50 | 13.970 % | c | 2233 | 5678 26124 65170 | 11590 2233 50 | 13.970 % | c | 2571 | 5678 26124 65170 | 12749 2571 54 | 13.970 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 15.1797 s Remaining CPU time: 164.82 s c =============================================================================== c | 2662 | 5678 26125 65380 | 8708 2662 56 | 13.970 % | c | 2763 | 5678 26125 65380 | 9579 2763 55 | 13.970 % | c | 2913 | 5678 26125 65380 | 10537 2913 58 | 13.970 % | c | 3139 | 5678 26125 65380 | 11590 3139 59 | 13.970 % | c | 3476 | 5678 26125 65380 | 12749 3476 64 | 13.970 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 15.7486 s Remaining CPU time: 164.251 s c =============================================================================== c | 3958 | 5678 26126 65590 | 8708 3958 67 | 13.970 % | c | 4058 | 5678 26126 65590 | 9579 4058 66 | 13.970 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 15.8556 s Remaining CPU time: 164.144 s c =============================================================================== c | 4181 | 5678 26127 65800 | 8709 4181 68 | 13.970 % | c | 4281 | 5678 26127 65800 | 9579 4281 68 | 13.970 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 15.9656 s Remaining CPU time: 164.034 s c =============================================================================== c | 4367 | 5678 26128 66010 | 8709 4367 68 | 13.970 % | c | 4469 | 5678 26128 66010 | 9580 4469 68 | 13.970 % | c | 4621 | 5678 26128 66010 | 10538 4621 67 | 13.970 % | c | 4846 | 5678 26128 66010 | 11592 4846 68 | 13.970 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 16.3585 s Remaining CPU time: 163.641 s c =============================================================================== c | 5140 | 5678 26129 66220 | 8709 5140 69 | 13.970 % | c | 5241 | 5678 26129 66220 | 9580 5241 69 | 13.970 % | c | 5392 | 5678 26129 66220 | 10538 5392 69 | 13.970 % | c | 5618 | 5678 26129 66220 | 11592 5618 71 | 13.970 % | c | 5955 | 5678 26129 66220 | 12751 5955 73 | 13.970 % | c | 6461 | 5678 26129 66220 | 14027 6461 73 | 13.970 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 17.1504 s Remaining CPU time: 162.85 s c =============================================================================== c | 6697 | 5678 26130 66430 | 8710 6697 77 | 13.970 % | c | 6799 | 5678 26130 66430 | 9581 6799 77 | 13.970 % | c | 6949 | 5678 26130 66430 | 10539 6949 77 | 13.970 % | c | 7176 | 5678 26130 66430 | 11593 7176 77 | 13.970 % | c | 7514 | 5678 26130 66430 | 12752 7514 80 | 13.970 % | c | 8020 | 5678 26130 66430 | 14027 8020 83 | 13.970 % | c | 8779 | 5678 26130 66430 | 15430 8779 86 | 13.970 % | c | 9919 | 5678 26130 66430 | 16973 9919 90 | 13.970 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 19.452 s Remaining CPU time: 160.548 s c =============================================================================== c | 10367 | 5678 26131 66640 | 8710 10367 92 | 13.970 % | c | 10467 | 5678 26131 66640 | 9581 5284 81 | 13.970 % | c | 10619 | 5678 26131 66640 | 10539 5436 81 | 13.970 % | c | 10844 | 5678 26131 66640 | 11593 5661 83 | 13.970 % | c | 11181 | 5678 26131 66640 | 12752 5998 86 | 13.970 % | c | 11687 | 5678 26131 66640 | 14028 6504 90 | 13.970 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 20.2149 s Remaining CPU time: 159.785 s c =============================================================================== c | 11710 | 5678 26132 66850 | 8710 6527 90 | 13.970 % | c | 11811 | 5678 26132 66850 | 9581 6628 92 | 13.970 % | c | 11962 | 5678 26132 66850 | 10539 6779 92 | 13.970 % | c | 12188 | 5678 26132 66850 | 11593 7005 94 | 13.970 % | c | 12525 | 5678 26132 66850 | 12753 7342 98 | 13.970 % | c | 13031 | 5678 26132 66850 | 14028 7848 105 | 13.970 % | c | 13791 | 5675 26132 66850 | 15431 6816 83 | 14.015 % | c | 14930 | 5638 26132 66850 | 16974 7955 101 | 14.939 % | c =============================================================================== c Total CPU time: 22.3866 s