Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -48 | 1800.67 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb |
MD5SUM | b94d4317cfb468b1c3dd3d790ff99d4d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
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 | 94289 |
Number of constraints which are clauses | 94289 |
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 c Parsing PB file... 2.54 c Converting 94289 PB-constraints to clauses... 2.55 c -- Unit propagations: (none) 2.55 c -- Detecting intervals from adjacent constraints: (none) 2.55 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.76 c ==================================[MINISAT+]================================== 2.76 c | Conflicts | Original | Learnt | Progress | 2.76 c | | Clauses Literals | Max Clauses Literals LPC | | 2.76 c ============================================================================== 2.76 c | 0 | 94289 188578 | 31429 0 0 nan | 0.000 % | 2.76 c ============================================================================== 2.76 c [1mFound solution: -38[0m 2.76 o -38 2.77 c ---[ 0]---> Sorter-cost:70300 Base: 2.92 c ==================================[MINISAT+]================================== 2.92 c | Conflicts | Original | Learnt | Progress | 2.92 c | | Clauses Literals | Max Clauses Literals LPC | | 2.92 c ============================================================================== 2.92 c | 0 | 169363 364695 | 56454 0 0 nan | 0.000 % | 3.16 c | 100 | 168931 363803 | 62099 75 961 12.8 | 0.464 % | 3.46 c | 251 | 168226 362304 | 68309 195 2080 10.7 | 1.241 % | 3.92 c | 477 | 166908 359478 | 75140 361 4481 12.4 | 2.716 % | 4.58 c | 814 | 165085 355491 | 82654 634 6941 10.9 | 4.833 % | 5.49 c | 1320 | 161650 347896 | 90919 1002 11746 11.7 | 8.903 % | 6.91 c | 2079 | 157439 338515 | 100011 1501 17642 11.8 | 13.952 % | 8.81 c | 3218 | 149574 320611 | 110012 2257 27487 12.2 | 23.762 % | 11.45 c | 4926 | 140077 298909 | 121014 3343 40938 12.2 | 35.604 % | 14.65 c | 7488 | 129263 273622 | 133115 4970 57038 11.5 | 49.390 % | 18.24 c | 11332 | 118074 247204 | 146427 7283 85078 11.7 | 64.089 % | 20.41 c ============================================================================== 20.41 c [1mFound solution: -42[0m 20.41 o -42 20.43 c ---[ 0]---> Sorter-cost: 0 Base: 20.51 c ==================================[MINISAT+]================================== 20.51 c | Conflicts | Original | Learnt | Progress | 20.51 c | | Clauses Literals | Max Clauses Literals LPC | | 20.51 c ============================================================================== 20.51 c | 14173 | 112053 232947 | 37351 8812 110869 12.6 | 64.089 % | 20.59 c | 14273 | 111956 232718 | 41086 8872 112201 12.6 | 72.341 % | 20.68 c | 14423 | 111733 232187 | 45194 9002 114113 12.7 | 72.561 % | 20.81 c | 14649 | 111451 231507 | 49714 9151 118315 12.9 | 72.945 % | 20.98 c | 14986 | 111001 230402 | 54685 9390 121727 13.0 | 73.568 % | 21.27 c | 15492 | 110268 228664 | 60154 9746 131154 13.5 | 74.539 % | 21.67 c | 16252 | 109470 226728 | 66169 10246 139678 13.6 | 75.632 % | 22.25 c | 17391 | 108305 223901 | 72786 11038 156782 14.2 | 77.225 % | 23.01 c | 19099 | 106843 220411 | 80065 12116 192204 15.9 | 79.176 % | 24.10 c | 21662 | 105578 217316 | 88071 13811 254342 18.4 | 80.914 % | 25.66 c | 25506 | 104256 214065 | 96878 16859 438700 26.0 | 82.765 % | 26.96 c ============================================================================== 26.96 c [1mFound solution: -43[0m 26.96 o -43 26.97 c ---[ 0]---> Sorter-cost: 0 Base: 27.07 c ==================================[MINISAT+]================================== 27.07 c | Conflicts | Original | Learnt | Progress | 27.07 c | | Clauses Literals | Max Clauses Literals LPC | | 27.07 c ============================================================================== 27.07 c | 29128 | 104139 213840 | 34713 20366 654650 32.1 | 82.765 % | 27.15 c | 29229 | 104025 213562 | 38184 20446 657035 32.1 | 83.099 % | 27.32 c | 29380 | 103872 213177 | 42002 20466 657976 32.1 | 83.323 % | 27.41 c | 29605 | 103872 213177 | 46203 20691 675471 32.6 | 83.323 % | 27.56 c | 29942 | 103872 213177 | 50823 21028 685274 32.6 | 83.323 % | 27.79 c | 30448 | 103722 212801 | 55905 21442 702839 32.8 | 83.539 % | 28.21 c | 31207 | 103261 211676 | 61496 21792 727090 33.4 | 84.177 % | 28.53 c | 32346 | 103261 211676 | 67645 22931 784028 34.2 | 84.177 % | 29.08 c ============================================================================== 29.08 c [1mFound solution: -44[0m 29.08 o -44 29.10 c ---[ 0]---> Sorter-cost: 0 Base: 29.20 c ==================================[MINISAT+]================================== 29.20 c | Conflicts | Original | Learnt | Progress | 29.20 c | | Clauses Literals | Max Clauses Literals LPC | | 29.20 c ============================================================================== 29.20 c | 33412 | 103252 211633 | 34417 23944 928774 38.8 | 84.177 % | 29.27 c | 33512 | 103242 211609 | 37858 24024 929884 38.7 | 84.207 % | 29.35 c | 33663 | 103242 211609 | 41644 24175 937156 38.8 | 84.207 % | 29.44 c | 33888 | 103242 211609 | 45809 24400 945982 38.8 | 84.207 % | 29.63 c | 34225 | 103106 211272 | 50389 24656 961580 39.0 | 84.396 % | 29.85 c | 34731 | 103096 211246 | 55428 25109 984488 39.2 | 84.412 % | 30.14 c | 35491 | 103053 211129 | 60971 25751 1012426 39.3 | 84.478 % | 30.78 c | 36631 | 102901 210759 | 67068 26726 1066796 39.9 | 84.686 % | 31.53 c | 38339 | 102881 210709 | 73775 28397 1192012 42.0 | 84.715 % | 32.71 c | 40901 | 102881 210709 | 81153 30959 1469684 47.5 | 84.715 % | 34.67 c | 44746 | 102871 210685 | 89268 34788 1844984 53.0 | 84.729 % | 37.56 c ============================================================================== 37.56 c [1mFound solution: -45[0m 37.56 o -45 37.57 c ---[ 0]---> Sorter-cost: 0 Base: 37.69 c ==================================[MINISAT+]================================== 37.69 c | Conflicts | Original | Learnt | Progress | 37.69 c | | Clauses Literals | Max Clauses Literals LPC | | 37.69 c ============================================================================== 37.69 c | 49083 | 102808 210537 | 34269 39065 2552883 65.3 | 84.729 % | 37.82 c | 49183 | 102715 210319 | 37695 39094 2554059 65.3 | 84.952 % | 37.92 c | 49333 | 102715 210319 | 41465 39244 2564935 65.4 | 84.952 % | 38.11 c | 49559 | 102638 210132 | 45612 39228 2570691 65.5 | 85.059 % | 38.33 c | 49896 | 102638 210132 | 50173 39565 2591937 65.5 | 85.059 % | 38.66 c | 50403 | 102638 210132 | 55190 40072 2655788 66.3 | 85.059 % | 39.09 c | 51162 | 102638 210132 | 60709 40831 2713978 66.5 | 85.059 % | 39.87 c | 52301 | 102627 210103 | 66780 41795 2803087 67.1 | 85.076 % | 41.13 c | 54009 | 102492 209776 | 73458 43288 3004323 69.4 | 85.263 % | 42.94 c | 56573 | 102482 209754 | 80804 45807 3307196 72.2 | 85.275 % | 45.86 c | 60417 | 102434 209638 | 88884 49598 3816497 76.9 | 85.341 % | 50.69 c | 66183 | 102321 209365 | 97773 54712 4533488 82.9 | 85.496 % | 58.80 c | 74832 | 102098 208818 | 107550 62430 5539945 88.7 | 85.806 % | 75.20 c | 87807 | 101884 208284 | 118305 75224 8117231 107.9 | 86.117 % | 77.75 c ============================================================================== 77.75 c [1mFound solution: -46[0m 77.75 o -46 77.77 c ---[ 0]---> Sorter-cost: 0 Base: 77.96 c ==================================[MINISAT+]================================== 77.96 c | Conflicts | Original | Learnt | Progress | 77.96 c | | Clauses Literals | Max Clauses Literals LPC | | 77.96 c ============================================================================== 77.96 c | 89873 | 101873 208219 | 33957 77213 8366826 108.4 | 86.117 % | 78.19 c | 89973 | 101813 208079 | 37352 77250 8370963 108.4 | 86.209 % | 78.38 c | 90123 | 101813 208079 | 41087 77400 8384920 108.3 | 86.209 % | 78.62 c | 90348 | 101813 208079 | 45196 77625 8402830 108.2 | 86.209 % | 79.04 c | 90685 | 101813 208079 | 49716 77962 8425118 108.1 | 86.209 % | 79.72 c | 91191 | 101808 208066 | 54688 78418 8477500 108.1 | 86.217 % | 80.58 c | 91950 | 101769 207969 | 60156 79147 8535292 107.8 | 86.273 % | 82.03 c | 93089 | 101732 207878 | 66172 79954 8650341 108.2 | 86.324 % | 83.92 c | 94797 | 101691 207781 | 72789 81587 8836109 108.3 | 86.378 % | 86.93 c | 97360 | 101678 207750 | 80068 84139 9093070 108.1 | 86.396 % | 91.99 c | 101204 | 101587 207532 | 88075 87350 9467343 108.4 | 86.516 % | 99.78 c | 106970 | 101584 207525 | 96883 93115 10262644 110.2 | 86.520 % | 112.81 c | 115619 | 101584 207525 | 106571 101764 11400274 112.0 | 86.520 % | 132.76 c ============================================================================== 132.76 c [1mFound solution: -47[0m 132.76 o -47 132.78 c ---[ 0]---> Sorter-cost: 0 Base: 133.03 c ==================================[MINISAT+]================================== 133.03 c | Conflicts | Original | Learnt | Progress | 133.03 c | | Clauses Literals | Max Clauses Literals LPC | | 133.03 c ============================================================================== 133.03 c | 128246 | 101576 207519 | 33858 113993 13276183 116.5 | 86.520 % | 133.35 c | 128346 | 101576 207519 | 37243 20346 1966312 96.6 | 86.569 % | 133.41 c | 128496 | 101576 207519 | 40968 20496 1972565 96.2 | 86.569 % | 133.53 c | 128722 | 101576 207519 | 45064 20722 1990233 96.0 | 86.569 % | 133.67 c | 129059 | 101576 207519 | 49571 21059 2010034 95.4 | 86.569 % | 133.94 c | 129565 | 101573 207512 | 54528 21564 2043549 94.8 | 86.573 % | 134.33 c | 130325 | 101573 207512 | 59981 22324 2119304 94.9 | 86.573 % | 134.88 c | 131466 | 101573 207512 | 65979 23465 2227953 94.9 | 86.573 % | 135.95 c | 133174 | 101566 207497 | 72577 25171 2440505 97.0 | 86.580 % | 137.29 c | 135736 | 101564 207493 | 79835 27732 2748292 99.1 | 86.582 % | 139.73 c | 139581 | 101564 207493 | 87818 31577 3280586 103.9 | 86.582 % | 144.85 c | 145347 | 101564 207493 | 96600 37343 4140110 110.9 | 86.582 % | 151.94 c | 153996 | 101564 207493 | 106260 45992 5223572 113.6 | 86.582 % | 164.46 c | 166970 | 101517 207383 | 116886 58757 6847744 116.5 | 86.641 % | 185.67 c | 186431 | 101502 207348 | 128575 78195 9333628 119.4 | 86.660 % | 225.55 c | 215624 | 101465 207263 | 141433 107203 13487587 125.8 | 86.705 % | 303.07 c | 259413 | 101459 207249 | 155576 150988 19357146 128.2 | 86.712 % | 424.21 c | 325098 | 101350 206988 | 171134 34947 3511279 100.5 | 86.860 % | 497.21 c ============================================================================== 497.21 c [1mFound solution: -48[0m 497.21 o -48 497.23 c ---[ 0]---> Sorter-cost: 0 Base: 497.48 c ==================================[MINISAT+]================================== 497.48 c | Conflicts | Original | Learnt | Progress | 497.48 c | | Clauses Literals | Max Clauses Literals LPC | | 497.48 c ============================================================================== 497.48 c | 380811 | 101228 206680 | 33742 90574 13877840 153.2 | 86.860 % | 497.81 c | 380912 | 101228 206680 | 37116 21316 1681202 78.9 | 87.021 % | 497.92 c | 381062 | 101200 206617 | 40827 21464 1689313 78.7 | 87.054 % | 498.06 c | 381289 | 101185 206582 | 44910 21667 1702173 78.6 | 87.074 % | 498.27 c | 381626 | 101148 206493 | 49401 21975 1723553 78.4 | 87.124 % | 498.57 c | 382133 | 101148 206493 | 54341 22482 1776280 79.0 | 87.124 % | 499.12 c | 382892 | 101055 206270 | 59776 23212 1844165 79.4 | 87.246 % | 499.73 c | 384031 | 101055 206270 | 65753 24351 1954875 80.3 | 87.246 % | 500.82 c | 385739 | 101055 206270 | 72328 26059 2147492 82.4 | 87.246 % | 502.30 c | 388301 | 101055 206270 | 79561 28621 2365128 82.6 | 87.246 % | 504.89 c | 392145 | 101027 206199 | 87518 32396 2747709 84.8 | 87.287 % | 509.38 c | 397911 | 101027 206199 | 96269 38162 3439348 90.1 | 87.287 % | 517.71 c | 406560 | 101027 206199 | 105896 46811 4695071 100.3 | 87.287 % | 530.87 c | 419534 | 101022 206188 | 116486 59757 6409276 107.3 | 87.293 % | 554.76 c | 438995 | 100964 206052 | 128135 79178 8870076 112.0 | 87.369 % | 598.12 c | 468188 | 100946 206006 | 140948 108363 12220053 112.8 | 87.396 % | 688.50 c | 511977 | 100946 206006 | 155043 152152 18151156 119.3 | 87.396 % | 828.63 c | 577661 | 100946 206006 | 170547 38410 3429448 89.3 | 87.396 % | 962.26 c | 676187 | 100891 205871 | 187602 136865 14521474 106.1 | 87.473 % | 1295.60 c | 823976 | 100891 205871 | 206363 75860 3443533 45.4 | 87.473 % | 1762.91 c | 1045661 | 100888 205864 | 226999 69235 2989273 43.2 | 87.477 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 s SATISFIABLE 1801.16 v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1801.16 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239 1801.16 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1801.16 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205 1801.16 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188 1801.16 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1801.16 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 1801.16 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1801.16 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 1801.16 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1801.16 v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1801.16 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1801.16 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 1801.16 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1801.16 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1801.16 v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 1801.16 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 1801.16 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 1801.16 v -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 1801.16 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 1801.16 v -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 1801.16 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 1801.16 v -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 1801.16 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 1801.16 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 1801.16 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 1801.16 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 1801.16 v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 1801.16 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 1801.16 v x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706 1801.16 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 1801.16 v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 1801.16 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 1801.16 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 1801.16 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 1801.16 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 1801.16 v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 1801.16 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 1801.16 v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 1801.16 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 1801.16 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 1801.16 v -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 1801.16 v -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 1801.16 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 1801.16 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1801.16 v -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 1801.16 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 1801.16 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 1801.16 v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 1801.16 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 1801.16 v -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 1801.16 v -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 1801.16 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 1801.16 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 1801.16 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 1801.16 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 1801.16 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 1801.16 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 1801.16 v -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 1801.16 v -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 1801.16 v -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 1801.16 v -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 1801.16 v -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -48
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node30/watcher-35625-1149297149 -o ROOT/results/node30/solver-35625-1149297149 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/35625-1149297149/instance-35625-1149297149.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 25850 /proc/meminfo: memFree=1705592/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=1180 CPUtime=0 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 123 0 0 0 0 0 0 0 19 0 1 0 195378544 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 295 108 67 215 0 77 0 [startup+10.0015 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1673592/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=34096 CPUtime=9.98 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 8296 0 0 0 985 13 0 0 25 0 1 0 195378544 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 8524 8080 110 215 0 8306 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 34096 [startup+20.0076 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1673784/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=34096 CPUtime=19.98 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 8296 0 0 0 1985 13 0 0 25 0 1 0 195378544 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582068 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 8524 8080 110 215 0 8306 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 34096 [startup+30.0136 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1673528/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=34520 CPUtime=29.98 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 8369 0 0 0 2985 13 0 0 25 0 1 0 195378544 35348480 8153 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 8630 8153 110 215 0 8412 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 34520 [startup+40.0197 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1668792/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=39344 CPUtime=39.99 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 9569 0 0 0 3985 14 0 0 25 0 1 0 195378544 40288256 9345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 9836 9345 110 215 0 9618 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 39344 [startup+50.0257 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1662072/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=46048 CPUtime=49.99 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 11248 0 0 0 4984 15 0 0 25 0 1 0 195378544 47153152 11024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 11512 11024 110 215 0 11294 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 46048 [startup+60.0318 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1656696/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=51416 CPUtime=60 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 12573 0 0 0 5983 17 0 0 25 0 1 0 195378544 52649984 12349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 12854 12349 110 215 0 12636 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 51416 [startup+70.0378 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1649848/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=58212 CPUtime=70 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 14283 0 0 0 6981 19 0 0 25 0 1 0 195378544 59609088 14059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 14553 14059 110 215 0 14335 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 58212 [startup+80.0439 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1644792/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=63308 CPUtime=80 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 15556 0 0 0 7979 21 0 0 25 0 1 0 195378544 64827392 15324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 15827 15324 110 215 0 15609 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 63308 [startup+90.0499 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1641272/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=66724 CPUtime=90 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 16432 0 0 0 8979 21 0 0 25 0 1 0 195378544 68325376 16200 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 16681 16200 110 215 0 16463 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 66724 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1637112/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=71116 CPUtime=100.01 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 17480 0 0 0 9978 23 0 0 25 0 1 0 195378544 72822784 17248 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 17779 17248 110 215 0 17561 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 71116 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1633592/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=74640 CPUtime=110.01 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 18366 0 0 0 10977 24 0 0 25 0 1 0 195378544 76431360 18134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 18660 18134 110 215 0 18442 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 74640 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1630072/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=78164 CPUtime=120.02 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 19243 0 0 0 11977 25 0 0 25 0 1 0 195378544 80039936 19011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 19541 19011 110 215 0 19323 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 78164 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1625592/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=82592 CPUtime=130.01 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20358 0 0 0 12976 25 0 0 25 0 1 0 195378544 84574208 20126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580473 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20648 20126 110 215 0 20430 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 82592 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=140.02 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 13977 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574465 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 83576 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=150.02 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 14977 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 83576 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=160.02 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 15977 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574445 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 83576 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=170.03 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 16978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573928 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 83576 [startup+180.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=180.03 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 17978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 83576 [startup+190.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=190.03 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 18978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 83576 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=83576 CPUtime=200.03 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 19978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 20894 20401 110 215 0 20676 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 83576 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25850 /proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956 ################ # More data... # ################ [pid=25850] ppid=25848 vsize=139876 CPUtime=1781.55 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178113 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 139876 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1782.55 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178213 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 139876 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1783.56 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178314 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 139876 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1784.56 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178414 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 139876 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1785.57 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178515 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 139876 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1786.57 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178615 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 139876 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1787.58 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178716 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 139876 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1788.58 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178816 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 139876 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1789.58 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178916 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 139876 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1790.59 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179017 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 139876 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1791.59 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179117 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 139876 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1792.6 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179218 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 139876 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1793.6 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179318 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 139876 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1794.61 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179419 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 139876 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1795.61 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179519 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 139876 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1796.62 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179620 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 139876 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1797.62 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179720 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 139876 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1798.62 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179820 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 139876 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1799.63 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179921 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (Kb) 139876 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1800.63 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 180021 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 139876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 25852 /proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956 [pid=25850] ppid=25848 vsize=139876 CPUtime=1800.64 /proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 180022 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25850/statm: 34969 34426 110 215 0 34751 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 139876 Sending SIGTERM to -25850 Sleeping 2 seconds Child status: 10 Real time (s): 1801.19 CPU time (s): 1800.67 CPU user time (s): 1800.22 CPU system time (s): 0.443932 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (Kb): 139876
Begin job on node30 on Sat Jun 3 01:12:29 UTC 2006 FILE ID= 35625-1149297149 PBS_JOBID= 307181 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/35625-1149297149/instance-35625-1149297149.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-35625-1149297149 -o ROOT/results/node30/solver-35625-1149297149 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/35625-1149297149/instance-35625-1149297149.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d RANDOM SEED= 542078334 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1705800 kB Buffers: 17740 kB Cached: 262264 kB SwapCached: 3488 kB Active: 49816 kB Inactive: 238756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1705800 kB SwapTotal: 4192956 kB SwapFree: 4180904 kB Dirty: 244 kB Writeback: 0 kB Mapped: 14724 kB Slab: 47668 kB Committed_AS: 263776 kB PageTables: 1396 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Sat Jun 3 01:42:30 UTC 2006