Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -47 | 1800.12 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -50 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -50 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.10/2.17 c Converting 80258 PB-constraints to clauses... 2.10/2.18 c -- Unit propagations: (none) 2.10/2.18 c -- Detecting intervals from adjacent constraints: (none) 2.10/2.19 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.29/2.37 c ==================================[MINISAT+]================================== 2.29/2.37 c | Conflicts | Original | Learnt | Progress | 2.29/2.37 c | | Clauses Literals | Max Clauses Literals LPC | | 2.29/2.37 c ============================================================================== 2.29/2.37 c | 0 | 80258 160516 | 26752 0 0 nan | 0.000 % | 2.29/2.37 c ============================================================================== 2.29/2.37 c [1mFound solution: -36[0m 2.29/2.37 o -36 2.29/2.38 c ---[ 0]---> Sorter-cost:63046 Base: 2.49/2.52 c ==================================[MINISAT+]================================== 2.49/2.52 c | Conflicts | Original | Learnt | Progress | 2.49/2.52 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49/2.52 c ============================================================================== 2.49/2.52 c | 0 | 148144 319772 | 49381 0 0 nan | 0.000 % | 2.59/2.68 c | 100 | 147820 319103 | 54319 84 567 6.8 | 0.388 % | 2.89/2.96 c | 250 | 147145 317664 | 59751 188 1432 7.6 | 1.214 % | 3.39/3.42 c | 476 | 146024 315267 | 65726 361 3068 8.5 | 2.595 % | 3.99/4.05 c | 813 | 143729 310234 | 72298 619 5841 9.4 | 5.557 % | 4.79/4.80 c | 1319 | 140833 303816 | 79528 968 9121 9.4 | 9.437 % | 5.89/5.99 c | 2079 | 136692 294527 | 87481 1586 15869 10.0 | 15.004 % | 7.69/7.71 c | 3218 | 131314 282313 | 96229 2417 27902 11.5 | 22.323 % | 9.89/9.94 c | 4926 | 122752 262701 | 105852 3528 39936 11.3 | 34.222 % | 12.88/12.91 c | 7488 | 112044 237857 | 116437 5289 62605 11.8 | 49.090 % | 13.28/13.34 c ============================================================================== 13.28/13.34 c [1mFound solution: -40[0m 13.28/13.34 o -40 13.28/13.35 c ---[ 0]---> Sorter-cost: 0 Base: 13.38/13.43 c ==================================[MINISAT+]================================== 13.38/13.43 c | Conflicts | Original | Learnt | Progress | 13.38/13.43 c | | Clauses Literals | Max Clauses Literals LPC | | 13.38/13.43 c ============================================================================== 13.38/13.43 c | 7928 | 111198 235994 | 37066 5633 66805 11.9 | 49.090 % | 13.48/13.53 c | 8028 | 110897 235287 | 40772 5710 67536 11.8 | 50.901 % | 13.58/13.67 c | 8178 | 110452 234225 | 44849 5792 68387 11.8 | 51.548 % | 13.88/13.94 c | 8403 | 109585 232234 | 49334 5952 71118 11.9 | 52.759 % | 14.19/14.24 c | 8741 | 108728 230226 | 54268 6208 74433 12.0 | 53.995 % | 14.58/14.63 c | 9247 | 107763 227961 | 59695 6556 79030 12.1 | 55.393 % | 15.18/15.23 c | 10006 | 106198 224277 | 65664 7058 87476 12.4 | 57.665 % | 15.98/16.09 c | 11146 | 103552 218006 | 72231 7914 103965 13.1 | 61.514 % | 17.08/17.12 c | 12854 | 100400 210497 | 79454 9088 124554 13.7 | 66.138 % | 18.48/18.60 c | 15416 | 97019 202392 | 87399 10804 161729 15.0 | 71.090 % | 20.18/20.20 c | 19260 | 94852 197144 | 96139 14054 253306 18.0 | 74.363 % | 22.38/22.46 c | 25026 | 93592 194098 | 105753 19178 576284 30.0 | 76.268 % | 24.38/24.41 c ============================================================================== 24.38/24.41 c [1mFound solution: -41[0m 24.38/24.41 o -41 24.38/24.43 c ---[ 0]---> Sorter-cost: 0 Base: 24.48/24.52 c ==================================[MINISAT+]================================== 24.48/24.52 c | Conflicts | Original | Learnt | Progress | 24.48/24.52 c | | Clauses Literals | Max Clauses Literals LPC | | 24.48/24.52 c ============================================================================== 24.48/24.52 c | 29121 | 92780 192183 | 30926 22895 940622 41.1 | 76.268 % | 24.48/24.60 c | 29221 | 92677 191930 | 34018 22961 941837 41.0 | 77.647 % | 24.68/24.71 c | 29371 | 92612 191776 | 37420 23105 945249 40.9 | 77.742 % | 24.78/24.80 c | 29597 | 92612 191776 | 41162 23331 954744 40.9 | 77.742 % | 24.88/24.98 c | 29934 | 92495 191494 | 45278 23662 962311 40.7 | 77.917 % | 25.18/25.25 c ============================================================================== 25.18/25.25 c [1mFound solution: -42[0m 25.18/25.25 o -42 25.18/25.27 c ---[ 0]---> Sorter-cost: 0 Base: 25.28/25.36 c ==================================[MINISAT+]================================== 25.28/25.36 c | Conflicts | Original | Learnt | Progress | 25.28/25.36 c | | Clauses Literals | Max Clauses Literals LPC | | 25.28/25.36 c ============================================================================== 25.28/25.36 c | 30329 | 92131 190575 | 30710 23891 984433 41.2 | 77.917 % | 25.38/25.46 c | 30429 | 92064 190426 | 33781 23974 986115 41.1 | 78.509 % | 25.48/25.56 c | 30579 | 91949 190146 | 37159 24115 994438 41.2 | 78.683 % | 25.68/25.71 c | 30804 | 91850 189911 | 40875 24280 1003798 41.3 | 78.828 % | 25.78/25.87 c | 31141 | 91766 189701 | 44962 24546 1013462 41.3 | 78.962 % | 25.98/26.09 c | 31647 | 91650 189414 | 49458 25021 1032977 41.3 | 79.143 % | 26.38/26.43 c | 32406 | 91601 189300 | 54404 25733 1089814 42.4 | 79.212 % | 26.88/26.94 c | 33545 | 91498 189059 | 59845 26813 1189985 44.4 | 79.358 % | 27.78/27.87 c | 35253 | 91064 187999 | 65829 28271 1265964 44.8 | 80.005 % | 29.28/29.34 c | 37817 | 90592 186879 | 72412 30523 1417125 46.4 | 80.691 % | 31.48/31.52 c | 41661 | 90247 186028 | 79653 34043 1688146 49.6 | 81.219 % | 35.27/35.30 c | 47427 | 89873 185101 | 87619 39490 2309222 58.5 | 81.806 % | 41.27/41.34 c ============================================================================== 41.27/41.34 c [1mFound solution: -43[0m 41.27/41.34 o -43 41.27/41.35 c ---[ 0]---> Sorter-cost: 0 Base: 41.37/41.47 c ==================================[MINISAT+]================================== 41.37/41.47 c | Conflicts | Original | Learnt | Progress | 41.37/41.47 c | | Clauses Literals | Max Clauses Literals LPC | | 41.37/41.47 c ============================================================================== 41.37/41.47 c | 55522 | 89822 185003 | 29940 47545 3314007 69.7 | 81.806 % | 41.47/41.57 c | 55622 | 89822 185003 | 32934 47645 3321718 69.7 | 81.930 % | 41.57/41.66 c | 55772 | 89822 185003 | 36227 47795 3326427 69.6 | 81.931 % | 41.78/41.83 c | 55998 | 89822 185003 | 39850 48021 3341366 69.6 | 81.930 % | 41.97/42.08 c | 56336 | 89822 185003 | 43835 48359 3370021 69.7 | 81.931 % | 42.37/42.45 c | 56842 | 89822 185003 | 48218 48865 3409651 69.8 | 81.930 % | 43.67/43.75 c | 57601 | 89177 183450 | 53040 48863 3434237 70.3 | 82.894 % | 44.47/44.54 c | 58740 | 89177 183450 | 58344 50002 3579676 71.6 | 82.894 % | 45.77/45.87 c | 60448 | 89117 183296 | 64179 51669 3732132 72.2 | 82.996 % | 47.87/47.98 c | 63011 | 89039 183106 | 70596 54124 3965144 73.3 | 83.114 % | 51.27/51.35 c | 66855 | 89039 183106 | 77656 57968 4599226 79.3 | 83.114 % | 56.77/56.88 c | 72622 | 88752 182402 | 85422 63069 5112366 81.1 | 83.557 % | 65.77/65.86 c | 81271 | 88748 182392 | 93964 71717 6426102 89.6 | 83.564 % | 79.96/80.08 c | 94245 | 88748 182392 | 103361 84691 8009047 94.6 | 83.564 % | 109.45/109.50 c | 113707 | 88741 182375 | 113697 104135 11319413 108.7 | 83.574 % | 154.34/154.46 c ============================================================================== 154.34/154.46 c [1mFound solution: -44[0m 154.34/154.46 o -44 154.34/154.47 c ---[ 0]---> Sorter-cost: 0 Base: 154.64/154.74 c ==================================[MINISAT+]================================== 154.64/154.74 c | Conflicts | Original | Learnt | Progress | 154.64/154.74 c | | Clauses Literals | Max Clauses Literals LPC | | 154.64/154.74 c ============================================================================== 154.64/154.74 c | 140871 | 88488 181720 | 29496 130980 15028721 114.7 | 83.574 % | 155.14/155.22 c | 140971 | 88488 181720 | 32445 23657 1604034 67.8 | 83.975 % | 155.24/155.30 c | 141121 | 88488 181720 | 35690 23807 1613264 67.8 | 83.975 % | 155.34/155.42 c | 141346 | 88488 181720 | 39259 24032 1631251 67.9 | 83.975 % | 155.54/155.65 c | 141683 | 88328 181322 | 43185 24359 1642586 67.4 | 84.221 % | 155.84/155.95 c | 142189 | 88328 181322 | 47503 24865 1700627 68.4 | 84.221 % | 156.24/156.38 c | 142948 | 88328 181322 | 52253 25624 1787151 69.7 | 84.221 % | 157.04/157.13 c | 144087 | 88328 181322 | 57479 26763 1947089 72.8 | 84.221 % | 158.04/158.17 c | 145797 | 88226 181078 | 63227 28458 2159705 75.9 | 84.369 % | 159.44/159.53 c | 148359 | 88221 181067 | 69550 31016 2379812 76.7 | 84.375 % | 161.94/162.01 c | 152203 | 88221 181067 | 76505 34860 2924276 83.9 | 84.375 % | 166.23/166.37 c | 157969 | 88221 181067 | 84155 40626 3769186 92.8 | 84.375 % | 173.93/174.03 c | 166618 | 88180 180970 | 92571 49077 4992109 101.7 | 84.436 % | 186.63/186.76 c | 179592 | 88139 180873 | 101828 61925 6663510 107.6 | 84.496 % | 203.92/204.05 c ============================================================================== 203.92/204.05 c [1mFound solution: -45[0m 203.92/204.05 o -45 203.92/204.06 c ---[ 0]---> Sorter-cost: 0 Base: 204.12/204.26 c ==================================[MINISAT+]================================== 204.12/204.26 c | Conflicts | Original | Learnt | Progress | 204.12/204.26 c | | Clauses Literals | Max Clauses Literals LPC | | 204.12/204.26 c ============================================================================== 204.12/204.26 c | 193053 | 88160 180935 | 29386 75386 9039640 119.9 | 84.496 % | 204.32/204.50 c | 193153 | 88154 180921 | 32324 20076 2226072 110.9 | 84.484 % | 204.52/204.63 c | 193303 | 88149 180908 | 35557 20222 2233119 110.4 | 84.492 % | 204.62/204.74 c | 193528 | 88149 180908 | 39112 20447 2240695 109.6 | 84.492 % | 204.92/205.08 c | 193865 | 87960 180457 | 43024 20704 2251356 108.7 | 84.765 % | 205.22/205.33 c | 194373 | 87960 180457 | 47326 21212 2285864 107.8 | 84.765 % | 205.52/205.64 c | 195133 | 87928 180387 | 52059 21969 2317828 105.5 | 84.806 % | 206.02/206.15 c | 196272 | 87928 180387 | 57265 23108 2390481 103.4 | 84.806 % | 207.02/207.14 c | 197981 | 87877 180262 | 62991 24808 2557155 103.1 | 84.886 % | 208.52/208.61 c | 200543 | 87877 180262 | 69290 27370 2839758 103.8 | 84.886 % | 211.02/211.13 c | 204387 | 87859 180218 | 76219 31206 3310018 106.1 | 84.914 % | 215.22/215.39 c | 210154 | 87728 179913 | 83841 36956 3914827 105.9 | 85.101 % | 222.71/222.84 c | 218803 | 87618 179642 | 92225 45444 4968749 109.3 | 85.273 % | 235.21/235.38 c | 231778 | 87612 179628 | 101448 58416 6873546 117.7 | 85.281 % | 258.20/258.33 c | 251240 | 87602 179602 | 111593 77876 9366492 120.3 | 85.299 % | 302.49/302.68 c | 280433 | 87500 179360 | 122752 106975 13247285 123.8 | 85.449 % | 383.86/384.00 c | 324222 | 87431 179199 | 135027 150675 18133943 120.4 | 85.548 % | 479.62/479.86 c | 389906 | 87254 178786 | 148530 58610 6764613 115.4 | 85.798 % | 645.97/646.23 c | 488432 | 87146 178513 | 163383 157074 18937562 120.6 | 85.974 % | 875.39/875.76 c | 636222 | 86975 178094 | 179722 122684 14752901 120.3 | 86.238 % | 925.88/926.26 c ============================================================================== 925.88/926.26 c [1mFound solution: -46[0m 925.88/926.26 o -46 925.88/926.27 c ---[ 0]---> Sorter-cost: 0 Base: 926.17/926.57 c ==================================[MINISAT+]================================== 926.17/926.57 c | Conflicts | Original | Learnt | Progress | 926.17/926.57 c | | Clauses Literals | Max Clauses Literals LPC | | 926.17/926.57 c ============================================================================== 926.17/926.57 c | 666222 | 86952 178006 | 28984 152419 17035157 111.8 | 86.238 % | 926.88/927.30 c | 666323 | 86952 178006 | 31882 23334 978598 41.9 | 86.275 % | 927.07/927.40 c | 666473 | 86952 178006 | 35070 23484 988229 42.1 | 86.276 % | 927.17/927.52 c | 666698 | 86949 177999 | 38577 23706 999761 42.2 | 86.280 % | 927.27/927.65 c | 667035 | 86949 177999 | 42435 24043 1015324 42.2 | 86.280 % | 927.47/927.86 c | 667542 | 86937 177971 | 46679 24545 1043697 42.5 | 86.297 % | 927.87/928.23 c | 668301 | 86937 177971 | 51346 25304 1104663 43.7 | 86.297 % | 928.27/928.69 c | 669440 | 86937 177971 | 56481 26443 1183390 44.8 | 86.297 % | 929.07/929.48 c | 671149 | 86937 177971 | 62129 28152 1333371 47.4 | 86.297 % | 930.27/930.69 c | 673711 | 86890 177860 | 68342 30695 1570494 51.2 | 86.366 % | 932.37/932.75 c | 677555 | 86890 177860 | 75177 34539 1942305 56.2 | 86.366 % | 935.97/936.30 c | 683322 | 86881 177837 | 82694 40286 2581099 64.1 | 86.381 % | 941.87/942.29 c | 691971 | 86881 177837 | 90964 48935 3392844 69.3 | 86.381 % | 952.56/952.98 c | 704945 | 86847 177751 | 100060 61890 4739700 76.6 | 86.437 % | 973.46/973.86 c | 724406 | 86811 177668 | 110066 81206 6780461 83.5 | 86.482 % | 1016.40/1016.81 c | 753598 | 86811 177668 | 121073 110398 9470624 85.8 | 86.482 % | 1089.82/1090.38 c | 797387 | 86716 177438 | 133180 154059 13869444 90.0 | 86.626 % | 1170.09/1170.67 c | 863074 | 86639 177253 | 146498 68032 6256523 92.0 | 86.740 % | 1323.24/1323.85 c | 961600 | 86604 177158 | 161148 166552 17993799 108.0 | 86.804 % | 1564.66/1565.38 c | 1109389 | 86592 177126 | 177263 134442 6394623 47.6 | 86.826 % | 1645.63/1646.31 c ============================================================================== 1645.63/1646.31 c [1mFound solution: -47[0m 1645.63/1646.31 o -47 1645.63/1646.33 c ---[ 0]---> Sorter-cost: 0 Base: 1645.83/1646.53 c ==================================[MINISAT+]================================== 1645.83/1646.53 c | Conflicts | Original | Learnt | Progress | 1645.83/1646.53 c | | Clauses Literals | Max Clauses Literals LPC | | 1645.83/1646.53 c ============================================================================== 1645.83/1646.53 c | 1145273 | 86623 177211 | 28874 170326 7883137 46.3 | 86.826 % | 1648.23/1648.97 c | 1145373 | 86623 177211 | 31761 27585 726923 26.4 | 86.814 % | 1648.33/1649.07 c | 1145523 | 86623 177211 | 34937 27735 731613 26.4 | 86.814 % | 1648.53/1649.22 c | 1145748 | 86623 177211 | 38431 27960 739350 26.4 | 86.814 % | 1648.63/1649.36 c | 1146085 | 86623 177211 | 42274 28297 753030 26.6 | 86.814 % | 1648.83/1649.55 c | 1146591 | 86590 177129 | 46501 28800 771501 26.8 | 86.865 % | 1649.13/1649.87 c | 1147350 | 86536 176983 | 51152 29491 809660 27.5 | 86.960 % | 1649.63/1650.36 c | 1148490 | 86493 176884 | 56267 30629 880383 28.7 | 87.017 % | 1650.43/1651.11 c | 1150198 | 86493 176884 | 61893 32337 1011258 31.3 | 87.017 % | 1651.43/1652.16 c | 1152761 | 86462 176807 | 68083 34891 1170729 33.6 | 87.067 % | 1653.43/1654.11 c | 1156605 | 86462 176807 | 74891 38735 1523673 39.3 | 87.067 % | 1656.53/1657.29 c | 1162371 | 86462 176807 | 82380 44501 2057085 46.2 | 87.067 % | 1662.53/1663.22 c | 1171020 | 86462 176807 | 90618 53150 2841659 53.5 | 87.067 % | 1674.62/1675.40 c | 1183994 | 86462 176807 | 99680 66124 4092847 61.9 | 87.067 % | 1695.21/1695.99 c | 1203455 | 86462 176807 | 109648 85585 6046974 70.7 | 87.067 % | 1731.40/1732.14 c | 1232648 | 86429 176728 | 120613 114700 9430680 82.2 | 87.116 % | 1798.79/1799.51 c | 1276437 | 86384 176619 | 132675 158476 13234418 83.5 | 87.185 % | 1800.09/1800.80 c 1800.09/1800.80 c *** TERMINATED *** 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.09/1800.80 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1800.09/1800.80 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1800.09/1800.80 v x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1800.09/1800.80 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.09/1800.80 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1800.09/1800.80 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1800.09/1800.80 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1800.09/1800.80 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 1800.09/1800.80 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1800.09/1800.80 v -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 1800.09/1800.80 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 1800.09/1800.80 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 1800.09/1800.80 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 1800.09/1800.80 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1800.09/1800.80 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 1800.09/1800.80 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 1800.09/1800.80 v -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 1800.09/1800.80 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 1800.09/1800.80 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1800.09/1800.80 v -x765 -x764 -x763 -x762 x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1800.09/1800.80 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 1800.09/1800.80 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1800.09/1800.80 v -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1800.09/1800.80 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 1800.09/1800.80 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1800.09/1800.80 v x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1800.09/1800.80 v -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1800.09/1800.80 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1800.09/1800.80 v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1800.09/1800.80 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 1800.09/1800.80 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 1800.09/1800.80 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1800.09/1800.80 v -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 1800.09/1800.80 v -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1800.09/1800.80 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1800.09/1800.80 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1800.09/1800.80 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388 1800.09/1800.80 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1800.09/1800.80 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 1800.09/1800.80 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 1800.09/1800.80 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1800.09/1800.80 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 1800.09/1800.80 v -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1800.09/1800.80 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1800.09/1800.80 v -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1800.09/1800.80 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 1800.09/1800.80 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1800.09/1800.80 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1800.09/1800.80 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1800.09/1800.80 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1800.09/1800.80 v x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1800.09/1800.80 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 1800.09/1800.80 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 1800.09/1800.80 v -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 1800.09/1800.80 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -47
/tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-353702-1176673458 -o ROOT/results/node46/solver-353702-1176673458 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353702-1176673458/minisat+ /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.00 0.99 3/65 27047 /proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=1312 CPUtime=0 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 22028982 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 328 147 74 215 0 110 0 [startup+0.029638 s] /proc/loadavg: 0.92 1.00 0.99 3/65 27047 /proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=1444 CPUtime=0.02 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 209 0 0 0 2 0 0 0 18 0 1 0 22028982 1478656 194 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 361 194 74 215 0 143 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1444 [startup+0.101651 s] /proc/loadavg: 0.92 1.00 0.99 3/65 27047 /proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=2120 CPUtime=0.09 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 363 0 0 0 9 0 0 0 18 0 1 0 22028982 2170880 348 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 530 348 74 215 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2120 [startup+0.301687 s] /proc/loadavg: 0.92 1.00 0.99 3/65 27047 /proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=3784 CPUtime=0.29 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 784 0 0 0 29 0 0 0 19 0 1 0 22028982 3874816 769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 946 769 74 215 0 728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3784 [startup+0.701761 s] /proc/loadavg: 0.92 1.00 0.99 3/65 27047 /proc/meminfo: memFree=1723392/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=7056 CPUtime=0.69 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 1617 0 0 0 68 1 0 0 23 0 1 0 22028982 7225344 1602 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 1764 1602 74 215 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7056 [startup+1.50191 s] /proc/loadavg: 0.92 1.00 0.99 2/66 27048 /proc/meminfo: memFree=1714680/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=13620 CPUtime=1.49 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 3250 0 0 0 147 2 0 0 25 0 1 0 22028982 13946880 3235 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 3405 3235 74 215 0 3187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13620 [startup+3.10241 s] /proc/loadavg: 0.92 1.00 0.99 2/66 27048 /proc/meminfo: memFree=1705656/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=30096 CPUtime=3.09 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7195 0 0 0 297 12 0 0 23 0 1 0 22028982 30818304 6997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581173 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 7524 6997 110 215 0 7306 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30096 [startup+6.3018 s] /proc/loadavg: 0.93 1.00 0.99 2/66 27048 /proc/meminfo: memFree=1695296/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=30096 CPUtime=6.29 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7196 0 0 0 617 12 0 0 25 0 1 0 22028982 30818304 6998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 7524 6998 110 215 0 7306 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30096 [startup+12.702 s] /proc/loadavg: 0.93 1.00 0.99 2/66 27048 /proc/meminfo: memFree=1695296/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=30096 CPUtime=12.68 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7196 0 0 0 1256 12 0 0 25 0 1 0 22028982 30818304 6998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 7524 6998 110 215 0 7306 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30096 [startup+25.5014 s] /proc/loadavg: 0.95 1.00 0.99 2/66 27048 /proc/meminfo: memFree=1695232/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=30476 CPUtime=25.48 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 7257 0 0 0 2536 12 0 0 25 0 1 0 22028982 31207424 7059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 7619 7059 111 215 0 7401 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30476 [startup+51.1011 s] /proc/loadavg: 0.96 1.00 0.99 2/66 27048 /proc/meminfo: memFree=1681920/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=44252 CPUtime=51.07 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 10687 0 0 0 5091 16 0 0 25 0 1 0 22028982 45314048 10489 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 11063 10489 111 215 0 10845 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44252 [startup+102.306 s] /proc/loadavg: 1.06 1.01 1.00 2/66 27048 /proc/meminfo: memFree=1656448/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=69536 CPUtime=102.26 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 16972 0 0 0 10204 22 0 0 25 0 1 0 22028982 71204864 16774 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 17384 16774 111 215 0 17166 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69536 [startup+162.302 s] /proc/loadavg: 1.02 1.01 1.00 2/66 27048 /proc/meminfo: memFree=1637056/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=88624 CPUtime=162.24 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 21793 0 0 0 16196 28 0 0 25 0 1 0 22028982 90750976 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 22156 21595 111 215 0 21938 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 88624 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1636992/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=88624 CPUtime=222.21 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 21793 0 0 0 22193 28 0 0 25 0 1 0 22028982 90750976 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 22156 21595 111 215 0 21938 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 88624 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1636928/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=88624 CPUtime=282.19 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 21793 0 0 0 28191 28 0 0 25 0 1 0 22028982 90750976 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 22156 21595 111 215 0 21938 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 88624 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1632640/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=93036 CPUtime=342.17 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 22882 0 0 0 34188 29 0 0 25 0 1 0 22028982 95268864 22684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 23259 22684 111 215 0 23041 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 93036 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1617856/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=108224 CPUtime=402.15 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 26629 0 0 0 40182 33 0 0 25 0 1 0 22028982 110821376 26431 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 27056 26431 111 215 0 26838 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 108224 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1606720/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=118880 CPUtime=462.13 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 46177 36 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 29720 29127 111 215 0 29502 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 118880 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1606720/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=118880 CPUtime=522.11 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 52175 36 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 29720 29127 111 215 0 29502 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 118880 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1606784/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=118880 CPUtime=582.09 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 58172 37 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 29720 29127 111 215 0 29502 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 118880 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1606720/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=118880 CPUtime=642.08 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 29325 0 0 0 64171 37 0 0 25 0 1 0 22028982 121733120 29127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 29720 29127 111 215 0 29502 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 118880 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.01 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1590016/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135504 CPUtime=822.01 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33499 0 0 0 82160 41 0 0 25 0 1 0 22028982 138756096 33301 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33876 33301 111 215 0 33658 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 135504 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1589952/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135504 CPUtime=881.99 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 88158 41 0 0 25 0 1 0 22028982 138756096 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33876 33303 111 215 0 33658 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 135504 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27048 /proc/meminfo: memFree=1590016/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=941.97 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 94156 41 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 135488 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/72 27074 /proc/meminfo: memFree=1588752/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1001.94 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 100153 41 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 135488 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589560/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1061.83 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 106141 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 135488 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589696/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1121.81 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 112139 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 135488 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589696/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1181.79 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 118137 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 135488 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589696/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1241.77 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 124135 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 135488 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589760/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1301.75 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 130133 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 135488 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589760/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135488 CPUtime=1361.73 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 136131 42 0 0 25 0 1 0 22028982 138739712 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33872 33303 111 215 0 33654 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 135488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1421.71 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33501 0 0 0 142129 42 0 0 25 0 1 0 22028982 138727424 33303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33303 111 215 0 33651 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 135476 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 27246 /proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1481.69 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33502 0 0 0 148126 43 0 0 25 0 1 0 22028982 138727424 33304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33304 111 215 0 33651 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 135476 [startup+1542.3 s] /proc/loadavg: 1.08 1.02 1.01 2/66 27246 /proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1541.67 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33502 0 0 0 154124 43 0 0 25 0 1 0 22028982 138727424 33304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33304 111 215 0 33651 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 135476 [startup+1602.3 s] /proc/loadavg: 1.09 1.03 1.00 2/66 27246 /proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1601.65 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33503 0 0 0 160122 43 0 0 25 0 1 0 22028982 138727424 33305 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33305 111 215 0 33651 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 135476 [startup+1662.3 s] /proc/loadavg: 1.03 1.02 1.00 2/66 27246 /proc/meminfo: memFree=1589888/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1661.62 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 166119 43 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574378 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33307 111 215 0 33651 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 135476 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 1.00 2/66 27246 /proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1721.6 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 172117 43 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33307 111 215 0 33651 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 135476 [startup+1782.3 s] /proc/loadavg: 1.06 1.03 1.00 2/66 27246 /proc/meminfo: memFree=1589888/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1781.59 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 178115 44 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33307 111 215 0 33651 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 135476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.04 1.02 1.00 2/66 27246 /proc/meminfo: memFree=1589824/2055920 swapFree=4192956/4192956 [pid=27047] ppid=27045 vsize=135476 CPUtime=1800.09 /proc/27047/stat : 27047 (minisat+) R 27045 27047 4127 0 -1 4194304 33505 0 0 0 179965 44 0 0 25 0 1 0 22028982 138727424 33307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27047/statm: 33869 33307 111 215 0 33651 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 135476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.84 CPU time (s): 1800.12 CPU user time (s): 1799.65 CPU system time (s): 0.464929 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 135504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.464929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33507 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 238 involuntary context switches= 1519 runsolver used 1.34479 second user time and 3.87841 second system time The end
Begin job on node46 on Sun Apr 15 21:44:20 UTC 2007 IDJOB= 353702 IDBENCH= 2263 IDSOLVER= 156 FILE ID= node46/353702-1176673458 PBS_JOBID= 4559914 Free space on /tmp= 66215 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb COMMAND LINE= /tmp/evaluation/353702-1176673458/minisat+ /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-353702-1176673458 -o ROOT/results/node46/conversion-353702-1176673458 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-353702-1176673458 -o ROOT/results/node46/solver-353702-1176673458 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353702-1176673458/minisat+ /tmp/evaluation/353702-1176673458/instance-353702-1176673458.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED= 849400382 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.268 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 : 5931.00 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.268 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: 1723736 kB Buffers: 65948 kB Cached: 156616 kB SwapCached: 0 kB Active: 97704 kB Inactive: 158464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723736 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4292 kB Writeback: 0 kB Mapped: 29508 kB Slab: 62048 kB Committed_AS: 1270740 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66215 MiB End job on node46 on Sun Apr 15 22:14:23 UTC 2007