Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -45 | 1800.14 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
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.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80851 |
Number of constraints which are clauses | 80851 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.09/2.17 c Converting 80851 PB-constraints to clauses... 2.09/2.18 c -- Unit propagations: (none) 2.09/2.18 c -- Detecting intervals from adjacent constraints: (none) 2.09/2.18 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.30/2.36 c ==================================[MINISAT+]================================== 2.30/2.36 c | Conflicts | Original | Learnt | Progress | 2.30/2.36 c | | Clauses Literals | Max Clauses Literals LPC | | 2.30/2.36 c ============================================================================== 2.30/2.36 c | 0 | 80851 161702 | 26950 0 0 nan | 0.000 % | 2.30/2.36 c ============================================================================== 2.30/2.36 c [1mFound solution: -36[0m 2.30/2.36 o -36 2.30/2.37 c ---[ 0]---> Sorter-cost:63046 Base: 2.49/2.52 c ==================================[MINISAT+]================================== 2.49/2.52 c | Conflicts | Original | Learnt | Progress | 2.49/2.52 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49/2.52 c ============================================================================== 2.49/2.52 c | 0 | 148737 320958 | 49579 0 0 nan | 0.000 % | 2.69/2.70 c | 101 | 148366 320193 | 54536 85 765 9.0 | 0.441 % | 2.79/2.86 c | 252 | 148029 319484 | 59990 220 3072 14.0 | 0.844 % | 3.09/3.19 c | 477 | 147140 317584 | 65989 414 5422 13.1 | 1.937 % | 3.59/3.68 c | 814 | 145503 314007 | 72588 695 10180 14.6 | 4.025 % | 4.49/4.58 c | 1320 | 141871 306005 | 79847 1052 14339 13.6 | 8.753 % | 5.89/5.92 c | 2079 | 136023 292923 | 87832 1565 21384 13.7 | 16.582 % | 7.28/7.38 c | 3218 | 130632 280671 | 96615 2487 32283 13.0 | 23.974 % | 9.48/9.57 c | 4926 | 123081 263362 | 106276 3797 51144 13.5 | 34.454 % | 12.08/12.11 c | 7488 | 115042 244888 | 116904 5568 76837 13.8 | 45.531 % | 14.78/14.83 c | 11332 | 106902 225592 | 128595 8647 126243 14.6 | 57.367 % | 15.38/15.42 c ============================================================================== 15.38/15.42 c [1mFound solution: -37[0m 15.38/15.42 o -37 15.38/15.43 c ---[ 0]---> Sorter-cost: 0 Base: 15.48/15.51 c ==================================[MINISAT+]================================== 15.48/15.51 c | Conflicts | Original | Learnt | Progress | 15.48/15.51 c | | Clauses Literals | Max Clauses Literals LPC | | 15.48/15.51 c ============================================================================== 15.48/15.51 c | 12189 | 105355 221989 | 35118 9206 138743 15.1 | 57.367 % | 15.48/15.57 c | 12292 | 105334 221942 | 38629 9300 142332 15.3 | 59.672 % | 15.58/15.68 c | 12442 | 105154 221511 | 42492 9437 144616 15.3 | 59.940 % | 15.78/15.88 c | 12668 | 104547 220088 | 46742 9550 146897 15.4 | 60.812 % | 15.98/16.06 c | 13005 | 104266 219414 | 51416 9700 149137 15.4 | 61.231 % | 16.58/16.60 c | 13511 | 102353 214845 | 56557 9851 154585 15.7 | 64.142 % | 16.98/17.06 c | 14271 | 101471 212704 | 62213 10471 168910 16.1 | 65.388 % | 17.48/17.59 c | 15410 | 100525 210483 | 68435 11341 190635 16.8 | 66.819 % | 18.38/18.48 c | 17118 | 98376 205358 | 75278 12589 222288 17.7 | 69.882 % | 19.48/19.55 c | 19680 | 97425 203063 | 82806 14811 278397 18.8 | 71.285 % | 19.78/19.83 c ============================================================================== 19.78/19.83 c [1mFound solution: -38[0m 19.78/19.83 o -38 19.78/19.85 c ---[ 0]---> Sorter-cost: 0 Base: 19.88/19.93 c ==================================[MINISAT+]================================== 19.88/19.93 c | Conflicts | Original | Learnt | Progress | 19.88/19.93 c | | Clauses Literals | Max Clauses Literals LPC | | 19.88/19.93 c ============================================================================== 19.88/19.93 c | 19987 | 96638 201152 | 32212 14981 283316 18.9 | 71.285 % | 19.88/19.97 c | 20087 | 96638 201152 | 35433 15081 285189 18.9 | 72.422 % | 19.98/20.05 c | 20237 | 96439 200654 | 38976 15146 288150 19.0 | 72.733 % | 20.08/20.16 c | 20462 | 96306 200334 | 42874 15335 293321 19.1 | 72.932 % | 20.28/20.36 c | 20799 | 95886 199340 | 47161 15583 300834 19.3 | 73.553 % | 20.48/20.55 c | 21306 | 95774 199086 | 51877 16064 315316 19.6 | 73.706 % | 20.78/20.86 c | 22066 | 95551 198555 | 57065 16757 339492 20.3 | 74.033 % | 21.08/21.13 c ============================================================================== 21.08/21.13 c [1mFound solution: -40[0m 21.08/21.13 o -40 21.08/21.14 c ---[ 0]---> Sorter-cost: 0 Base: 21.18/21.23 c ==================================[MINISAT+]================================== 21.18/21.23 c | Conflicts | Original | Learnt | Progress | 21.18/21.23 c | | Clauses Literals | Max Clauses Literals LPC | | 21.18/21.23 c ============================================================================== 21.18/21.23 c | 22573 | 95160 197669 | 31720 17015 350326 20.6 | 74.033 % | 21.18/21.27 c | 22673 | 95160 197669 | 34892 17115 356501 20.8 | 74.686 % | 21.28/21.34 c | 22823 | 95106 197535 | 38381 17261 360565 20.9 | 74.772 % | 21.38/21.46 c | 23049 | 95013 197310 | 42219 17466 365076 20.9 | 74.910 % | 21.48/21.60 c | 23386 | 94966 197201 | 46441 17776 378604 21.3 | 74.975 % | 21.68/21.74 c | 23892 | 94961 197190 | 51085 18276 390433 21.4 | 74.981 % | 22.08/22.19 c | 24652 | 94399 195810 | 56193 18675 406360 21.8 | 75.842 % | 22.58/22.61 c | 25792 | 94283 195526 | 61813 19618 439777 22.4 | 76.021 % | 23.28/23.38 c | 27501 | 93887 194570 | 67994 21188 551252 26.0 | 76.623 % | 24.28/24.32 c | 30063 | 93580 193835 | 74794 23586 661515 28.0 | 77.085 % | 26.27/26.31 c | 33907 | 92526 191288 | 82273 26622 855765 32.1 | 78.683 % | 26.57/26.63 c ============================================================================== 26.57/26.63 c [1mFound solution: -41[0m 26.57/26.63 o -41 26.57/26.64 c ---[ 0]---> Sorter-cost: 0 Base: 26.67/26.73 c ==================================[MINISAT+]================================== 26.67/26.73 c | Conflicts | Original | Learnt | Progress | 26.67/26.73 c | | Clauses Literals | Max Clauses Literals LPC | | 26.67/26.73 c ============================================================================== 26.67/26.73 c | 34660 | 92501 191256 | 30833 27346 890259 32.6 | 78.683 % | 26.77/26.83 c | 34760 | 92374 190951 | 33916 27407 892203 32.6 | 78.925 % | 26.77/26.89 c | 34910 | 92374 190951 | 37307 27557 897352 32.6 | 78.925 % | 26.97/27.03 c | 35135 | 92325 190828 | 41038 27771 909011 32.7 | 78.996 % | 27.07/27.19 c | 35472 | 92325 190828 | 45142 28108 929804 33.1 | 78.996 % | 27.27/27.40 c | 35978 | 92325 190828 | 49656 28614 952436 33.3 | 78.996 % | 27.77/27.88 c | 36737 | 91933 189887 | 54622 29190 998234 34.2 | 79.580 % | 28.37/28.46 c | 37877 | 91668 189231 | 60084 30184 1050966 34.8 | 79.977 % | 29.37/29.44 c | 39585 | 91179 188051 | 66093 31104 1123554 36.1 | 80.703 % | 30.67/30.71 c | 42147 | 90991 187592 | 72702 33536 1352386 40.3 | 80.990 % | 32.98/33.09 c | 45991 | 90915 187410 | 79972 37245 1889303 50.7 | 81.102 % | 36.17/36.20 c | 51757 | 90762 187040 | 87970 42879 2343683 54.7 | 81.333 % | 36.78/36.85 c ============================================================================== 36.78/36.85 c [1mFound solution: -42[0m 36.78/36.85 o -42 36.78/36.87 c ---[ 0]---> Sorter-cost: 0 Base: 36.88/36.98 c ==================================[MINISAT+]================================== 36.88/36.98 c | Conflicts | Original | Learnt | Progress | 36.88/36.98 c | | Clauses Literals | Max Clauses Literals LPC | | 36.88/36.98 c ============================================================================== 36.88/36.98 c | 52914 | 90753 186986 | 30251 43937 2470581 56.2 | 81.333 % | 36.98/37.04 c | 53014 | 90753 186986 | 33276 44037 2472887 56.2 | 81.351 % | 37.08/37.16 c | 53164 | 90753 186986 | 36603 44187 2487369 56.3 | 81.351 % | 37.28/37.31 c | 53390 | 90753 186986 | 40264 44413 2502524 56.3 | 81.351 % | 37.48/37.50 c | 53727 | 90753 186986 | 44290 44750 2517712 56.3 | 81.351 % | 37.77/37.89 c | 54234 | 90712 186891 | 48719 45092 2552226 56.6 | 81.407 % | 38.27/38.35 c | 54995 | 90712 186891 | 53591 45853 2626768 57.3 | 81.407 % | 39.07/39.12 c | 56134 | 90698 186857 | 58950 46911 2726470 58.1 | 81.429 % | 40.07/40.19 c | 57843 | 90611 186643 | 64845 48530 2837380 58.5 | 81.556 % | 42.07/42.12 c | 60405 | 90521 186429 | 71330 50928 3048163 59.9 | 81.685 % | 44.87/44.96 c | 64249 | 90508 186398 | 78463 54678 3459802 63.3 | 81.705 % | 49.77/49.88 c | 70016 | 90366 186066 | 86309 60273 4054487 67.3 | 81.907 % | 57.76/57.89 c | 78665 | 90114 185438 | 94940 68614 5012115 73.0 | 82.308 % | 71.47/71.54 c | 91640 | 89808 184690 | 104434 80924 6476449 80.0 | 82.780 % | 82.76/82.87 c ============================================================================== 82.76/82.87 c [1mFound solution: -43[0m 82.76/82.87 o -43 82.76/82.89 c ---[ 0]---> Sorter-cost: 0 Base: 82.96/83.07 c ==================================[MINISAT+]================================== 82.96/83.07 c | Conflicts | Original | Learnt | Progress | 82.96/83.07 c | | Clauses Literals | Max Clauses Literals LPC | | 82.96/83.07 c ============================================================================== 82.96/83.07 c | 101349 | 89784 184660 | 29928 90515 7625234 84.2 | 82.780 % | 83.26/83.36 c | 101449 | 89740 184546 | 32920 23637 1615649 68.4 | 82.927 % | 83.36/83.46 c | 101600 | 89736 184536 | 36212 23784 1622993 68.2 | 82.933 % | 83.46/83.59 c | 101825 | 89736 184536 | 39834 24009 1640600 68.3 | 82.933 % | 83.76/83.86 c | 102162 | 89658 184344 | 43817 24307 1661876 68.4 | 83.056 % | 84.16/84.30 c | 102668 | 89497 183949 | 48199 24754 1694957 68.5 | 83.305 % | 84.66/84.71 c | 103427 | 89497 183949 | 53019 25513 1767199 69.3 | 83.305 % | 85.26/85.34 c | 104566 | 89497 183949 | 58321 26652 1884370 70.7 | 83.305 % | 86.46/86.52 c | 106275 | 89373 183652 | 64153 28323 2061056 72.8 | 83.490 % | 87.96/88.05 c | 108837 | 89373 183652 | 70568 30885 2343424 75.9 | 83.490 % | 90.66/90.79 c | 112681 | 89339 183568 | 77625 34664 2898101 83.6 | 83.544 % | 95.46/95.52 c | 118447 | 88995 182758 | 85388 40297 3742322 92.9 | 84.037 % | 103.46/103.51 c | 127096 | 88992 182751 | 93926 48945 4973106 101.6 | 84.041 % | 105.15/105.26 c ============================================================================== 105.15/105.26 c [1mFound solution: -44[0m 105.15/105.26 o -44 105.15/105.28 c ---[ 0]---> Sorter-cost: 0 Base: 105.35/105.43 c ==================================[MINISAT+]================================== 105.35/105.43 c | Conflicts | Original | Learnt | Progress | 105.35/105.43 c | | Clauses Literals | Max Clauses Literals LPC | | 105.35/105.43 c ============================================================================== 105.35/105.43 c | 128864 | 88967 182666 | 29655 50677 5251581 103.6 | 84.041 % | 105.56/105.61 c | 128964 | 88962 182655 | 32620 50775 5256860 103.5 | 84.087 % | 105.66/105.74 c | 129114 | 88962 182655 | 35882 50925 5267190 103.4 | 84.087 % | 105.85/105.93 c | 129339 | 88962 182655 | 39470 51150 5283543 103.3 | 84.087 % | 106.15/106.23 c | 129677 | 88962 182655 | 43417 51488 5324792 103.4 | 84.087 % | 106.55/106.69 c | 130183 | 88962 182655 | 47759 51994 5375997 103.4 | 84.087 % | 107.25/107.38 c | 130942 | 88962 182655 | 52535 52753 5461119 103.5 | 84.087 % | 108.35/108.43 c | 132081 | 88962 182655 | 57789 53892 5567309 103.3 | 84.087 % | 109.85/110.00 c | 133790 | 88962 182655 | 63568 55601 5753628 103.5 | 84.087 % | 112.45/112.54 c | 136353 | 88870 182433 | 69924 58139 6016906 103.5 | 84.220 % | 116.45/116.58 c | 140197 | 88770 182167 | 76917 61962 6470826 104.4 | 84.399 % | 122.65/122.78 c | 145963 | 88768 182163 | 84609 67727 7108180 105.0 | 84.401 % | 133.14/133.23 c | 154612 | 88725 182047 | 93070 76332 8360934 109.5 | 84.474 % | 150.44/150.57 c | 167586 | 88673 181922 | 102377 89282 10392161 116.4 | 84.554 % | 179.63/179.70 c | 187048 | 88609 181774 | 112614 108730 13218100 121.6 | 84.644 % | 234.12/234.23 c | 216240 | 88592 181733 | 123876 137917 17842959 129.4 | 84.670 % | 308.29/308.46 c | 260030 | 88397 181266 | 136263 36498 4124381 113.0 | 84.963 % | 399.87/400.00 c | 325714 | 88280 180980 | 149890 102049 16632541 163.0 | 85.143 % | 492.55/492.79 c ============================================================================== 492.55/492.79 c [1mFound solution: -45[0m 492.55/492.79 o -45 492.65/492.81 c ---[ 0]---> Sorter-cost: 0 Base: 492.94/493.17 c ==================================[MINISAT+]================================== 492.94/493.17 c | Conflicts | Original | Learnt | Progress | 492.94/493.17 c | | Clauses Literals | Max Clauses Literals LPC | | 492.94/493.17 c ============================================================================== 492.94/493.17 c | 377450 | 88232 180886 | 29410 153773 24052979 156.4 | 85.143 % | 493.75/493.90 c | 377550 | 88223 180863 | 32351 24087 2161776 89.7 | 85.225 % | 493.85/494.06 c | 377700 | 88223 180863 | 35586 24237 2176357 89.8 | 85.225 % | 494.04/494.22 c | 377925 | 88212 180836 | 39144 24459 2191005 89.6 | 85.243 % | 494.24/494.44 c | 378263 | 88190 180784 | 43059 24792 2208115 89.1 | 85.275 % | 494.54/494.77 c | 378769 | 88173 180745 | 47365 25296 2252341 89.0 | 85.298 % | 494.95/495.18 c | 379528 | 88173 180745 | 52101 26055 2316247 88.9 | 85.298 % | 495.64/495.86 c | 380667 | 88132 180639 | 57311 27172 2494937 91.8 | 85.365 % | 496.64/496.85 c | 382376 | 88132 180639 | 63042 28881 2661990 92.2 | 85.365 % | 498.34/498.58 c | 384938 | 88058 180460 | 69347 31425 2969947 94.5 | 85.477 % | 501.14/501.38 c | 388782 | 88055 180453 | 76281 35265 3493653 99.1 | 85.481 % | 505.54/505.76 c | 394548 | 88043 180425 | 83910 41020 4104524 100.1 | 85.498 % | 515.04/515.29 c | 403200 | 88043 180425 | 92301 49672 5806419 116.9 | 85.498 % | 528.93/529.16 c | 416174 | 87989 180297 | 101531 62572 7601609 121.5 | 85.578 % | 556.43/556.62 c | 435635 | 87843 179963 | 111684 81520 10678913 131.0 | 85.780 % | 603.71/603.99 c | 464827 | 87835 179945 | 122852 110711 14446943 130.5 | 85.791 % | 696.17/696.49 c | 508616 | 87768 179784 | 135138 154453 22661223 146.7 | 85.890 % | 791.88/792.24 c | 574301 | 87659 179502 | 148651 67067 9647438 143.8 | 86.075 % | 968.22/968.67 c | 672827 | 87579 179300 | 163517 165584 26562646 160.4 | 86.204 % | 1224.46/1224.92 c | 820616 | 87516 179142 | 179868 131211 15633594 119.1 | 86.305 % | 1645.94/1646.59 c | 1042299 | 87247 178478 | 197855 153454 26955261 175.7 | 86.720 % | 1800.10/1800.71 c 1800.10/1800.71 c *** TERMINATED *** 1800.10/1800.71 s SATISFIABLE 1800.10/1800.71 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.10/1800.71 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1800.10/1800.71 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1800.10/1800.71 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1800.10/1800.71 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.10/1800.71 v -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1800.10/1800.71 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 1800.10/1800.71 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1800.10/1800.71 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1800.10/1800.71 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 1800.10/1800.71 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 1800.10/1800.71 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 1800.10/1800.71 v -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1800.10/1800.71 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1800.10/1800.71 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1800.10/1800.71 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 1800.10/1800.71 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 1800.10/1800.71 v x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1800.10/1800.71 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 1800.10/1800.71 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 1800.10/1800.71 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 1800.10/1800.71 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 1800.10/1800.71 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 1800.10/1800.71 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1800.10/1800.71 v -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 1800.10/1800.71 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 1800.10/1800.71 v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1800.10/1800.71 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 x597 1800.10/1800.71 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1800.10/1800.71 v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1800.10/1800.71 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 1800.10/1800.71 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 1800.10/1800.71 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 1800.10/1800.71 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1800.10/1800.71 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 1800.10/1800.71 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1800.10/1800.71 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1800.10/1800.71 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 1800.10/1800.71 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1800.10/1800.71 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1800.10/1800.71 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 1800.10/1800.71 v -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1800.10/1800.71 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 1800.10/1800.71 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1800.10/1800.71 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1800.10/1800.71 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 1800.10/1800.71 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 1800.10/1800.71 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1800.10/1800.71 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 1800.10/1800.71 v x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1800.10/1800.71 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 1800.10/1800.71 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 1800.10/1800.71 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 x66 1800.10/1800.71 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 1800.10/1800.71 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 1800.10/1800.71 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -45
/tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-353715-1176673777 -o ROOT/results/node45/solver-353715-1176673777 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353715-1176673777/minisat+ /tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.03 1.00 3/64 2482 /proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=1312 CPUtime=0 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 22223350 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 328 147 74 215 0 110 0 [startup+0.101249 s] /proc/loadavg: 1.03 1.03 1.00 3/64 2482 /proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=2120 CPUtime=0.1 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 362 0 0 0 10 0 0 0 18 0 1 0 22223350 2170880 347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 530 347 74 215 0 312 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2120 [startup+0.201259 s] /proc/loadavg: 1.03 1.03 1.00 3/64 2482 /proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=2948 CPUtime=0.19 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 573 0 0 0 19 0 0 0 18 0 1 0 22223350 3018752 558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 737 558 74 215 0 519 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2948 [startup+0.30127 s] /proc/loadavg: 1.03 1.03 1.00 3/64 2482 /proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=3784 CPUtime=0.29 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 784 0 0 0 29 0 0 0 19 0 1 0 22223350 3874816 769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 946 769 74 215 0 728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3784 [startup+0.70131 s] /proc/loadavg: 1.03 1.03 1.00 3/64 2482 /proc/meminfo: memFree=1607632/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=7056 CPUtime=0.69 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 1615 0 0 0 69 0 0 0 22 0 1 0 22223350 7225344 1600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 1764 1601 74 215 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7056 [startup+1.50139 s] /proc/loadavg: 1.03 1.03 1.00 2/65 2483 /proc/meminfo: memFree=1598088/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=13756 CPUtime=1.5 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 3271 0 0 0 149 1 0 0 25 0 1 0 22223350 14086144 3256 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 3439 3256 74 215 0 3221 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 13756 [startup+3.10155 s] /proc/loadavg: 1.03 1.03 1.00 3/65 2483 /proc/meminfo: memFree=1588424/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=30264 CPUtime=3.09 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7234 0 0 0 299 10 0 0 23 0 1 0 22223350 30990336 7038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580299 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 7566 7038 110 215 0 7348 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30264 [startup+6.30188 s] /proc/loadavg: 1.03 1.03 1.00 2/65 2483 /proc/meminfo: memFree=1579336/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=30264 CPUtime=6.29 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7235 0 0 0 619 10 0 0 25 0 1 0 22223350 30990336 7039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 7566 7039 110 215 0 7348 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30264 [startup+12.7025 s] /proc/loadavg: 1.03 1.03 1.00 2/65 2483 /proc/meminfo: memFree=1579400/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=30264 CPUtime=12.68 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7235 0 0 0 1258 10 0 0 25 0 1 0 22223350 30990336 7039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 7566 7039 110 215 0 7348 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30264 [startup+25.5018 s] /proc/loadavg: 1.17 1.06 1.01 2/65 2483 /proc/meminfo: memFree=1579336/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=30644 CPUtime=25.47 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 7295 0 0 0 2537 10 0 0 25 0 1 0 22223350 31379456 7099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 7661 7099 110 215 0 7443 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 30644 [startup+51.1014 s] /proc/loadavg: 1.11 1.06 1.01 2/65 2483 /proc/meminfo: memFree=1567176/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=43320 CPUtime=51.07 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 10422 0 0 0 5093 14 0 0 25 0 1 0 22223350 44359680 10226 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 10830 10226 110 215 0 10612 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43320 [startup+102.302 s] /proc/loadavg: 1.10 1.06 1.01 2/65 2483 /proc/meminfo: memFree=1552136/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=57900 CPUtime=102.26 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 14112 0 0 0 10207 19 0 0 25 0 1 0 22223350 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 14475 13916 110 215 0 14257 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 57900 [startup+162.302 s] /proc/loadavg: 1.04 1.05 1.01 2/65 2483 /proc/meminfo: memFree=1535816/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=74572 CPUtime=162.24 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 18230 0 0 0 16200 24 0 0 25 0 1 0 22223350 76361728 18034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 18643 18034 110 215 0 18425 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 74572 [startup+222.306 s] /proc/loadavg: 1.01 1.04 1.00 2/65 2483 /proc/meminfo: memFree=1513992/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=96012 CPUtime=222.23 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 23624 0 0 0 22193 30 0 0 25 0 1 0 22223350 98316288 23428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 24003 23428 110 215 0 23785 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 96012 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 2483 /proc/meminfo: memFree=1495176/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=115064 CPUtime=282.2 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 28355 0 0 0 28184 36 0 0 25 0 1 0 22223350 117825536 28159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 28766 28159 110 215 0 28548 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 115064 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2483 /proc/meminfo: memFree=1490056/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=120020 CPUtime=342.18 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 29583 0 0 0 34181 37 0 0 25 0 1 0 22223350 122900480 29387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 30005 29387 110 215 0 29787 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 120020 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2483 /proc/meminfo: memFree=1489992/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=120020 CPUtime=402.17 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 29583 0 0 0 40179 38 0 0 25 0 1 0 22223350 122900480 29387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 30005 29387 110 215 0 29787 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 120020 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2483 /proc/meminfo: memFree=1490056/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=120020 CPUtime=462.15 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 29583 0 0 0 46177 38 0 0 25 0 1 0 22223350 122900480 29387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 30005 29387 110 215 0 29787 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 120020 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2483 /proc/meminfo: memFree=1482184/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=127804 CPUtime=522.13 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 31553 0 0 0 52173 40 0 0 25 0 1 0 22223350 130871296 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 31951 31357 110 215 0 31733 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 127804 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2483 /proc/meminfo: memFree=1482184/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=127804 CPUtime=582.12 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 31553 0 0 0 58172 40 0 0 25 0 1 0 22223350 130871296 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 31951 31357 110 215 0 31733 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 127804 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2483 /proc/meminfo: memFree=1482184/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=127804 CPUtime=642.1 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 31553 0 0 0 64170 40 0 0 25 0 1 0 22223350 130871296 31357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 31951 31357 110 215 0 31733 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 127804 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2681 /proc/meminfo: memFree=1474696/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=135212 CPUtime=821.97 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 33387 0 0 0 82151 46 0 0 25 0 1 0 22223350 138457088 33191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 33803 33191 110 215 0 33585 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 135212 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2681 /proc/meminfo: memFree=1474696/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=135212 CPUtime=881.96 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 33387 0 0 0 88150 46 0 0 25 0 1 0 22223350 138457088 33191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 33803 33191 110 215 0 33585 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 135212 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2681 /proc/meminfo: memFree=1474632/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=135212 CPUtime=941.94 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 33387 0 0 0 94148 46 0 0 25 0 1 0 22223350 138457088 33191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 33803 33191 110 215 0 33585 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 135212 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2681 /proc/meminfo: memFree=1462600/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=147324 CPUtime=1001.92 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 36414 0 0 0 100143 49 0 0 25 0 1 0 22223350 150859776 36218 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 36831 36218 110 215 0 36613 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 147324 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1453128/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=156644 CPUtime=1061.9 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 38783 0 0 0 106138 52 0 0 25 0 1 0 22223350 160403456 38587 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39161 38587 110 215 0 38943 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 156644 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158444 CPUtime=1121.89 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39240 0 0 0 112136 53 0 0 25 0 1 0 22223350 162246656 39044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39611 39044 110 215 0 39393 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 158444 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451336/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158444 CPUtime=1181.87 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39240 0 0 0 118134 53 0 0 25 0 1 0 22223350 162246656 39044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39611 39044 110 215 0 39393 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 158444 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451272/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158444 CPUtime=1241.85 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39240 0 0 0 124132 53 0 0 25 0 1 0 22223350 162246656 39044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39611 39044 110 215 0 39393 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 158444 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451272/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158444 CPUtime=1301.83 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39242 0 0 0 130130 53 0 0 25 0 1 0 22223350 162246656 39046 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39611 39046 110 215 0 39393 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 158444 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451272/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158444 CPUtime=1361.81 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39243 0 0 0 136128 53 0 0 25 0 1 0 22223350 162246656 39047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39611 39047 110 215 0 39393 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 158444 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451208/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158848 CPUtime=1421.8 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 142127 53 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568484 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39712 39064 110 215 0 39494 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 158848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158848 CPUtime=1481.78 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 148125 53 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39712 39064 110 215 0 39494 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 158848 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158848 CPUtime=1541.77 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 154123 54 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39712 39064 110 215 0 39494 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 158848 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158848 CPUtime=1601.75 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 160121 54 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39712 39064 110 215 0 39494 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 158848 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1451144/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=158848 CPUtime=1661.73 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39260 0 0 0 166119 54 0 0 25 0 1 0 22223350 162660352 39064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 39712 39064 110 215 0 39494 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 158848 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1449224/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=160920 CPUtime=1721.71 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 39771 0 0 0 172117 54 0 0 25 0 1 0 22223350 164782080 39575 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 40230 39575 110 215 0 40012 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 160920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1438344/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=171860 CPUtime=1781.7 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 42481 0 0 0 178112 58 0 0 25 0 1 0 22223350 175984640 42285 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 42965 42285 110 215 0 42747 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 171860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2683 /proc/meminfo: memFree=1434120/2055920 swapFree=4192036/4192956 [pid=2482] ppid=2480 vsize=175912 CPUtime=1800.1 /proc/2482/stat : 2482 (minisat+) R 2480 2482 25350 0 -1 4194304 43500 0 0 0 179951 59 0 0 25 0 1 0 22223350 180133888 43304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2482/statm: 43978 43304 110 215 0 43760 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 175912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.74 CPU time (s): 1800.14 CPU user time (s): 1799.51 CPU system time (s): 0.626904 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 175912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.626904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43502 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 309 involuntary context switches= 2672 runsolver used 1.3368 second user time and 3.82742 second system time The end
Begin job on node45 on Sun Apr 15 21:49:37 UTC 2007 IDJOB= 353715 IDBENCH= 2264 IDSOLVER= 156 FILE ID= node45/353715-1176673777 PBS_JOBID= 4559921 Free space on /tmp= 66560 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb COMMAND LINE= /tmp/evaluation/353715-1176673777/minisat+ /tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-353715-1176673777 -o ROOT/results/node45/conversion-353715-1176673777 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-353715-1176673777 -o ROOT/results/node45/solver-353715-1176673777 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353715-1176673777/minisat+ /tmp/evaluation/353715-1176673777/instance-353715-1176673777.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED= 920320910 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 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.218 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: 1607976 kB Buffers: 40432 kB Cached: 295252 kB SwapCached: 508 kB Active: 105612 kB Inactive: 250572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1607976 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 4276 kB Writeback: 0 kB Mapped: 29632 kB Slab: 77828 kB Committed_AS: 956564 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node45 on Sun Apr 15 22:19:40 UTC 2007