c wbo 1.4 beta - 20100610 c | Number of variables: 6704 | c | Number of clauses: 25394 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 6704 | c | Number Clauses: 25184 | 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 | 4111 27407 60276 | 8394 0 nan | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 28.0297 s Remaining CPU time: 151.97 s c =============================================================================== c | 45 | 4111 27408 60486 | 9136 45 51 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 28.0407 s Remaining CPU time: 151.959 s c =============================================================================== c | 72 | 4111 27409 60696 | 9136 72 52 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 28.0607 s Remaining CPU time: 151.939 s c =============================================================================== c | 125 | 4111 27410 60906 | 9136 125 50 | 0.000 % | c | 225 | 4111 27410 60906 | 10050 225 84 | 38.678 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 28.1387 s Remaining CPU time: 151.861 s c =============================================================================== c | 274 | 4111 27411 61116 | 9137 274 71 | 38.678 % | c | 376 | 4111 27411 61116 | 10050 376 70 | 38.678 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 28.2547 s Remaining CPU time: 151.745 s c =============================================================================== c | 496 | 4111 27412 61326 | 9137 496 60 | 38.678 % | c | 596 | 4111 27412 61326 | 10051 596 58 | 38.678 % | c | 750 | 4111 27412 61326 | 11056 750 55 | 38.678 % | c | 975 | 4111 27412 61326 | 12161 975 54 | 38.678 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 28.5297 s Remaining CPU time: 151.47 s c =============================================================================== c | 1112 | 4111 27413 61536 | 9137 1112 55 | 38.678 % | c | 1212 | 4111 27413 61536 | 10051 1212 54 | 38.678 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 28.5707 s Remaining CPU time: 151.429 s c =============================================================================== c | 1228 | 4111 27414 61746 | 9138 1228 54 | 38.678 % | c | 1329 | 4111 27414 61746 | 10051 1329 53 | 38.678 % | c | 1479 | 4111 27414 61746 | 11056 1479 52 | 38.678 % | c | 1706 | 4111 27414 61746 | 12162 1706 53 | 38.678 % | c | 2045 | 4111 27414 61746 | 13378 2045 57 | 38.678 % | c | 2551 | 4110 27414 61746 | 14716 2546 62 | 38.693 % | c | 3310 | 4107 27414 61746 | 16188 2676 57 | 38.738 % | c =============================================================================== c Total CPU time: 29.7635 s