c wbo 1.4 beta - 20100610 c | Number of variables: 6693 | c | Number of clauses: 109568 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.08 s | c | Number Variables: 6693 | c | Number Clauses: 109388 | 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 | 6544 109452 276655 | 36462 0 nan | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 1 | 6544 109453 276835 | 36484 1 12 | 0.000 % | c | 101 | 6544 109453 276835 | 40132 101 137 | 2.226 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 210 | 6544 109454 277015 | 36484 210 72 | 2.226 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.3058 s Remaining CPU time: 178.694 s c =============================================================================== c | 214 | 6544 109455 277195 | 36485 214 71 | 2.226 % | c | 314 | 6544 109455 277195 | 40133 314 84 | 2.226 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 382 | 6544 109456 277375 | 36485 382 71 | 2.226 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 405 | 6544 109457 277555 | 36485 405 72 | 2.226 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 426 | 6544 109458 277735 | 36486 426 69 | 2.226 % | c | 527 | 6544 109458 277735 | 40134 527 63 | 2.226 % | c | 678 | 6544 109458 277735 | 44148 678 55 | 2.226 % | c | 903 | 6544 109458 277735 | 48562 903 53 | 2.226 % | c | 1240 | 6544 109458 277735 | 53419 1240 54 | 2.226 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.88471 s Remaining CPU time: 178.115 s c =============================================================================== c | 1345 | 6544 109459 277915 | 36486 1345 55 | 2.226 % | c | 1446 | 6544 109459 277915 | 40134 1446 54 | 2.226 % | c | 1597 | 6544 109459 277915 | 44148 1597 52 | 2.226 % | c | 1823 | 6544 109459 277915 | 48563 1823 52 | 2.226 % | c | 2160 | 6544 109459 277915 | 53419 2160 65 | 2.226 % | c | 2667 | 6544 109459 277915 | 58761 2667 65 | 2.226 % | c | 3428 | 6544 109459 277915 | 64637 3428 85 | 2.226 % | c | 4568 | 6544 109459 277915 | 71101 4568 90 | 2.226 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 3.2885 s Remaining CPU time: 176.712 s c =============================================================================== c | 6161 | 6544 109460 278095 | 36486 6161 91 | 2.226 % | c | 6263 | 6544 109460 278095 | 40135 6263 91 | 2.226 % | c | 6413 | 6544 109460 278095 | 44148 6413 90 | 2.226 % | c | 6638 | 6544 109460 278095 | 48563 6638 92 | 2.226 % | c | 6975 | 6544 109460 278095 | 53420 6975 91 | 2.226 % | c | 7481 | 6544 109460 278095 | 58762 7481 93 | 2.226 % | c | 8241 | 6544 109460 278095 | 64638 8241 90 | 2.226 % | c | 9380 | 6544 109460 278095 | 71102 9380 94 | 2.226 % | c | 11091 | 6544 109460 278095 | 78212 11091 99 | 2.226 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 5.15822 s Remaining CPU time: 174.842 s c =============================================================================== c | 11929 | 6544 109461 278275 | 36487 11929 98 | 2.226 % | c | 12030 | 6544 109461 278275 | 40135 12030 98 | 2.226 % | c | 12182 | 6544 109461 278275 | 44149 12182 98 | 2.226 % | c | 12407 | 6544 109461 278275 | 48564 12407 97 | 2.226 % | c | 12744 | 6544 109461 278275 | 53420 12744 97 | 2.226 % | c | 13252 | 6544 109461 278275 | 58762 13252 96 | 2.226 % | c | 14012 | 6544 109461 278275 | 64638 14012 97 | 2.226 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 6.18006 s Remaining CPU time: 173.82 s c =============================================================================== c | 14317 | 6544 109462 278455 | 36487 14317 96 | 2.226 % | c | 14419 | 6544 109462 278455 | 40136 14419 96 | 2.226 % | c | 14570 | 6544 109462 278455 | 44149 14570 96 | 2.226 % | c | 14795 | 6544 109462 278455 | 48564 14795 96 | 2.226 % | c | 15132 | 6544 109462 278455 | 53421 15132 97 | 2.226 % | c | 15638 | 6544 109462 278455 | 58763 15638 98 | 2.226 % | c | 16397 | 6544 109462 278455 | 64639 16397 99 | 2.226 % | c | 17536 | 6544 109462 278455 | 71103 17536 98 | 2.226 % | c | 19244 | 6544 109462 278455 | 78213 19244 100 | 2.226 % | c | 21808 | 6544 109462 278455 | 86035 21808 105 | 2.226 % | c | 25653 | 6544 109462 278455 | 94638 25653 106 | 2.226 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 11.6672 s Remaining CPU time: 168.333 s c =============================================================================== c | 28075 | 6544 109463 278635 | 36487 28075 108 | 2.226 % | c | 28175 | 6544 109463 278635 | 40136 28175 108 | 2.226 % | c | 28325 | 6544 109463 278635 | 44150 28325 108 | 2.226 % | c | 28550 | 6544 109463 278635 | 48565 28550 108 | 2.226 % | c | 28888 | 6544 109463 278635 | 53421 28888 108 | 2.226 % | c | 29395 | 6544 109463 278635 | 58763 29395 108 | 2.226 % | c | 30155 | 6544 109463 278635 | 64640 30155 109 | 2.226 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 13.129 s Remaining CPU time: 166.871 s c =============================================================================== c | 31081 | 6544 109464 278815 | 36488 31081 108 | 2.226 % | c | 31182 | 6544 109464 278815 | 40136 31182 108 | 2.226 % | c | 31333 | 6544 109464 278815 | 44150 31333 108 | 2.226 % | c | 31559 | 6544 109464 278815 | 48565 31559 108 | 2.226 % | c | 31896 | 6544 109464 278815 | 53422 31896 108 | 2.226 % | c | 32402 | 6544 109464 278815 | 58764 32402 109 | 2.226 % | c | 33164 | 6544 109464 278815 | 64640 33164 110 | 2.226 % | c | 34303 | 6544 109464 278815 | 71104 34303 110 | 2.226 % | c | 36015 | 6544 109464 278815 | 78215 36015 111 | 2.226 % | c | 38577 | 6544 109464 278815 | 86036 38577 112 | 2.226 % | c | 42422 | 6544 109464 278815 | 94640 42422 114 | 2.226 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 19.2101 s Remaining CPU time: 160.79 s c =============================================================================== c | 44548 | 6544 109465 278995 | 36488 44548 114 | 2.226 % | c | 44649 | 6544 109465 278995 | 40137 13751 108 | 2.226 % | c | 44800 | 6544 109465 278995 | 44150 13902 108 | 2.226 % | c | 45025 | 6544 109465 278995 | 48565 14127 108 | 2.226 % | c | 45362 | 6544 109465 278995 | 53422 14464 108 | 2.226 % | c | 45868 | 6544 109465 278995 | 58764 14970 108 | 2.226 % | c | 46627 | 6544 109465 278995 | 64641 15729 108 | 2.226 % | c | 47767 | 6544 109465 278995 | 71105 16869 107 | 2.226 % | c | 49477 | 6544 109465 278995 | 78215 18579 110 | 2.226 % | c | 52039 | 6544 109465 278995 | 86037 21141 111 | 2.226 % | c | 55887 | 6544 109465 278995 | 94641 24989 114 | 2.226 % | c | 61654 | 6544 109465 278995 | 104105 30756 116 | 2.226 % | c | 70303 | 6544 109465 278995 | 114516 39405 122 | 2.226 % | c | 83278 | 6544 109465 278995 | 125967 52380 125 | 2.226 % | c | 102739 | 6544 109465 278995 | 138564 71841 131 | 2.226 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 70.0643 s Remaining CPU time: 109.936 s c =============================================================================== c | 123403 | 6544 109466 279175 | 36488 92505 134 | 2.226 % | c | 123503 | 6544 109466 279175 | 40137 14922 116 | 2.226 % | c | 123653 | 6544 109466 279175 | 44151 15072 116 | 2.226 % | c | 123878 | 6544 109466 279175 | 48566 15297 115 | 2.226 % | c | 124215 | 6544 109466 279175 | 53423 15634 115 | 2.226 % | c | 124723 | 6544 109466 279175 | 58765 16142 116 | 2.226 % | c | 125482 | 6544 109466 279175 | 64641 16901 115 | 2.226 % | c | 126621 | 6544 109466 279175 | 71106 18040 116 | 2.226 % | c | 128330 | 6544 109466 279175 | 78216 19749 118 | 2.226 % | c | 130893 | 6544 109466 279175 | 86038 22312 119 | 2.226 % | c | 134737 | 6544 109466 279175 | 94642 26156 121 | 2.226 % | c | 140504 | 6544 109466 279175 | 104106 31923 123 | 2.226 % | c | 149154 | 6544 109466 279175 | 114517 40573 127 | 2.226 % | c | 162128 | 6544 109466 279175 | 125968 53547 128 | 2.226 % | c | 181589 | 6544 109466 279175 | 138565 73008 134 | 2.226 % | c | 210783 | 6544 109466 279175 | 152422 102202 135 | 2.226 % | c There are 149 assigned variables. 85 in cost function. c Memory used : 163.38 MB c CPU time : 180.494 s c c Total CPU time: 180.495 s