c wbo 1.4 beta - 20100610 c | Number of variables: 101 | c | Number of clauses: 692 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 120 | c | Number Clauses: 629 | 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 | 120 629 1982 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 13063 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 14 | 120 630 2064 | 5000 14 3 | 0.000 % | c =============================================================================== c New solution: 12065 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 20 | 120 631 2146 | 5000 20 3 | 0.000 % | c =============================================================================== c New solution: 12061 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 23 | 120 632 2228 | 5000 23 3 | 0.000 % | c =============================================================================== c New solution: 12060 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 24 | 120 633 2310 | 5000 24 3 | 0.000 % | c =============================================================================== c New solution: 12059 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 33 | 120 634 2392 | 5000 33 9 | 0.000 % | c =============================================================================== c New solution: 10064 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 47 | 120 635 2474 | 5000 47 7 | 0.000 % | c =============================================================================== c New solution: 10063 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 47 | 120 636 2556 | 5000 47 7 | 0.000 % | c =============================================================================== c New solution: 10062 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 47 | 120 637 2638 | 5000 47 7 | 0.000 % | c =============================================================================== c New solution: 9064 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 47 | 120 638 2720 | 5000 47 7 | 0.000 % | c =============================================================================== c New solution: 9063 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 49 | 120 639 2802 | 5000 49 9 | 0.000 % | c | 149 | 120 639 2802 | 5500 149 32 | 0.007 % | c =============================================================================== c New solution: 9061 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 162 | 120 640 2884 | 5000 162 31 | 0.007 % | c | 263 | 120 640 2884 | 5500 263 35 | 0.007 % | c =============================================================================== c New solution: 9060 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 274 | 120 641 2966 | 5000 274 35 | 0.007 % | c | 374 | 120 641 2966 | 5500 374 37 | 0.084 % | c | 525 | 120 641 2966 | 6050 525 39 | 0.063 % | c =============================================================================== c New solution: 9059 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 645 | 120 642 3048 | 5000 645 39 | 0.063 % | c | 746 | 120 642 3048 | 5500 746 39 | 0.091 % | c =============================================================================== c New solution: 8064 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 789 | 120 643 3130 | 5000 789 39 | 0.091 % | c | 890 | 120 643 3130 | 5500 890 39 | 0.083 % | c =============================================================================== c New solution: 8063 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 917 | 120 644 3212 | 5000 917 39 | 0.083 % | c =============================================================================== c New solution: 8062 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 944 | 120 645 3294 | 5000 944 39 | 0.083 % | c | 1045 | 120 645 3294 | 5500 1045 39 | 0.084 % | c =============================================================================== c New solution: 8061 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1056 | 120 646 3376 | 5000 1056 39 | 0.084 % | c | 1157 | 120 646 3376 | 5500 1157 39 | 0.084 % | c | 1307 | 120 646 3376 | 6050 1307 40 | 0.083 % | c | 1533 | 120 646 3376 | 6655 1533 39 | 0.098 % | c =============================================================================== c New solution: 8060 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 1587 | 120 647 3458 | 5000 1587 39 | 0.098 % | c | 1689 | 119 647 3458 | 5500 1672 39 | 0.868 % | c | 1839 | 119 647 3458 | 6050 1822 40 | 0.981 % | c | 2065 | 119 647 3458 | 6655 2048 40 | 0.980 % | c =============================================================================== c New solution: 8059 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 2130 | 118 648 3540 | 5000 2113 40 | 0.980 % | c | 2230 | 118 648 3540 | 5500 2213 40 | 1.806 % | c | 2380 | 118 648 3540 | 6050 2363 40 | 1.675 % | c | 2605 | 116 648 3540 | 6655 2588 40 | 3.458 % | c | 2942 | 116 648 3540 | 7320 2925 41 | 3.458 % | c | 3448 | 116 648 3540 | 8052 3431 41 | 3.340 % | c | 4207 | 116 648 3540 | 8857 4190 41 | 3.458 % | c | 5346 | 116 648 3540 | 9743 5329 42 | 3.431 % | c | 7054 | 115 648 3540 | 10717 7037 41 | 4.285 % | c | 9616 | 115 648 3540 | 11789 9599 42 | 4.292 % | c | 13460 | 114 648 3540 | 12968 7450 41 | 5.007 % | c | 19227 | 113 648 3540 | 14265 6691 42 | 5.848 % | c | 27877 | 112 648 3540 | 15692 8174 42 | 6.681 % | c | 40852 | 111 648 3540 | 17261 13279 42 | 7.514 % | c | 60315 | 109 648 3540 | 18987 15372 44 | 9.292 % | c | 89507 | 107 648 3540 | 20886 16014 43 | 10.862 % | c | 133297 | 95 648 3540 | 22974 13516 42 | 20.855 % | c =============================================================================== c Total CPU time: 32.2891 s