c wbo 1.4 beta - 20100610 c | Number of variables: 7153 | c | Number of clauses: 125729 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.09 s | c | Number Variables: 7153 | c | Number Clauses: 125551 | 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 | 7079 125551 319134 | 41850 0 nan | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 0 | 7079 125552 319312 | 41850 0 nan | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 82 | 7079 125553 319490 | 41851 82 14 | 0.000 % | c | 182 | 7079 125553 319490 | 46036 182 64 | 1.035 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 233 | 7079 125554 319668 | 41851 233 51 | 1.035 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s c =============================================================================== c | 308 | 7079 125555 319846 | 41851 308 66 | 1.035 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 396 | 7079 125556 320024 | 41852 396 55 | 1.035 % | c | 496 | 7079 125556 320024 | 46037 496 59 | 1.035 % | c | 646 | 7079 125556 320024 | 50640 646 56 | 1.035 % | c | 871 | 7079 125556 320024 | 55705 871 55 | 1.035 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 880 | 7079 125557 320202 | 41852 880 55 | 1.035 % | c | 981 | 7079 125557 320202 | 46037 981 62 | 1.035 % | c | 1133 | 7079 125557 320202 | 50641 1133 59 | 1.035 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.37679 s Remaining CPU time: 178.623 s c =============================================================================== c | 1355 | 7079 125558 320380 | 41852 1355 52 | 1.035 % | c | 1455 | 7079 125558 320380 | 46037 1455 58 | 1.035 % | c | 1606 | 7079 125558 320380 | 50641 1606 58 | 1.035 % | c | 1832 | 7079 125558 320380 | 55705 1832 58 | 1.035 % | c | 2169 | 7079 125558 320380 | 61276 2169 63 | 1.035 % | c | 2676 | 7079 125558 320380 | 67404 2676 71 | 1.035 % | c | 3436 | 7079 125558 320380 | 74144 3436 83 | 1.035 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 2.11568 s Remaining CPU time: 177.884 s c =============================================================================== c | 3584 | 7079 125559 320558 | 41853 3584 81 | 1.035 % | c | 3685 | 7079 125559 320558 | 46038 3685 79 | 1.035 % | c | 3835 | 7079 125559 320558 | 50642 3835 78 | 1.035 % | c | 4061 | 7079 125559 320558 | 55706 4061 77 | 1.035 % | c | 4399 | 7079 125559 320558 | 61276 4399 77 | 1.035 % | c | 4905 | 7079 125559 320558 | 67404 4905 77 | 1.035 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.74358 s Remaining CPU time: 177.256 s c =============================================================================== c | 5079 | 7079 125560 320736 | 41853 5079 75 | 1.035 % | c | 5179 | 7079 125560 320736 | 46038 5179 75 | 1.035 % | c | 5330 | 7079 125560 320736 | 50642 5330 74 | 1.035 % | c | 5556 | 7079 125560 320736 | 55706 5556 74 | 1.035 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 3.04654 s Remaining CPU time: 176.953 s c =============================================================================== c | 5766 | 7079 125561 320914 | 41853 5766 72 | 1.035 % | c | 5867 | 7079 125561 320914 | 46039 5867 72 | 1.035 % | c | 6018 | 7079 125561 320914 | 50642 6018 72 | 1.035 % | c | 6243 | 7079 125561 320914 | 55707 6243 71 | 1.035 % | c | 6581 | 7079 125561 320914 | 61277 6581 71 | 1.035 % | c | 7088 | 7079 125561 320914 | 67405 7088 74 | 1.035 % | c | 7848 | 7079 125561 320914 | 74146 7848 75 | 1.035 % | c | 8987 | 7079 125561 320914 | 81560 8987 78 | 1.035 % | c | 10695 | 7079 125561 320914 | 89717 10695 85 | 1.035 % | c | 13257 | 7079 125561 320914 | 98688 13257 89 | 1.035 % | c | 17101 | 7079 125561 320914 | 108557 17101 97 | 1.035 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 7.70483 s Remaining CPU time: 172.295 s c =============================================================================== c | 21517 | 7079 125562 321092 | 41854 21517 104 | 1.035 % | c | 21617 | 7079 125562 321092 | 46039 21617 104 | 1.035 % | c | 21767 | 7079 125562 321092 | 50643 21767 103 | 1.035 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 7.93979 s Remaining CPU time: 172.06 s c =============================================================================== c | 21848 | 7079 125563 321270 | 41854 21848 103 | 1.035 % | c | 21948 | 7079 125563 321270 | 46039 21948 103 | 1.035 % | c | 22099 | 7079 125563 321270 | 50643 22099 103 | 1.035 % | c | 22324 | 7079 125563 321270 | 55708 22324 103 | 1.035 % | c | 22662 | 7079 125563 321270 | 61278 22662 103 | 1.035 % | c | 23169 | 7079 125563 321270 | 67406 23169 103 | 1.035 % | c | 23929 | 7079 125563 321270 | 74147 23929 103 | 1.035 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 9.1976 s Remaining CPU time: 170.802 s c =============================================================================== c | 24243 | 7079 125564 321448 | 41854 24243 102 | 1.035 % | c | 24344 | 7079 125564 321448 | 46040 24344 102 | 1.035 % | c | 24494 | 7079 125564 321448 | 50644 24494 102 | 1.035 % | c | 24720 | 7079 125564 321448 | 55708 24720 102 | 1.035 % | c | 25057 | 7079 125564 321448 | 61279 25057 102 | 1.035 % | c | 25563 | 7079 125564 321448 | 67407 25563 103 | 1.035 % | c | 26323 | 7079 125564 321448 | 74148 26323 102 | 1.035 % | c | 27462 | 7079 125564 321448 | 81562 27462 103 | 1.035 % | c | 29170 | 7079 125564 321448 | 89719 29170 103 | 1.035 % | c | 31732 | 7079 125564 321448 | 98691 31732 105 | 1.035 % | c | 35576 | 7079 125564 321448 | 108560 35576 107 | 1.035 % | c | 41342 | 7079 125564 321448 | 119416 41342 110 | 1.035 % | c | 49991 | 7079 125564 321448 | 131357 49991 113 | 1.035 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 19.962 s Remaining CPU time: 160.038 s c =============================================================================== c | 50932 | 7079 125565 321626 | 41855 50932 113 | 1.035 % | c | 51032 | 7079 125565 321626 | 46040 13368 110 | 1.035 % | c | 51182 | 7079 125565 321626 | 50644 13518 109 | 1.035 % | c | 51407 | 7079 125565 321626 | 55709 13743 109 | 1.035 % | c | 51744 | 7079 125565 321626 | 61279 14080 109 | 1.035 % | c | 52250 | 7079 125565 321626 | 67407 14586 108 | 1.035 % | c | 53009 | 7079 125565 321626 | 74148 15345 108 | 1.035 % | c | 54148 | 7079 125565 321626 | 81563 16484 108 | 1.035 % | c | 55857 | 7079 125565 321626 | 89719 18193 110 | 1.035 % | c | 58420 | 7079 125565 321626 | 98691 20756 111 | 1.035 % | c | 62266 | 7079 125565 321626 | 108561 24602 112 | 1.035 % | c | 68034 | 7079 125565 321626 | 119417 30370 114 | 1.035 % | c | 76683 | 7079 125565 321626 | 131358 39019 116 | 1.035 % | c | 89657 | 7079 125565 321626 | 144494 51993 116 | 1.035 % | c | 109119 | 7079 125565 321626 | 158944 71455 119 | 1.035 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 46.312 s Remaining CPU time: 133.688 s c =============================================================================== c | 113416 | 7079 125566 321804 | 41855 75752 120 | 1.035 % | c | 113516 | 7079 125566 321804 | 46040 13439 122 | 1.035 % | c | 113666 | 7079 125566 321804 | 50644 13589 121 | 1.035 % | c | 113892 | 7079 125566 321804 | 55709 13815 120 | 1.035 % | c | 114229 | 7079 125566 321804 | 61280 14152 120 | 1.035 % | c | 114735 | 7079 125566 321804 | 67408 14658 119 | 1.035 % | c | 115494 | 7079 125566 321804 | 74149 15417 119 | 1.035 % | c | 116633 | 7079 125566 321804 | 81564 16556 118 | 1.035 % | c | 118343 | 7079 125566 321804 | 89720 18266 118 | 1.035 % | c | 120905 | 7079 125566 321804 | 98692 20828 118 | 1.035 % | c | 124749 | 7079 125566 321804 | 108561 24672 117 | 1.035 % | c | 130515 | 7079 125566 321804 | 119418 30438 116 | 1.035 % | c | 139164 | 7079 125566 321804 | 131359 39087 116 | 1.035 % | c | 152139 | 7079 125566 321804 | 144495 52062 119 | 1.035 % | c | 171600 | 7079 125566 321804 | 158945 71523 119 | 1.035 % | c | 200792 | 7079 125566 321804 | 174840 100715 120 | 1.035 % | c | 244582 | 7079 125566 321804 | 192324 144505 121 | 1.035 % | c There are 74 assigned variables. 74 in cost function. c Memory used : 173.82 MB c CPU time : 180.458 s c c Total CPU time: 180.459 s