Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -45 | 1800.48 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80851 |
Number of constraints which are clauses | 80851 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 2.19 c Converting 80851 PB-constraints to clauses... 2.20 c -- Unit propagations: (none) 2.20 c -- Detecting intervals from adjacent constraints: (none) 2.20 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.39 c ==================================[MINISAT+]================================== 2.39 c | Conflicts | Original | Learnt | Progress | 2.39 c | | Clauses Literals | Max Clauses Literals LPC | | 2.39 c ============================================================================== 2.39 c | 0 | 80851 161702 | 26950 0 0 nan | 0.000 % | 2.39 c ============================================================================== 2.39 c [1mFound solution: -36[0m 2.39 o -36 2.40 c ---[ 0]---> Sorter-cost:63046 Base: 2.55 c ==================================[MINISAT+]================================== 2.55 c | Conflicts | Original | Learnt | Progress | 2.55 c | | Clauses Literals | Max Clauses Literals LPC | | 2.55 c ============================================================================== 2.55 c | 0 | 148737 320958 | 49579 0 0 nan | 0.000 % | 2.73 c | 101 | 148366 320193 | 54536 85 765 9.0 | 0.441 % | 2.89 c | 252 | 148029 319484 | 59990 220 3072 14.0 | 0.844 % | 3.23 c | 477 | 147140 317584 | 65989 414 5422 13.1 | 1.937 % | 3.72 c | 814 | 145503 314007 | 72588 695 10180 14.6 | 4.025 % | 4.62 c | 1320 | 141871 306005 | 79847 1052 14339 13.6 | 8.753 % | 5.96 c | 2079 | 136023 292923 | 87832 1565 21384 13.7 | 16.582 % | 7.42 c | 3218 | 130632 280671 | 96615 2487 32283 13.0 | 23.974 % | 9.62 c | 4926 | 123081 263362 | 106276 3797 51144 13.5 | 34.454 % | 12.15 c | 7488 | 115042 244888 | 116904 5568 76837 13.8 | 45.531 % | 14.86 c | 11332 | 106902 225592 | 128595 8647 126243 14.6 | 57.367 % | 15.45 c ============================================================================== 15.45 c [1mFound solution: -37[0m 15.45 o -37 15.47 c ---[ 0]---> Sorter-cost: 0 Base: 15.54 c ==================================[MINISAT+]================================== 15.54 c | Conflicts | Original | Learnt | Progress | 15.54 c | | Clauses Literals | Max Clauses Literals LPC | | 15.54 c ============================================================================== 15.54 c | 12189 | 105355 221989 | 35118 9206 138743 15.1 | 57.367 % | 15.61 c | 12292 | 105334 221942 | 38629 9300 142332 15.3 | 59.672 % | 15.71 c | 12442 | 105154 221511 | 42492 9437 144616 15.3 | 59.940 % | 15.92 c | 12668 | 104547 220088 | 46742 9550 146897 15.4 | 60.812 % | 16.09 c | 13005 | 104266 219414 | 51416 9700 149137 15.4 | 61.231 % | 16.64 c | 13511 | 102353 214845 | 56557 9851 154585 15.7 | 64.142 % | 17.10 c | 14271 | 101471 212704 | 62213 10471 168910 16.1 | 65.388 % | 17.63 c | 15410 | 100525 210483 | 68435 11341 190635 16.8 | 66.819 % | 18.52 c | 17118 | 98376 205358 | 75278 12589 222288 17.7 | 69.882 % | 19.59 c | 19680 | 97425 203063 | 82806 14811 278397 18.8 | 71.285 % | 19.87 c ============================================================================== 19.87 c [1mFound solution: -38[0m 19.87 o -38 19.89 c ---[ 0]---> Sorter-cost: 0 Base: 19.97 c ==================================[MINISAT+]================================== 19.97 c | Conflicts | Original | Learnt | Progress | 19.97 c | | Clauses Literals | Max Clauses Literals LPC | | 19.97 c ============================================================================== 19.97 c | 19987 | 96638 201152 | 32212 14981 283316 18.9 | 71.285 % | 20.00 c | 20087 | 96638 201152 | 35433 15081 285189 18.9 | 72.422 % | 20.09 c | 20237 | 96439 200654 | 38976 15146 288150 19.0 | 72.733 % | 20.20 c | 20462 | 96306 200334 | 42874 15335 293321 19.1 | 72.932 % | 20.40 c | 20799 | 95886 199340 | 47161 15583 300834 19.3 | 73.553 % | 20.60 c | 21306 | 95774 199086 | 51877 16064 315316 19.6 | 73.706 % | 20.90 c | 22066 | 95551 198555 | 57065 16757 339492 20.3 | 74.033 % | 21.18 c ============================================================================== 21.18 c [1mFound solution: -40[0m 21.18 o -40 21.19 c ---[ 0]---> Sorter-cost: 0 Base: 21.28 c ==================================[MINISAT+]================================== 21.28 c | Conflicts | Original | Learnt | Progress | 21.28 c | | Clauses Literals | Max Clauses Literals LPC | | 21.28 c ============================================================================== 21.28 c | 22573 | 95160 197669 | 31720 17015 350326 20.6 | 74.033 % | 21.32 c | 22673 | 95160 197669 | 34892 17115 356501 20.8 | 74.686 % | 21.39 c | 22823 | 95106 197535 | 38381 17261 360565 20.9 | 74.772 % | 21.51 c | 23049 | 95013 197310 | 42219 17466 365076 20.9 | 74.910 % | 21.65 c | 23386 | 94966 197201 | 46441 17776 378604 21.3 | 74.975 % | 21.80 c | 23892 | 94961 197190 | 51085 18276 390433 21.4 | 74.981 % | 22.25 c | 24652 | 94399 195810 | 56193 18675 406360 21.8 | 75.842 % | 22.68 c | 25792 | 94283 195526 | 61813 19618 439777 22.4 | 76.021 % | 23.45 c | 27501 | 93887 194570 | 67994 21188 551252 26.0 | 76.623 % | 24.38 c | 30063 | 93580 193835 | 74794 23586 661515 28.0 | 77.085 % | 26.37 c | 33907 | 92526 191288 | 82273 26622 855765 32.1 | 78.683 % | 26.68 c ============================================================================== 26.68 c [1mFound solution: -41[0m 26.68 o -41 26.70 c ---[ 0]---> Sorter-cost: 0 Base: 26.79 c ==================================[MINISAT+]================================== 26.79 c | Conflicts | Original | Learnt | Progress | 26.79 c | | Clauses Literals | Max Clauses Literals LPC | | 26.79 c ============================================================================== 26.79 c | 34660 | 92501 191256 | 30833 27346 890259 32.6 | 78.683 % | 26.89 c | 34760 | 92374 190951 | 33916 27407 892203 32.6 | 78.925 % | 26.95 c | 34910 | 92374 190951 | 37307 27557 897352 32.6 | 78.925 % | 27.09 c | 35135 | 92325 190828 | 41038 27771 909011 32.7 | 78.996 % | 27.25 c | 35472 | 92325 190828 | 45142 28108 929804 33.1 | 78.996 % | 27.45 c | 35978 | 92325 190828 | 49656 28614 952436 33.3 | 78.996 % | 27.93 c | 36737 | 91933 189887 | 54622 29190 998234 34.2 | 79.580 % | 28.51 c | 37877 | 91668 189231 | 60084 30184 1050966 34.8 | 79.977 % | 29.49 c | 39585 | 91179 188051 | 66093 31104 1123554 36.1 | 80.703 % | 30.75 c | 42147 | 90991 187592 | 72702 33536 1352386 40.3 | 80.990 % | 33.10 c | 45991 | 90915 187410 | 79972 37245 1889303 50.7 | 81.102 % | 36.10 c | 51757 | 90762 187040 | 87970 42879 2343683 54.7 | 81.333 % | 36.73 c ============================================================================== 36.73 c [1mFound solution: -42[0m 36.73 o -42 36.74 c ---[ 0]---> Sorter-cost: 0 Base: 36.85 c ==================================[MINISAT+]================================== 36.85 c | Conflicts | Original | Learnt | Progress | 36.85 c | | Clauses Literals | Max Clauses Literals LPC | | 36.85 c ============================================================================== 36.85 c | 52914 | 90753 186986 | 30251 43937 2470581 56.2 | 81.333 % | 36.91 c | 53014 | 90753 186986 | 33276 44037 2472887 56.2 | 81.351 % | 37.02 c | 53164 | 90753 186986 | 36603 44187 2487369 56.3 | 81.351 % | 37.17 c | 53390 | 90753 186986 | 40264 44413 2502524 56.3 | 81.351 % | 37.35 c | 53727 | 90753 186986 | 44290 44750 2517712 56.3 | 81.351 % | 37.73 c | 54234 | 90712 186891 | 48719 45092 2552226 56.6 | 81.407 % | 38.17 c | 54995 | 90712 186891 | 53591 45853 2626768 57.3 | 81.407 % | 38.90 c | 56134 | 90698 186857 | 58950 46911 2726470 58.1 | 81.429 % | 39.94 c | 57843 | 90611 186643 | 64845 48530 2837380 58.5 | 81.556 % | 41.88 c | 60405 | 90521 186429 | 71330 50928 3048163 59.9 | 81.685 % | 44.72 c | 64249 | 90508 186398 | 78463 54678 3459802 63.3 | 81.705 % | 49.63 c | 70016 | 90366 186066 | 86309 60273 4054487 67.3 | 81.907 % | 57.59 c | 78665 | 90114 185438 | 94940 68614 5012115 73.0 | 82.308 % | 71.22 c | 91640 | 89808 184690 | 104434 80924 6476449 80.0 | 82.780 % | 82.53 c ============================================================================== 82.53 c [1mFound solution: -43[0m 82.53 o -43 82.54 c ---[ 0]---> Sorter-cost: 0 Base: 82.72 c ==================================[MINISAT+]================================== 82.72 c | Conflicts | Original | Learnt | Progress | 82.72 c | | Clauses Literals | Max Clauses Literals LPC | | 82.72 c ============================================================================== 82.72 c | 101349 | 89784 184660 | 29928 90515 7625234 84.2 | 82.780 % | 83.02 c | 101449 | 89740 184546 | 32920 23637 1615649 68.4 | 82.927 % | 83.11 c | 101600 | 89736 184536 | 36212 23784 1622993 68.2 | 82.933 % | 83.24 c | 101825 | 89736 184536 | 39834 24009 1640600 68.3 | 82.933 % | 83.51 c | 102162 | 89658 184344 | 43817 24307 1661876 68.4 | 83.056 % | 83.95 c | 102668 | 89497 183949 | 48199 24754 1694957 68.5 | 83.305 % | 84.36 c | 103427 | 89497 183949 | 53019 25513 1767199 69.3 | 83.305 % | 84.99 c | 104566 | 89497 183949 | 58321 26652 1884370 70.7 | 83.305 % | 86.16 c | 106275 | 89373 183652 | 64153 28323 2061056 72.8 | 83.490 % | 87.68 c | 108837 | 89373 183652 | 70568 30885 2343424 75.9 | 83.490 % | 90.40 c | 112681 | 89339 183568 | 77625 34664 2898101 83.6 | 83.544 % | 95.08 c | 118447 | 88995 182758 | 85388 40297 3742322 92.9 | 84.037 % | 103.06 c | 127096 | 88992 182751 | 93926 48945 4973106 101.6 | 84.041 % | 104.80 c ============================================================================== 104.80 c [1mFound solution: -44[0m 104.80 o -44 104.81 c ---[ 0]---> Sorter-cost: 0 Base: 104.97 c ==================================[MINISAT+]================================== 104.97 c | Conflicts | Original | Learnt | Progress | 104.97 c | | Clauses Literals | Max Clauses Literals LPC | | 104.97 c ============================================================================== 104.97 c | 128864 | 88967 182666 | 29655 50677 5251581 103.6 | 84.041 % | 105.15 c | 128964 | 88962 182655 | 32620 50775 5256860 103.5 | 84.087 % | 105.28 c | 129114 | 88962 182655 | 35882 50925 5267190 103.4 | 84.087 % | 105.47 c | 129339 | 88962 182655 | 39470 51150 5283543 103.3 | 84.087 % | 105.77 c | 129677 | 88962 182655 | 43417 51488 5324792 103.4 | 84.087 % | 106.22 c | 130183 | 88962 182655 | 47759 51994 5375997 103.4 | 84.087 % | 106.91 c | 130942 | 88962 182655 | 52535 52753 5461119 103.5 | 84.087 % | 107.96 c | 132081 | 88962 182655 | 57789 53892 5567309 103.3 | 84.087 % | 109.52 c | 133790 | 88962 182655 | 63568 55601 5753628 103.5 | 84.087 % | 112.03 c | 136353 | 88870 182433 | 69924 58139 6016906 103.5 | 84.220 % | 116.05 c | 140197 | 88770 182167 | 76917 61962 6470826 104.4 | 84.399 % | 122.24 c | 145963 | 88768 182163 | 84609 67727 7108180 105.0 | 84.401 % | 132.64 c | 154612 | 88725 182047 | 93070 76332 8360934 109.5 | 84.474 % | 149.95 c | 167586 | 88673 181922 | 102377 89282 10392161 116.4 | 84.554 % | 178.95 c | 187048 | 88609 181774 | 112614 108730 13218100 121.6 | 84.644 % | 233.26 c | 216240 | 88592 181733 | 123876 137917 17842959 129.4 | 84.670 % | 307.27 c | 260030 | 88397 181266 | 136263 36498 4124381 113.0 | 84.963 % | 398.52 c | 325714 | 88280 180980 | 149890 102049 16632541 163.0 | 85.143 % | 491.16 c ============================================================================== 491.16 c [1mFound solution: -45[0m 491.16 o -45 491.18 c ---[ 0]---> Sorter-cost: 0 Base: 491.54 c ==================================[MINISAT+]================================== 491.54 c | Conflicts | Original | Learnt | Progress | 491.54 c | | Clauses Literals | Max Clauses Literals LPC | | 491.54 c ============================================================================== 491.54 c | 377450 | 88232 180886 | 29410 153773 24052979 156.4 | 85.143 % | 492.27 c | 377550 | 88223 180863 | 32351 24087 2161776 89.7 | 85.225 % | 492.42 c | 377700 | 88223 180863 | 35586 24237 2176357 89.8 | 85.225 % | 492.58 c | 377925 | 88212 180836 | 39144 24459 2191005 89.6 | 85.243 % | 492.79 c | 378263 | 88190 180784 | 43059 24792 2208115 89.1 | 85.275 % | 493.13 c | 378769 | 88173 180745 | 47365 25296 2252341 89.0 | 85.298 % | 493.54 c | 379528 | 88173 180745 | 52101 26055 2316247 88.9 | 85.298 % | 494.22 c | 380667 | 88132 180639 | 57311 27172 2494937 91.8 | 85.365 % | 495.21 c | 382376 | 88132 180639 | 63042 28881 2661990 92.2 | 85.365 % | 496.94 c | 384938 | 88058 180460 | 69347 31425 2969947 94.5 | 85.477 % | 499.72 c | 388782 | 88055 180453 | 76281 35265 3493653 99.1 | 85.481 % | 504.11 c | 394548 | 88043 180425 | 83910 41020 4104524 100.1 | 85.498 % | 513.60 c | 403200 | 88043 180425 | 92301 49672 5806419 116.9 | 85.498 % | 527.44 c | 416174 | 87989 180297 | 101531 62572 7601609 121.5 | 85.578 % | 554.85 c | 435635 | 87843 179963 | 111684 81520 10678913 131.0 | 85.780 % | 602.21 c | 464827 | 87835 179945 | 122852 110711 14446943 130.5 | 85.791 % | 694.60 c | 508616 | 87768 179784 | 135138 154453 22661223 146.7 | 85.890 % | 790.05 c | 574301 | 87659 179502 | 148651 67067 9647438 143.8 | 86.075 % | 965.95 c | 672827 | 87579 179300 | 163517 165584 26562646 160.4 | 86.204 % | 1221.67 c | 820616 | 87516 179142 | 179868 131211 15633594 119.1 | 86.305 % | 1641.73 c | 1042299 | 87247 178478 | 197855 153454 26955261 175.7 | 86.720 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s SATISFIABLE 1801.18 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1801.18 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1801.18 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1801.18 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1801.18 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1801.18 v -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1801.18 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 1801.18 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1801.18 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1801.18 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 1801.18 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 x956 -x955 -x954 1801.18 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 1801.18 v -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1801.18 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1801.18 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 1801.18 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 1801.18 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 -x829 -x828 1801.18 v x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1801.18 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 1801.18 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 1801.18 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744 1801.18 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 1801.18 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 1801.18 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1801.18 v -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 1801.18 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 1801.18 v -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1801.18 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 x597 1801.18 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 1801.18 v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1801.18 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 1801.18 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 1801.18 v -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 1801.18 v -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1801.18 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 1801.18 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 1801.18 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1801.18 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 1801.18 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1801.18 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1801.18 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 1801.18 v -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1801.18 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 1801.18 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1801.18 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1801.18 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 1801.18 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 1801.18 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1801.18 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 1801.18 v x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1801.18 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 1801.18 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 x94 -x93 -x92 1801.18 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 1801.18 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 1801.18 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 1801.18 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -45
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-35632-1149298673 -o ROOT/results/node59/solver-35632-1149298673 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/35632-1149298673/instance-35632-1149298673.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.95 0.95 3/64 1859 /proc/meminfo: memFree=1565896/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=1312 CPUtime=0 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 152 0 0 0 0 0 0 0 19 0 1 0 195535530 1343488 137 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 328 139 68 215 0 110 0 [startup+10.0022 s] /proc/loadavg: 0.87 0.95 0.95 2/64 1859 /proc/meminfo: memFree=1538000/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=30264 CPUtime=9.99 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 7235 0 0 0 989 10 0 0 25 0 1 0 195535530 30990336 7039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 7566 7039 110 215 0 7348 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 30264 [startup+20.0081 s] /proc/loadavg: 0.89 0.95 0.95 2/64 1859 /proc/meminfo: memFree=1537808/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=30644 CPUtime=19.99 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 7294 0 0 0 1989 10 0 0 25 0 1 0 195535530 31379456 7098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580991 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 7661 7098 110 215 0 7443 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 30644 [startup+30.014 s] /proc/loadavg: 0.90 0.95 0.95 2/64 1859 /proc/meminfo: memFree=1537808/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=30644 CPUtime=29.99 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 7295 0 0 0 2989 10 0 0 25 0 1 0 195535530 31379456 7099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575418 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 7661 7099 110 215 0 7443 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 30644 [startup+40.02 s] /proc/loadavg: 0.92 0.95 0.95 2/64 1859 /proc/meminfo: memFree=1531472/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=37280 CPUtime=39.99 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 8926 0 0 0 3988 11 0 0 25 0 1 0 195535530 38174720 8730 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581428 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 9320 8730 110 215 0 9102 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 37280 [startup+50.0259 s] /proc/loadavg: 0.93 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1526032/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=42672 CPUtime=49.99 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 10286 0 0 0 4986 13 0 0 25 0 1 0 195535530 43696128 10090 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 10668 10090 110 215 0 10450 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 42672 [startup+60.0318 s] /proc/loadavg: 0.94 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1520720/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=48032 CPUtime=59.99 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 11610 0 0 0 5985 14 0 0 25 0 1 0 195535530 49184768 11414 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 12008 11414 110 215 0 11790 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 48032 [startup+70.0377 s] /proc/loadavg: 0.95 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1516176/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=52620 CPUtime=70 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 12754 0 0 0 6984 16 0 0 25 0 1 0 195535530 53882880 12558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 13155 12558 110 215 0 12937 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 52620 [startup+80.0465 s] /proc/loadavg: 0.96 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1512080/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=56548 CPUtime=80 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 13762 0 0 0 7983 17 0 0 25 0 1 0 195535530 57905152 13566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 14137 13566 110 215 0 13919 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 56548 [startup+90.0526 s] /proc/loadavg: 0.96 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=57900 CPUtime=90.01 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 8983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 14475 13916 110 215 0 14257 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 57900 [startup+100.059 s] /proc/loadavg: 0.97 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=57900 CPUtime=100.01 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 9983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574185 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 14475 13916 110 215 0 14257 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 57900 [startup+110.064 s] /proc/loadavg: 0.97 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=57900 CPUtime=110.01 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 10983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583960 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 14475 13916 110 215 0 14257 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 57900 [startup+120.07 s] /proc/loadavg: 0.98 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1510672/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=57900 CPUtime=120.01 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14112 0 0 0 11983 18 0 0 25 0 1 0 195535530 59289600 13916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 14475 13916 110 215 0 14257 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 57900 [startup+130.076 s] /proc/loadavg: 0.98 0.96 0.95 3/64 1859 /proc/meminfo: memFree=1508688/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=59872 CPUtime=130.02 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 14607 0 0 0 12983 19 0 0 25 0 1 0 195535530 61308928 14411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 14968 14411 110 215 0 14750 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 59872 [startup+140.082 s] /proc/loadavg: 0.98 0.96 0.95 2/64 1859 /proc/meminfo: memFree=1504272/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=64316 CPUtime=140.01 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 15702 0 0 0 13981 20 0 0 25 0 1 0 195535530 65859584 15506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 16079 15506 110 215 0 15861 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 64316 [startup+150.088 s] /proc/loadavg: 0.98 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1499024/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=69544 CPUtime=150.01 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 17023 0 0 0 14980 21 0 0 25 0 1 0 195535530 71213056 16827 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 17386 16827 110 215 0 17168 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 69544 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1494800/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=73920 CPUtime=160.02 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 18066 0 0 0 15979 23 0 0 25 0 1 0 195535530 75694080 17870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 18480 17870 110 215 0 18262 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 73920 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1490704/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=78080 CPUtime=170.02 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 19098 0 0 0 16978 24 0 0 25 0 1 0 195535530 79953920 18902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 19520 18902 110 215 0 19302 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 78080 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1486864/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=81748 CPUtime=180.02 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 20047 0 0 0 17977 25 0 0 25 0 1 0 195535530 83709952 19851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 20437 19851 110 215 0 20219 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 81748 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1483920/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=84764 CPUtime=190.03 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 20782 0 0 0 18977 26 0 0 25 0 1 0 195535530 86798336 20586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 21191 20586 110 215 0 20973 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 84764 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1480784/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=87768 CPUtime=200.03 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 21567 0 0 0 19976 27 0 0 25 0 1 0 195535530 89874432 21371 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 21942 21371 110 215 0 21724 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 87768 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.95 2/64 1859 /proc/meminfo: memFree=1477072/2055920 swapFree=4180876/4192956 ################ # More data... # ################ [pid=1859] ppid=1857 vsize=172904 CPUtime=1781.35 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42741 0 0 0 178080 55 0 0 25 0 1 0 195535530 177053696 42545 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577337 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43226 42545 110 215 0 43008 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 172904 [startup+1783.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1393680/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=173164 CPUtime=1782.36 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42810 0 0 0 178180 56 0 0 25 0 1 0 195535530 177319936 42614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43291 42614 110 215 0 43073 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 173164 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1393424/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=173428 CPUtime=1783.36 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42875 0 0 0 178280 56 0 0 25 0 1 0 195535530 177590272 42679 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43357 42679 110 215 0 43139 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 173428 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1393168/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=173688 CPUtime=1784.37 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 42939 0 0 0 178381 56 0 0 25 0 1 0 195535530 177856512 42743 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43422 42743 110 215 0 43204 0 Current children cumulated CPU time (s) 1784.37 Current children cumulated vsize (Kb) 173688 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1392912/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=173944 CPUtime=1785.37 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43004 0 0 0 178481 56 0 0 25 0 1 0 195535530 178118656 42808 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43486 42808 110 215 0 43268 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 173944 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1392656/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=174076 CPUtime=1786.38 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43064 0 0 0 178582 56 0 0 25 0 1 0 195535530 178253824 42868 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43519 42868 110 215 0 43301 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 174076 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1392400/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=174332 CPUtime=1787.38 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43117 0 0 0 178682 56 0 0 25 0 1 0 195535530 178515968 42921 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43583 42921 110 215 0 43365 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 174332 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1392208/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=174592 CPUtime=1788.39 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43168 0 0 0 178783 56 0 0 25 0 1 0 195535530 178782208 42972 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43648 42972 110 215 0 43430 0 Current children cumulated CPU time (s) 1788.39 Current children cumulated vsize (Kb) 174592 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1391952/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=174860 CPUtime=1789.39 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43228 0 0 0 178883 56 0 0 25 0 1 0 195535530 179056640 43032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43715 43032 110 215 0 43497 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 174860 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1391760/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=174988 CPUtime=1790.39 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43281 0 0 0 178983 56 0 0 25 0 1 0 195535530 179187712 43085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43747 43085 110 215 0 43529 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 174988 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1391632/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=175120 CPUtime=1791.4 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43323 0 0 0 179084 56 0 0 25 0 1 0 195535530 179322880 43127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43780 43127 110 215 0 43562 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 175120 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1391376/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=175384 CPUtime=1792.4 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43371 0 0 0 179184 56 0 0 25 0 1 0 195535530 179593216 43175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43846 43175 110 215 0 43628 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 175384 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1391184/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=175640 CPUtime=1793.41 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43426 0 0 0 179285 56 0 0 25 0 1 0 195535530 179855360 43230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43910 43230 110 215 0 43692 0 Current children cumulated CPU time (s) 1793.41 Current children cumulated vsize (Kb) 175640 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1390992/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=175772 CPUtime=1794.41 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43478 0 0 0 179385 56 0 0 25 0 1 0 195535530 179990528 43282 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 43943 43282 110 215 0 43725 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 175772 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1390800/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=176032 CPUtime=1795.41 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43526 0 0 0 179485 56 0 0 25 0 1 0 195535530 180256768 43330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44008 43330 110 215 0 43790 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 176032 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1390544/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=176164 CPUtime=1796.42 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43581 0 0 0 179586 56 0 0 25 0 1 0 195535530 180391936 43385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44041 43385 110 215 0 43823 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 176164 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1390352/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=176424 CPUtime=1797.42 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43640 0 0 0 179686 56 0 0 25 0 1 0 195535530 180658176 43444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44106 43444 110 215 0 43888 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (Kb) 176424 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1390096/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=176680 CPUtime=1798.43 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43695 0 0 0 179786 57 0 0 25 0 1 0 195535530 180920320 43499 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572734 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44170 43499 110 215 0 43952 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 176680 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1389840/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=176940 CPUtime=1799.44 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43760 0 0 0 179887 57 0 0 25 0 1 0 195535530 181186560 43564 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44235 43564 110 215 0 44017 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (Kb) 176940 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1389648/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=177196 CPUtime=1800.44 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43814 0 0 0 179987 57 0 0 25 0 1 0 195535530 181448704 43618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44299 43618 110 215 0 44081 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (Kb) 177196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.96 2/64 2551 /proc/meminfo: memFree=1389648/2055920 swapFree=4180876/4192956 [pid=1859] ppid=1857 vsize=177196 CPUtime=1800.45 /proc/1859/stat : 1859 (minisat+) R 1857 1859 1809 0 -1 4194304 43814 0 0 0 179988 57 0 0 25 0 1 0 195535530 181448704 43618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1859/statm: 44299 43618 110 215 0 44081 0 Current children cumulated CPU time (s) 1800.45 Current children cumulated vsize (Kb) 177196 Sending SIGTERM to -1859 Sleeping 2 seconds Child status: 10 Real time (s): 1801.22 CPU time (s): 1800.48 CPU user time (s): 1799.88 CPU system time (s): 0.600908 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (Kb): 177196
Begin job on node59 on Sat Jun 3 01:37:53 UTC 2006 FILE ID= 35632-1149298673 PBS_JOBID= 307262 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/35632-1149298673/instance-35632-1149298673.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-35632-1149298673 -o ROOT/results/node59/solver-35632-1149298673 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/35632-1149298673/instance-35632-1149298673.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED= 237263125 /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.272 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.272 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: 1566104 kB Buffers: 34176 kB Cached: 383884 kB SwapCached: 3744 kB Active: 32332 kB Inactive: 394380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1566104 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 224 kB Writeback: 0 kB Mapped: 14732 kB Slab: 49172 kB Committed_AS: 297288 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Sat Jun 3 02:07:54 UTC 2006