Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT (TO) | -52 | 1800.02 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
MD5SUM | 4c9dc9cf5c24873d3237c90ee1682632 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109379 |
Number of constraints which are clauses | 109379 |
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 | 1400 |
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 | 1400 |
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 | 1400 |
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.11 c Converting 109379 PB-constraints to clauses... 0.00/0.12 c -- Unit propagations: (none) 0.00/0.12 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.12 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.00/0.21 c ==================================[MINISAT+]================================== 0.00/0.21 c | Conflicts | Original | Learnt | Progress | 0.00/0.21 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.21 c ============================================================================== 0.00/0.21 c | 0 | 109379 218758 | 36459 0 0 -nan | 0.000 % | 0.00/0.21 c ============================================================================== 0.00/0.21 c [1mFound solution: -40[0m 0.00/0.21 c ---[ 0]---> Sorter-cost:78076 Base: 0.00/0.25 c ==================================[MINISAT+]================================== 0.00/0.25 c | Conflicts | Original | Learnt | Progress | 0.00/0.25 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.25 c ============================================================================== 0.00/0.25 c | 0 | 193072 415055 | 64357 0 0 -nan | 0.000 % | 0.00/0.36 c | 100 | 192289 413380 | 70792 76 438 5.8 | 0.796 % | 0.00/0.50 c | 250 | 191308 411295 | 77871 154 1089 7.1 | 1.765 % | 0.00/0.69 c | 475 | 189986 408459 | 85659 332 3281 9.9 | 3.095 % | 0.00/0.89 c | 812 | 188252 404641 | 94225 591 5859 9.9 | 4.924 % | 1.20/1.24 c | 1318 | 185282 398055 | 103647 966 10783 11.2 | 8.159 % | 1.69/1.75 c | 2077 | 180838 388205 | 114012 1540 17472 11.3 | 12.913 % | 2.49/2.52 c | 3217 | 174443 373819 | 125413 2405 26326 10.9 | 19.837 % | 3.59/3.63 c | 4926 | 164707 351629 | 137954 3519 39698 11.3 | 30.683 % | 4.89/4.91 c | 7489 | 154828 328889 | 151750 5300 62578 11.8 | 41.851 % | 6.39/6.42 c | 11333 | 144041 303471 | 166925 8104 98119 12.1 | 54.423 % | 8.09/8.12 c | 17099 | 132984 277309 | 183618 12179 161679 13.3 | 67.485 % | 8.19/8.22 c ============================================================================== 8.19/8.22 c [1mFound solution: -44[0m 8.19/8.22 c ---[ 0]---> Sorter-cost: 0 Base: 8.19/8.23 c ==================================[MINISAT+]================================== 8.19/8.23 c | Conflicts | Original | Learnt | Progress | 8.19/8.23 c | | Clauses Literals | Max Clauses Literals LPC | | 8.19/8.23 c ============================================================================== 8.19/8.23 c | 17505 | 132774 276903 | 44258 12426 166082 13.4 | 67.485 % | 8.19/8.27 c | 17605 | 132559 276398 | 48683 12498 166524 13.3 | 68.081 % | 8.29/8.31 c | 17756 | 132301 275773 | 53552 12598 167533 13.3 | 68.448 % | 8.29/8.37 c | 17981 | 132121 275325 | 58907 12765 170530 13.4 | 68.613 % | 8.39/8.46 c | 18318 | 131516 273875 | 64798 12946 173382 13.4 | 69.336 % | 8.59/8.61 c | 18824 | 130570 271583 | 71277 13182 177509 13.5 | 70.485 % | 8.69/8.80 c | 19583 | 129488 268963 | 78405 13632 192365 14.1 | 71.795 % | 9.09/9.11 c | 20723 | 127965 265343 | 86246 14345 210384 14.7 | 73.613 % | 9.29/9.33 c | 22431 | 127539 264315 | 94870 15803 245951 15.6 | 74.137 % | 9.69/9.77 c | 24993 | 126180 261005 | 104358 17960 308831 17.2 | 75.820 % | 10.39/10.47 c | 28838 | 123860 255430 | 114793 20928 414440 19.8 | 78.649 % | 11.29/11.31 c | 34604 | 122488 252139 | 126273 26056 673789 25.9 | 80.291 % | 11.59/11.61 c ============================================================================== 11.59/11.61 c [1mFound solution: -45[0m 11.59/11.61 c ---[ 0]---> Sorter-cost: 0 Base: 11.59/11.62 c ==================================[MINISAT+]================================== 11.59/11.62 c | Conflicts | Original | Learnt | Progress | 11.59/11.62 c | | Clauses Literals | Max Clauses Literals LPC | | 11.59/11.62 c ============================================================================== 11.59/11.62 c | 36467 | 122265 251619 | 40755 27607 770303 27.9 | 80.291 % | 11.59/11.65 c | 36567 | 122204 251473 | 44830 27696 773116 27.9 | 80.647 % | 11.59/11.66 c | 36717 | 122204 251473 | 49313 27846 776621 27.9 | 80.647 % | 11.69/11.76 c | 36942 | 121852 250600 | 54244 27858 777815 27.9 | 81.088 % | 11.79/11.81 c | 37279 | 121852 250600 | 59669 28195 789954 28.0 | 81.088 % | 11.89/11.91 c | 37785 | 121748 250352 | 65636 28638 812054 28.4 | 81.214 % | 11.99/12.08 c | 38544 | 121496 249750 | 72199 29211 848638 29.1 | 81.521 % | 12.19/12.25 c | 39683 | 121448 249634 | 79419 30280 889536 29.4 | 81.580 % | 12.59/12.62 c | 41393 | 120733 247895 | 87361 31578 963722 30.5 | 82.524 % | 12.99/13.09 c | 43955 | 120380 247032 | 96098 33770 1082814 32.1 | 82.904 % | 13.79/13.83 c | 47799 | 119842 245745 | 105707 36877 1499470 40.7 | 83.553 % | 14.49/14.56 c ============================================================================== 14.49/14.56 c [1mFound solution: -46[0m 14.49/14.56 c ---[ 0]---> Sorter-cost: 0 Base: 14.49/14.58 c ==================================[MINISAT+]================================== 14.49/14.58 c | Conflicts | Original | Learnt | Progress | 14.49/14.58 c | | Clauses Literals | Max Clauses Literals LPC | | 14.49/14.58 c ============================================================================== 14.49/14.58 c | 51764 | 119659 245192 | 39886 40490 1860760 46.0 | 83.553 % | 14.59/14.61 c | 51864 | 119659 245192 | 43874 40590 1864166 45.9 | 83.788 % | 14.59/14.63 c | 52014 | 119659 245192 | 48262 40740 1877405 46.1 | 83.788 % | 14.59/14.67 c | 52239 | 119659 245192 | 53088 40965 1888930 46.1 | 83.788 % | 14.69/14.73 c | 52576 | 119659 245192 | 58397 41302 1905819 46.1 | 83.788 % | 14.79/14.81 c | 53083 | 119655 245182 | 64236 41749 1927710 46.2 | 83.793 % | 14.99/15.00 c | 53842 | 119580 244997 | 70660 42290 1973355 46.7 | 83.890 % | 15.19/15.27 c | 54981 | 119458 244700 | 77726 43219 2051809 47.5 | 84.040 % | 15.49/15.58 c | 56689 | 119458 244700 | 85499 44927 2236839 49.8 | 84.040 % | 16.19/16.21 c | 59252 | 119404 244571 | 94049 47421 2808971 59.2 | 84.105 % | 17.09/17.13 c | 63096 | 119161 244006 | 103454 50906 3100567 60.9 | 84.387 % | 18.49/18.53 c | 68862 | 118845 243224 | 113799 56090 3526582 62.9 | 84.789 % | 19.29/19.37 c ============================================================================== 19.29/19.37 c [1mFound solution: -47[0m 19.29/19.37 c ---[ 0]---> Sorter-cost: 0 Base: 19.39/19.40 c ==================================[MINISAT+]================================== 19.39/19.40 c | Conflicts | Original | Learnt | Progress | 19.39/19.40 c | | Clauses Literals | Max Clauses Literals LPC | | 19.39/19.40 c ============================================================================== 19.39/19.40 c | 71971 | 118726 242949 | 39575 58781 3929986 66.9 | 84.789 % | 19.39/19.42 c | 72071 | 118726 242949 | 43532 58881 3931301 66.8 | 84.976 % | 19.39/19.45 c | 72221 | 118726 242949 | 47885 59031 3946705 66.9 | 84.976 % | 19.49/19.51 c | 72447 | 118726 242949 | 52674 59257 3957713 66.8 | 84.976 % | 19.59/19.62 c | 72784 | 118708 242907 | 57941 59426 3985082 67.1 | 84.997 % | 19.69/19.72 c | 73290 | 118708 242907 | 63735 59932 4026276 67.2 | 84.997 % | 19.89/19.99 c | 74049 | 118571 242578 | 70109 60551 4081801 67.4 | 85.161 % | 20.19/20.22 c | 75188 | 118571 242578 | 77120 61690 4197719 68.0 | 85.161 % | 20.59/20.64 c | 76897 | 118555 242540 | 84832 63386 4368217 68.9 | 85.181 % | 21.29/21.33 c | 79459 | 118550 242529 | 93315 65929 4789146 72.6 | 85.186 % | 22.38/22.44 c | 83303 | 118452 242306 | 102647 69541 5340885 76.8 | 85.294 % | 24.08/24.13 c | 89069 | 118385 242127 | 112912 75249 6196238 82.3 | 85.392 % | 26.98/27.00 c | 97718 | 118186 241635 | 124203 83001 7371730 88.8 | 85.647 % | 31.28/31.35 c | 110692 | 118017 241228 | 136623 95523 9038104 94.6 | 85.855 % | 38.98/39.07 c | 130155 | 117908 240973 | 150285 114592 12241181 106.8 | 85.982 % | 48.27/48.35 c ============================================================================== 48.27/48.35 c [1mFound solution: -48[0m 48.27/48.35 c ---[ 0]---> Sorter-cost: 0 Base: 48.38/48.44 c ==================================[MINISAT+]================================== 48.38/48.44 c | Conflicts | Original | Learnt | Progress | 48.38/48.44 c | | Clauses Literals | Max Clauses Literals LPC | | 48.38/48.44 c ============================================================================== 48.38/48.44 c | 151861 | 117895 240921 | 39298 135668 15662019 115.4 | 85.982 % | 48.48/48.59 c | 151962 | 117895 240921 | 43227 21941 2171164 99.0 | 86.000 % | 48.57/48.62 c | 152112 | 117857 240821 | 47550 22038 2175652 98.7 | 86.053 % | 48.57/48.66 c | 152337 | 117854 240814 | 52305 22260 2189057 98.3 | 86.056 % | 48.67/48.71 c | 152674 | 117854 240814 | 57536 22597 2207415 97.7 | 86.056 % | 48.77/48.80 c | 153180 | 117849 240803 | 63289 23102 2236005 96.8 | 86.061 % | 48.87/48.92 c | 153939 | 117839 240779 | 69618 23857 2303441 96.6 | 86.074 % | 48.97/49.09 c | 155079 | 117839 240779 | 76580 24997 2410710 96.4 | 86.074 % | 49.27/49.35 c | 156787 | 117839 240779 | 84238 26705 2592132 97.1 | 86.074 % | 49.66/49.76 c | 159349 | 117839 240779 | 92662 29267 2892964 98.8 | 86.074 % | 50.36/50.45 c | 163193 | 117831 240759 | 101928 33107 3496225 105.6 | 86.084 % | 51.46/51.59 c | 168959 | 117819 240731 | 112121 38872 4437882 114.2 | 86.098 % | 53.56/53.61 c | 177608 | 117742 240544 | 123333 47510 5884147 123.9 | 86.192 % | 56.56/56.60 c | 190583 | 117742 240544 | 135667 60485 7913680 130.8 | 86.192 % | 62.15/62.20 c | 210044 | 117672 240378 | 149234 79891 10977779 137.4 | 86.276 % | 63.15/63.21 c ============================================================================== 63.15/63.21 c [1mFound solution: -49[0m 63.15/63.21 c ---[ 0]---> Sorter-cost: 0 Base: 63.15/63.29 c ==================================[MINISAT+]================================== 63.15/63.29 c | Conflicts | Original | Learnt | Progress | 63.15/63.29 c | | Clauses Literals | Max Clauses Literals LPC | | 63.15/63.29 c ============================================================================== 63.15/63.29 c | 213734 | 117694 240442 | 39231 83581 11484044 137.4 | 86.276 % | 63.35/63.40 c | 213834 | 117655 240341 | 43154 83646 11495859 137.4 | 86.313 % | 63.45/63.50 c | 213984 | 117621 240251 | 47469 83792 11499506 137.2 | 86.360 % | 63.45/63.59 c | 214209 | 117621 240251 | 52216 84017 11523972 137.2 | 86.360 % | 63.65/63.77 c | 214546 | 117590 240178 | 57438 84351 11552177 137.0 | 86.397 % | 63.86/63.93 c | 215052 | 117590 240178 | 63181 84857 11616047 136.9 | 86.397 % | 64.05/64.18 c | 215811 | 117590 240178 | 69500 85616 11744685 137.2 | 86.397 % | 64.45/64.50 c | 216950 | 117590 240178 | 76450 86755 11887026 137.0 | 86.397 % | 64.86/65.00 c | 218658 | 117590 240178 | 84095 88463 12131766 137.1 | 86.397 % | 65.75/65.86 c | 221220 | 117590 240178 | 92504 91025 12497186 137.3 | 86.397 % | 67.06/67.16 c | 225065 | 117585 240167 | 101755 94844 12890315 135.9 | 86.402 % | 68.95/69.05 c | 230831 | 117585 240167 | 111930 100610 13834439 137.5 | 86.402 % | 71.75/71.86 c | 239480 | 117583 240163 | 123123 109258 14935108 136.7 | 86.404 % | 76.85/76.98 c | 252455 | 117583 240163 | 135436 122233 17352313 142.0 | 86.404 % | 77.45/77.54 c ============================================================================== 77.45/77.54 c [1mFound solution: -50[0m 77.45/77.54 c ---[ 0]---> Sorter-cost: 0 Base: 77.55/77.65 c ==================================[MINISAT+]================================== 77.55/77.65 c | Conflicts | Original | Learnt | Progress | 77.55/77.65 c | | Clauses Literals | Max Clauses Literals LPC | | 77.55/77.65 c ============================================================================== 77.55/77.65 c | 253792 | 117572 240102 | 39190 119599 16637737 139.1 | 86.404 % | 77.65/77.78 c | 253892 | 117558 240068 | 43109 23761 2482052 104.5 | 86.438 % | 77.75/77.81 c | 254042 | 117558 240068 | 47419 23911 2499315 104.5 | 86.438 % | 77.75/77.84 c | 254267 | 117558 240068 | 52161 24136 2523332 104.5 | 86.438 % | 77.85/77.91 c | 254604 | 117548 240044 | 57378 24465 2543391 104.0 | 86.450 % | 77.85/77.98 c | 255110 | 117548 240044 | 63115 24971 2594898 103.9 | 86.450 % | 78.06/78.11 c | 255869 | 117504 239938 | 69427 25727 2662042 103.5 | 86.504 % | 78.16/78.28 c | 257008 | 117504 239938 | 76370 26866 2791978 103.9 | 86.504 % | 78.45/78.58 c | 258717 | 117484 239888 | 84007 28572 3035449 106.2 | 86.530 % | 78.85/78.99 c | 261280 | 117452 239806 | 92407 31129 3325350 106.8 | 86.574 % | 79.54/79.65 c | 265126 | 117452 239806 | 101648 34975 3930361 112.4 | 86.574 % | 80.64/80.72 c | 270892 | 117452 239806 | 111813 40741 4759521 116.8 | 86.574 % | 82.45/82.58 c | 279542 | 117452 239806 | 122995 49391 5995294 121.4 | 86.574 % | 85.85/85.96 c | 292516 | 117449 239799 | 135294 62364 8275967 132.7 | 86.577 % | 91.43/91.58 c | 311977 | 117449 239799 | 148823 81825 11893942 145.4 | 86.577 % | 100.73/100.81 c | 341170 | 117443 239783 | 163706 111007 16785526 151.2 | 86.586 % | 118.73/118.84 c | 384959 | 117392 239660 | 180076 154585 24556339 158.9 | 86.649 % | 154.80/154.99 c | 450643 | 117377 239621 | 198084 220266 33837553 153.6 | 86.670 % | 199.59/199.74 c | 549169 | 117346 239546 | 217893 90333 17054818 188.8 | 86.708 % | 269.39/269.51 c | 696958 | 117335 239521 | 239682 238109 43347442 182.0 | 86.720 % | 361.42/361.63 c | 918641 | 117097 238949 | 263650 195106 31968381 163.9 | 87.005 % | 527.69/527.95 c | 1251166 | 116752 238121 | 290015 239968 36023633 150.1 | 87.422 % | 692.36/692.68 c ============================================================================== 692.36/692.68 c [1mFound solution: -51[0m 692.36/692.68 c ---[ 0]---> Sorter-cost: 0 Base: 692.56/692.88 c ==================================[MINISAT+]================================== 692.56/692.88 c | Conflicts | Original | Learnt | Progress | 692.56/692.88 c | | Clauses Literals | Max Clauses Literals LPC | | 692.56/692.88 c ============================================================================== 692.56/692.88 c | 1556164 | 116772 238181 | 38924 233437 34463009 147.6 | 87.422 % | 693.06/693.38 c | 1556266 | 116772 238181 | 42816 27871 1530773 54.9 | 87.424 % | 693.16/693.40 c | 1556417 | 116772 238181 | 47098 28022 1538860 54.9 | 87.424 % | 693.16/693.43 c | 1556643 | 116772 238181 | 51807 28248 1555993 55.1 | 87.424 % | 693.16/693.47 c | 1556980 | 116772 238181 | 56988 28585 1577626 55.2 | 87.424 % | 693.26/693.54 c | 1557486 | 116765 238162 | 62687 29088 1608508 55.3 | 87.434 % | 693.36/693.64 c | 1558245 | 116752 238125 | 68956 29843 1689534 56.6 | 87.455 % | 693.46/693.74 c | 1559384 | 116747 238114 | 75851 30980 1719139 55.5 | 87.461 % | 693.66/693.94 c | 1561093 | 116747 238114 | 83437 32689 1849405 56.6 | 87.461 % | 693.97/694.24 c | 1563655 | 116747 238114 | 91780 35251 2096574 59.5 | 87.461 % | 694.46/694.76 c | 1567499 | 116739 238094 | 100958 39091 2465512 63.1 | 87.471 % | 695.46/695.78 c | 1573265 | 116739 238094 | 111054 44857 3254342 72.5 | 87.471 % | 696.96/697.29 c | 1581915 | 116739 238094 | 122160 53507 4404467 82.3 | 87.471 % | 699.56/699.85 c | 1594889 | 116739 238094 | 134376 66481 6071667 91.3 | 87.471 % | 704.87/705.15 c | 1614350 | 116739 238094 | 147813 85942 9298473 108.2 | 87.471 % | 714.16/714.48 c | 1643543 | 116682 237959 | 162595 115031 13984266 121.6 | 87.539 % | 730.26/730.57 c | 1687332 | 116678 237949 | 178854 158817 19381065 122.0 | 87.544 % | 767.75/768.05 c | 1753017 | 116678 237949 | 196740 224502 31160031 138.8 | 87.544 % | 802.75/803.07 c | 1851543 | 116612 237794 | 216414 102827 12437778 121.0 | 87.623 % | 883.04/883.34 c | 1999333 | 116533 237598 | 238055 250532 36503974 145.7 | 87.725 % | 990.22/990.57 c | 2221016 | 116533 237598 | 261861 210700 26517362 125.9 | 87.725 % | 1138.50/1138.85 c | 2553541 | 116521 237570 | 288047 259451 37336499 143.9 | 87.739 % | 1166.29/1166.63 c ============================================================================== 1166.29/1166.63 c [1mFound solution: -52[0m 1166.29/1166.63 c ---[ 0]---> Sorter-cost: 0 Base: 1166.49/1166.88 c ==================================[MINISAT+]================================== 1166.49/1166.88 c | Conflicts | Original | Learnt | Progress | 1166.49/1166.88 c | | Clauses Literals | Max Clauses Literals LPC | | 1166.49/1166.88 c ============================================================================== 1166.49/1166.88 c | 2601861 | 116496 237493 | 38832 307586 42383913 137.8 | 87.739 % | 1167.39/1167.78 c | 2601961 | 116496 237493 | 42715 31091 1492783 48.0 | 87.771 % | 1167.39/1167.79 c | 2602111 | 116496 237493 | 46986 31241 1497672 47.9 | 87.771 % | 1167.49/1167.82 c | 2602336 | 116496 237493 | 51685 31466 1509736 48.0 | 87.771 % | 1167.49/1167.86 c | 2602673 | 116496 237493 | 56853 31803 1526936 48.0 | 87.771 % | 1167.59/1167.92 c | 2603179 | 116496 237493 | 62539 32309 1557580 48.2 | 87.771 % | 1167.69/1168.01 c | 2603939 | 116496 237493 | 68793 33069 1611681 48.7 | 87.771 % | 1167.79/1168.15 c | 2605079 | 116496 237493 | 75672 34209 1705545 49.9 | 87.771 % | 1168.00/1168.37 c | 2606787 | 116496 237493 | 83239 35917 1880420 52.4 | 87.771 % | 1168.39/1168.72 c | 2609349 | 116496 237493 | 91563 38479 2144228 55.7 | 87.771 % | 1168.89/1169.22 c | 2613193 | 116496 237493 | 100720 42323 2518749 59.5 | 87.771 % | 1169.69/1170.06 c | 2618959 | 116496 237493 | 110792 48089 3041229 63.2 | 87.771 % | 1171.20/1171.55 c | 2627608 | 116496 237493 | 121871 56738 4066026 71.7 | 87.771 % | 1173.79/1174.14 c | 2640583 | 116496 237493 | 134058 69713 5721315 82.1 | 87.771 % | 1178.29/1178.67 c | 2660044 | 116496 237493 | 147464 89174 8185311 91.8 | 87.771 % | 1187.49/1187.82 c | 2689238 | 116496 237493 | 162210 118368 13507917 114.1 | 87.771 % | 1205.59/1205.97 c | 2733027 | 116496 237493 | 178431 162157 19297014 119.0 | 87.771 % | 1238.68/1239.04 c | 2798712 | 116496 237493 | 196275 227842 28764526 126.2 | 87.771 % | 1270.08/1270.44 c | 2897238 | 116493 237486 | 215902 106617 11367401 106.6 | 87.775 % | 1345.56/1345.95 c | 3045027 | 116490 237479 | 237492 254405 28878062 113.5 | 87.778 % | 1444.95/1445.35 c | 3266711 | 116451 237382 | 261242 218821 34649282 158.3 | 87.829 % | 1612.42/1612.88 c | 3599236 | 116320 237069 | 287366 273805 37841274 138.2 | 87.983 % | 1800.00/1800.40 c 1800.00/1800.40 c *** TERMINATED *** 1800.00/1800.40 s SATISFIABLE 1800.00/1800.40 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 -x1199 x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -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 -52
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-3723565-1338571531/watcher-3723565-1338571531 -o /tmp/evaluation-result-3723565-1338571531/solver-3723565-1338571531 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723565-1338571531.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.00 1.99 1.88 4/177 8011 /proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [startup+0.102196 s] /proc/loadavg: 2.00 1.99 1.88 4/177 8011 /proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.20028 s] /proc/loadavg: 2.00 1.99 1.88 4/177 8011 /proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300328 s] /proc/loadavg: 2.00 1.99 1.88 4/177 8011 /proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700261 s] /proc/loadavg: 2.00 1.99 1.88 4/177 8011 /proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50035 s] /proc/loadavg: 2.00 1.99 1.88 3/179 8016 /proc/meminfo: memFree=27305852/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=54584 CPUtime=1.49 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 143 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4411594 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 13646 13388 118 265 0 13378 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 63732 [startup+3.1003 s] /proc/loadavg: 2.00 1.99 1.88 3/179 8016 /proc/meminfo: memFree=27304860/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=54584 CPUtime=3.09 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 303 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 13646 13388 118 265 0 13378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 63732 [startup+6.3003 s] /proc/loadavg: 2.00 1.99 1.88 3/179 8016 /proc/meminfo: memFree=27303292/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=54584 CPUtime=6.29 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 623 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4391568 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 13646 13388 118 265 0 13378 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 63732 [startup+12.7003 s] /proc/loadavg: 2.00 1.99 1.88 3/179 8016 /proc/meminfo: memFree=27289132/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=54584 CPUtime=12.69 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 1263 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4399290 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 13646 13388 118 265 0 13378 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63732 [startup+25.5004 s] /proc/loadavg: 2.00 1.99 1.88 3/179 8016 /proc/meminfo: memFree=27274296/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=61816 CPUtime=25.48 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 15233 0 0 0 2542 6 0 0 20 0 1 0 323278854 63299584 15189 33554432000 4194304 5276501 140733202450960 140733202449368 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 15454 15189 118 265 0 15186 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70964 [startup+51.1003 s] /proc/loadavg: 2.07 2.00 1.89 3/179 8016 /proc/meminfo: memFree=27226408/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=102340 CPUtime=51.06 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 25445 0 0 0 5098 8 0 0 20 0 1 0 323278854 104796160 25327 33554432000 4194304 5276501 140733202450960 140733202449208 4390362 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 25585 25327 118 265 0 25317 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 111488 [startup+102.3 s] /proc/loadavg: 2.03 2.00 1.90 3/180 8017 /proc/meminfo: memFree=27208588/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=111304 CPUtime=102.23 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 27817 0 0 0 10214 9 0 0 20 0 1 0 323278854 113975296 27555 33554432000 4194304 5276501 140733202450960 140733202449208 4391568 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 27826 27555 118 265 0 27558 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 120452 [startup+162.3 s] /proc/loadavg: 2.06 2.01 1.91 3/179 8018 /proc/meminfo: memFree=27129460/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=192584 CPUtime=162.2 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 47925 0 0 0 16201 19 0 0 20 0 1 0 323278854 197206016 47672 33554432000 4194304 5276501 140733202450960 140733202448952 4399315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 48146 47672 118 265 0 47878 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 201732 [startup+222.307 s] /proc/loadavg: 2.02 2.01 1.91 3/179 8018 /proc/meminfo: memFree=27112904/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=207664 CPUtime=222.19 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 51735 0 0 0 22198 21 0 0 20 0 1 0 323278854 212647936 51482 33554432000 4194304 5276501 140733202450960 140733202449208 4399992 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 51916 51482 118 265 0 51648 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 216812 [startup+282.3 s] /proc/loadavg: 2.23 2.05 1.93 3/180 8063 /proc/meminfo: memFree=27099256/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=240224 CPUtime=282.16 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 59846 0 0 0 28191 25 0 0 20 0 1 0 323278854 245989376 59611 33554432000 4194304 5276501 140733202450960 140733202448552 4399800 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 60056 59611 118 265 0 59788 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 249372 [startup+342.3 s] /proc/loadavg: 2.08 2.04 1.93 3/179 8063 /proc/meminfo: memFree=26997024/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=267328 CPUtime=342.13 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 66721 0 0 0 34184 29 0 0 20 0 1 0 323278854 273743872 66526 33554432000 4194304 5276501 140733202450960 140733202448952 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 66832 66526 118 265 0 66564 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 276476 [startup+402.3 s] /proc/loadavg: 2.03 2.03 1.93 3/179 8063 /proc/meminfo: memFree=26967336/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1122 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 112170 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399944 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 283308 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 8069 /proc/meminfo: memFree=26950480/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1181.99 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 118169 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4394803 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 283308 [startup+1242.3 s] /proc/loadavg: 2.03 2.01 1.94 3/178 8069 /proc/meminfo: memFree=26922756/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1241.98 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 124168 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399836 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 283308 [startup+1302.3 s] /proc/loadavg: 2.01 2.01 1.94 3/179 8070 /proc/meminfo: memFree=26921632/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1301.97 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 130167 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 283308 [startup+1362.3 s] /proc/loadavg: 2.09 2.03 1.95 3/179 8070 /proc/meminfo: memFree=26894860/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1361.96 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 136166 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4400112 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 283308 [startup+1422.3 s] /proc/loadavg: 2.12 2.05 1.96 3/179 8071 /proc/meminfo: memFree=26894616/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1421.96 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 142166 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4390364 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 283308 [startup+1482.3 s] /proc/loadavg: 2.14 2.07 1.97 3/180 8074 /proc/meminfo: memFree=26894104/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1481.94 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 148164 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 283308 [startup+1542.31 s] /proc/loadavg: 2.08 2.07 1.97 3/179 8074 /proc/meminfo: memFree=26894052/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1541.94 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 154164 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68023 118 265 0 68272 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 283308 [startup+1602.3 s] /proc/loadavg: 2.07 2.07 1.98 3/179 8074 /proc/meminfo: memFree=26892676/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1601.93 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 160163 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4399330 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68024 118 265 0 68272 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 283308 [startup+1662.3 s] /proc/loadavg: 2.10 2.08 1.99 3/179 8074 /proc/meminfo: memFree=26890572/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1661.92 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 166162 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68024 118 265 0 68272 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 283308 [startup+1722.3 s] /proc/loadavg: 2.10 2.09 2.00 3/179 8075 /proc/meminfo: memFree=26889580/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1721.91 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 172161 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68024 118 265 0 68272 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 283308 [startup+1782.3 s] /proc/loadavg: 2.04 2.07 2.00 3/179 8075 /proc/meminfo: memFree=26889456/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274160 CPUtime=1781.9 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 178160 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68540 68024 118 265 0 68272 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 283308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.09 2.08 2.00 3/179 8075 /proc/meminfo: memFree=26889456/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274376 CPUtime=1800 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68262 0 0 0 179970 30 0 0 20 0 1 0 323278854 280961024 68076 33554432000 4194304 5276501 140733202450960 140733202449192 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68594 68076 118 265 0 68326 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 283524 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.09 2.08 2.00 3/179 8075 /proc/meminfo: memFree=26889456/32873660 swapFree=7120/7120 [pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/8011/statm: 2287 276 236 213 0 72 0 [pid=8015] ppid=8011 vsize=274376 CPUtime=1800 cores=1,3,5,7 /proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68262 0 0 0 179970 30 0 0 20 0 1 0 323278854 280961024 68076 33554432000 4194304 5276501 140733202450960 140733202449192 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8015/statm: 68594 68076 118 265 0 68326 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 283524 Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.02 CPU user time (s): 1799.71 CPU system time (s): 0.310952 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 283524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.310952 maximum resident set size= 272308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69212 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= 140 involuntary context switches= 1853 runsolver used 2.73258 second user time and 7.32888 second system time The end
Begin job on node117 at 2012-06-01 19:25:31 IDJOB=3723565 IDBENCH=2245 IDSOLVER=2307 FILE ID=node117/3723565-1338571531 RUNJOBID= node117-1338569730-7857 PBS_JOBID= 14635867 Free space on /tmp= 69128 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723565-1338571531/watcher-3723565-1338571531 -o /tmp/evaluation-result-3723565-1338571531/solver-3723565-1338571531 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723565-1338571531.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632 RANDOM SEED=1023530705 node117.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.148 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.29 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.148 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 : 5331.91 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.148 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 : 5331.91 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.148 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 : 5331.95 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.148 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 : 5331.91 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.148 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 : 5331.91 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.148 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 : 5331.91 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.148 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873660 kB MemFree: 27362312 kB Buffers: 576500 kB Cached: 3989340 kB SwapCached: 776 kB Active: 2228212 kB Inactive: 2372840 kB Active(anon): 20864 kB Inactive(anon): 9984 kB Active(file): 2207348 kB Inactive(file): 2362856 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67107012 kB Dirty: 8168 kB Writeback: 0 kB AnonPages: 130884 kB Mapped: 12748 kB Shmem: 80 kB Slab: 774288 kB SReclaimable: 218916 kB SUnreclaim: 555372 kB KernelStack: 1488 kB PageTables: 3600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 144208 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69124 MiB End job on node117 at 2012-06-01 19:55:32