c wbo 1.4 beta - 20100610 c | Number of variables: 38663 | c | Number of clauses: 152184 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.12 s | c | Number Variables: 38663 | c | Number Clauses: 150819 | 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 | 35393 152894 380352 | 50273 0 nan | 0.000 % | c | 100 | 35354 152894 380352 | 55300 100 12 | 8.690 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 92.9549 s Remaining CPU time: 87.0451 s c =============================================================================== c | 138 | 35286 152895 381717 | 50965 138 11 | 8.690 % | c | 239 | 35286 152895 381717 | 56061 222 103 | 8.734 % | c | 392 | 35280 152895 381717 | 61667 375 72 | 8.809 % | c | 618 | 35256 152895 381717 | 67834 593 70 | 8.853 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 94.5386 s Remaining CPU time: 85.4614 s c =============================================================================== c | 904 | 35240 152896 383082 | 50965 876 96 | 8.853 % | c | 1005 | 35240 152896 383082 | 56061 977 90 | 8.853 % | c | 1155 | 35236 152896 383082 | 61668 1126 113 | 8.864 % | c | 1383 | 35233 152896 383082 | 67834 1354 117 | 8.931 % | c | 1720 | 35175 152896 383082 | 74618 1687 137 | 9.071 % | c | 2230 | 35154 152896 383082 | 82080 2188 122 | 9.102 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 98.44 s Remaining CPU time: 81.56 s c =============================================================================== c | 2269 | 35142 152897 384447 | 50965 2224 121 | 9.102 % | c | 2371 | 35133 152897 384447 | 56062 2326 126 | 9.143 % | c | 2522 | 35133 152897 384447 | 61668 2477 123 | 9.146 % | c | 2747 | 35125 152897 384447 | 67835 2694 130 | 9.151 % | c | 3088 | 35125 152897 384447 | 74618 3035 124 | 9.151 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 100.72 s Remaining CPU time: 79.2803 s c =============================================================================== c | 3178 | 35125 152898 385812 | 50966 3125 122 | 9.151 % | c | 3278 | 35094 152898 385812 | 56062 3219 120 | 9.231 % | c | 3428 | 35094 152898 385812 | 61668 3369 126 | 9.231 % | c | 3654 | 35070 152898 385812 | 67835 3591 130 | 9.293 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 102.012 s Remaining CPU time: 77.9875 s c =============================================================================== c | 3698 | 35070 152899 387177 | 50966 3635 129 | 9.293 % | c | 3799 | 35070 152899 387177 | 56062 3736 128 | 9.293 % | c | 3949 | 35037 152899 387177 | 61669 3886 125 | 9.472 % | c | 4179 | 34992 152899 387177 | 67836 4103 123 | 9.495 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 103.815 s Remaining CPU time: 76.1848 s c =============================================================================== c | 4449 | 34968 152900 388542 | 50966 4373 126 | 9.495 % | c | 4552 | 34968 152900 388542 | 56063 4476 124 | 9.570 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 104.319 s Remaining CPU time: 75.6809 s c =============================================================================== c | 4588 | 34963 152901 389907 | 50967 4512 124 | 9.570 % | c | 4688 | 34963 152901 389907 | 56063 4606 123 | 9.572 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 104.711 s Remaining CPU time: 75.2889 s c =============================================================================== c | 4744 | 34962 152902 391272 | 50967 4662 122 | 9.572 % | c | 4844 | 34936 152902 391272 | 56064 4762 122 | 9.650 % | c | 4995 | 34933 152902 391272 | 61670 4913 120 | 9.650 % | c | 5227 | 34926 152902 391272 | 67837 5145 123 | 9.679 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 106.859 s Remaining CPU time: 73.1412 s c =============================================================================== c | 5522 | 34921 152903 392637 | 50967 5415 126 | 9.679 % | c | 5622 | 34910 152903 392637 | 56064 5515 126 | 9.712 % | c | 5772 | 34908 152903 392637 | 61670 5665 128 | 9.712 % | c | 5997 | 34908 152903 392637 | 67837 5886 125 | 9.712 % | c | 6334 | 34908 152903 392637 | 74621 6223 141 | 9.712 % | c | 6844 | 34861 152903 392637 | 82083 6703 141 | 9.834 % | c | 7603 | 34861 152903 392637 | 90292 7462 151 | 9.834 % | c | 8743 | 34775 152903 392637 | 99321 8552 158 | 10.056 % | c | 10451 | 34754 152903 392637 | 109253 10258 161 | 10.110 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 124.764 s Remaining CPU time: 55.236 s c =============================================================================== c | 12281 | 34672 152904 394002 | 50968 12083 174 | 10.110 % | c | 12382 | 34670 152904 394002 | 56064 12168 173 | 10.338 % | c | 12532 | 34663 152904 394002 | 61671 12318 173 | 10.454 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 125.971 s Remaining CPU time: 54.0292 s c =============================================================================== c | 12656 | 34607 152905 395367 | 50968 12442 175 | 10.454 % | c | 12757 | 34607 152905 395367 | 56065 12543 174 | 10.491 % | c | 12908 | 34607 152905 395367 | 61671 12694 176 | 10.491 % | c | 13133 | 34607 152905 395367 | 67838 12919 177 | 10.491 % | c | 13471 | 34607 152905 395367 | 74622 13257 177 | 10.491 % | c | 13978 | 34607 152905 395367 | 82085 13746 179 | 10.491 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 129.856 s Remaining CPU time: 50.1437 s c =============================================================================== c | 14014 | 34607 152906 396732 | 50968 13782 179 | 10.491 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 130.195 s Remaining CPU time: 49.8048 s c =============================================================================== c | 14085 | 34607 152907 398097 | 50969 13853 179 | 10.491 % | c | 14185 | 34607 152907 398097 | 56065 13953 179 | 10.491 % | c | 14336 | 34607 152907 398097 | 61672 14104 179 | 10.491 % | c | 14563 | 34607 152907 398097 | 67839 14331 179 | 10.491 % | c | 14903 | 34607 152907 398097 | 74623 14671 184 | 10.491 % | c | 15413 | 34604 152907 398097 | 82086 14231 179 | 10.498 % | c | 16172 | 34604 152907 398097 | 90294 14990 182 | 10.501 % | c | 17311 | 34573 152907 398097 | 99324 16129 190 | 10.661 % | c | 19021 | 34521 152907 398097 | 109256 16341 190 | 10.731 % | c =============================================================================== c Total CPU time: 147.321 s