c wbo 1.4 beta - 20100610 c | Number of variables: 6135 | c | Number of clauses: 103786 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 6135 | c | Number Clauses: 103606 | 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 | 6052 103606 257601 | 34535 0 nan | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 0 | 6052 103607 257781 | 34535 0 nan | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 7 | 6052 103608 257961 | 34536 7 26 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 31 | 6052 103609 258141 | 34536 31 14 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.791879 s Remaining CPU time: 179.208 s c =============================================================================== c | 34 | 6052 103610 258321 | 34536 34 14 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 40 | 6052 103611 258501 | 34537 40 13 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.843871 s Remaining CPU time: 179.156 s c =============================================================================== c | 52 | 6052 103612 258681 | 34537 52 15 | 0.000 % | c | 152 | 6052 103612 258681 | 37991 152 28 | 1.353 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 283 | 6052 103613 258861 | 34537 283 40 | 1.353 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 346 | 6052 103614 259041 | 34538 346 42 | 1.353 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 1.03284 s Remaining CPU time: 178.967 s c =============================================================================== c | 436 | 6052 103615 259221 | 34538 436 43 | 1.353 % | c | 536 | 6052 103615 259221 | 37992 536 42 | 1.353 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 677 | 6052 103616 259401 | 34538 677 42 | 1.353 % | c | 777 | 6052 103616 259401 | 37992 777 48 | 1.353 % | c | 927 | 6052 103616 259401 | 41791 927 46 | 1.353 % | c | 1152 | 6052 103616 259401 | 45970 1152 63 | 1.353 % | c | 1489 | 6052 103616 259401 | 50568 1489 63 | 1.353 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 1541 | 6052 103617 259581 | 34539 1541 63 | 1.353 % | c | 1641 | 6052 103617 259581 | 37992 1641 63 | 1.353 % | c | 1792 | 6052 103617 259581 | 41792 1792 60 | 1.353 % | c | 2018 | 6052 103617 259581 | 45971 2018 65 | 1.353 % | c | 2356 | 6052 103617 259581 | 50568 2356 64 | 1.353 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 1.77973 s Remaining CPU time: 178.22 s c =============================================================================== c | 2403 | 6052 103618 259761 | 34539 2403 63 | 1.353 % | c | 2504 | 6052 103618 259761 | 37993 2504 62 | 1.353 % | c | 2656 | 6052 103618 259761 | 41792 2656 63 | 1.353 % | c | 2882 | 6052 103618 259761 | 45971 2882 65 | 1.353 % | c | 3219 | 6052 103618 259761 | 50569 3219 68 | 1.353 % | c | 3725 | 6052 103618 259761 | 55625 3725 66 | 1.353 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 2.31665 s Remaining CPU time: 177.683 s c =============================================================================== c | 3917 | 6052 103619 259941 | 34539 3917 65 | 1.353 % | c | 4020 | 6052 103619 259941 | 37993 4020 66 | 1.353 % | c | 4172 | 6052 103619 259941 | 41792 4172 65 | 1.353 % | c | 4397 | 6052 103619 259941 | 45972 4397 64 | 1.353 % | c | 4735 | 6052 103619 259941 | 50569 4735 66 | 1.353 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 2.72259 s Remaining CPU time: 177.277 s c =============================================================================== c | 5043 | 6052 103620 260121 | 34540 5043 66 | 1.353 % | c | 5144 | 6052 103620 260121 | 37994 5144 66 | 1.353 % | c | 5295 | 6052 103620 260121 | 41793 5295 66 | 1.353 % | c | 5520 | 6052 103620 260121 | 45972 5520 66 | 1.353 % | c | 5857 | 6052 103620 260121 | 50570 5857 66 | 1.353 % | c | 6364 | 6052 103620 260121 | 55627 6364 70 | 1.353 % | c | 7123 | 6052 103620 260121 | 61189 7123 73 | 1.353 % | c | 8262 | 6052 103620 260121 | 67308 8262 74 | 1.353 % | c | 9971 | 6052 103620 260121 | 74039 9971 81 | 1.353 % | c | 12534 | 6052 103620 260121 | 81443 12534 86 | 1.353 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 5.37118 s Remaining CPU time: 174.629 s c =============================================================================== c | 13413 | 6052 103621 260301 | 34540 13413 88 | 1.353 % | c | 13514 | 6052 103621 260301 | 37994 13514 88 | 1.353 % | c | 13664 | 6052 103621 260301 | 41793 13664 88 | 1.353 % | c | 13889 | 6052 103621 260301 | 45973 13889 89 | 1.353 % | c | 14226 | 6052 103621 260301 | 50570 14226 89 | 1.353 % | c | 14732 | 6052 103621 260301 | 55627 14732 90 | 1.353 % | c | 15491 | 6052 103621 260301 | 61190 15491 91 | 1.353 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 6.595 s Remaining CPU time: 173.405 s c =============================================================================== c | 16452 | 6052 103622 260481 | 34540 16452 94 | 1.353 % | c | 16553 | 6052 103622 260481 | 37994 16553 94 | 1.353 % | c | 16704 | 6052 103622 260481 | 41794 16704 94 | 1.353 % | c | 16930 | 6052 103622 260481 | 45973 16930 94 | 1.353 % | c | 17268 | 6052 103622 260481 | 50570 17268 95 | 1.353 % | c | 17774 | 6052 103622 260481 | 55628 17774 95 | 1.353 % | c | 18533 | 6052 103622 260481 | 61190 18533 96 | 1.353 % | c | 19672 | 6052 103622 260481 | 67309 19672 96 | 1.353 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 8.16576 s Remaining CPU time: 171.834 s c =============================================================================== c | 20725 | 6052 103623 260661 | 34541 20725 98 | 1.353 % | c | 20826 | 6052 103623 260661 | 37995 20826 98 | 1.353 % | c | 20976 | 6052 103623 260661 | 41794 20976 98 | 1.353 % | c | 21201 | 6052 103623 260661 | 45974 21201 98 | 1.353 % | c | 21538 | 6052 103623 260661 | 50571 21538 98 | 1.353 % | c | 22045 | 6052 103623 260661 | 55628 22045 99 | 1.353 % | c | 22804 | 6052 103623 260661 | 61191 22804 100 | 1.353 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 9.2066 s Remaining CPU time: 170.793 s c =============================================================================== c | 22974 | 6052 103624 260841 | 34541 22974 100 | 1.353 % | c | 23074 | 6052 103624 260841 | 37995 23074 99 | 1.353 % | c | 23224 | 6052 103624 260841 | 41795 23224 100 | 1.353 % | c | 23450 | 6052 103624 260841 | 45974 23450 100 | 1.353 % | c | 23787 | 6052 103624 260841 | 50571 23787 100 | 1.353 % | c | 24294 | 6052 103624 260841 | 55629 24294 100 | 1.353 % | c | 25053 | 6052 103624 260841 | 61192 25053 101 | 1.353 % | c | 26192 | 6052 103624 260841 | 67311 26192 101 | 1.353 % | c | 27901 | 6052 103624 260841 | 74042 27901 103 | 1.353 % | c | 30463 | 6052 103624 260841 | 81446 30463 105 | 1.353 % | c | 34308 | 6052 103624 260841 | 89591 34308 107 | 1.353 % | c | 40077 | 6052 103624 260841 | 98550 40077 110 | 1.353 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 18.5012 s Remaining CPU time: 161.499 s c =============================================================================== c | 43137 | 6052 103625 261021 | 34541 43137 111 | 1.353 % | c | 43237 | 6052 103625 261021 | 37995 13212 110 | 1.353 % | c | 43387 | 6052 103625 261021 | 41795 13362 110 | 1.353 % | c | 43613 | 6052 103625 261021 | 45974 13588 110 | 1.353 % | c | 43950 | 6052 103625 261021 | 50572 13925 110 | 1.353 % | c | 44457 | 6052 103625 261021 | 55629 14432 110 | 1.353 % | c | 45216 | 6052 103625 261021 | 61192 15191 110 | 1.353 % | c | 46356 | 6052 103625 261021 | 67311 16331 111 | 1.353 % | c | 48064 | 6052 103625 261021 | 74043 18039 111 | 1.353 % | c | 50626 | 6052 103625 261021 | 81447 20601 113 | 1.353 % | c | 54471 | 6052 103625 261021 | 89592 24446 113 | 1.353 % | c | 60237 | 6052 103625 261021 | 98551 30212 114 | 1.353 % | c | 68888 | 6052 103625 261021 | 108406 38863 115 | 1.353 % | c | 81862 | 6052 103625 261021 | 119247 51837 115 | 1.353 % | c | 101324 | 6052 103625 261021 | 131171 71299 114 | 1.353 % | c | 130516 | 6052 103625 261021 | 144289 100491 115 | 1.353 % | c | 174309 | 6052 103625 261021 | 158718 144284 119 | 1.353 % | c There are 83 assigned variables. 82 in cost function. c Memory used : 137.93 MB c CPU time : 180.403 s c c Total CPU time: 180.405 s