Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -47 | 1800.06 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
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.1 |
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 | 80035 |
Number of constraints which are clauses | 80035 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.10/2.19 c Converting 80035 PB-constraints to clauses... 2.10/2.20 c -- Unit propagations: (none) 2.10/2.20 c -- Detecting intervals from adjacent constraints: (none) 2.19/2.20 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.29/2.38 c ==================================[MINISAT+]================================== 2.29/2.38 c | Conflicts | Original | Learnt | Progress | 2.29/2.38 c | | Clauses Literals | Max Clauses Literals LPC | | 2.29/2.38 c ============================================================================== 2.29/2.38 c | 0 | 80035 160070 | 26678 0 0 nan | 0.000 % | 2.29/2.38 c ============================================================================== 2.29/2.38 c [1mFound solution: -37[0m 2.29/2.38 o -37 2.29/2.39 c ---[ 0]---> Sorter-cost:63046 Base: 2.49/2.54 c ==================================[MINISAT+]================================== 2.49/2.54 c | Conflicts | Original | Learnt | Progress | 2.49/2.54 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49/2.54 c ============================================================================== 2.49/2.54 c | 0 | 147951 319392 | 49317 0 0 nan | 0.000 % | 2.79/2.80 c | 100 | 147312 318040 | 54248 57 1282 22.5 | 0.772 % | 2.99/3.09 c | 251 | 146773 316900 | 59673 187 2917 15.6 | 1.422 % | 3.49/3.59 c | 476 | 145213 313544 | 65640 368 5352 14.5 | 3.429 % | 4.09/4.13 c | 813 | 143505 309796 | 72205 621 8354 13.5 | 5.644 % | 5.19/5.21 c | 1320 | 139677 301273 | 79425 1008 13306 13.2 | 10.638 % | 6.19/6.24 c | 2079 | 135693 292365 | 87368 1543 19391 12.6 | 15.964 % | 7.79/7.85 c | 3218 | 129784 278974 | 96104 2359 29829 12.6 | 24.035 % | 9.99/10.07 c | 4926 | 122432 262085 | 105715 3616 48944 13.5 | 34.279 % | 12.89/12.98 c | 7488 | 111938 237654 | 116286 5258 69109 13.1 | 49.006 % | 16.29/16.30 c | 11332 | 101310 212553 | 127915 7785 111547 14.3 | 64.438 % | 18.09/18.15 c ============================================================================== 18.09/18.15 c [1mFound solution: -38[0m 18.09/18.15 o -38 18.09/18.16 c ---[ 0]---> Sorter-cost: 0 Base: 18.19/18.24 c ==================================[MINISAT+]================================== 18.19/18.24 c | Conflicts | Original | Learnt | Progress | 18.19/18.24 c | | Clauses Literals | Max Clauses Literals LPC | | 18.19/18.24 c ============================================================================== 18.19/18.24 c | 14084 | 96816 201835 | 32272 9412 143299 15.2 | 64.438 % | 18.19/18.27 c | 14184 | 96772 201727 | 35499 9499 144028 15.2 | 71.052 % | 18.29/18.36 c | 14334 | 96570 201231 | 39049 9550 144833 15.2 | 71.359 % | 18.39/18.49 c | 14560 | 96295 200569 | 42954 9703 147277 15.2 | 71.772 % | 18.59/18.64 c ============================================================================== 18.59/18.64 c [1mFound solution: -40[0m 18.59/18.64 o -40 18.59/18.65 c ---[ 0]---> Sorter-cost: 0 Base: 18.69/18.73 c ==================================[MINISAT+]================================== 18.69/18.73 c | Conflicts | Original | Learnt | Progress | 18.69/18.73 c | | Clauses Literals | Max Clauses Literals LPC | | 18.69/18.73 c ============================================================================== 18.69/18.73 c | 14788 | 96036 200007 | 32012 9819 147145 15.0 | 71.772 % | 18.69/18.77 c | 14888 | 96036 200007 | 35213 9919 148330 15.0 | 72.243 % | 18.79/18.81 c | 15038 | 96036 200007 | 38734 10069 149721 14.9 | 72.243 % | 18.79/18.89 c | 15263 | 96036 200007 | 42607 10294 154570 15.0 | 72.243 % | 18.99/19.02 c | 15600 | 95761 199378 | 46868 10569 160536 15.2 | 72.625 % | 19.19/19.29 c | 16106 | 95153 197892 | 51555 10886 169202 15.5 | 73.553 % | 19.49/19.57 c | 16865 | 94758 196946 | 56711 11525 181628 15.8 | 74.144 % | 19.98/20.06 c | 18004 | 94310 195868 | 62382 12430 205545 16.5 | 74.813 % | 20.58/20.64 c | 19713 | 94001 195126 | 68620 13894 265668 19.1 | 75.275 % | 21.78/21.85 c | 22276 | 92381 191245 | 75482 15687 319719 20.4 | 77.691 % | 23.18/23.24 c | 26120 | 91522 189173 | 83030 19074 495885 26.0 | 78.980 % | 23.98/24.07 c ============================================================================== 23.98/24.07 c [1mFound solution: -41[0m 23.98/24.07 o -41 23.98/24.08 c ---[ 0]---> Sorter-cost: 0 Base: 24.09/24.17 c ==================================[MINISAT+]================================== 24.09/24.17 c | Conflicts | Original | Learnt | Progress | 24.09/24.17 c | | Clauses Literals | Max Clauses Literals LPC | | 24.09/24.17 c ============================================================================== 24.09/24.17 c | 27853 | 91077 188149 | 30359 20461 588458 28.8 | 78.980 % | 24.19/24.21 c | 27953 | 91077 188149 | 33394 20561 590686 28.7 | 79.629 % | 24.19/24.29 c | 28103 | 91026 188021 | 36734 20631 592469 28.7 | 79.706 % | 24.28/24.36 c | 28328 | 91026 188021 | 40407 20856 599678 28.8 | 79.706 % | 24.38/24.48 c | 28665 | 91026 188021 | 44448 21193 622260 29.4 | 79.706 % | 24.68/24.70 c ============================================================================== 24.68/24.70 c [1mFound solution: -42[0m 24.68/24.70 o -42 24.68/24.72 c ---[ 0]---> Sorter-cost: 0 Base: 24.78/24.80 c ==================================[MINISAT+]================================== 24.78/24.80 c | Conflicts | Original | Learnt | Progress | 24.78/24.80 c | | Clauses Literals | Max Clauses Literals LPC | | 24.78/24.80 c ============================================================================== 24.78/24.80 c | 28969 | 90731 187263 | 30243 21322 628608 29.5 | 79.706 % | 24.78/24.86 c | 29069 | 90722 187240 | 33267 21414 632006 29.5 | 80.173 % | 24.88/24.95 c | 29219 | 90593 186934 | 36594 21396 633325 29.6 | 80.358 % | 24.98/25.06 c | 29445 | 90536 186795 | 40253 21617 652375 30.2 | 80.447 % | 25.19/25.23 c | 29782 | 90499 186706 | 44278 21904 668251 30.5 | 80.503 % | 25.48/25.51 c | 30289 | 90299 186216 | 48706 22108 682253 30.9 | 80.809 % | 25.78/25.81 c | 31048 | 90231 186060 | 53577 22782 711877 31.2 | 80.904 % | 26.29/26.40 c | 32187 | 89778 184940 | 58935 23599 766824 32.5 | 81.598 % | 26.98/27.02 c | 33896 | 89773 184929 | 64828 25280 869667 34.4 | 81.605 % | 28.08/28.17 c | 36458 | 89601 184511 | 71311 27781 1104154 39.7 | 81.868 % | 30.48/30.53 c | 40303 | 89001 183057 | 78442 30883 1452224 47.0 | 82.782 % | 33.68/33.74 c | 46069 | 88653 182193 | 86286 36261 1909440 52.7 | 83.326 % | 37.88/37.99 c ============================================================================== 37.88/37.99 c [1mFound solution: -43[0m 37.88/37.99 o -43 37.98/38.00 c ---[ 0]---> Sorter-cost: 0 Base: 38.08/38.12 c ==================================[MINISAT+]================================== 38.08/38.12 c | Conflicts | Original | Learnt | Progress | 38.08/38.12 c | | Clauses Literals | Max Clauses Literals LPC | | 38.08/38.12 c ============================================================================== 38.08/38.12 c | 53577 | 88651 182222 | 29550 43705 2561808 58.6 | 83.326 % | 38.08/38.18 c | 53677 | 88651 182222 | 32505 43805 2563789 58.5 | 83.359 % | 38.28/38.35 c | 53827 | 88622 182151 | 35755 43811 2568576 58.6 | 83.404 % | 38.48/38.52 c | 54052 | 88622 182151 | 39331 44036 2589935 58.8 | 83.404 % | 38.78/38.80 c | 54389 | 88537 181938 | 43264 44316 2602581 58.7 | 83.542 % | 39.08/39.19 c | 54895 | 88502 181851 | 47590 44743 2640960 59.0 | 83.598 % | 39.77/39.80 c | 55654 | 88489 181818 | 52349 45410 2688658 59.2 | 83.620 % | 40.88/40.91 c | 56795 | 88255 181245 | 57584 46245 2798146 60.5 | 83.970 % | 41.69/41.77 c | 58504 | 88255 181245 | 63343 47954 2931810 61.1 | 83.970 % | 43.68/43.77 c | 61066 | 88117 180910 | 69677 50021 3189748 63.8 | 84.181 % | 46.47/46.55 c | 64910 | 88088 180842 | 76645 53834 3616238 67.2 | 84.220 % | 50.68/50.73 c | 70676 | 88083 180831 | 84309 59598 4123646 69.2 | 84.226 % | 56.27/56.33 c ============================================================================== 56.27/56.33 c [1mFound solution: -45[0m 56.27/56.33 o -45 56.27/56.35 c ---[ 0]---> Sorter-cost: 0 Base: 56.37/56.49 c ==================================[MINISAT+]================================== 56.37/56.49 c | Conflicts | Original | Learnt | Progress | 56.37/56.49 c | | Clauses Literals | Max Clauses Literals LPC | | 56.37/56.49 c ============================================================================== 56.37/56.49 c | 76602 | 87920 180446 | 29306 64994 4731142 72.8 | 84.226 % | 56.57/56.61 c | 76704 | 87920 180446 | 32236 65096 4739491 72.8 | 84.488 % | 56.67/56.76 c | 76855 | 87920 180446 | 35460 65247 4745429 72.7 | 84.488 % | 56.87/57.00 c | 77080 | 87920 180446 | 39006 65472 4759519 72.7 | 84.488 % | 57.28/57.33 c | 77417 | 87920 180446 | 42906 65809 4783089 72.7 | 84.488 % | 57.78/57.83 c | 77924 | 87920 180446 | 47197 66316 4834519 72.9 | 84.488 % | 58.58/58.60 c | 78684 | 87915 180435 | 51917 67073 4915209 73.3 | 84.494 % | 59.87/59.92 c | 79823 | 87782 180128 | 57109 67701 5020176 74.2 | 84.681 % | 61.77/61.89 c | 81531 | 87629 179763 | 62820 69363 5207979 75.1 | 84.907 % | 64.27/64.31 c | 84093 | 87629 179763 | 69102 71925 5462668 75.9 | 84.907 % | 68.67/68.70 c | 87937 | 87629 179763 | 76012 75769 5852613 77.2 | 84.907 % | 74.36/74.44 c | 93703 | 87615 179727 | 83613 81487 6335995 77.8 | 84.931 % | 84.17/84.25 c | 102352 | 87615 179727 | 91974 90136 7289858 80.9 | 84.931 % | 101.06/101.19 c | 115328 | 87613 179723 | 101172 103111 8798918 85.3 | 84.933 % | 128.75/128.83 c | 134790 | 87540 179550 | 111289 122522 11000809 89.8 | 85.040 % | 178.84/178.91 c | 163982 | 87270 178893 | 122418 150898 14231492 94.3 | 85.455 % | 228.13/228.29 c | 207771 | 87197 178706 | 134660 54694 5876777 107.4 | 85.578 % | 334.09/334.23 c | 273455 | 87182 178671 | 148126 120376 10322069 85.7 | 85.599 % | 533.83/534.08 c | 371981 | 87177 178658 | 162938 51891 2115967 40.8 | 85.608 % | 802.45/802.79 c | 519771 | 87049 178354 | 179232 199664 15496049 77.6 | 85.793 % | 1097.56/1097.93 c ============================================================================== 1097.56/1097.93 c [1mFound solution: -46[0m 1097.56/1097.93 o -46 1097.56/1097.95 c ---[ 0]---> Sorter-cost: 0 Base: 1097.86/1098.28 c ==================================[MINISAT+]================================== 1097.86/1098.28 c | Conflicts | Original | Learnt | Progress | 1097.86/1098.28 c | | Clauses Literals | Max Clauses Literals LPC | | 1097.86/1098.28 c ============================================================================== 1097.86/1098.28 c | 701811 | 86901 177971 | 28967 182482 19502868 106.9 | 85.793 % | 1099.06/1099.44 c | 701911 | 86901 177971 | 31863 22991 1347020 58.6 | 86.009 % | 1099.16/1099.53 c | 702061 | 86901 177971 | 35050 23141 1358101 58.7 | 86.009 % | 1099.26/1099.65 c | 702287 | 86895 177957 | 38555 23364 1366748 58.5 | 86.017 % | 1099.36/1099.77 c | 702624 | 86895 177957 | 42410 23701 1379424 58.2 | 86.017 % | 1099.56/1099.97 c | 703130 | 86895 177957 | 46651 24207 1396449 57.7 | 86.017 % | 1099.86/1100.24 c | 703893 | 86895 177957 | 51316 24970 1445843 57.9 | 86.017 % | 1100.36/1100.79 c | 705032 | 86895 177957 | 56448 26109 1529104 58.6 | 86.017 % | 1101.06/1101.47 c | 706740 | 86843 177831 | 62093 27752 1618128 58.3 | 86.097 % | 1102.46/1102.82 c | 709302 | 86840 177824 | 68302 30266 1883311 62.2 | 86.101 % | 1104.76/1105.18 c | 713146 | 86836 177814 | 75132 34106 2413903 70.8 | 86.108 % | 1108.06/1108.45 c | 718914 | 86828 177796 | 82646 39867 2923494 73.3 | 86.118 % | 1114.45/1114.85 c | 727563 | 86823 177785 | 90910 48485 3902676 80.5 | 86.125 % | 1125.15/1125.60 c | 740537 | 86725 177549 | 100001 61453 5190422 84.5 | 86.271 % | 1149.14/1149.56 c | 759998 | 86725 177549 | 110002 80914 7702762 95.2 | 86.271 % | 1186.83/1187.27 c | 789190 | 86708 177510 | 121002 110092 10692484 97.1 | 86.295 % | 1260.61/1261.07 c | 832979 | 86706 177506 | 133102 153880 14874274 96.7 | 86.297 % | 1353.18/1353.63 c | 898663 | 86706 177506 | 146412 66858 4322578 64.7 | 86.297 % | 1554.40/1555.04 c | 997189 | 86694 177476 | 161054 165381 8276913 50.0 | 86.316 % | 1713.05/1713.72 c ============================================================================== 1713.05/1713.72 c [1mFound solution: -47[0m 1713.05/1713.72 o -47 1713.05/1713.74 c ---[ 0]---> Sorter-cost: 0 Base: 1713.15/1713.87 c ==================================[MINISAT+]================================== 1713.15/1713.87 c | Conflicts | Original | Learnt | Progress | 1713.15/1713.87 c | | Clauses Literals | Max Clauses Literals LPC | | 1713.15/1713.87 c ============================================================================== 1713.15/1713.87 c | 1080259 | 86725 177563 | 28908 71949 2423087 33.7 | 86.316 % | 1713.75/1714.47 c | 1080360 | 86725 177563 | 31798 26210 656098 25.0 | 86.305 % | 1713.85/1714.56 c | 1080510 | 86725 177563 | 34978 26360 662533 25.1 | 86.305 % | 1713.95/1714.69 c | 1080735 | 86725 177563 | 38476 26585 673821 25.3 | 86.305 % | 1714.15/1714.81 c | 1081074 | 86725 177563 | 42324 26924 682698 25.4 | 86.305 % | 1714.35/1715.00 c | 1081582 | 86725 177563 | 46556 27432 709014 25.8 | 86.305 % | 1714.65/1715.39 c | 1082341 | 86725 177563 | 51212 28191 776508 27.5 | 86.305 % | 1715.25/1715.97 c | 1083480 | 86725 177563 | 56333 29330 849216 29.0 | 86.305 % | 1715.75/1716.48 c | 1085188 | 86725 177563 | 61966 31038 913536 29.4 | 86.305 % | 1716.75/1717.43 c | 1087750 | 86716 177540 | 68163 33595 1057290 31.5 | 86.320 % | 1718.35/1719.06 c | 1091594 | 86667 177427 | 74979 37423 1327704 35.5 | 86.389 % | 1721.15/1721.86 c | 1097360 | 86627 177330 | 82477 43158 1771846 41.1 | 86.449 % | 1726.64/1727.38 c | 1106009 | 86618 177309 | 90725 51799 2717047 52.5 | 86.462 % | 1737.94/1738.63 c | 1118985 | 86507 177033 | 99798 64752 4004424 61.8 | 86.635 % | 1757.24/1757.97 c | 1138446 | 86458 176904 | 109778 84207 5682506 67.5 | 86.721 % | 1796.73/1797.45 c | 1167639 | 86458 176904 | 120755 113400 7890896 69.6 | 86.721 % | 1800.03/1800.70 c 1800.03/1800.70 c *** TERMINATED *** 1800.03/1800.70 s SATISFIABLE 1800.03/1800.70 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1800.03/1800.70 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 1800.03/1800.70 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 1800.03/1800.70 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1800.03/1800.70 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1800.03/1800.70 v -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1800.03/1800.70 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031 1800.03/1800.70 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1800.03/1800.70 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1800.03/1800.70 v -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 1800.03/1800.70 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 1800.03/1800.70 v -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 1800.03/1800.70 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1800.03/1800.70 v -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1800.03/1800.70 v -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1800.03/1800.70 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 1800.03/1800.70 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 1800.03/1800.70 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 1800.03/1800.70 v -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 1800.03/1800.70 v -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 1800.03/1800.70 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 1800.03/1800.70 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 1800.03/1800.70 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 1800.03/1800.70 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1800.03/1800.70 v -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 1800.03/1800.70 v x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1800.03/1800.70 v x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1800.03/1800.70 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 1800.03/1800.70 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1800.03/1800.70 v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 1800.03/1800.70 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 1800.03/1800.70 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1800.03/1800.70 v -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1800.03/1800.70 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1800.03/1800.70 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1800.03/1800.70 v x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1800.03/1800.70 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1800.03/1800.70 v -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 1800.03/1800.70 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1800.03/1800.70 v -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1800.03/1800.70 v -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 1800.03/1800.70 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1800.03/1800.70 v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 1800.03/1800.70 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1800.03/1800.70 v -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1800.03/1800.70 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 1800.03/1800.70 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 1800.03/1800.70 v -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1800.03/1800.70 v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 1800.03/1800.70 v -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1800.03/1800.70 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 1800.03/1800.70 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 1800.03/1800.70 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.03/1800.70 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.03/1800.70 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.03/1800.70 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -47
/tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-353689-1176672986 -o ROOT/results/node22/solver-353689-1176672986 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353689-1176672986/minisat+ /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10810 /proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=1312 CPUtime=0 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 115216340 1343488 147 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 328 147 74 215 0 110 0 [startup+0.027263 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10810 /proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=1444 CPUtime=0.02 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 203 0 0 0 2 0 0 0 18 0 1 0 115216340 1478656 188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 361 188 74 215 0 143 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1444 [startup+0.101274 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10810 /proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=1976 CPUtime=0.09 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 357 0 0 0 9 0 0 0 18 0 1 0 115216340 2023424 342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 530 343 74 215 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1976 [startup+0.301304 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10810 /proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=3648 CPUtime=0.29 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 768 0 0 0 29 0 0 0 19 0 1 0 115216340 3735552 753 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 912 753 74 215 0 694 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3648 [startup+0.701365 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10810 /proc/meminfo: memFree=1748728/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=6920 CPUtime=0.69 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 1583 0 0 0 68 1 0 0 23 0 1 0 115216340 7086080 1568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 1730 1568 74 215 0 1512 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6920 [startup+1.50149 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10811 /proc/meminfo: memFree=1740208/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=13480 CPUtime=1.49 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 3203 0 0 0 147 2 0 0 25 0 1 0 115216340 13803520 3188 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 3370 3188 74 215 0 3152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13480 [startup+3.10173 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10811 /proc/meminfo: memFree=1731184/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=30040 CPUtime=3.09 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7182 0 0 0 297 12 0 0 23 0 1 0 115216340 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 7510 6986 110 215 0 7292 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30040 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10811 /proc/meminfo: memFree=1720688/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=30040 CPUtime=6.29 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7182 0 0 0 617 12 0 0 25 0 1 0 115216340 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572983 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 7510 6986 110 215 0 7292 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30040 [startup+12.7012 s] /proc/loadavg: 0.94 0.98 0.99 2/78 10811 /proc/meminfo: memFree=1720688/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=30040 CPUtime=12.69 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7182 0 0 0 1257 12 0 0 25 0 1 0 115216340 30760960 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 7510 6986 110 215 0 7292 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30040 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 10813 /proc/meminfo: memFree=1720560/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=30420 CPUtime=25.48 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 7243 0 0 0 2536 12 0 0 25 0 1 0 115216340 31150080 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 7605 7047 110 215 0 7387 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30420 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 10813 /proc/meminfo: memFree=1708528/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=42820 CPUtime=51.08 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 10321 0 0 0 5092 16 0 0 25 0 1 0 115216340 43847680 10125 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574268 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 10705 10125 110 215 0 10487 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42820 [startup+102.307 s] /proc/loadavg: 1.03 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1687984/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=63132 CPUtime=102.26 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 15381 0 0 0 10204 22 0 0 25 0 1 0 115216340 64647168 15185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 15783 15185 110 215 0 15565 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 63132 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1668528/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=82796 CPUtime=162.25 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 20257 0 0 0 16197 28 0 0 25 0 1 0 115216340 84783104 20061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581059 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 20699 20061 110 215 0 20481 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 82796 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1657968/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=92996 CPUtime=222.22 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 22191 31 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23249 22650 110 215 0 23031 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 92996 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1657968/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=92996 CPUtime=282.21 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 28189 32 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23249 22650 110 215 0 23031 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 92996 [startup+342.302 s] /proc/loadavg: 1.05 1.01 1.00 2/78 10813 /proc/meminfo: memFree=1657968/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=92996 CPUtime=342.18 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 34186 32 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23249 22650 110 215 0 23031 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 92996 [startup+402.303 s] /proc/loadavg: 1.06 1.02 1.00 2/78 10813 /proc/meminfo: memFree=1657904/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=92996 CPUtime=402.17 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22846 0 0 0 40184 33 0 0 25 0 1 0 115216340 95227904 22650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23249 22650 110 215 0 23031 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 92996 [startup+462.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 10813 /proc/meminfo: memFree=1657776/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=93220 CPUtime=462.15 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22888 0 0 0 46182 33 0 0 25 0 1 0 115216340 95457280 22692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23305 22692 110 215 0 23087 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 93220 [startup+522.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 10813 /proc/meminfo: memFree=1657712/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=93220 CPUtime=522.13 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22905 0 0 0 52179 34 0 0 25 0 1 0 115216340 95457280 22709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23305 22709 110 215 0 23087 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 93220 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10813 /proc/meminfo: memFree=1657648/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=93220 CPUtime=582.11 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22905 0 0 0 58177 34 0 0 25 0 1 0 115216340 95457280 22709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23305 22709 110 215 0 23087 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 93220 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1657648/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=93220 CPUtime=642.1 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 22905 0 0 0 64175 35 0 0 25 0 1 0 115216340 95457280 22709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 23305 22709 110 215 0 23087 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 93220 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1645872/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=105376 CPUtime=882.02 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 25834 0 0 0 88162 40 0 0 25 0 1 0 115216340 107905024 25638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 26344 25638 110 215 0 26126 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 105376 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1645872/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=105376 CPUtime=942.01 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 25834 0 0 0 94160 41 0 0 25 0 1 0 115216340 107905024 25638 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 26344 25638 110 215 0 26126 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 105376 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1645872/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=105376 CPUtime=1001.99 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 25835 0 0 0 100158 41 0 0 25 0 1 0 115216340 107905024 25639 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 26344 25639 110 215 0 26126 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 105376 [startup+1062.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 10813 /proc/meminfo: memFree=1643248/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=108108 CPUtime=1061.97 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 26522 0 0 0 106155 42 0 0 25 0 1 0 115216340 110702592 26326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 27027 26326 110 215 0 26809 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 108108 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10813 /proc/meminfo: memFree=1637104/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114008 CPUtime=1121.95 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28014 0 0 0 112151 44 0 0 25 0 1 0 115216340 116744192 27818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28502 27818 110 215 0 28284 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 114008 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1637104/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114008 CPUtime=1181.93 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28014 0 0 0 118149 44 0 0 25 0 1 0 115216340 116744192 27818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28502 27818 110 215 0 28284 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 114008 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114008 CPUtime=1241.92 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28014 0 0 0 124147 45 0 0 25 0 1 0 115216340 116744192 27818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28502 27818 110 215 0 28284 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 114008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114008 CPUtime=1301.9 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28015 0 0 0 130145 45 0 0 25 0 1 0 115216340 116744192 27819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28502 27819 110 215 0 28284 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 114008 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=113932 CPUtime=1361.88 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 136142 46 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28483 27805 110 215 0 28265 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 113932 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10813 /proc/meminfo: memFree=1637040/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=113932 CPUtime=1421.86 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 142140 46 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28483 27805 110 215 0 28265 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 113932 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 10885 /proc/meminfo: memFree=1635632/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=113932 CPUtime=1481.81 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 148134 47 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28483 27805 110 215 0 28265 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 113932 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636848/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=113932 CPUtime=1541.7 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28016 0 0 0 154123 47 0 0 25 0 1 0 115216340 116666368 27805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28483 27805 110 215 0 28265 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 113932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114176 CPUtime=1601.68 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28058 0 0 0 160120 48 0 0 25 0 1 0 115216340 116916224 27847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28544 27847 110 215 0 28326 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 114176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114124 CPUtime=1661.67 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28062 0 0 0 166118 49 0 0 25 0 1 0 115216340 116862976 27838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28531 27838 110 215 0 28313 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 114124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114124 CPUtime=1721.65 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 172116 49 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28531 27841 110 215 0 28313 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 114124 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114124 CPUtime=1781.63 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 178113 50 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28531 27841 110 215 0 28313 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 114124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114124 CPUtime=1800.03 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 179953 50 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28531 27841 110 215 0 28313 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 114124 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11011 /proc/meminfo: memFree=1636720/2055920 swapFree=4168648/4192956 [pid=10810] ppid=10808 vsize=114124 CPUtime=1800.03 /proc/10810/stat : 10810 (minisat+) R 10808 10810 27167 0 -1 4194304 28065 0 0 0 179953 50 0 0 25 0 1 0 115216340 116862976 27841 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/10810/statm: 28531 27841 110 215 0 28313 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 114124 Child status: 10 Real time (s): 1800.73 CPU time (s): 1800.06 CPU user time (s): 1799.54 CPU system time (s): 0.526919 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 114176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.526919 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28067 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= 150 involuntary context switches= 37164 runsolver used 2.22866 second user time and 4.46032 second system time The end
Begin job on node22 on Sun Apr 15 21:36:27 UTC 2007 IDJOB= 353689 IDBENCH= 2262 IDSOLVER= 156 FILE ID= node22/353689-1176672986 PBS_JOBID= 4559941 Free space on /tmp= 66559 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-5.opb COMMAND LINE= /tmp/evaluation/353689-1176672986/minisat+ /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-353689-1176672986 -o ROOT/results/node22/conversion-353689-1176672986 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-353689-1176672986 -o ROOT/results/node22/solver-353689-1176672986 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353689-1176672986/minisat+ /tmp/evaluation/353689-1176672986/instance-353689-1176672986.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 137845070 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1749136 kB Buffers: 50048 kB Cached: 158132 kB SwapCached: 2144 kB Active: 132744 kB Inactive: 102388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749136 kB SwapTotal: 4192956 kB SwapFree: 4168648 kB Dirty: 4312 kB Writeback: 0 kB Mapped: 34216 kB Slab: 57320 kB Committed_AS: 1263740 kB PageTables: 1688 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= 66559 MiB End job on node22 on Sun Apr 15 22:06:29 UTC 2007