Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -47 | 1800.63 | 1801.23 |
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 | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
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 c Parsing PB file... 2.17 c Converting 80258 PB-constraints to clauses... 2.18 c -- Unit propagations: (none) 2.18 c -- Detecting intervals from adjacent constraints: (none) 2.18 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.37 c ==================================[MINISAT+]================================== 2.37 c | Conflicts | Original | Learnt | Progress | 2.37 c | | Clauses Literals | Max Clauses Literals LPC | | 2.37 c ============================================================================== 2.37 c | 0 | 80258 160516 | 26752 0 0 nan | 0.000 % | 2.37 c ============================================================================== 2.37 c [1mFound solution: -36[0m 2.37 o -36 2.38 c ---[ 0]---> Sorter-cost:63046 Base: 2.52 c ==================================[MINISAT+]================================== 2.52 c | Conflicts | Original | Learnt | Progress | 2.52 c | | Clauses Literals | Max Clauses Literals LPC | | 2.52 c ============================================================================== 2.52 c | 0 | 148144 319772 | 49381 0 0 nan | 0.000 % | 2.67 c | 100 | 147820 319103 | 54319 84 567 6.8 | 0.388 % | 2.93 c | 250 | 147145 317664 | 59751 188 1432 7.6 | 1.214 % | 3.36 c | 476 | 146024 315267 | 65726 361 3068 8.5 | 2.595 % | 3.96 c | 813 | 143729 310234 | 72298 619 5841 9.4 | 5.557 % | 4.68 c | 1319 | 140833 303816 | 79528 968 9121 9.4 | 9.437 % | 5.81 c | 2079 | 136692 294527 | 87481 1586 15869 10.0 | 15.004 % | 7.44 c | 3218 | 131314 282313 | 96229 2417 27902 11.5 | 22.323 % | 9.57 c | 4926 | 122752 262701 | 105852 3528 39936 11.3 | 34.222 % | 12.52 c | 7488 | 112044 237857 | 116437 5289 62605 11.8 | 49.090 % | 12.95 c ============================================================================== 12.95 c [1mFound solution: -40[0m 12.95 o -40 12.96 c ---[ 0]---> Sorter-cost: 0 Base: 13.04 c ==================================[MINISAT+]================================== 13.04 c | Conflicts | Original | Learnt | Progress | 13.04 c | | Clauses Literals | Max Clauses Literals LPC | | 13.04 c ============================================================================== 13.04 c | 7928 | 111198 235994 | 37066 5633 66805 11.9 | 49.090 % | 13.13 c | 8028 | 110897 235287 | 40772 5710 67536 11.8 | 50.901 % | 13.27 c | 8178 | 110452 234225 | 44849 5792 68387 11.8 | 51.548 % | 13.54 c | 8403 | 109585 232234 | 49334 5952 71118 11.9 | 52.759 % | 13.84 c | 8741 | 108728 230226 | 54268 6208 74433 12.0 | 53.995 % | 14.22 c | 9247 | 107763 227961 | 59695 6556 79030 12.1 | 55.393 % | 14.81 c | 10006 | 106198 224277 | 65664 7058 87476 12.4 | 57.665 % | 15.66 c | 11146 | 103552 218006 | 72231 7914 103965 13.1 | 61.514 % | 16.67 c | 12854 | 100400 210497 | 79454 9088 124554 13.7 | 66.138 % | 18.14 c | 15416 | 97019 202392 | 87399 10804 161729 15.0 | 71.090 % | 19.74 c | 19260 | 94852 197144 | 96139 14054 253306 18.0 | 74.363 % | 21.99 c | 25026 | 93592 194098 | 105753 19178 576284 30.0 | 76.268 % | 23.95 c ============================================================================== 23.95 c [1mFound solution: -41[0m 23.95 o -41 23.96 c ---[ 0]---> Sorter-cost: 0 Base: 24.05 c ==================================[MINISAT+]================================== 24.05 c | Conflicts | Original | Learnt | Progress | 24.05 c | | Clauses Literals | Max Clauses Literals LPC | | 24.05 c ============================================================================== 24.05 c | 29121 | 92780 192183 | 30926 22895 940622 41.1 | 76.268 % | 24.13 c | 29221 | 92677 191930 | 34018 22961 941837 41.0 | 77.647 % | 24.24 c | 29371 | 92612 191776 | 37420 23105 945249 40.9 | 77.742 % | 24.33 c | 29597 | 92612 191776 | 41162 23331 954744 40.9 | 77.742 % | 24.51 c | 29934 | 92495 191494 | 45278 23662 962311 40.7 | 77.917 % | 24.79 c ============================================================================== 24.79 c [1mFound solution: -42[0m 24.79 o -42 24.80 c ---[ 0]---> Sorter-cost: 0 Base: 24.89 c ==================================[MINISAT+]================================== 24.89 c | Conflicts | Original | Learnt | Progress | 24.89 c | | Clauses Literals | Max Clauses Literals LPC | | 24.89 c ============================================================================== 24.89 c | 30329 | 92131 190575 | 30710 23891 984433 41.2 | 77.917 % | 24.99 c | 30429 | 92064 190426 | 33781 23974 986115 41.1 | 78.509 % | 25.09 c | 30579 | 91949 190146 | 37159 24115 994438 41.2 | 78.683 % | 25.24 c | 30804 | 91850 189911 | 40875 24280 1003798 41.3 | 78.828 % | 25.41 c | 31141 | 91766 189701 | 44962 24546 1013462 41.3 | 78.962 % | 25.62 c | 31647 | 91650 189414 | 49458 25021 1032977 41.3 | 79.143 % | 25.97 c | 32406 | 91601 189300 | 54404 25733 1089814 42.4 | 79.212 % | 26.48 c | 33545 | 91498 189059 | 59845 26813 1189985 44.4 | 79.358 % | 27.42 c | 35253 | 91064 187999 | 65829 28271 1265964 44.8 | 80.005 % | 28.87 c | 37817 | 90592 186879 | 72412 30523 1417125 46.4 | 80.691 % | 31.05 c | 41661 | 90247 186028 | 79653 34043 1688146 49.6 | 81.219 % | 34.78 c | 47427 | 89873 185101 | 87619 39490 2309222 58.5 | 81.806 % | 40.77 c ============================================================================== 40.77 c [1mFound solution: -43[0m 40.77 o -43 40.79 c ---[ 0]---> Sorter-cost: 0 Base: 40.91 c ==================================[MINISAT+]================================== 40.91 c | Conflicts | Original | Learnt | Progress | 40.91 c | | Clauses Literals | Max Clauses Literals LPC | | 40.91 c ============================================================================== 40.91 c | 55522 | 89822 185003 | 29940 47545 3314007 69.7 | 81.806 % | 41.00 c | 55622 | 89822 185003 | 32934 47645 3321718 69.7 | 81.930 % | 41.10 c | 55772 | 89822 185003 | 36227 47795 3326427 69.6 | 81.931 % | 41.26 c | 55998 | 89822 185003 | 39850 48021 3341366 69.6 | 81.930 % | 41.51 c | 56336 | 89822 185003 | 43835 48359 3370021 69.7 | 81.931 % | 41.89 c | 56842 | 89822 185003 | 48218 48865 3409651 69.8 | 81.930 % | 43.19 c | 57601 | 89177 183450 | 53040 48863 3434237 70.3 | 82.894 % | 44.00 c | 58740 | 89177 183450 | 58344 50002 3579676 71.6 | 82.894 % | 45.34 c | 60448 | 89117 183296 | 64179 51669 3732132 72.2 | 82.996 % | 47.46 c | 63011 | 89039 183106 | 70596 54124 3965144 73.3 | 83.114 % | 50.82 c | 66855 | 89039 183106 | 77656 57968 4599226 79.3 | 83.114 % | 56.29 c | 72622 | 88752 182402 | 85422 63069 5112366 81.1 | 83.557 % | 65.28 c | 81271 | 88748 182392 | 93964 71717 6426102 89.6 | 83.564 % | 79.48 c | 94245 | 88748 182392 | 103361 84691 8009047 94.6 | 83.564 % | 108.95 c | 113707 | 88741 182375 | 113697 104135 11319413 108.7 | 83.574 % | 153.90 c ============================================================================== 153.90 c [1mFound solution: -44[0m 153.90 o -44 153.91 c ---[ 0]---> Sorter-cost: 0 Base: 154.18 c ==================================[MINISAT+]================================== 154.18 c | Conflicts | Original | Learnt | Progress | 154.18 c | | Clauses Literals | Max Clauses Literals LPC | | 154.18 c ============================================================================== 154.18 c | 140871 | 88488 181720 | 29496 130980 15028721 114.7 | 83.574 % | 154.64 c | 140971 | 88488 181720 | 32445 23657 1604034 67.8 | 83.975 % | 154.73 c | 141121 | 88488 181720 | 35690 23807 1613264 67.8 | 83.975 % | 154.85 c | 141346 | 88488 181720 | 39259 24032 1631251 67.9 | 83.975 % | 155.07 c | 141683 | 88328 181322 | 43185 24359 1642586 67.4 | 84.221 % | 155.37 c | 142189 | 88328 181322 | 47503 24865 1700627 68.4 | 84.221 % | 155.79 c | 142948 | 88328 181322 | 52253 25624 1787151 69.7 | 84.221 % | 156.53 c | 144087 | 88328 181322 | 57479 26763 1947089 72.8 | 84.221 % | 157.57 c | 145797 | 88226 181078 | 63227 28458 2159705 75.9 | 84.369 % | 158.92 c | 148359 | 88221 181067 | 69550 31016 2379812 76.7 | 84.375 % | 161.39 c | 152203 | 88221 181067 | 76505 34860 2924276 83.9 | 84.375 % | 165.79 c | 157969 | 88221 181067 | 84155 40626 3769186 92.8 | 84.375 % | 173.43 c | 166618 | 88180 180970 | 92571 49077 4992109 101.7 | 84.436 % | 186.15 c | 179592 | 88139 180873 | 101828 61925 6663510 107.6 | 84.496 % | 203.41 c ============================================================================== 203.41 c [1mFound solution: -45[0m 203.41 o -45 203.42 c ---[ 0]---> Sorter-cost: 0 Base: 203.62 c ==================================[MINISAT+]================================== 203.62 c | Conflicts | Original | Learnt | Progress | 203.62 c | | Clauses Literals | Max Clauses Literals LPC | | 203.62 c ============================================================================== 203.62 c | 193053 | 88160 180935 | 29386 75386 9039640 119.9 | 84.496 % | 203.86 c | 193153 | 88154 180921 | 32324 20076 2226072 110.9 | 84.484 % | 203.99 c | 193303 | 88149 180908 | 35557 20222 2233119 110.4 | 84.492 % | 204.10 c | 193528 | 88149 180908 | 39112 20447 2240695 109.6 | 84.492 % | 204.45 c | 193865 | 87960 180457 | 43024 20704 2251356 108.7 | 84.765 % | 204.69 c | 194373 | 87960 180457 | 47326 21212 2285864 107.8 | 84.765 % | 205.01 c | 195133 | 87928 180387 | 52059 21969 2317828 105.5 | 84.806 % | 205.51 c | 196272 | 87928 180387 | 57265 23108 2390481 103.4 | 84.806 % | 206.51 c | 197981 | 87877 180262 | 62991 24808 2557155 103.1 | 84.886 % | 207.98 c | 200543 | 87877 180262 | 69290 27370 2839758 103.8 | 84.886 % | 210.50 c | 204387 | 87859 180218 | 76219 31206 3310018 106.1 | 84.914 % | 214.71 c | 210154 | 87728 179913 | 83841 36956 3914827 105.9 | 85.101 % | 222.13 c | 218803 | 87618 179642 | 92225 45444 4968749 109.3 | 85.273 % | 234.66 c | 231778 | 87612 179628 | 101448 58416 6873546 117.7 | 85.281 % | 257.58 c | 251240 | 87602 179602 | 111593 77876 9366492 120.3 | 85.299 % | 301.89 c | 280433 | 87500 179360 | 122752 106975 13247285 123.8 | 85.449 % | 383.33 c | 324222 | 87431 179199 | 135027 150675 18133943 120.4 | 85.548 % | 479.18 c | 389906 | 87254 178786 | 148530 58610 6764613 115.4 | 85.798 % | 645.52 c | 488432 | 87146 178513 | 163383 157074 18937562 120.6 | 85.974 % | 875.17 c | 636222 | 86975 178094 | 179722 122684 14752901 120.3 | 86.238 % | 925.77 c ============================================================================== 925.77 c [1mFound solution: -46[0m 925.77 o -46 925.79 c ---[ 0]---> Sorter-cost: 0 Base: 926.08 c ==================================[MINISAT+]================================== 926.08 c | Conflicts | Original | Learnt | Progress | 926.08 c | | Clauses Literals | Max Clauses Literals LPC | | 926.08 c ============================================================================== 926.08 c | 666222 | 86952 178006 | 28984 152419 17035157 111.8 | 86.238 % | 926.82 c | 666323 | 86952 178006 | 31882 23334 978598 41.9 | 86.275 % | 926.92 c | 666473 | 86952 178006 | 35070 23484 988229 42.1 | 86.276 % | 927.04 c | 666698 | 86949 177999 | 38577 23706 999761 42.2 | 86.280 % | 927.17 c | 667035 | 86949 177999 | 42435 24043 1015324 42.2 | 86.280 % | 927.38 c | 667542 | 86937 177971 | 46679 24545 1043697 42.5 | 86.297 % | 927.75 c | 668301 | 86937 177971 | 51346 25304 1104663 43.7 | 86.297 % | 928.21 c | 669440 | 86937 177971 | 56481 26443 1183390 44.8 | 86.297 % | 929.00 c | 671149 | 86937 177971 | 62129 28152 1333371 47.4 | 86.297 % | 930.20 c | 673711 | 86890 177860 | 68342 30695 1570494 51.2 | 86.366 % | 932.24 c | 677555 | 86890 177860 | 75177 34539 1942305 56.2 | 86.366 % | 935.74 c | 683322 | 86881 177837 | 82694 40286 2581099 64.1 | 86.381 % | 941.67 c | 691971 | 86881 177837 | 90964 48935 3392844 69.3 | 86.381 % | 952.39 c | 704945 | 86847 177751 | 100060 61890 4739700 76.6 | 86.437 % | 973.22 c | 724406 | 86811 177668 | 110066 81206 6780461 83.5 | 86.482 % | 1016.01 c | 753598 | 86811 177668 | 121073 110398 9470624 85.8 | 86.482 % | 1089.59 c | 797387 | 86716 177438 | 133180 154059 13869444 90.0 | 86.626 % | 1169.80 c | 863074 | 86639 177253 | 146498 68032 6256523 92.0 | 86.740 % | 1322.90 c | 961600 | 86604 177158 | 161148 166552 17993799 108.0 | 86.804 % | 1564.40 c | 1109389 | 86592 177126 | 177263 134442 6394623 47.6 | 86.826 % | 1645.10 c ============================================================================== 1645.10 c [1mFound solution: -47[0m 1645.10 o -47 1645.11 c ---[ 0]---> Sorter-cost: 0 Base: 1645.31 c ==================================[MINISAT+]================================== 1645.31 c | Conflicts | Original | Learnt | Progress | 1645.31 c | | Clauses Literals | Max Clauses Literals LPC | | 1645.31 c ============================================================================== 1645.31 c | 1145273 | 86623 177211 | 28874 170326 7883137 46.3 | 86.826 % | 1647.48 c | 1145373 | 86623 177211 | 31761 27585 726923 26.4 | 86.814 % | 1647.59 c | 1145523 | 86623 177211 | 34937 27735 731613 26.4 | 86.814 % | 1647.73 c | 1145748 | 86623 177211 | 38431 27960 739350 26.4 | 86.814 % | 1647.87 c | 1146085 | 86623 177211 | 42274 28297 753030 26.6 | 86.814 % | 1648.05 c | 1146591 | 86590 177129 | 46501 28800 771501 26.8 | 86.865 % | 1648.34 c | 1147350 | 86536 176983 | 51152 29491 809660 27.5 | 86.960 % | 1648.80 c | 1148490 | 86493 176884 | 56267 30629 880383 28.7 | 87.017 % | 1649.51 c | 1150198 | 86493 176884 | 61893 32337 1011258 31.3 | 87.017 % | 1650.54 c | 1152761 | 86462 176807 | 68083 34891 1170729 33.6 | 87.067 % | 1652.48 c | 1156605 | 86462 176807 | 74891 38735 1523673 39.3 | 87.067 % | 1655.61 c | 1162371 | 86462 176807 | 82380 44501 2057085 46.2 | 87.067 % | 1661.51 c | 1171020 | 86462 176807 | 90618 53150 2841659 53.5 | 87.067 % | 1673.65 c | 1183994 | 86462 176807 | 99680 66124 4092847 61.9 | 87.067 % | 1694.05 c | 1203455 | 86462 176807 | 109648 85585 6046974 70.7 | 87.067 % | 1730.20 c | 1232648 | 86429 176728 | 120613 114700 9430680 82.2 | 87.116 % | 1797.63 c | 1276437 | 86384 176619 | 132675 158476 13234418 83.5 | 87.185 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s SATISFIABLE 1801.20 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1801.20 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1801.20 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1801.20 v x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1801.20 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1801.20 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 1801.20 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 1801.20 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 1801.20 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 x997 1801.20 v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 1801.20 v -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 1801.20 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 1801.20 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 1801.20 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 1801.20 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 1801.20 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 -x851 -x850 1801.20 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 1801.20 v -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 1801.20 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 1801.20 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 1801.20 v -x765 -x764 -x763 -x762 x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 1801.20 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 1801.20 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 1801.20 v -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 1801.20 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 1801.20 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 1801.20 v x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 1801.20 v -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 1801.20 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 1801.20 v -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 1801.20 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 1801.20 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 1801.20 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 1801.20 v -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 1801.20 v -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 1801.20 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 1801.20 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 1801.20 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 x390 -x389 -x388 1801.20 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 1801.20 v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 1801.20 v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 1801.20 v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 1801.20 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 1801.20 v -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1801.20 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1801.20 v -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1801.20 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 1801.20 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 1801.20 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 1801.20 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 1801.20 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 1801.20 v x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 1801.20 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 1801.20 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 1801.20 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 1801.20 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -47
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-35631-1149298436 -o ROOT/results/node35/solver-35631-1149298436 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35631-1149298436/instance-35631-1149298436.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.90 2/64 2544 /proc/meminfo: memFree=1570968/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=1048 CPUtime=0 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 105 0 0 0 0 0 0 0 19 0 1 0 195507539 1073152 90 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 262 92 67 215 0 44 0 [startup+10.0016 s] /proc/loadavg: 0.87 0.94 0.90 2/64 2544 /proc/meminfo: memFree=1543384/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=30096 CPUtime=9.98 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 7196 0 0 0 987 11 0 0 25 0 1 0 195507539 30818304 6998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 7524 6998 110 215 0 7306 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 30096 [startup+20.0078 s] /proc/loadavg: 0.89 0.94 0.90 2/64 2544 /proc/meminfo: memFree=1543200/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=30476 CPUtime=19.98 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 7257 0 0 0 1987 11 0 0 25 0 1 0 195507539 31207424 7059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 7619 7059 111 215 0 7401 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 30476 [startup+30.014 s] /proc/loadavg: 0.90 0.94 0.90 2/64 2544 /proc/meminfo: memFree=1542560/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=31300 CPUtime=29.98 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 7436 0 0 0 2987 11 0 0 25 0 1 0 195507539 32051200 7238 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 7825 7238 111 215 0 7607 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 31300 [startup+40.0202 s] /proc/loadavg: 0.92 0.94 0.90 2/64 2544 /proc/meminfo: memFree=1535456/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=38320 CPUtime=39.99 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 9209 0 0 0 3986 13 0 0 25 0 1 0 195507539 39239680 9011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 9580 9011 111 215 0 9362 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38320 [startup+50.0264 s] /proc/loadavg: 0.93 0.94 0.90 2/64 2544 /proc/meminfo: memFree=1529952/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=43844 CPUtime=49.99 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 10589 0 0 0 4984 15 0 0 25 0 1 0 195507539 44896256 10391 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 10961 10391 111 215 0 10743 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 43844 [startup+60.0326 s] /proc/loadavg: 0.94 0.95 0.90 2/64 2544 /proc/meminfo: memFree=1524512/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=49336 CPUtime=59.99 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 11946 0 0 0 5983 16 0 0 25 0 1 0 195507539 50520064 11748 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 12334 11748 111 215 0 12116 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 49336 [startup+70.0388 s] /proc/loadavg: 0.95 0.95 0.91 2/64 2544 /proc/meminfo: memFree=1519136/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=54712 CPUtime=70 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 13293 0 0 0 6982 18 0 0 25 0 1 0 195507539 56025088 13095 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 13678 13095 111 215 0 13460 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 54712 [startup+80.045 s] /proc/loadavg: 0.96 0.95 0.91 2/64 2544 /proc/meminfo: memFree=1514592/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=59184 CPUtime=80 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 14417 0 0 0 7981 19 0 0 25 0 1 0 195507539 60604416 14219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 14796 14219 111 215 0 14578 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 59184 [startup+90.0513 s] /proc/loadavg: 0.96 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1510048/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=63928 CPUtime=90.01 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 15558 0 0 0 8981 20 0 0 25 0 1 0 195507539 65462272 15360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 15982 15360 111 215 0 15764 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 63928 [startup+100.057 s] /proc/loadavg: 0.97 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1505120/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=68728 CPUtime=100 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 16775 0 0 0 9979 21 0 0 25 0 1 0 195507539 70377472 16577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 17182 16577 111 215 0 16964 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 68728 [startup+110.064 s] /proc/loadavg: 0.97 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1500704/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=73160 CPUtime=110.01 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 17883 0 0 0 10979 22 0 0 25 0 1 0 195507539 74915840 17685 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 18290 17685 111 215 0 18072 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 73160 [startup+120.071 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1496608/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=77208 CPUtime=120.02 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 18907 0 0 0 11978 24 0 0 25 0 1 0 195507539 79060992 18709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 19302 18709 111 215 0 19084 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 77208 [startup+130.076 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1492064/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=81648 CPUtime=130.02 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 20036 0 0 0 12977 25 0 0 25 0 1 0 195507539 83607552 19838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 20412 19838 111 215 0 20194 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 81648 [startup+140.082 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1489056/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=84664 CPUtime=140.02 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 20790 0 0 0 13976 26 0 0 25 0 1 0 195507539 86695936 20592 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 21166 20592 111 215 0 20948 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 84664 [startup+150.089 s] /proc/loadavg: 0.98 0.95 0.91 2/64 2546 /proc/meminfo: memFree=1486240/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=87524 CPUtime=150.02 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21486 0 0 0 14975 27 0 0 25 0 1 0 195507539 89624576 21288 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 21881 21288 111 215 0 21663 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 87524 [startup+160.095 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2546 /proc/meminfo: memFree=1485024/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=88636 CPUtime=160.03 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 15975 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 22159 21595 111 215 0 21941 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 88636 [startup+170.101 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2546 /proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=88636 CPUtime=170.04 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 16976 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574420 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 22159 21595 111 215 0 21941 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 88636 [startup+180.107 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2546 /proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=88636 CPUtime=180.04 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 17976 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 22159 21595 111 215 0 21941 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 88636 [startup+190.113 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2546 /proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=88636 CPUtime=190.04 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 18976 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 22159 21595 111 215 0 21941 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 88636 [startup+200.12 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2546 /proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=88636 CPUtime=200.05 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 21793 0 0 0 19977 28 0 0 25 0 1 0 195507539 90763264 21595 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 22159 21595 111 215 0 21941 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 88636 [startup+210.126 s] /proc/loadavg: 0.99 0.96 0.91 2/64 2546 /proc/meminfo: memFree=1485088/2055920 swapFree=4180888/4192956 ################ # More data... # ################ [pid=2544] ppid=2542 vsize=135556 CPUtime=1781.51 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178102 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 135556 [startup+1783.11 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1782.51 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178202 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 135556 [startup+1784.11 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1783.52 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178303 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 135556 [startup+1785.12 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1784.52 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178403 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 135556 [startup+1786.12 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1785.53 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178504 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 135556 [startup+1787.13 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1786.53 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178604 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 135556 [startup+1788.13 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1787.54 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178705 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 135556 [startup+1789.14 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1788.54 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178805 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 135556 [startup+1790.14 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1789.55 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 178906 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 135556 [startup+1791.15 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1790.55 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179006 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 135556 [startup+1792.15 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1791.56 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179107 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 135556 [startup+1793.16 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1792.56 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179207 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 135556 [startup+1794.16 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1793.57 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179308 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 135556 [startup+1795.17 s] /proc/loadavg: 1.03 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1794.57 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179408 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 135556 [startup+1796.17 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1795.58 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179509 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574262 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 135556 [startup+1797.18 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1796.58 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179609 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 135556 [startup+1798.19 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1797.58 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179709 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 135556 [startup+1799.19 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1798.59 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179810 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 135556 [startup+1800.19 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1799.59 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 179910 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 135556 [startup+1801.2 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1800.6 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 180011 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 135556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.02 1.02 0.93 2/64 3217 /proc/meminfo: memFree=1418584/2055920 swapFree=4180888/4192956 [pid=2544] ppid=2542 vsize=135556 CPUtime=1800.6 /proc/2544/stat : 2544 (minisat+) R 2542 2544 2498 0 -1 4194304 33504 0 0 0 180011 49 0 0 25 0 1 0 195507539 138809344 33306 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2544/statm: 33889 33306 111 215 0 33671 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 135556 Sending SIGTERM to -2544 Sleeping 2 seconds Child status: 10 Real time (s): 1801.23 CPU time (s): 1800.63 CPU user time (s): 1800.12 CPU system time (s): 0.514921 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (Kb): 135572
Begin job on node35 on Sat Jun 3 01:33:56 UTC 2006 FILE ID= 35631-1149298436 PBS_JOBID= 307249 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35631-1149298436/instance-35631-1149298436.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-35631-1149298436 -o ROOT/results/node35/solver-35631-1149298436 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node35/35631-1149298436/instance-35631-1149298436.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED= 406971294 /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.210 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 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: 1571176 kB Buffers: 27168 kB Cached: 389132 kB SwapCached: 3872 kB Active: 75292 kB Inactive: 349804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1571176 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14936 kB Slab: 45688 kB Committed_AS: 348896 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node35 on Sat Jun 3 02:03:58 UTC 2006