Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT (TO) | -48 | 1800.08 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.00/0.09 c Converting 80035 PB-constraints to clauses... 0.00/0.09 c -- Unit propagations: (none) 0.00/0.09 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.09 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.00/0.16 c ==================================[MINISAT+]================================== 0.00/0.16 c | Conflicts | Original | Learnt | Progress | 0.00/0.16 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.16 c ============================================================================== 0.00/0.16 c | 0 | 80035 160070 | 26678 0 0 -nan | 0.000 % | 0.00/0.16 c ============================================================================== 0.00/0.16 c [1mFound solution: -37[0m 0.00/0.17 c ---[ 0]---> Sorter-cost:63046 Base: 0.00/0.20 c ==================================[MINISAT+]================================== 0.00/0.20 c | Conflicts | Original | Learnt | Progress | 0.00/0.20 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.20 c ============================================================================== 0.00/0.20 c | 0 | 147951 319392 | 49317 0 0 -nan | 0.000 % | 0.00/0.32 c | 100 | 147312 318040 | 54248 57 1282 22.5 | 0.772 % | 0.00/0.44 c | 251 | 146773 316900 | 59673 187 2917 15.6 | 1.422 % | 0.00/0.66 c | 476 | 145213 313544 | 65640 368 5352 14.5 | 3.429 % | 0.00/0.90 c | 813 | 143505 309796 | 72205 621 8354 13.5 | 5.644 % | 1.29/1.38 c | 1320 | 139677 301273 | 79425 1008 13306 13.2 | 10.638 % | 1.79/1.82 c | 2079 | 135693 292365 | 87368 1543 19391 12.6 | 15.964 % | 2.49/2.52 c | 3218 | 129784 278974 | 96104 2359 29829 12.6 | 24.035 % | 3.29/3.39 c | 4926 | 123451 264482 | 105715 3726 48618 13.0 | 32.884 % | 4.49/4.51 c | 7488 | 113685 241871 | 116286 5265 72610 13.8 | 46.471 % | 5.79/5.88 c | 11332 | 103852 218632 | 127915 7962 114705 14.4 | 60.670 % | 6.09/6.12 c ============================================================================== 6.09/6.12 c [1mFound solution: -38[0m 6.09/6.12 c ---[ 0]---> Sorter-cost: 0 Base: 6.09/6.13 c ==================================[MINISAT+]================================== 6.09/6.13 c | Conflicts | Original | Learnt | Progress | 6.09/6.13 c | | Clauses Literals | Max Clauses Literals LPC | | 6.09/6.13 c ============================================================================== 6.09/6.13 c | 12040 | 102285 214933 | 34095 8414 124807 14.8 | 60.670 % | 6.09/6.16 c | 12140 | 102166 214645 | 37504 8498 128015 15.1 | 63.140 % | 6.19/6.22 c | 12290 | 101703 213559 | 41254 8574 129145 15.1 | 63.804 % | 6.19/6.29 c | 12515 | 101343 212707 | 45380 8728 131717 15.1 | 64.329 % | 6.29/6.34 c | 12852 | 101142 212230 | 49918 9039 137436 15.2 | 64.626 % | 6.39/6.45 c | 13358 | 100487 210678 | 54910 9431 143863 15.3 | 65.571 % | 6.59/6.66 c | 14117 | 99399 208029 | 60401 10007 155862 15.6 | 67.217 % | 6.78/6.82 c | 15256 | 98829 206696 | 66441 10978 181034 16.5 | 68.013 % | 7.18/7.26 c | 16964 | 96219 200427 | 73085 12089 213911 17.7 | 71.854 % | 7.59/7.67 c | 19526 | 94829 197054 | 80394 14059 280640 20.0 | 73.972 % | 8.18/8.24 c | 23370 | 93282 193388 | 88433 17435 435361 25.0 | 76.254 % | 8.88/8.93 c ============================================================================== 8.88/8.93 c [1mFound solution: -39[0m 8.88/8.93 c ---[ 0]---> Sorter-cost: 0 Base: 8.88/8.95 c ==================================[MINISAT+]================================== 8.88/8.95 c | Conflicts | Original | Learnt | Progress | 8.88/8.95 c | | Clauses Literals | Max Clauses Literals LPC | | 8.88/8.95 c ============================================================================== 8.88/8.95 c | 27138 | 91518 189174 | 30506 19956 561484 28.1 | 76.254 % | 8.88/8.96 c | 27238 | 91518 189174 | 33556 20056 566237 28.2 | 78.958 % | 8.98/9.03 c | 27388 | 91058 188070 | 36912 20109 568062 28.2 | 79.649 % | 8.98/9.07 c | 27614 | 90912 187720 | 40603 20301 574009 28.3 | 79.946 % | 9.08/9.17 c | 27951 | 90537 186817 | 44663 20448 585467 28.6 | 80.426 % | 9.18/9.22 c | 28457 | 90537 186817 | 49130 20954 603456 28.8 | 80.426 % | 9.18/9.28 c ============================================================================== 9.18/9.28 c [1mFound solution: -40[0m 9.18/9.28 c ---[ 0]---> Sorter-cost: 0 Base: 9.28/9.30 c ==================================[MINISAT+]================================== 9.28/9.30 c | Conflicts | Original | Learnt | Progress | 9.28/9.30 c | | Clauses Literals | Max Clauses Literals LPC | | 9.28/9.30 c ============================================================================== 9.28/9.30 c | 28884 | 90478 186664 | 30159 21341 649708 30.4 | 80.426 % | 9.28/9.32 c | 28984 | 90470 186644 | 33174 21423 653900 30.5 | 80.530 % | 9.28/9.37 c | 29134 | 90279 186164 | 36492 21428 656822 30.7 | 80.826 % | 9.38/9.40 c | 29360 | 90273 186150 | 40141 21650 663502 30.6 | 80.834 % | 9.38/9.46 c | 29697 | 90120 185775 | 44155 21635 667996 30.9 | 81.072 % | 9.48/9.52 c | 30203 | 90065 185641 | 48571 22096 708500 32.1 | 81.154 % | 9.58/9.61 c | 30963 | 90065 185641 | 53428 22856 750794 32.8 | 81.154 % | 9.68/9.76 c ============================================================================== 9.68/9.76 c [1mFound solution: -41[0m 9.68/9.76 c ---[ 0]---> Sorter-cost: 0 Base: 9.68/9.78 c ==================================[MINISAT+]================================== 9.68/9.78 c | Conflicts | Original | Learnt | Progress | 9.68/9.78 c | | Clauses Literals | Max Clauses Literals LPC | | 9.68/9.78 c ============================================================================== 9.68/9.78 c | 32086 | 90011 185527 | 30003 23927 817853 34.2 | 81.154 % | 9.68/9.79 c | 32186 | 90011 185527 | 33003 24027 820154 34.1 | 81.253 % | 9.79/9.81 c | 32336 | 90011 185527 | 36303 24177 827008 34.2 | 81.253 % | 9.79/9.86 c | 32561 | 89889 185232 | 39933 24299 833193 34.3 | 81.430 % | 9.79/9.90 c | 32898 | 89879 185208 | 43927 24631 845578 34.3 | 81.445 % | 9.89/9.96 c | 33404 | 89834 185090 | 48320 25111 869744 34.6 | 81.521 % | 10.08/10.15 c | 34163 | 89697 184761 | 53152 25651 913989 35.6 | 81.724 % | 10.28/10.33 c | 35302 | 89587 184499 | 58467 26620 1005603 37.8 | 81.887 % | 10.58/10.60 c | 37010 | 89453 184177 | 64314 28198 1135806 40.3 | 82.090 % | 10.89/10.98 c | 39573 | 89338 183900 | 70745 30591 1285382 42.0 | 82.263 % | 11.68/11.79 c ============================================================================== 11.68/11.79 c [1mFound solution: -42[0m 11.68/11.79 c ---[ 0]---> Sorter-cost: 0 Base: 11.78/11.81 c ==================================[MINISAT+]================================== 11.78/11.81 c | Conflicts | Original | Learnt | Progress | 11.78/11.81 c | | Clauses Literals | Max Clauses Literals LPC | | 11.78/11.81 c ============================================================================== 11.78/11.81 c | 43322 | 89285 183736 | 29761 34090 2021210 59.3 | 82.263 % | 11.78/11.83 c | 43422 | 89285 183736 | 32737 34190 2024508 59.2 | 82.354 % | 11.78/11.86 c | 43572 | 89285 183736 | 36010 34340 2032527 59.2 | 82.354 % | 11.88/11.90 c | 43797 | 89266 183685 | 39611 34550 2047435 59.3 | 82.386 % | 11.88/11.96 c | 44135 | 89266 183685 | 43573 34888 2063738 59.2 | 82.386 % | 11.99/12.05 c | 44641 | 89266 183685 | 47930 35394 2109856 59.6 | 82.386 % | 12.09/12.17 c | 45400 | 89266 183685 | 52723 36153 2160261 59.8 | 82.386 % | 12.38/12.48 c | 46539 | 89074 183207 | 57995 37123 2239474 60.3 | 82.686 % | 12.78/12.89 c | 48248 | 88972 182965 | 63795 38602 2363265 61.2 | 82.837 % | 13.28/13.37 c | 50810 | 88925 182850 | 70174 41128 2594785 63.1 | 82.910 % | 14.08/14.19 c | 54655 | 88849 182666 | 77192 44682 3155418 70.6 | 83.022 % | 15.08/15.15 c | 60422 | 88741 182402 | 84911 50384 3570951 70.9 | 83.191 % | 17.18/17.20 c | 69072 | 88608 182083 | 93402 58841 4391799 74.6 | 83.389 % | 20.79/20.84 c | 82047 | 88446 181683 | 102743 71587 6213116 86.8 | 83.641 % | 21.58/21.65 c ============================================================================== 21.58/21.65 c [1mFound solution: -43[0m 21.58/21.65 c ---[ 0]---> Sorter-cost: 0 Base: 21.68/21.70 c ==================================[MINISAT+]================================== 21.68/21.70 c | Conflicts | Original | Learnt | Progress | 21.68/21.70 c | | Clauses Literals | Max Clauses Literals LPC | | 21.68/21.70 c ============================================================================== 21.68/21.70 c | 85047 | 88489 181812 | 29496 74587 6605965 88.6 | 83.641 % | 21.68/21.79 c | 85148 | 88448 181713 | 32445 21338 1766325 82.8 | 83.672 % | 21.78/21.83 c | 85298 | 88435 181682 | 35690 21480 1773493 82.6 | 83.691 % | 21.78/21.89 c | 85523 | 88424 181655 | 39259 21678 1783381 82.3 | 83.708 % | 21.89/21.95 c | 85860 | 88424 181655 | 43185 22015 1817430 82.6 | 83.708 % | 21.99/22.06 c | 86366 | 88297 181332 | 47503 22511 1847339 82.1 | 83.917 % | 22.08/22.19 c | 87125 | 88289 181310 | 52253 23258 1892246 81.4 | 83.932 % | 22.28/22.36 c | 88264 | 88289 181310 | 57479 24397 1983122 81.3 | 83.932 % | 22.48/22.55 c | 89972 | 88289 181310 | 63227 26105 2058004 78.8 | 83.932 % | 22.88/22.99 c | 92535 | 88278 181285 | 69550 28662 2294400 80.1 | 83.947 % | 23.68/23.77 c | 96379 | 88176 181023 | 76505 32491 2732873 84.1 | 84.119 % | 24.88/24.96 c | 102145 | 88122 180889 | 84155 38211 3475814 91.0 | 84.206 % | 26.78/26.81 c | 110794 | 88073 180764 | 92571 46858 4629516 98.8 | 84.287 % | 30.48/30.53 c | 123769 | 87814 180149 | 101828 59729 6544587 109.6 | 84.662 % | 36.78/36.81 c | 143231 | 87780 180065 | 112011 79107 9516079 120.3 | 84.716 % | 48.48/48.56 c | 172424 | 87506 179399 | 123212 108163 14311628 132.3 | 85.120 % | 59.28/59.36 c ============================================================================== 59.28/59.36 c [1mFound solution: -44[0m 59.28/59.36 c ---[ 0]---> Sorter-cost: 0 Base: 59.38/59.47 c ==================================[MINISAT+]================================== 59.38/59.47 c | Conflicts | Original | Learnt | Progress | 59.38/59.47 c | | Clauses Literals | Max Clauses Literals LPC | | 59.38/59.47 c ============================================================================== 59.38/59.47 c | 195185 | 87459 179273 | 29153 130774 17301267 132.3 | 85.120 % | 59.57/59.64 c | 195288 | 87453 179259 | 32068 20732 1817944 87.7 | 85.200 % | 59.57/59.67 c | 195439 | 87453 179259 | 35275 20883 1830474 87.7 | 85.200 % | 59.67/59.70 c | 195665 | 87453 179259 | 38802 21109 1845659 87.4 | 85.200 % | 59.67/59.74 c | 196002 | 87453 179259 | 42682 21446 1861441 86.8 | 85.200 % | 59.77/59.83 c | 196508 | 87442 179232 | 46951 21948 1920342 87.5 | 85.218 % | 59.87/59.94 c | 197267 | 87440 179228 | 51646 22704 1971728 86.8 | 85.220 % | 60.07/60.13 c | 198406 | 87430 179204 | 56810 23838 2107264 88.4 | 85.235 % | 60.27/60.37 c | 200116 | 87430 179204 | 62492 25548 2262663 88.6 | 85.235 % | 60.77/60.81 c | 202678 | 87395 179125 | 68741 28105 2536053 90.2 | 85.282 % | 61.37/61.50 c | 206522 | 87395 179125 | 75615 31949 3064256 95.9 | 85.282 % | 62.68/62.76 c | 212288 | 87395 179125 | 83176 37715 3918746 103.9 | 85.282 % | 64.78/64.81 c | 220937 | 87271 178829 | 91494 46280 5090019 110.0 | 85.465 % | 67.97/68.06 c | 233912 | 87266 178816 | 100644 59254 6931306 117.0 | 85.474 % | 73.68/73.71 c | 253374 | 87265 178813 | 110708 78708 9149021 116.2 | 85.476 % | 84.45/84.59 c | 282566 | 87215 178689 | 121779 107894 13156513 121.9 | 85.555 % | 89.25/89.39 c ============================================================================== 89.25/89.39 c [1mFound solution: -45[0m 89.25/89.39 c ---[ 0]---> Sorter-cost: 0 Base: 89.35/89.48 c ==================================[MINISAT+]================================== 89.35/89.48 c | Conflicts | Original | Learnt | Progress | 89.35/89.48 c | | Clauses Literals | Max Clauses Literals LPC | | 89.35/89.48 c ============================================================================== 89.35/89.48 c | 295527 | 87233 178741 | 29077 120851 14577716 120.6 | 85.555 % | 89.55/89.65 c | 295628 | 87227 178727 | 31984 23504 1499387 63.8 | 85.547 % | 89.65/89.70 c | 295779 | 87213 178691 | 35183 23627 1503173 63.6 | 85.571 % | 89.65/89.73 c | 296005 | 87213 178691 | 38701 23853 1522211 63.8 | 85.571 % | 89.65/89.78 c | 296342 | 87213 178691 | 42571 24190 1539550 63.6 | 85.571 % | 89.75/89.85 c | 296849 | 87213 178691 | 46828 24697 1589838 64.4 | 85.571 % | 89.85/89.96 c | 297608 | 87213 178691 | 51511 25456 1667139 65.5 | 85.571 % | 90.06/90.13 c | 298748 | 87213 178691 | 56662 26596 1766768 66.4 | 85.571 % | 90.35/90.44 c | 300456 | 87037 178248 | 62329 28282 1867034 66.0 | 85.854 % | 90.75/90.85 c | 303018 | 87027 178224 | 68562 30840 2120411 68.8 | 85.869 % | 91.45/91.52 c | 306862 | 86979 178108 | 75418 34629 2479288 71.6 | 85.943 % | 92.55/92.60 c | 312628 | 86912 177947 | 82960 40321 3121316 77.4 | 86.041 % | 94.34/94.48 c | 321278 | 86893 177902 | 91256 48963 4117898 84.1 | 86.069 % | 97.54/97.65 c | 334253 | 86852 177804 | 100381 61919 5831193 94.2 | 86.130 % | 102.44/102.56 c | 353714 | 86824 177734 | 110419 81310 8105331 99.7 | 86.175 % | 110.73/110.83 c | 382908 | 86815 177713 | 121461 110475 11834073 107.1 | 86.188 % | 127.62/127.72 c | 426699 | 86815 177713 | 133608 154266 17445514 113.1 | 86.188 % | 144.22/144.33 c ============================================================================== 144.22/144.33 c [1mFound solution: -46[0m 144.22/144.33 c ---[ 0]---> Sorter-cost: 0 Base: 144.22/144.37 c ==================================[MINISAT+]================================== 144.22/144.37 c | Conflicts | Original | Learnt | Progress | 144.22/144.37 c | | Clauses Literals | Max Clauses Literals LPC | | 144.22/144.37 c ============================================================================== 144.22/144.37 c | 480192 | 86794 177630 | 28931 53155 4993455 93.9 | 86.188 % | 144.22/144.39 c | 480292 | 86794 177630 | 31824 53255 4997751 93.8 | 86.225 % | 144.32/144.42 c | 480442 | 86794 177630 | 35006 53405 5005448 93.7 | 86.225 % | 144.32/144.47 c | 480668 | 86794 177630 | 38507 53631 5022508 93.6 | 86.225 % | 144.42/144.54 c | 481006 | 86794 177630 | 42357 53969 5050860 93.6 | 86.225 % | 144.52/144.63 c | 481512 | 86794 177630 | 46593 54475 5090837 93.5 | 86.225 % | 144.62/144.74 c | 482271 | 86794 177630 | 51253 55234 5148466 93.2 | 86.225 % | 144.82/144.94 c | 483411 | 86786 177610 | 56378 56369 5226631 92.7 | 86.238 % | 145.12/145.23 c | 485121 | 86786 177610 | 62016 58079 5394568 92.9 | 86.238 % | 145.62/145.74 c | 487683 | 86786 177610 | 68217 60641 5655652 93.3 | 86.238 % | 146.32/146.49 c | 491527 | 86786 177610 | 75039 64485 6046015 93.8 | 86.238 % | 147.52/147.60 c | 497294 | 86779 177593 | 82543 70249 6806710 96.9 | 86.248 % | 149.32/149.45 c | 505943 | 86779 177593 | 90797 78898 7601890 96.4 | 86.249 % | 152.72/152.81 c | 518917 | 86771 177573 | 99877 91864 8838745 96.2 | 86.261 % | 158.22/158.38 c | 538378 | 86746 177516 | 109865 111312 11035088 99.1 | 86.296 % | 166.51/166.63 c | 567572 | 86737 177495 | 120851 140497 14673332 104.4 | 86.309 % | 178.81/178.97 c | 611362 | 86737 177495 | 132937 45092 2420518 53.7 | 86.309 % | 197.82/197.91 c | 677046 | 86734 177488 | 146230 110773 8199628 74.0 | 86.313 % | 233.20/233.34 c | 775573 | 86689 177377 | 160853 44089 2079261 47.2 | 86.384 % | 278.99/279.14 c | 923362 | 86689 177377 | 176939 191878 9471881 49.4 | 86.384 % | 363.17/363.38 c | 1145045 | 86686 177370 | 194633 31168 824730 26.5 | 86.388 % | 484.06/484.21 c | 1477570 | 86636 177252 | 214096 159169 6441004 40.5 | 86.459 % | 672.53/672.71 c ============================================================================== 672.53/672.71 c [1mFound solution: -47[0m 672.53/672.71 c ---[ 0]---> Sorter-cost: 0 Base: 672.53/672.76 c ==================================[MINISAT+]================================== 672.53/672.76 c | Conflicts | Original | Learnt | Progress | 672.53/672.76 c | | Clauses Literals | Max Clauses Literals LPC | | 672.53/672.76 c ============================================================================== 672.53/672.76 c | 1924562 | 86644 177283 | 28881 150071 6211619 41.4 | 86.459 % | 673.53/673.76 c | 1924662 | 86644 177283 | 31769 30559 868542 28.4 | 86.484 % | 673.53/673.79 c | 1924812 | 86644 177283 | 34946 30709 874115 28.5 | 86.484 % | 673.63/673.83 c | 1925038 | 86644 177283 | 38440 30935 884977 28.6 | 86.484 % | 673.63/673.88 c | 1925376 | 86644 177283 | 42284 31273 902139 28.8 | 86.484 % | 673.73/673.94 c | 1925882 | 86644 177283 | 46513 31779 932829 29.4 | 86.484 % | 673.83/674.02 c | 1926642 | 86604 177181 | 51164 32517 956208 29.4 | 86.551 % | 673.93/674.12 c | 1927781 | 86595 177158 | 56280 33652 996769 29.6 | 86.566 % | 674.03/674.25 c | 1929489 | 86595 177158 | 61908 35360 1072194 30.3 | 86.566 % | 674.23/674.47 c | 1932052 | 86595 177158 | 68099 37923 1217510 32.1 | 86.566 % | 674.73/674.96 c | 1935896 | 86485 176893 | 74909 41736 1487083 35.6 | 86.731 % | 675.53/675.73 c | 1941663 | 86485 176893 | 82400 47503 2109628 44.4 | 86.731 % | 676.73/676.94 c | 1950313 | 86441 176793 | 90640 56140 2846133 50.7 | 86.791 % | 679.03/679.26 c | 1963289 | 86441 176793 | 99705 69116 4075416 59.0 | 86.791 % | 683.33/683.52 c | 1982750 | 86441 176793 | 109675 88577 5215270 58.9 | 86.791 % | 691.12/691.39 c | 2011943 | 86439 176789 | 120643 117769 6723646 57.1 | 86.793 % | 705.72/705.99 c | 2055733 | 86439 176789 | 132707 161559 8855065 54.8 | 86.793 % | 722.53/722.71 c | 2121418 | 86439 176789 | 145978 79735 3481813 43.7 | 86.793 % | 758.51/758.71 c | 2219944 | 86424 176754 | 160575 178258 8803483 49.4 | 86.815 % | 808.21/808.46 c | 2367734 | 86424 176754 | 176633 150416 8981883 59.7 | 86.815 % | 884.79/885.00 c | 2589418 | 86409 176719 | 194296 179161 11236826 62.7 | 86.836 % | 1003.07/1003.35 c | 2921944 | 86390 176674 | 213726 102211 5156919 50.5 | 86.864 % | 1023.57/1023.83 c ============================================================================== 1023.57/1023.83 c [1mFound solution: -48[0m 1023.57/1023.83 c ---[ 0]---> Sorter-cost: 0 Base: 1023.67/1023.90 c ==================================[MINISAT+]================================== 1023.67/1023.90 c | Conflicts | Original | Learnt | Progress | 1023.67/1023.90 c | | Clauses Literals | Max Clauses Literals LPC | | 1023.67/1023.90 c ============================================================================== 1023.67/1023.90 c | 2985476 | 86365 176597 | 28788 165739 8148112 49.2 | 86.864 % | 1024.57/1024.87 c | 2985578 | 86365 176597 | 31666 31788 799594 25.2 | 86.903 % | 1024.57/1024.89 c | 2985729 | 86365 176597 | 34833 31939 803951 25.2 | 86.903 % | 1024.67/1024.92 c | 2985954 | 86356 176576 | 38316 32162 812625 25.3 | 86.916 % | 1024.67/1024.96 c | 2986291 | 86356 176576 | 42148 32499 825594 25.4 | 86.916 % | 1024.77/1025.00 c | 2986797 | 86356 176576 | 46363 33005 841034 25.5 | 86.916 % | 1024.77/1025.07 c | 2987557 | 86356 176576 | 50999 33765 892311 26.4 | 86.916 % | 1024.87/1025.17 c | 2988696 | 86356 176576 | 56099 34904 957143 27.4 | 86.916 % | 1025.07/1025.36 c | 2990404 | 86355 176573 | 61709 36597 1048904 28.7 | 86.918 % | 1025.37/1025.68 c | 2992968 | 86313 176479 | 67880 39146 1221155 31.2 | 86.974 % | 1025.87/1026.16 c | 2996812 | 86313 176479 | 74668 42990 1444440 33.6 | 86.974 % | 1026.67/1026.90 c | 3002578 | 86226 176265 | 82135 48697 1779061 36.5 | 87.107 % | 1027.97/1028.28 c | 3011227 | 86226 176265 | 90349 57346 2368893 41.3 | 87.107 % | 1030.07/1030.34 c | 3024201 | 86220 176249 | 99383 70280 3381345 48.1 | 87.118 % | 1033.87/1034.13 c | 3043663 | 86220 176249 | 109322 89742 4457778 49.7 | 87.118 % | 1041.37/1041.69 c | 3072855 | 86215 176238 | 120254 118932 5690151 47.8 | 87.124 % | 1055.26/1055.50 c | 3116644 | 86208 176223 | 132280 162718 7834790 48.1 | 87.133 % | 1072.06/1072.32 c | 3182328 | 86203 176210 | 145508 83595 3283676 39.3 | 87.141 % | 1106.76/1107.07 c | 3280854 | 86148 176080 | 160058 182098 7977124 43.8 | 87.221 % | 1153.36/1153.68 c | 3428644 | 86141 176063 | 176064 158608 6163482 38.9 | 87.231 % | 1237.34/1237.62 c | 3650327 | 86128 176032 | 193671 198065 7305553 36.9 | 87.251 % | 1346.92/1347.29 c | 3982853 | 86014 175755 | 213038 128082 5024089 39.2 | 87.420 % | 1518.70/1519.09 c | 4481641 | 85995 175708 | 234342 190883 7369511 38.6 | 87.450 % | 1800.06/1800.40 c 1800.06/1800.40 c *** TERMINATED *** 1800.06/1800.40 s SATISFIABLE 1800.06/1800.40 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -48
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723559-1338571786/watcher-3723559-1338571786 -o /tmp/evaluation-result-3723559-1338571786/solver-3723559-1338571786 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723559-1338571786.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.01 1.89 3/179 20524 /proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [startup+0.0119111 s] /proc/loadavg: 2.01 2.01 1.89 3/179 20524 /proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100281 s] /proc/loadavg: 2.01 2.01 1.89 3/179 20524 /proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300345 s] /proc/loadavg: 2.01 2.01 1.89 3/179 20524 /proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700353 s] /proc/loadavg: 2.01 2.01 1.89 3/179 20524 /proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5004 s] /proc/loadavg: 2.01 2.01 1.89 3/181 20529 /proc/meminfo: memFree=28265220/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=40672 CPUtime=1.49 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9896 0 0 0 145 4 0 0 20 0 1 0 323304015 41648128 9852 33554432000 4194304 5276501 140735827143392 140735827141640 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 10168 9852 116 265 0 9900 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49820 [startup+3.1004 s] /proc/loadavg: 2.01 2.01 1.89 3/181 20529 /proc/meminfo: memFree=28264848/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=40672 CPUtime=3.09 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9897 0 0 0 305 4 0 0 20 0 1 0 323304015 41648128 9853 33554432000 4194304 5276501 140735827143392 140735827141640 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 10168 9853 117 265 0 9900 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49820 [startup+6.30035 s] /proc/loadavg: 2.01 2.01 1.89 3/181 20529 /proc/meminfo: memFree=28264984/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=40672 CPUtime=6.29 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9897 0 0 0 625 4 0 0 20 0 1 0 323304015 41648128 9853 33554432000 4194304 5276501 140735827143392 140735827141640 4745056 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 10168 9853 117 265 0 9900 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49820 [startup+12.7003 s] /proc/loadavg: 2.01 2.01 1.89 3/181 20529 /proc/meminfo: memFree=28265676/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=40672 CPUtime=12.68 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9899 0 0 0 1264 4 0 0 20 0 1 0 323304015 41648128 9855 33554432000 4194304 5276501 140735827143392 140735827141640 4399749 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 10168 9855 119 265 0 9900 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49820 [startup+25.5004 s] /proc/loadavg: 2.01 2.01 1.89 3/182 20532 /proc/meminfo: memFree=28217360/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=56648 CPUtime=25.48 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 13915 0 0 0 2543 5 0 0 20 0 1 0 323304015 58007552 13818 33554432000 4194304 5276501 140735827143392 140735827141640 4399913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 14162 13818 119 265 0 13894 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65796 [startup+51.1004 s] /proc/loadavg: 2.00 2.01 1.89 3/182 20532 /proc/meminfo: memFree=28168712/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=93860 CPUtime=51.08 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 23197 0 0 0 5099 9 0 0 20 0 1 0 323304015 96112640 23100 33554432000 4194304 5276501 140735827143392 140735827141384 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 23465 23100 119 265 0 23197 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 103008 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.90 3/181 20533 /proc/meminfo: memFree=28111368/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=104144 CPUtime=102.25 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 25885 0 0 0 10216 9 0 0 20 0 1 0 323304015 106643456 25710 33554432000 4194304 5276501 140735827143392 140735827141640 4397196 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 26036 25710 119 265 0 25768 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 113292 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.90 3/181 20533 /proc/meminfo: memFree=28087828/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=120724 CPUtime=162.21 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 29944 0 0 0 16209 12 0 0 20 0 1 0 323304015 123621376 29750 33554432000 4194304 5276501 140735827143392 140735827141624 4400017 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 30181 29750 119 265 0 29913 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 129872 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 20533 /proc/meminfo: memFree=28086600/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=120716 CPUtime=222.2 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 29958 0 0 0 22208 12 0 0 20 0 1 0 323304015 123613184 29764 33554432000 4194304 5276501 140735827143392 140735827141640 4399290 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 30179 29764 119 265 0 29911 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 129864 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 20533 /proc/meminfo: memFree=28047228/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=120716 CPUtime=282.19 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 30004 0 0 0 28207 12 0 0 20 0 1 0 323304015 123613184 29809 33554432000 4194304 5276501 140735827143392 140735827141640 4399850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 30179 29809 119 265 0 29911 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 129864 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 20533 /proc/meminfo: memFree=28013360/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=122496 CPUtime=342.18 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 30242 0 0 0 34206 12 0 0 20 0 1 0 323304015 125435904 30059 33554432000 4194304 5276501 140735827143392 140735827141624 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 30624 30059 119 265 0 30356 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 131644 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/181 20534 /proc/meminfo: memFree=28012040/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=136676 CPUtime=1062.06 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33439 0 0 0 106192 14 0 0 20 0 1 0 323304015 139956224 33262 33554432000 4194304 5276501 140735827143392 140735827141640 4399757 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 34169 33262 119 265 0 33901 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 145824 [startup+1122.3 s] /proc/loadavg: 2.10 2.05 1.94 3/181 20540 /proc/meminfo: memFree=27999952/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=137160 CPUtime=1122.06 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33525 0 0 0 112191 15 0 0 20 0 1 0 323304015 140451840 33348 33554432000 4194304 5276501 140735827143392 140735827141640 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 34290 33348 119 265 0 34022 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 146308 [startup+1182.3 s] /proc/loadavg: 2.14 2.07 1.95 3/181 20540 /proc/meminfo: memFree=27999952/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=137232 CPUtime=1182.05 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33541 0 0 0 118190 15 0 0 20 0 1 0 323304015 140525568 33364 33554432000 4194304 5276501 140735827143392 140735827141816 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 34308 33364 119 265 0 34040 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 146380 [startup+1242.3 s] /proc/loadavg: 2.13 2.08 1.96 3/182 20543 /proc/meminfo: memFree=27998456/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=138472 CPUtime=1242.04 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33800 0 0 0 124189 15 0 0 20 0 1 0 323304015 141795328 33623 33554432000 4194304 5276501 140735827143392 140735827141624 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 34618 33623 119 265 0 34350 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 147620 [startup+1302.3 s] /proc/loadavg: 2.05 2.06 1.96 3/181 20543 /proc/meminfo: memFree=27997596/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=139496 CPUtime=1302.04 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34020 0 0 0 130189 15 0 0 20 0 1 0 323304015 142843904 33843 33554432000 4194304 5276501 140735827143392 140735827141816 4399330 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 34874 33843 119 265 0 34606 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 148644 [startup+1362.3 s] /proc/loadavg: 2.09 2.08 1.97 3/181 20544 /proc/meminfo: memFree=27997224/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=139496 CPUtime=1362.02 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34033 0 0 0 136187 15 0 0 20 0 1 0 323304015 142843904 33856 33554432000 4194304 5276501 140735827143392 140735827141640 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 34874 33856 119 265 0 34606 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 148644 [startup+1422.31 s] /proc/loadavg: 2.03 2.06 1.97 3/181 20544 /proc/meminfo: memFree=27997224/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=140024 CPUtime=1422.02 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34103 0 0 0 142187 15 0 0 20 0 1 0 323304015 143384576 33926 33554432000 4194304 5276501 140735827143392 140735827141624 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 35006 33926 119 265 0 34738 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 149172 [startup+1482.3 s] /proc/loadavg: 2.07 2.06 1.97 3/181 20544 /proc/meminfo: memFree=27996852/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=140528 CPUtime=1482 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34206 0 0 0 148185 15 0 0 20 0 1 0 323304015 143900672 34029 33554432000 4194304 5276501 140735827143392 140735827141624 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 35132 34029 119 265 0 34864 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 149676 [startup+1542.3 s] /proc/loadavg: 2.02 2.05 1.97 3/181 20544 /proc/meminfo: memFree=27996480/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=141012 CPUtime=1541.99 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34297 0 0 0 154184 15 0 0 20 0 1 0 323304015 144396288 34120 33554432000 4194304 5276501 140735827143392 140735827141816 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 35253 34120 119 265 0 34985 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 150160 [startup+1602.3 s] /proc/loadavg: 2.01 2.04 1.97 3/181 20544 /proc/meminfo: memFree=27995984/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=141660 CPUtime=1601.98 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34468 0 0 0 160183 15 0 0 20 0 1 0 323304015 145059840 34291 33554432000 4194304 5276501 140735827143392 140735827141624 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 35415 34291 119 265 0 35147 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 150808 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 1.97 3/181 20545 /proc/meminfo: memFree=27994868/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=142584 CPUtime=1661.97 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34645 0 0 0 166182 15 0 0 20 0 1 0 323304015 146006016 34468 33554432000 4194304 5276501 140735827143392 140735827141576 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 35646 34468 119 265 0 35378 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 151732 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 1.97 3/181 20545 /proc/meminfo: memFree=27994496/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=142992 CPUtime=1721.96 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34766 0 0 0 172181 15 0 0 20 0 1 0 323304015 146423808 34589 33554432000 4194304 5276501 140735827143392 140735827141816 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 35748 34589 119 265 0 35480 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 152140 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.97 3/181 20545 /proc/meminfo: memFree=27993256/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=144180 CPUtime=1781.95 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 35030 0 0 0 178180 15 0 0 20 0 1 0 323304015 147640320 34853 33554432000 4194304 5276501 140735827143392 140735827141624 4399364 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 36045 34853 119 265 0 35777 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 153328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.01 1.97 3/176 20575 /proc/meminfo: memFree=28209480/32873844 swapFree=7124/7124 [pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/20524/statm: 2287 277 236 213 0 72 0 [pid=20528] ppid=20524 vsize=144484 CPUtime=1800.06 cores=1,3,5,7 /proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 35101 0 0 0 179991 15 0 0 20 0 1 0 323304015 147951616 34924 33554432000 4194304 5276501 140735827143392 140735827141624 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/20528/statm: 36121 34924 119 265 0 35853 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 153632 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.08 CPU user time (s): 1799.92 CPU system time (s): 0.160975 CPU usage (%): 99.9814 Max. virtual memory (cumulated for all children) (KiB): 153632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.160975 maximum resident set size= 139700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36050 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70 involuntary context switches= 1857 runsolver used 3.09553 second user time and 8.45072 second system time The end
Begin job on node134 at 2012-06-01 19:29:46 IDJOB=3723559 IDBENCH=2262 IDSOLVER=2307 FILE ID=node134/3723559-1338571786 RUNJOBID= node134-1338569978-20369 PBS_JOBID= 14635850 Free space on /tmp= 70352 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723559-1338571786/watcher-3723559-1338571786 -o /tmp/evaluation-result-3723559-1338571786/solver-3723559-1338571786 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723559-1338571786.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED=1980438695 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28305080 kB Buffers: 437696 kB Cached: 3187056 kB SwapCached: 76 kB Active: 1735932 kB Inactive: 1940360 kB Active(anon): 42808 kB Inactive(anon): 10508 kB Active(file): 1693124 kB Inactive(file): 1929852 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67107756 kB Dirty: 8972 kB Writeback: 0 kB AnonPages: 57976 kB Mapped: 11636 kB Shmem: 96 kB Slab: 753560 kB SReclaimable: 195052 kB SUnreclaim: 558508 kB KernelStack: 1472 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 166468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70352 MiB End job on node134 at 2012-06-01 19:59:47