c wbo 1.4 beta - 20100610 c | Number of variables: 6672 | c | Number of clauses: 25689 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 6672 | c | Number Clauses: 25479 | 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 | 5726 26381 64048 | 8493 0 nan | 0.000 % | c | 100 | 5726 26381 64048 | 9342 100 57 | 14.179 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 17.8163 s Remaining CPU time: 162.184 s c =============================================================================== c | 123 | 5726 26382 64258 | 8794 123 52 | 14.179 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 17.8573 s Remaining CPU time: 162.143 s c =============================================================================== c | 199 | 5726 26383 64468 | 8794 199 43 | 14.179 % | c | 299 | 5726 26383 64468 | 9673 299 54 | 14.179 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 17.9233 s Remaining CPU time: 162.077 s c =============================================================================== c | 374 | 5726 26384 64678 | 8794 374 46 | 14.179 % | c | 475 | 5726 26384 64678 | 9674 475 60 | 14.179 % | c | 625 | 5726 26384 64678 | 10641 625 53 | 14.179 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 18.0223 s Remaining CPU time: 161.978 s c =============================================================================== c | 698 | 5726 26385 64888 | 8795 698 53 | 14.179 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 18.0453 s Remaining CPU time: 161.955 s c =============================================================================== c | 766 | 5726 26386 65098 | 8795 766 51 | 14.179 % | c | 867 | 5726 26386 65098 | 9674 867 49 | 14.179 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 18.1362 s Remaining CPU time: 161.864 s c =============================================================================== c | 1015 | 5726 26387 65308 | 8795 1015 48 | 14.179 % | c | 1116 | 5726 26387 65308 | 9675 1116 48 | 14.179 % | c | 1266 | 5726 26387 65308 | 10642 1266 46 | 14.179 % | c | 1491 | 5726 26387 65308 | 11707 1491 52 | 14.179 % | c | 1828 | 5726 26387 65308 | 12877 1828 49 | 14.179 % | c | 2335 | 5726 26387 65308 | 14165 2335 57 | 14.179 % | c | 3094 | 5726 26387 65308 | 15582 3094 73 | 14.179 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 19.0831 s Remaining CPU time: 160.917 s c =============================================================================== c | 3321 | 5726 26388 65518 | 8796 3321 75 | 14.179 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 19.1211 s Remaining CPU time: 160.879 s c =============================================================================== c | 3391 | 5726 26389 65728 | 8796 3391 75 | 14.179 % | c | 3491 | 5726 26389 65728 | 9675 3491 74 | 14.179 % | c | 3641 | 5726 26389 65728 | 10643 3641 74 | 14.179 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 19.2811 s Remaining CPU time: 160.719 s c =============================================================================== c | 3708 | 5726 26390 65938 | 8796 3708 73 | 14.179 % | c | 3808 | 5726 26390 65938 | 9676 3808 73 | 14.179 % | c | 3958 | 5726 26390 65938 | 10643 3958 73 | 14.179 % | c | 4183 | 5726 26390 65938 | 11708 4183 72 | 14.179 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 19.477 s Remaining CPU time: 160.523 s c =============================================================================== c | 4202 | 5726 26391 66148 | 8797 4202 71 | 14.179 % | c | 4302 | 5726 26391 66148 | 9676 4302 71 | 14.179 % | c | 4453 | 5726 26391 66148 | 10644 4453 71 | 14.179 % | c | 4679 | 5726 26391 66148 | 11708 4679 71 | 14.179 % | c | 5018 | 5726 26391 66148 | 12879 5018 71 | 14.179 % | c | 5524 | 5726 26391 66148 | 14167 5524 73 | 14.179 % | c | 6287 | 5726 26391 66148 | 15584 6287 75 | 14.179 % | c | 7428 | 5726 26391 66148 | 17142 7428 83 | 14.179 % | c | 9136 | 5723 26391 66148 | 18857 7843 82 | 14.224 % | c =============================================================================== c Total CPU time: 22.7025 s