c wbo 1.4 beta - 20100610
c |  Number of variables:  150                                                  |
c |  Number of clauses:    4620                                                 |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      150                                                 |
c |  Number Clauses:        4470                                                |
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 |     150     4470     8940 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 143
c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
c ===============================================================================
c |         0 |     150     4471     9090 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 141
c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
c ===============================================================================
c |         1 |     150     4472     9240 |     5000        1    139 |  0.000 % |
c ===============================================================================
c New solution: 140
c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
c ===============================================================================
c |         3 |     150     4473     9390 |     5000        3    137 |  0.000 % |
c |       103 |     150     4473     9390 |     5500      103    135 |  0.325 % |
c |       253 |     150     4473     9390 |     6050      253    135 |  0.215 % |
c ===============================================================================
c New solution: 139
c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
c ===============================================================================
c |       254 |     150     4474     9540 |     5000      254    135 |  0.215 % |
c |       354 |     150     4474     9540 |     5500      354    135 |  0.281 % |
c |       505 |     150     4474     9540 |     6050      505    134 |  0.299 % |
c |       731 |     150     4474     9540 |     6655      731    134 |  0.348 % |
c |      1068 |     150     4474     9540 |     7320     1068    134 |  0.308 % |
c ===============================================================================
c New solution: 138
c Elapsed CPU time: 0.114982 s	Remaining CPU time: 179.885 s
c ===============================================================================
c |      1218 |     150     4475     9690 |     5000     1218    134 |  0.308 % |
c |      1319 |     150     4475     9690 |     5500     1319    134 |  0.241 % |
c |      1469 |     150     4475     9690 |     6050     1469    134 |  0.299 % |
c |      1695 |     150     4475     9690 |     6655     1695    133 |  0.330 % |
c |      2033 |     150     4475     9690 |     7320     2033    133 |  0.236 % |
c |      2539 |     150     4475     9690 |     8052     2539    133 |  0.277 % |
c |      3299 |     150     4475     9690 |     8857     3299    133 |  0.223 % |
c |      4438 |     150     4475     9690 |     9743     4438    133 |  0.264 % |
c |      6146 |     150     4475     9690 |    10717     6146    132 |  0.273 % |
c |      8708 |     150     4475     9690 |    11789     8708    132 |  0.313 % |
c |     12553 |     150     4475     9690 |    12968     6604    132 |  0.294 % |
c |     18319 |     150     4475     9690 |    14265    12370    132 |  0.272 % |
c |     26968 |     150     4475     9690 |    15692    13827    132 |  0.290 % |
c |     39942 |     149     4475     9690 |    17261    10891    132 |  1.001 % |
c |     59404 |     148     4475     9690 |    18987    12972    131 |  1.637 % |
c |     88596 |     147     4475     9690 |    20886    13500    131 |  2.498 % |
c |    132385 |     144     4475     9690 |    22974    15276    131 |  4.281 % |
c ===============================================================================
c New solution: 137
c Elapsed CPU time: 146.848 s	Remaining CPU time: 33.1523 s
c ===============================================================================
c |    162720 |     141     4476     9840 |     5000    21278    131 |  4.281 % |
c |    162820 |     141     4476     9840 |     5500     2771    129 |  6.255 % |
c |    162970 |     141     4476     9840 |     6050     2921    129 |  6.290 % |
c |    163195 |     141     4476     9840 |     6655     3146    129 |  6.303 % |
c |    163532 |     141     4476     9840 |     7320     3483    130 |  6.255 % |
c |    164038 |     141     4476     9840 |     8052     3989    130 |  6.255 % |
c |    164797 |     141     4476     9840 |     8857     4748    130 |  6.228 % |
c |    165936 |     141     4476     9840 |     9743     5887    130 |  6.254 % |
c |    167644 |     141     4476     9840 |    10717     7595    130 |  6.352 % |
c |    170207 |     141     4476     9840 |    11789    10158    130 |  6.241 % |
c |    174051 |     141     4476     9840 |    12968     8050    130 |  6.267 % |
c |    179818 |     141     4476     9840 |    14265     7274    130 |  6.294 % |
c |    188467 |     141     4476     9840 |    15692     8738    129 |  6.493 % |
c |    201441 |     140     4476     9840 |    17261    13816    130 |  7.014 % |
c There are 10 assigned variables. 10 in cost function.
c Memory used           : 127.34 MB
c CPU time              : 180.187 s
c 
c Total CPU time: 180.187 s