c wbo 1.4 beta - 20100610 c | Number of variables: 2917 | c | Number of clauses: 45708 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.03 s | c | Number Variables: 2917 | c | Number Clauses: 45610 | 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 | 2871 45610 116819 | 15203 0 nan | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 0 | 2871 45611 116917 | 15203 0 nan | 0.000 % | c | 100 | 2871 45611 116917 | 16724 100 101 | 1.577 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 244 | 2871 45612 117015 | 15204 244 65 | 1.577 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 252 | 2871 45613 117113 | 15204 252 64 | 1.577 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 260 | 2871 45614 117211 | 15204 260 62 | 1.577 % | c | 361 | 2871 45614 117211 | 16725 361 57 | 1.577 % | c | 511 | 2871 45614 117211 | 18397 511 52 | 1.577 % | c | 736 | 2871 45614 117211 | 20237 736 50 | 1.577 % | c | 1073 | 2871 45614 117211 | 22261 1073 57 | 1.577 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 1412 | 2871 45615 117309 | 15205 1412 58 | 1.577 % | c | 1513 | 2871 45615 117309 | 16725 1513 56 | 1.577 % | c | 1663 | 2871 45615 117309 | 18398 1663 60 | 1.578 % | c | 1888 | 2871 45615 117309 | 20237 1888 61 | 1.577 % | c | 2226 | 2871 45615 117309 | 22261 2226 63 | 1.577 % | c | 2732 | 2871 45615 117309 | 24487 2732 65 | 1.577 % | c | 3492 | 2871 45615 117309 | 26936 3492 68 | 1.577 % | c | 4631 | 2871 45615 117309 | 29630 4631 67 | 1.577 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 5894 | 2871 45616 117407 | 15205 5894 69 | 1.577 % | c | 5994 | 2871 45616 117407 | 16725 5994 69 | 1.577 % | c | 6145 | 2871 45616 117407 | 18398 6145 69 | 1.578 % | c | 6371 | 2871 45616 117407 | 20238 6371 69 | 1.577 % | c | 6708 | 2871 45616 117407 | 22262 6708 70 | 1.577 % | c | 7214 | 2871 45616 117407 | 24488 7214 69 | 1.577 % | c | 7974 | 2871 45616 117407 | 26937 7974 72 | 1.577 % | c | 9113 | 2871 45616 117407 | 29630 9113 73 | 1.577 % | c | 10821 | 2871 45616 117407 | 32593 10821 73 | 1.577 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 2.31665 s Remaining CPU time: 177.683 s c =============================================================================== c | 11444 | 2871 45617 117505 | 15205 11444 73 | 1.577 % | c | 11545 | 2871 45617 117505 | 16726 11545 74 | 1.577 % | c | 11695 | 2871 45617 117505 | 18398 11695 73 | 1.577 % | c | 11921 | 2871 45617 117505 | 20238 11921 73 | 1.577 % | c | 12258 | 2871 45617 117505 | 22262 12258 74 | 1.577 % | c | 12764 | 2871 45617 117505 | 24488 12764 73 | 1.577 % | c | 13523 | 2871 45617 117505 | 26937 13523 74 | 1.577 % | c | 14662 | 2871 45617 117505 | 29631 14662 75 | 1.577 % | c | 16370 | 2871 45617 117505 | 32594 16370 75 | 1.577 % | c | 18934 | 2871 45617 117505 | 35854 18934 76 | 1.577 % | c | 22778 | 2871 45617 117505 | 39439 22778 77 | 1.579 % | c | 28544 | 2871 45617 117505 | 43383 28544 80 | 1.577 % | c | 37198 | 2871 45617 117505 | 47721 37198 83 | 1.577 % | c | 50173 | 2871 45617 117505 | 52494 15521 78 | 1.577 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 19.772 s Remaining CPU time: 160.228 s c =============================================================================== c | 57123 | 2871 45618 117603 | 15206 22471 82 | 1.577 % | c | 57224 | 2871 45618 117603 | 16726 11337 83 | 1.577 % | c | 57375 | 2871 45618 117603 | 18399 11488 82 | 1.577 % | c | 57600 | 2871 45618 117603 | 20239 11713 82 | 1.577 % | c | 57938 | 2871 45618 117603 | 22263 12051 82 | 1.577 % | c | 58444 | 2871 45618 117603 | 24489 12557 82 | 1.577 % | c | 59204 | 2871 45618 117603 | 26938 13317 81 | 1.578 % | c | 60343 | 2871 45618 117603 | 29632 14456 82 | 1.577 % | c | 62051 | 2871 45618 117603 | 32595 16164 82 | 1.577 % | c | 64613 | 2871 45618 117603 | 35854 18726 82 | 1.577 % | c | 68458 | 2871 45618 117603 | 39440 22571 81 | 1.577 % | c | 74224 | 2871 45618 117603 | 43384 28337 83 | 1.577 % | c | 82873 | 2871 45618 117603 | 47722 36986 85 | 1.577 % | c | 95847 | 2871 45618 117603 | 52495 15149 81 | 1.577 % | c | 115309 | 2871 45618 117603 | 57744 34611 81 | 1.577 % | c | 144503 | 2871 45618 117603 | 63519 19092 78 | 1.577 % | c | 188292 | 2871 45618 117603 | 69871 62881 89 | 1.577 % | c | 253978 | 2871 45618 117603 | 76858 17708 76 | 1.577 % | c There are 46 assigned variables. 46 in cost function. c Memory used : 131.86 MB c CPU time : 180.388 s c c Total CPU time: 180.389 s