Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT (TO) | -50 | 1800.06 | 1800.41 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94227 |
Number of constraints which are clauses | 94227 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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.10 c Converting 94227 PB-constraints to clauses... 0.00/0.10 c -- Unit propagations: (none) 0.00/0.11 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.11 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.00/0.18 c ==================================[MINISAT+]================================== 0.00/0.18 c | Conflicts | Original | Learnt | Progress | 0.00/0.18 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.18 c ============================================================================== 0.00/0.18 c | 0 | 94227 188454 | 31409 0 0 -nan | 0.000 % | 0.00/0.18 c ============================================================================== 0.00/0.18 c [1mFound solution: -36[0m 0.00/0.18 c ---[ 0]---> Sorter-cost:70300 Base: 0.00/0.22 c ==================================[MINISAT+]================================== 0.00/0.22 c | Conflicts | Original | Learnt | Progress | 0.00/0.22 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.22 c ============================================================================== 0.00/0.22 c | 0 | 169273 364509 | 56424 0 0 -nan | 0.000 % | 0.00/0.30 c | 100 | 168899 363733 | 62066 65 591 9.1 | 0.407 % | 0.00/0.39 c | 250 | 168502 362906 | 68273 198 1311 6.6 | 0.828 % | 0.00/0.53 c | 475 | 167076 359832 | 75100 351 2932 8.4 | 2.494 % | 0.00/0.75 c | 812 | 165133 355593 | 82610 631 5067 8.0 | 4.688 % | 0.99/1.06 c | 1319 | 162313 349369 | 90871 972 8957 9.2 | 8.080 % | 1.49/1.54 c | 2078 | 157982 339700 | 99958 1468 15263 10.4 | 13.235 % | 1.59/1.66 c ============================================================================== 1.59/1.66 c [1mFound solution: -39[0m 1.59/1.66 c ---[ 0]---> Sorter-cost: 0 Base: 1.59/1.67 c ==================================[MINISAT+]================================== 1.59/1.67 c | Conflicts | Original | Learnt | Progress | 1.59/1.67 c | | Clauses Literals | Max Clauses Literals LPC | | 1.59/1.67 c ============================================================================== 1.59/1.67 c | 2296 | 157388 338635 | 52462 1645 17452 10.6 | 13.235 % | 1.69/1.73 c | 2397 | 157059 337878 | 57708 1732 17985 10.4 | 14.608 % | 1.79/1.84 c | 2548 | 155840 335129 | 63479 1821 18984 10.4 | 16.160 % | 1.99/2.01 c | 2773 | 154165 331306 | 69826 1966 20681 10.5 | 18.177 % | 2.19/2.27 c | 3110 | 151458 325155 | 76809 2174 23582 10.8 | 21.604 % | 2.59/2.64 c | 3616 | 147626 316455 | 84490 2526 28129 11.1 | 26.258 % | 2.99/3.07 c | 4375 | 144328 308965 | 92939 3066 34940 11.4 | 30.335 % | 3.59/3.67 c | 5514 | 138764 296155 | 102233 3803 43599 11.5 | 37.319 % | 4.49/4.52 c | 7222 | 129234 273911 | 112456 4781 55509 11.6 | 49.406 % | 5.39/5.43 c | 9784 | 121135 254757 | 123702 6483 78702 12.1 | 60.045 % | 5.99/6.01 c ============================================================================== 5.99/6.01 c [1mFound solution: -40[0m 5.99/6.01 c ---[ 0]---> Sorter-cost: 0 Base: 5.99/6.02 c ==================================[MINISAT+]================================== 5.99/6.02 c | Conflicts | Original | Learnt | Progress | 5.99/6.02 c | | Clauses Literals | Max Clauses Literals LPC | | 5.99/6.02 c ============================================================================== 5.99/6.02 c | 11429 | 116199 242965 | 38733 7576 95117 12.6 | 60.045 % | 5.99/6.04 c | 11529 | 116143 242837 | 42606 7652 95688 12.5 | 66.685 % | 5.99/6.06 c | 11679 | 116076 242681 | 46866 7771 96653 12.4 | 66.771 % | 6.09/6.12 c | 11905 | 115567 241466 | 51553 7877 98408 12.5 | 67.444 % | 6.09/6.19 c | 12242 | 114920 239892 | 56708 8072 100213 12.4 | 68.312 % | 6.29/6.35 c | 12749 | 113625 236810 | 62379 8332 104402 12.5 | 70.006 % | 6.49/6.55 c | 13508 | 111833 232461 | 68617 8589 110153 12.8 | 72.414 % | 6.68/6.74 c | 14647 | 111250 231092 | 75479 9483 124789 13.2 | 73.177 % | 6.98/7.04 c | 16355 | 109550 227010 | 83027 10587 157748 14.9 | 75.476 % | 7.28/7.30 c ============================================================================== 7.28/7.30 c [1mFound solution: -42[0m 7.28/7.30 c ---[ 0]---> Sorter-cost: 0 Base: 7.28/7.32 c ==================================[MINISAT+]================================== 7.28/7.32 c | Conflicts | Original | Learnt | Progress | 7.28/7.32 c | | Clauses Literals | Max Clauses Literals LPC | | 7.28/7.32 c ============================================================================== 7.28/7.32 c | 17814 | 108291 223934 | 36097 11628 180350 15.5 | 75.476 % | 7.28/7.33 c | 17914 | 108253 223842 | 39706 11667 180588 15.5 | 77.251 % | 7.28/7.35 c | 18064 | 108154 223613 | 43677 11791 183184 15.5 | 77.378 % | 7.28/7.39 c | 18289 | 107906 223001 | 48045 11987 188268 15.7 | 77.723 % | 7.38/7.45 c | 18626 | 107594 222245 | 52849 12154 193780 15.9 | 78.154 % | 7.48/7.51 c | 19132 | 107473 221961 | 58134 12622 208859 16.5 | 78.310 % | 7.59/7.67 c | 19891 | 106538 219705 | 63948 13041 229526 17.6 | 79.580 % | 7.78/7.88 c | 21030 | 105390 216942 | 70342 13770 250874 18.2 | 81.120 % | 8.08/8.14 c | 22739 | 104672 215178 | 77377 15093 307439 20.4 | 82.109 % | 8.48/8.55 c | 25302 | 103717 212858 | 85114 17132 553320 32.3 | 83.410 % | 8.98/9.05 c | 29146 | 103118 211371 | 93626 20489 741278 36.2 | 84.270 % | 9.68/9.76 c ============================================================================== 9.68/9.76 c [1mFound solution: -43[0m 9.68/9.76 c ---[ 0]---> Sorter-cost: 0 Base: 9.68/9.78 c ==================================[MINISAT+]================================== 9.68/9.78 c | Conflicts | Original | Learnt | Progress | 9.68/9.78 c | | Clauses Literals | Max Clauses Literals LPC | | 9.68/9.78 c ============================================================================== 9.68/9.78 c | 33883 | 103035 211194 | 34345 25007 1324418 53.0 | 84.270 % | 9.68/9.79 c | 33983 | 103035 211194 | 37779 25107 1331315 53.0 | 84.425 % | 9.79/9.84 c | 34133 | 102946 210974 | 41557 25184 1335625 53.0 | 84.548 % | 9.79/9.87 c | 34358 | 102946 210974 | 45713 25409 1347466 53.0 | 84.548 % | 9.89/9.93 c | 34695 | 102843 210729 | 50284 25584 1359055 53.1 | 84.686 % | 9.98/10.01 c | 35201 | 102761 210525 | 55312 25995 1394670 53.7 | 84.804 % | 10.08/10.15 c | 35960 | 102644 210234 | 60844 26450 1428516 54.0 | 84.972 % | 10.28/10.32 c | 37099 | 102536 209969 | 66928 27476 1516245 55.2 | 85.126 % | 10.48/10.59 c | 38807 | 102536 209969 | 73621 29184 1773733 60.8 | 85.126 % | 10.99/11.02 c | 41369 | 102409 209658 | 80983 31511 2014301 63.9 | 85.305 % | 11.48/11.56 c ============================================================================== 11.48/11.56 c [1mFound solution: -44[0m 11.48/11.56 c ---[ 0]---> Sorter-cost: 0 Base: 11.48/11.58 c ==================================[MINISAT+]================================== 11.48/11.58 c | Conflicts | Original | Learnt | Progress | 11.48/11.58 c | | Clauses Literals | Max Clauses Literals LPC | | 11.48/11.58 c ============================================================================== 11.48/11.58 c | 44630 | 102368 209528 | 34122 34720 2428536 69.9 | 85.305 % | 11.68/11.74 c | 44730 | 102048 208762 | 37534 34492 2424303 70.3 | 85.788 % | 11.68/11.76 c | 44880 | 102048 208762 | 41287 34642 2435741 70.3 | 85.788 % | 11.78/11.86 c | 45105 | 102020 208698 | 45416 34798 2442297 70.2 | 85.823 % | 11.88/11.90 c | 45444 | 102020 208698 | 49958 35137 2463900 70.1 | 85.823 % | 11.88/11.99 c | 45950 | 102020 208698 | 54953 35643 2529661 71.0 | 85.823 % | 12.09/12.12 c | 46710 | 101981 208595 | 60449 36375 2603773 71.6 | 85.879 % | 12.38/12.42 c | 47849 | 101718 207961 | 66494 37246 2726407 73.2 | 86.233 % | 12.68/12.77 c | 49557 | 101645 207775 | 73143 38763 2896271 74.7 | 86.340 % | 13.19/13.27 c | 52119 | 101560 207584 | 80457 41125 3229631 78.5 | 86.441 % | 13.88/13.90 c | 55963 | 101560 207584 | 88503 44969 3670089 81.6 | 86.441 % | 14.98/15.09 c | 61730 | 101510 207460 | 97354 50584 4419892 87.4 | 86.513 % | 15.78/15.84 c ============================================================================== 15.78/15.84 c [1mFound solution: -45[0m 15.78/15.84 c ---[ 0]---> Sorter-cost: 0 Base: 15.78/15.87 c ==================================[MINISAT+]================================== 15.78/15.87 c | Conflicts | Original | Learnt | Progress | 15.78/15.87 c | | Clauses Literals | Max Clauses Literals LPC | | 15.78/15.87 c ============================================================================== 15.78/15.87 c | 65251 | 101394 207200 | 33798 53934 4878170 90.4 | 86.513 % | 15.88/15.90 c | 65351 | 101394 207200 | 37177 54034 4889551 90.5 | 86.671 % | 15.88/15.98 c | 65501 | 101325 207030 | 40895 54079 4892693 90.5 | 86.768 % | 15.98/16.03 c | 65726 | 101325 207030 | 44985 54304 4912147 90.5 | 86.768 % | 15.98/16.09 c | 66063 | 101325 207030 | 49483 54641 4941373 90.4 | 86.768 % | 16.18/16.22 c | 66569 | 101255 206846 | 54432 55052 4975946 90.4 | 86.879 % | 16.39/16.44 c | 67328 | 101236 206797 | 59875 55753 5063989 90.8 | 86.908 % | 16.68/16.72 c | 68468 | 101085 206419 | 65862 56486 5172731 91.6 | 87.126 % | 17.08/17.12 c | 70176 | 101085 206419 | 72449 58194 5417001 93.1 | 87.126 % | 17.59/17.69 c | 72738 | 101039 206320 | 79693 60606 5655320 93.3 | 87.175 % | 18.48/18.54 c | 76582 | 100994 206212 | 87663 64116 6092905 95.0 | 87.235 % | 18.78/18.85 c ============================================================================== 18.78/18.85 c [1mFound solution: -46[0m 18.78/18.85 c ---[ 0]---> Sorter-cost: 0 Base: 18.78/18.90 c ==================================[MINISAT+]================================== 18.78/18.90 c | Conflicts | Original | Learnt | Progress | 18.78/18.90 c | | Clauses Literals | Max Clauses Literals LPC | | 18.78/18.90 c ============================================================================== 18.78/18.90 c | 77740 | 100975 206129 | 33658 64349 6059901 94.2 | 87.235 % | 18.88/18.92 c | 77841 | 100975 206129 | 37023 64450 6065484 94.1 | 87.265 % | 18.88/18.99 c | 77991 | 100943 206051 | 40726 64589 6072787 94.0 | 87.307 % | 18.98/19.04 c | 78216 | 100943 206051 | 44798 64814 6085427 93.9 | 87.307 % | 19.08/19.10 c | 78553 | 100943 206051 | 49278 65151 6113228 93.8 | 87.307 % | 19.18/19.22 c | 79059 | 100943 206051 | 54206 65657 6163035 93.9 | 87.308 % | 19.38/19.43 c | 79819 | 100910 205974 | 59627 66256 6246731 94.3 | 87.350 % | 19.58/19.70 c | 80959 | 100910 205974 | 65589 67396 6406379 95.1 | 87.350 % | 20.07/20.13 c | 82668 | 100904 205958 | 72148 69042 6635460 96.1 | 87.360 % | 20.67/20.72 c | 85230 | 100904 205958 | 79363 71604 7065469 98.7 | 87.360 % | 21.57/21.65 c | 89074 | 100893 205931 | 87300 75434 7574023 100.4 | 87.376 % | 22.98/23.03 c | 94840 | 100893 205931 | 96030 81200 8374098 103.1 | 87.376 % | 24.97/25.09 c | 103492 | 100893 205931 | 105633 89852 9242373 102.9 | 87.376 % | 28.87/28.97 c | 116466 | 100893 205931 | 116196 102826 10895961 106.0 | 87.376 % | 34.96/35.03 c | 135928 | 100875 205885 | 127816 122128 13014142 106.6 | 87.403 % | 41.86/41.98 c ============================================================================== 41.86/41.98 c [1mFound solution: -47[0m 41.86/41.98 c ---[ 0]---> Sorter-cost: 0 Base: 41.96/42.07 c ==================================[MINISAT+]================================== 41.96/42.07 c | Conflicts | Original | Learnt | Progress | 41.96/42.07 c | | Clauses Literals | Max Clauses Literals LPC | | 41.96/42.07 c ============================================================================== 41.96/42.07 c | 155554 | 100863 205870 | 33621 141536 15326357 108.3 | 87.403 % | 42.16/42.22 c | 155656 | 100863 205870 | 36983 20632 1549931 75.1 | 87.449 % | 42.16/42.24 c | 155806 | 100863 205870 | 40681 20782 1564629 75.3 | 87.449 % | 42.16/42.27 c | 156033 | 100863 205870 | 44749 21009 1582899 75.3 | 87.449 % | 42.26/42.32 c | 156370 | 100840 205819 | 49224 21341 1597462 74.9 | 87.476 % | 42.26/42.38 c | 156877 | 100840 205819 | 54146 21848 1654711 75.7 | 87.476 % | 42.36/42.47 c | 157637 | 100840 205819 | 59561 22608 1717497 76.0 | 87.476 % | 42.56/42.63 c | 158776 | 100817 205762 | 65517 23727 1821919 76.8 | 87.509 % | 42.76/42.85 c | 160486 | 100817 205762 | 72069 25437 1988263 78.2 | 87.509 % | 43.16/43.20 c | 163048 | 100817 205762 | 79276 27999 2320512 82.9 | 87.509 % | 43.66/43.78 c | 166892 | 100817 205762 | 87204 31843 2840242 89.2 | 87.509 % | 44.76/44.82 c | 172658 | 100817 205762 | 95924 37609 3666430 97.5 | 87.509 % | 46.36/46.49 c | 181308 | 100681 205423 | 105517 46188 4828424 104.5 | 87.701 % | 49.46/49.57 c | 194284 | 100673 205405 | 116068 59163 7099147 120.0 | 87.711 % | 53.45/53.55 c | 213745 | 100619 205265 | 127675 78580 9571241 121.8 | 87.792 % | 61.14/61.26 c | 242937 | 100600 205218 | 140443 107766 14158407 131.4 | 87.820 % | 75.94/76.02 c | 286728 | 100600 205218 | 154487 151557 21042007 138.8 | 87.820 % | 99.34/99.49 c | 352413 | 100521 205025 | 169936 37727 3338902 88.5 | 87.928 % | 129.23/129.38 c | 450939 | 100521 205025 | 186929 136253 19061365 139.9 | 87.928 % | 179.53/179.65 c | 598728 | 100507 204991 | 205622 71691 7160432 99.9 | 87.948 % | 221.70/221.86 c ============================================================================== 221.70/221.86 c [1mFound solution: -48[0m 221.70/221.86 c ---[ 0]---> Sorter-cost: 0 Base: 221.90/222.01 c ==================================[MINISAT+]================================== 221.90/222.01 c | Conflicts | Original | Learnt | Progress | 221.90/222.01 c | | Clauses Literals | Max Clauses Literals LPC | | 221.90/222.01 c ============================================================================== 221.90/222.01 c | 738550 | 100442 204817 | 33480 211413 26941503 127.4 | 87.948 % | 222.40/222.50 c | 738651 | 100442 204817 | 36828 23437 2228902 95.1 | 88.035 % | 222.40/222.52 c | 738801 | 100442 204817 | 40510 23587 2240136 95.0 | 88.035 % | 222.40/222.54 c | 739026 | 100442 204817 | 44561 23812 2252009 94.6 | 88.035 % | 222.40/222.58 c | 739364 | 100442 204817 | 49018 24150 2274021 94.2 | 88.035 % | 222.50/222.65 c | 739870 | 100423 204768 | 53919 24650 2320785 94.1 | 88.064 % | 222.60/222.74 c | 740630 | 100423 204768 | 59311 25410 2401862 94.5 | 88.064 % | 222.70/222.87 c | 741769 | 100423 204768 | 65243 26549 2492029 93.9 | 88.064 % | 223.00/223.10 c | 743478 | 100423 204768 | 71767 28258 2641425 93.5 | 88.064 % | 223.30/223.45 c | 746040 | 100421 204764 | 78944 30816 2904660 94.3 | 88.066 % | 223.89/224.02 c | 749885 | 100405 204724 | 86838 34596 3338189 96.5 | 88.090 % | 224.79/224.93 c | 755651 | 100405 204724 | 95522 40362 4233772 104.9 | 88.090 % | 226.40/226.52 c | 764302 | 100405 204724 | 105074 49013 5630076 114.9 | 88.090 % | 228.99/229.19 c | 777277 | 100365 204626 | 115582 61925 7224567 116.7 | 88.144 % | 233.48/233.60 c | 796738 | 100314 204505 | 127140 81340 9931346 122.1 | 88.212 % | 240.69/240.84 c | 825931 | 100294 204459 | 139854 110528 12493616 113.0 | 88.237 % | 253.38/253.57 c | 869720 | 100280 204429 | 153839 154304 16573382 107.4 | 88.253 % | 275.18/275.37 c | 935404 | 100267 204396 | 169223 40958 1498118 36.6 | 88.272 % | 277.18/277.36 c ============================================================================== 277.18/277.36 c [1mFound solution: -49[0m 277.18/277.36 c ---[ 0]---> Sorter-cost: 0 Base: 277.18/277.38 c ==================================[MINISAT+]================================== 277.18/277.38 c | Conflicts | Original | Learnt | Progress | 277.18/277.38 c | | Clauses Literals | Max Clauses Literals LPC | | 277.18/277.38 c ============================================================================== 277.18/277.38 c | 945824 | 100284 204441 | 33428 51377 2215002 43.1 | 88.272 % | 277.28/277.41 c | 945924 | 100284 204441 | 36770 51477 2222802 43.2 | 88.257 % | 277.28/277.44 c | 946074 | 100284 204441 | 40447 51627 2233930 43.3 | 88.257 % | 277.28/277.48 c | 946299 | 100284 204441 | 44492 51852 2253503 43.5 | 88.257 % | 277.38/277.51 c | 946638 | 100284 204441 | 48941 52191 2273566 43.6 | 88.257 % | 277.38/277.57 c | 947144 | 100284 204441 | 53836 52697 2308140 43.8 | 88.257 % | 277.48/277.68 c | 947903 | 100249 204355 | 59219 53443 2385662 44.6 | 88.306 % | 277.68/277.82 c | 949043 | 100249 204355 | 65141 54583 2476697 45.4 | 88.306 % | 277.88/278.06 c | 950754 | 100249 204355 | 71655 56294 2620698 46.6 | 88.306 % | 278.18/278.38 c | 953316 | 100249 204355 | 78821 58856 2834687 48.2 | 88.306 % | 278.88/279.00 c | 957161 | 100249 204355 | 86703 62701 3289284 52.5 | 88.306 % | 279.78/279.95 c | 962927 | 100249 204355 | 95373 68467 3921871 57.3 | 88.306 % | 281.28/281.44 c | 971576 | 100249 204355 | 104911 77116 4892709 63.4 | 88.306 % | 283.18/283.32 c | 984550 | 100218 204271 | 115402 90087 5713861 63.4 | 88.356 % | 286.88/287.08 c | 1004011 | 100218 204271 | 126942 109548 7205468 65.8 | 88.356 % | 292.48/292.61 c | 1033203 | 100214 204261 | 139637 138738 9081153 65.5 | 88.362 % | 303.87/304.00 c | 1076992 | 100214 204261 | 153600 182527 11948493 65.5 | 88.362 % | 317.57/317.73 c | 1142676 | 100204 204237 | 168960 72055 4127655 57.3 | 88.375 % | 341.47/341.67 c | 1241202 | 100204 204237 | 185856 170581 13598325 79.7 | 88.375 % | 376.36/376.52 c | 1388991 | 100184 204189 | 204442 114195 7961232 69.7 | 88.403 % | 449.75/449.98 c | 1610674 | 100002 203762 | 224886 115883 9679291 83.5 | 88.635 % | 552.04/552.21 c | 1943199 | 99962 203668 | 247375 204467 18112075 88.6 | 88.688 % | 714.20/714.41 c | 2441987 | 99762 203167 | 272113 176636 11629850 65.8 | 88.955 % | 916.97/917.24 c ============================================================================== 916.97/917.24 c [1mFound solution: -50[0m 916.97/917.24 c ---[ 0]---> Sorter-cost: 0 Base: 916.97/917.29 c ==================================[MINISAT+]================================== 916.97/917.29 c | Conflicts | Original | Learnt | Progress | 916.97/917.29 c | | Clauses Literals | Max Clauses Literals LPC | | 916.97/917.29 c ============================================================================== 916.97/917.29 c | 3010442 | 99715 203014 | 33238 179404 7596412 42.3 | 88.955 % | 917.67/917.97 c | 3010542 | 99715 203014 | 36561 34517 834546 24.2 | 89.025 % | 917.67/917.99 c | 3010692 | 99715 203014 | 40217 34667 842616 24.3 | 89.025 % | 917.77/918.02 c | 3010917 | 99715 203014 | 44239 34892 849372 24.3 | 89.025 % | 917.77/918.07 c | 3011254 | 99715 203014 | 48663 35229 861136 24.4 | 89.025 % | 917.87/918.13 c | 3011760 | 99715 203014 | 53530 35735 879067 24.6 | 89.025 % | 917.97/918.23 c | 3012520 | 99695 202966 | 58883 36492 916238 25.1 | 89.052 % | 918.07/918.38 c | 3013660 | 99695 202966 | 64771 37632 978121 26.0 | 89.052 % | 918.37/918.61 c | 3015368 | 99695 202966 | 71248 39340 1048026 26.6 | 89.052 % | 918.67/918.90 c | 3017932 | 99695 202966 | 78373 41904 1138827 27.2 | 89.052 % | 919.17/919.43 c | 3021776 | 99695 202966 | 86210 45748 1289559 28.2 | 89.052 % | 920.07/920.30 c | 3027543 | 99692 202959 | 94831 51514 1533533 29.8 | 89.056 % | 921.27/921.56 c | 3036193 | 99692 202959 | 104315 60164 2051344 34.1 | 89.056 % | 923.37/923.63 c | 3049167 | 99692 202959 | 114746 73138 2768229 37.8 | 89.056 % | 927.17/927.42 c | 3068628 | 99692 202959 | 126221 92599 3599136 38.9 | 89.056 % | 933.77/934.06 c | 3097820 | 99692 202959 | 138843 121791 5274327 43.3 | 89.056 % | 945.17/945.43 c | 3141613 | 99688 202949 | 152727 165579 7335878 44.3 | 89.062 % | 962.87/963.18 c | 3207298 | 99688 202949 | 168000 66172 2133472 32.2 | 89.062 % | 985.16/985.45 c | 3305824 | 99685 202942 | 184800 164697 7424507 45.1 | 89.066 % | 1022.56/1022.87 c | 3453613 | 99668 202901 | 203280 112633 4923452 43.7 | 89.089 % | 1089.75/1090.09 c | 3675296 | 99665 202894 | 223608 120090 4619053 38.5 | 89.093 % | 1215.63/1215.93 c | 4007823 | 99658 202877 | 245969 214751 9603281 44.7 | 89.103 % | 1413.60/1413.98 c | 4506611 | 99621 202786 | 270566 209061 9127645 43.7 | 89.155 % | 1700.55/1700.96 c | 5254793 | 99582 202689 | 297623 119553 5319919 44.5 | 89.211 % | 1800.04/1800.40 c 1800.04/1800.40 c *** TERMINATED *** 1800.04/1800.40 s SATISFIABLE 1800.04/1800.40 v -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 -50
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-3723560-1338571714/watcher-3723560-1338571714 -o /tmp/evaluation-result-3723560-1338571714/solver-3723560-1338571714 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723560-1338571714.opb running on 4 cores: 0,2,4,6 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.87 3/173 13816 /proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [startup+0.074321 s] /proc/loadavg: 2.00 1.99 1.87 3/173 13816 /proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100328 s] /proc/loadavg: 2.00 1.99 1.87 3/173 13816 /proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300275 s] /proc/loadavg: 2.00 1.99 1.87 3/173 13816 /proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700287 s] /proc/loadavg: 2.00 1.99 1.87 3/173 13816 /proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50034 s] /proc/loadavg: 2.00 1.99 1.87 3/179 13828 /proc/meminfo: memFree=27740292/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=47704 CPUtime=1.49 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11608 0 0 0 145 4 0 0 20 0 1 0 323297489 48848896 11563 33554432000 4194304 5276501 140734890795248 140734890793496 4399930 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 11926 11563 118 265 0 11658 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56852 [startup+3.10035 s] /proc/loadavg: 2.00 1.99 1.87 3/179 13828 /proc/meminfo: memFree=27739548/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=47704 CPUtime=3.09 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11608 0 0 0 305 4 0 0 20 0 1 0 323297489 48848896 11563 33554432000 4194304 5276501 140734890795248 140734890793496 4399992 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 11926 11563 118 265 0 11658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56852 [startup+6.30029 s] /proc/loadavg: 2.00 1.99 1.87 3/179 13828 /proc/meminfo: memFree=27739060/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=47704 CPUtime=6.29 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11610 0 0 0 625 4 0 0 20 0 1 0 323297489 48848896 11565 33554432000 4194304 5276501 140734890795248 140734890793496 4391549 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 11926 11565 120 265 0 11658 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56852 [startup+12.7003 s] /proc/loadavg: 2.00 1.99 1.87 3/179 13828 /proc/meminfo: memFree=27738628/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=47704 CPUtime=12.68 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11618 0 0 0 1264 4 0 0 20 0 1 0 323297489 48848896 11565 33554432000 4194304 5276501 140734890795248 140734890793496 4396806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 11926 11565 120 265 0 11658 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 56852 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.87 3/179 13828 /proc/meminfo: memFree=27696228/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=70788 CPUtime=25.47 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 17521 0 0 0 2541 6 0 0 20 0 1 0 323297489 72486912 17343 33554432000 4194304 5276501 140734890795248 140734890793432 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 17697 17343 120 265 0 17429 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 79936 [startup+51.1003 s] /proc/loadavg: 2.00 1.99 1.87 3/179 13828 /proc/meminfo: memFree=27647200/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=98088 CPUtime=51.05 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 24320 0 0 0 5097 8 0 0 20 0 1 0 323297489 100442112 24064 33554432000 4194304 5276501 140734890795248 140734890793496 4399933 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 24522 24064 120 265 0 24254 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 107236 [startup+102.307 s] /proc/loadavg: 2.00 1.99 1.88 3/180 13831 /proc/meminfo: memFree=27540332/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=154492 CPUtime=102.24 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 38476 0 0 0 10211 13 0 0 20 0 1 0 323297489 158199808 38217 33554432000 4194304 5276501 140734890795248 140734890793496 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 38623 38217 120 265 0 38355 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 163640 [startup+162.3 s] /proc/loadavg: 2.07 2.02 1.89 3/179 13831 /proc/meminfo: memFree=27535408/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=160488 CPUtime=162.23 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 39833 0 0 0 16209 14 0 0 20 0 1 0 323297489 164339712 39574 33554432000 4194304 5276501 140734890795248 140734890793240 4391549 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 40122 39574 120 265 0 39854 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 169636 [startup+222.3 s] /proc/loadavg: 2.02 2.02 1.90 3/179 13831 /proc/meminfo: memFree=27516696/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=167384 CPUtime=222.2 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 41577 0 0 0 22205 15 0 0 20 0 1 0 323297489 171401216 41316 33554432000 4194304 5276501 140734890795248 140734890793496 4390912 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 41846 41316 120 265 0 41578 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 176532 [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.91 3/179 13832 /proc/meminfo: memFree=27508992/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=167360 CPUtime=282.18 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 41585 0 0 0 28203 15 0 0 20 0 1 0 323297489 171376640 41413 33554432000 4194304 5276501 140734890795248 140734890793496 4399846 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 41840 41413 120 265 0 41572 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 176508 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13832 /proc/meminfo: memFree=27506804/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=167360 CPUtime=342.17 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 41585 0 0 0 34202 15 0 0 20 0 1 0 323297489 171376640 41413 33554432000 4194304 5276501 140734890795248 140734890793496 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 41840 41413 120 265 0 41572 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 176508 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13832 /proc/meminfo: memFree=27506928/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=183564 CPUtime=1062.05 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45262 0 0 0 106188 17 0 0 20 0 1 0 323297489 187969536 45100 33554432000 4194304 5276501 140734890795248 140734890793672 4399953 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 45891 45100 120 265 0 45623 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 192712 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13838 /proc/meminfo: memFree=27490544/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=183564 CPUtime=1122.04 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45262 0 0 0 112187 17 0 0 20 0 1 0 323297489 187969536 45100 33554432000 4194304 5276501 140734890795248 140734890793496 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 45891 45100 120 265 0 45623 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 192712 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 13839 /proc/meminfo: memFree=27488064/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=184288 CPUtime=1182.03 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45414 0 0 0 118186 17 0 0 20 0 1 0 323297489 188710912 45252 33554432000 4194304 5276501 140734890795248 140734890793672 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46072 45252 120 265 0 45804 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 193436 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 1.92 3/179 13839 /proc/meminfo: memFree=27486700/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=184612 CPUtime=1242.02 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45488 0 0 0 124185 17 0 0 20 0 1 0 323297489 189042688 45326 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46153 45326 120 265 0 45885 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 193760 [startup+1302.3 s] /proc/loadavg: 2.02 2.01 1.92 3/180 13842 /proc/meminfo: memFree=27485576/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=185096 CPUtime=1302.02 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45597 0 0 0 130185 17 0 0 20 0 1 0 323297489 189538304 45435 33554432000 4194304 5276501 140734890795248 140734890793672 4399953 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46274 45435 120 265 0 46006 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 194244 [startup+1362.3 s] /proc/loadavg: 2.01 2.00 1.92 3/179 13842 /proc/meminfo: memFree=27484220/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=185768 CPUtime=1362 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45717 0 0 0 136183 17 0 0 20 0 1 0 323297489 190226432 45555 33554432000 4194304 5276501 140734890795248 140734890793480 4399942 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46442 45555 120 265 0 46174 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 194916 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13842 /proc/meminfo: memFree=27482608/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=186416 CPUtime=1422 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45847 0 0 0 142183 17 0 0 20 0 1 0 323297489 190889984 45685 33554432000 4194304 5276501 140734890795248 140734890793672 4399860 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46604 45685 120 265 0 46336 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 195564 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13843 /proc/meminfo: memFree=27482360/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=186740 CPUtime=1481.98 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45916 0 0 0 148181 17 0 0 20 0 1 0 323297489 191221760 45754 33554432000 4194304 5276501 140734890795248 140734890793672 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46685 45754 120 265 0 46417 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 195888 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13843 /proc/meminfo: memFree=27481120/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=187692 CPUtime=1541.98 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46094 0 0 0 154181 17 0 0 20 0 1 0 323297489 192196608 45932 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 46923 45932 120 265 0 46655 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 196840 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 13843 /proc/meminfo: memFree=27479136/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=188196 CPUtime=1601.97 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46224 0 0 0 160180 17 0 0 20 0 1 0 323297489 192712704 46062 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 47049 46062 120 265 0 46781 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 197344 [startup+1662.3 s] /proc/loadavg: 2.07 2.03 1.93 3/179 13843 /proc/meminfo: memFree=27478516/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=188772 CPUtime=1661.96 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46326 0 0 0 166179 17 0 0 20 0 1 0 323297489 193302528 46164 33554432000 4194304 5276501 140734890795248 140734890793480 4400020 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 47193 46164 120 265 0 46925 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 197920 [startup+1722.3 s] /proc/loadavg: 2.03 2.02 1.93 3/179 13843 /proc/meminfo: memFree=27476904/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=189204 CPUtime=1721.95 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46418 0 0 0 172178 17 0 0 20 0 1 0 323297489 193744896 46256 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 47301 46256 120 265 0 47033 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 198352 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 1.93 3/179 13844 /proc/meminfo: memFree=27475292/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=190468 CPUtime=1781.94 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46669 0 0 0 178177 17 0 0 20 0 1 0 323297489 195039232 46507 33554432000 4194304 5276501 140734890795248 140734890793672 4399958 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 47617 46507 120 265 0 47349 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 199616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.01 1.93 3/179 13844 /proc/meminfo: memFree=27475044/32873844 swapFree=7372/7372 [pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/13816/statm: 2287 277 236 213 0 72 0 [pid=13825] ppid=13816 vsize=190468 CPUtime=1800.04 cores=0,2,4,6 /proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46690 0 0 0 179987 17 0 0 20 0 1 0 323297489 195039232 46528 33554432000 4194304 5276501 140734890795248 140734890793672 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 /proc/13825/statm: 47617 46528 120 265 0 47349 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 199616 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.41 CPU time (s): 1800.06 CPU user time (s): 1799.88 CPU system time (s): 0.181972 CPU usage (%): 99.9805 Max. virtual memory (cumulated for all children) (KiB): 199616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.181972 maximum resident set size= 186116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47637 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= 95 involuntary context switches= 1907 runsolver used 4.89426 second user time and 19.753 second system time The end
Begin job on node118 at 2012-06-01 19:28:34 IDJOB=3723560 IDBENCH=2259 IDSOLVER=2307 FILE ID=node118/3723560-1338571714 RUNJOBID= node118-1338569913-13666 PBS_JOBID= 14635866 Free space on /tmp= 70992 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723560-1338571714/watcher-3723560-1338571714 -o /tmp/evaluation-result-3723560-1338571714/solver-3723560-1338571714 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723560-1338571714.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED=141729782 node118.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 : 2666.212 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 : 5332.42 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 : 2666.212 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 : 5438.55 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 : 2666.212 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.92 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 : 2666.212 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.91 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 : 2666.212 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 : 5320.68 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 : 2666.212 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 : 2666.212 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 : 2666.212 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27826112 kB Buffers: 467008 kB Cached: 3706276 kB SwapCached: 0 kB Active: 1246044 kB Inactive: 2940232 kB Active(anon): 2276 kB Inactive(anon): 11344 kB Active(file): 1243768 kB Inactive(file): 2928888 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 9012 kB Writeback: 12 kB AnonPages: 18128 kB Mapped: 11064 kB Shmem: 200 kB Slab: 722332 kB SReclaimable: 163448 kB SUnreclaim: 558884 kB KernelStack: 1496 kB PageTables: 3860 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70988 MiB End job on node118 at 2012-06-01 19:58:34