c wbo 1.4 beta - 20100610
c |  Number of variables:  500                                                  |
c |  Number of clauses:    93681                                                |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.05         s                                      |
c |  Number Variables:      500                                                 |
c |  Number Clauses:        93181                                               |
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 |     500    93181   186362 |    31060        0    nan |  0.000 % |
c ===============================================================================
c New solution: 493
c Elapsed CPU time: 0.424935 s	Remaining CPU time: 179.575 s
c ===============================================================================
c |         0 |     500    93182   186862 |    31060        0    nan |  0.000 % |
c ===============================================================================
c New solution: 492
c Elapsed CPU time: 0.433934 s	Remaining CPU time: 179.566 s
c ===============================================================================
c |         2 |     500    93183   187362 |    31061        2    488 |  0.000 % |
c |       102 |     500    93183   187362 |    34167      102    482 |  0.139 % |
c |       252 |     500    93183   187362 |    37583      252    482 |  0.159 % |
c |       477 |     500    93183   187362 |    41342      477    482 |  0.166 % |
c |       814 |     500    93183   187362 |    45476      814    482 |  0.159 % |
c |      1321 |     499    93183   187362 |    50024     1321    482 |  0.360 % |
c |      2080 |     499    93183   187362 |    55026     2080    482 |  0.376 % |
c |      3219 |     499    93183   187362 |    60529     3219    482 |  0.335 % |
c |      4927 |     499    93183   187362 |    66582     4927    482 |  0.348 % |
c |      7489 |     497    93183   187362 |    73240     7489    482 |  0.732 % |
c |     11334 |     495    93183   187362 |    80564    11334    482 |  1.194 % |
c ===============================================================================
c New solution: 491
c Elapsed CPU time: 11.7022 s	Remaining CPU time: 168.298 s
c ===============================================================================
c |     15526 |     493    93184   187862 |    31061    15526    482 |  1.194 % |
c |     15626 |     493    93184   187862 |    34167    15626    482 |  1.563 % |
c |     15776 |     493    93184   187862 |    37584    15776    482 |  1.552 % |
c |     16001 |     493    93184   187862 |    41342    16001    482 |  1.565 % |
c |     16338 |     493    93184   187862 |    45476    16338    482 |  1.580 % |
c |     16844 |     492    93184   187862 |    50024    16844    482 |  1.734 % |
c |     17604 |     492    93184   187862 |    55027    17604    482 |  1.760 % |
c |     18743 |     492    93184   187862 |    60529    18664    482 |  1.737 % |
c |     20451 |     492    93184   187862 |    66582    20372    482 |  1.757 % |
c |     23013 |     490    93184   187862 |    73240    22934    482 |  2.174 % |
c |     26857 |     490    93184   187862 |    80565    26778    481 |  2.150 % |
c |     32623 |     483    93184   187862 |    88621    32544    481 |  3.547 % |
c |     41272 |     480    93184   187862 |    97483    41193    481 |  4.162 % |
c There are 23 assigned variables. 23 in cost function.
c Memory used           : 106.86 MB
c CPU time              : 180.124 s
c 
c Total CPU time: 180.124 s