Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -49 | 1800.66 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
MD5SUM | 604c6b786f56b09c749bc0d6b7c8f76d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.53 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94227 |
Number of constraints which are clauses | 94227 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
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.55 c Converting 94227 PB-constraints to clauses... 2.56 c -- Unit propagations: (none) 2.56 c -- Detecting intervals from adjacent constraints: (none) 2.57 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.77 c ==================================[MINISAT+]================================== 2.77 c | Conflicts | Original | Learnt | Progress | 2.77 c | | Clauses Literals | Max Clauses Literals LPC | | 2.77 c ============================================================================== 2.77 c | 0 | 94227 188454 | 31409 0 0 nan | 0.000 % | 2.77 c ============================================================================== 2.77 c [1mFound solution: -36[0m 2.77 o -36 2.78 c ---[ 0]---> Sorter-cost:70300 Base: 2.93 c ==================================[MINISAT+]================================== 2.93 c | Conflicts | Original | Learnt | Progress | 2.93 c | | Clauses Literals | Max Clauses Literals LPC | | 2.93 c ============================================================================== 2.93 c | 0 | 169273 364509 | 56424 0 0 nan | 0.000 % | 3.13 c | 100 | 168899 363733 | 62066 65 591 9.1 | 0.407 % | 3.37 c | 250 | 168502 362906 | 68273 198 1311 6.6 | 0.828 % | 3.75 c | 475 | 167076 359832 | 75100 351 2932 8.4 | 2.494 % | 4.33 c | 812 | 165133 355593 | 82610 631 5067 8.0 | 4.688 % | 5.13 c | 1319 | 162313 349369 | 90871 972 8957 9.2 | 8.080 % | 6.40 c | 2078 | 157982 339700 | 99958 1468 15263 10.4 | 13.235 % | 6.76 c ============================================================================== 6.76 c [1mFound solution: -39[0m 6.76 o -39 6.77 c ---[ 0]---> Sorter-cost: 0 Base: 6.84 c ==================================[MINISAT+]================================== 6.84 c | Conflicts | Original | Learnt | Progress | 6.84 c | | Clauses Literals | Max Clauses Literals LPC | | 6.84 c ============================================================================== 6.84 c | 2296 | 157388 338635 | 52462 1645 17452 10.6 | 13.235 % | 6.98 c | 2397 | 157059 337878 | 57708 1732 17985 10.4 | 14.608 % | 7.26 c | 2548 | 155840 335129 | 63479 1821 18984 10.4 | 16.160 % | 7.72 c | 2773 | 154165 331306 | 69826 1966 20681 10.5 | 18.177 % | 8.40 c | 3110 | 151458 325155 | 76809 2174 23582 10.8 | 21.604 % | 9.44 c | 3616 | 147626 316455 | 84490 2526 28129 11.1 | 26.258 % | 10.68 c | 4375 | 143472 307009 | 92939 3028 34893 11.5 | 31.480 % | 12.60 c | 5514 | 137035 292201 | 102233 3700 43332 11.7 | 39.456 % | 14.66 c | 7223 | 129643 274879 | 112456 4787 55808 11.7 | 48.879 % | 17.41 c | 9785 | 121178 254842 | 123702 6238 75388 12.1 | 60.010 % | 20.48 c | 13629 | 111810 232544 | 136072 8363 107856 12.9 | 72.370 % | 20.55 c ============================================================================== 20.55 c [1mFound solution: -40[0m 20.55 o -40 20.56 c ---[ 0]---> Sorter-cost: 0 Base: 20.65 c ==================================[MINISAT+]================================== 20.65 c | Conflicts | Original | Learnt | Progress | 20.65 c | | Clauses Literals | Max Clauses Literals LPC | | 20.65 c ============================================================================== 20.65 c | 13714 | 111791 232457 | 37263 8438 110430 13.1 | 72.370 % | 20.69 c | 13815 | 111736 232336 | 40989 8517 111608 13.1 | 72.463 % | 20.79 c | 13965 | 111449 231624 | 45088 8613 112090 13.0 | 72.865 % | 21.00 c | 14191 | 110875 230219 | 49597 8726 114161 13.1 | 73.663 % | 21.23 c | 14528 | 110330 228918 | 54556 8862 116391 13.1 | 74.395 % | 21.47 c | 15034 | 109915 227905 | 60012 9207 123608 13.4 | 74.966 % | 21.67 c ============================================================================== 21.67 c [1mFound solution: -41[0m 21.67 o -41 21.69 c ---[ 0]---> Sorter-cost: 0 Base: 21.78 c ==================================[MINISAT+]================================== 21.78 c | Conflicts | Original | Learnt | Progress | 21.78 c | | Clauses Literals | Max Clauses Literals LPC | | 21.78 c ============================================================================== 21.78 c | 15297 | 109425 226747 | 36475 9363 132070 14.1 | 74.966 % | 21.90 c | 15397 | 108928 225548 | 40122 9368 131994 14.1 | 76.327 % | 21.96 c | 15547 | 108861 225391 | 44134 9505 134463 14.1 | 76.414 % | 22.14 c | 15772 | 108187 223757 | 48548 9615 136618 14.2 | 77.343 % | 22.25 c | 16110 | 108184 223750 | 53403 9952 143364 14.4 | 77.347 % | 22.52 c | 16616 | 107846 222930 | 58743 10285 150811 14.7 | 77.809 % | 22.83 c | 17375 | 107492 222096 | 64617 10880 162733 15.0 | 78.273 % | 23.44 c | 18516 | 106409 219476 | 71079 11485 183931 16.0 | 79.751 % | 24.18 c | 20224 | 105563 217441 | 78187 12695 231153 18.2 | 80.890 % | 25.09 c ============================================================================== 25.09 c [1mFound solution: -42[0m 25.09 o -42 25.10 c ---[ 0]---> Sorter-cost: 0 Base: 25.19 c ==================================[MINISAT+]================================== 25.19 c | Conflicts | Original | Learnt | Progress | 25.19 c | | Clauses Literals | Max Clauses Literals LPC | | 25.19 c ============================================================================== 25.19 c | 22454 | 104461 214676 | 34820 14284 295984 20.7 | 80.890 % | 25.29 c | 22554 | 104247 214159 | 38302 14343 296650 20.7 | 82.669 % | 25.36 c | 22704 | 104230 214116 | 42132 14478 302277 20.9 | 82.695 % | 25.47 c | 22929 | 104077 213747 | 46345 14609 305744 20.9 | 82.903 % | 25.65 c | 23266 | 103810 213088 | 50979 14674 310610 21.2 | 83.278 % | 25.87 c | 23772 | 103661 212727 | 56077 15056 324943 21.6 | 83.483 % | 26.05 c | 24531 | 103661 212727 | 61685 15815 342397 21.7 | 83.483 % | 26.21 c ============================================================================== 26.21 c [1mFound solution: -43[0m 26.21 o -43 26.23 c ---[ 0]---> Sorter-cost: 0 Base: 26.32 c ==================================[MINISAT+]================================== 26.32 c | Conflicts | Original | Learnt | Progress | 26.32 c | | Clauses Literals | Max Clauses Literals LPC | | 26.32 c ============================================================================== 26.32 c | 24866 | 103578 212555 | 34526 15940 354982 22.3 | 83.483 % | 26.40 c | 24966 | 103452 212229 | 37978 15957 356178 22.3 | 83.832 % | 26.57 c | 25116 | 103157 211504 | 41776 15858 355829 22.4 | 84.245 % | 26.67 c | 25342 | 103098 211357 | 45954 15982 361200 22.6 | 84.328 % | 26.79 c | 25679 | 103060 211263 | 50549 16275 374557 23.0 | 84.383 % | 26.96 c | 26186 | 103044 211225 | 55604 16717 403210 24.1 | 84.404 % | 27.24 c | 26946 | 102964 211037 | 61164 17402 448444 25.8 | 84.509 % | 27.65 c | 28085 | 102796 210627 | 67281 18302 513844 28.1 | 84.741 % | 28.37 c | 29794 | 102287 209397 | 74009 19277 595883 30.9 | 85.430 % | 28.78 c ============================================================================== 28.78 c [1mFound solution: -44[0m 28.78 o -44 28.80 c ---[ 0]---> Sorter-cost: 0 Base: 28.90 c ==================================[MINISAT+]================================== 28.90 c | Conflicts | Original | Learnt | Progress | 28.90 c | | Clauses Literals | Max Clauses Literals LPC | | 28.90 c ============================================================================== 28.90 c | 30805 | 102185 209122 | 34061 19877 649107 32.7 | 85.430 % | 28.94 c | 30905 | 102181 209112 | 37467 19960 650513 32.6 | 85.578 % | 28.97 c | 31055 | 102181 209112 | 41213 20110 656361 32.6 | 85.578 % | 29.04 c | 31280 | 102181 209112 | 45335 20335 662267 32.6 | 85.578 % | 29.17 c | 31617 | 102139 209012 | 49868 20565 689479 33.5 | 85.635 % | 29.34 c | 32123 | 102135 209002 | 54855 21042 708226 33.7 | 85.640 % | 29.63 c | 32883 | 102044 208779 | 60341 21692 763522 35.2 | 85.765 % | 30.14 c | 34023 | 101908 208436 | 66375 22590 857752 38.0 | 85.961 % | 30.88 c | 35731 | 101761 208078 | 73012 24035 977376 40.7 | 86.166 % | 32.35 c | 38294 | 101248 206822 | 80314 25704 1211706 47.1 | 86.880 % | 33.20 c ============================================================================== 33.20 c [1mFound solution: -45[0m 33.20 o -45 33.22 c ---[ 0]---> Sorter-cost: 0 Base: 33.32 c ==================================[MINISAT+]================================== 33.32 c | Conflicts | Original | Learnt | Progress | 33.32 c | | Clauses Literals | Max Clauses Literals LPC | | 33.32 c ============================================================================== 33.32 c | 40062 | 101189 206683 | 33729 27299 1370590 50.2 | 86.880 % | 33.40 c | 40164 | 101153 206593 | 37101 27290 1368576 50.1 | 87.022 % | 33.46 c | 40314 | 101153 206593 | 40812 27440 1373157 50.0 | 87.022 % | 33.56 c | 40539 | 101153 206593 | 44893 27665 1390604 50.3 | 87.022 % | 33.74 c | 40877 | 101147 206579 | 49382 27982 1417890 50.7 | 87.029 % | 34.03 c | 41383 | 101089 206432 | 54320 28284 1476102 52.2 | 87.111 % | 34.40 c | 42142 | 101046 206333 | 59752 28842 1548069 53.7 | 87.164 % | 35.00 c | 43281 | 101030 206295 | 65728 29940 1653263 55.2 | 87.185 % | 35.19 c ============================================================================== 35.19 c [1mFound solution: -46[0m 35.19 o -46 35.21 c ---[ 0]---> Sorter-cost: 0 Base: 35.32 c ==================================[MINISAT+]================================== 35.32 c | Conflicts | Original | Learnt | Progress | 35.32 c | | Clauses Literals | Max Clauses Literals LPC | | 35.32 c ============================================================================== 35.32 c | 43660 | 101019 206233 | 33673 30108 1656622 55.0 | 87.185 % | 35.40 c | 43762 | 100999 206179 | 37040 30194 1661991 55.0 | 87.234 % | 35.48 c | 43912 | 100999 206179 | 40744 30344 1674049 55.2 | 87.234 % | 35.52 c | 44138 | 100999 206179 | 44818 30570 1677140 54.9 | 87.234 % | 35.70 c | 44476 | 100999 206179 | 49300 30908 1697757 54.9 | 87.234 % | 35.98 c | 44983 | 100999 206179 | 54230 31415 1748048 55.6 | 87.234 % | 36.40 c | 45742 | 100961 206093 | 59653 32036 1808118 56.4 | 87.281 % | 37.10 c | 46881 | 100961 206093 | 65619 33175 1962362 59.2 | 87.281 % | 38.12 c | 48589 | 100961 206093 | 72181 34883 2133447 61.2 | 87.281 % | 39.84 c | 51151 | 100916 205984 | 79399 37289 2446159 65.6 | 87.343 % | 42.81 c | 54995 | 100889 205925 | 87339 40682 2985421 73.4 | 87.374 % | 47.42 c | 60761 | 100889 205925 | 96072 46448 3854427 83.0 | 87.374 % | 51.51 c ============================================================================== 51.51 c [1mFound solution: -47[0m 51.51 o -47 51.53 c ---[ 0]---> Sorter-cost: 0 Base: 51.68 c ==================================[MINISAT+]================================== 51.68 c | Conflicts | Original | Learnt | Progress | 51.68 c | | Clauses Literals | Max Clauses Literals LPC | | 51.68 c ============================================================================== 51.68 c | 65334 | 100853 205854 | 33617 50820 4571720 90.0 | 87.374 % | 51.76 c | 65434 | 100853 205854 | 36978 50920 4575895 89.9 | 87.450 % | 51.90 c | 65584 | 100853 205854 | 40676 51070 4590180 89.9 | 87.450 % | 52.07 c | 65809 | 100853 205854 | 44744 51295 4602588 89.7 | 87.450 % | 52.34 c | 66148 | 100853 205854 | 49218 51634 4624017 89.6 | 87.450 % | 52.81 c | 66654 | 100853 205854 | 54140 52140 4670967 89.6 | 87.450 % | 53.39 c | 67414 | 100814 205757 | 59554 52773 4715984 89.4 | 87.506 % | 54.34 c | 68553 | 100814 205757 | 65510 53912 4839522 89.8 | 87.506 % | 55.93 c | 70261 | 100814 205757 | 72061 55620 5031215 90.5 | 87.506 % | 58.47 c | 72824 | 100814 205757 | 79267 58183 5325863 91.5 | 87.506 % | 61.86 c | 76668 | 100814 205757 | 87193 62027 5737838 92.5 | 87.506 % | 68.12 c | 82434 | 100720 205535 | 95913 67266 6413842 95.4 | 87.630 % | 77.54 c | 91084 | 100718 205529 | 105504 75912 7268264 95.7 | 87.634 % | 80.56 c ============================================================================== 80.56 c [1mFound solution: -48[0m 80.56 o -48 80.58 c ---[ 0]---> Sorter-cost: 0 Base: 80.76 c ==================================[MINISAT+]================================== 80.76 c | Conflicts | Original | Learnt | Progress | 80.76 c | | Clauses Literals | Max Clauses Literals LPC | | 80.76 c ============================================================================== 80.76 c | 94590 | 100693 205448 | 33564 79088 7509816 95.0 | 87.634 % | 80.97 c | 94690 | 100693 205448 | 36920 19014 1203514 63.3 | 87.669 % | 81.04 c | 94840 | 100693 205448 | 40612 19164 1215224 63.4 | 87.669 % | 81.15 c | 95066 | 100610 205251 | 44673 19386 1226784 63.3 | 87.776 % | 81.30 c | 95404 | 100605 205238 | 49141 19716 1247119 63.3 | 87.784 % | 81.51 c | 95910 | 100605 205238 | 54055 20222 1293892 64.0 | 87.784 % | 81.83 c | 96671 | 100605 205238 | 59460 20983 1362659 64.9 | 87.784 % | 82.37 c | 97810 | 100602 205231 | 65406 22119 1452373 65.7 | 87.788 % | 83.07 c | 99519 | 100602 205231 | 71947 23828 1570680 65.9 | 87.788 % | 84.29 c | 102082 | 100602 205231 | 79142 26391 1796590 68.1 | 87.788 % | 86.49 c | 105926 | 100524 205033 | 87056 30221 2254790 74.6 | 87.904 % | 89.91 c | 111693 | 100513 205008 | 95762 35977 2865103 79.6 | 87.917 % | 95.34 c | 120342 | 100496 204969 | 105338 44621 3803842 85.2 | 87.939 % | 106.34 c | 133316 | 100496 204969 | 115872 57595 5193648 90.2 | 87.939 % | 124.91 c | 152777 | 100477 204922 | 127459 77043 7291374 94.6 | 87.966 % | 158.24 c | 181969 | 100467 204900 | 140205 106227 10898164 102.6 | 87.978 % | 219.55 c | 225758 | 100436 204820 | 154225 149983 15472459 103.2 | 88.024 % | 329.30 c | 291443 | 100430 204806 | 169648 36460 2449536 67.2 | 88.032 % | 446.07 c | 389969 | 100422 204786 | 186613 134798 15942477 118.3 | 88.044 % | 753.43 c | 537758 | 100404 204742 | 205274 70192 6650238 94.7 | 88.069 % | 1105.27 c | 759441 | 100285 204445 | 225801 61873 2777912 44.9 | 88.241 % | 1586.58 c ============================================================================== 1586.58 c [1mFound solution: -49[0m 1586.58 o -49 1586.60 c ---[ 0]---> Sorter-cost: 0 Base: 1586.79 c ==================================[MINISAT+]================================== 1586.79 c | Conflicts | Original | Learnt | Progress | 1586.79 c | | Clauses Literals | Max Clauses Literals LPC | | 1586.79 c ============================================================================== 1586.79 c | 1026698 | 100262 204393 | 33420 79014 7690912 97.3 | 88.241 % | 1587.48 c | 1026798 | 100262 204393 | 36762 25140 1598409 63.6 | 88.279 % | 1587.54 c | 1026949 | 100262 204393 | 40438 25291 1605141 63.5 | 88.279 % | 1587.67 c | 1027174 | 100239 204340 | 44482 25513 1614485 63.3 | 88.306 % | 1587.81 c | 1027511 | 100239 204340 | 48930 25850 1630059 63.1 | 88.306 % | 1588.05 c | 1028017 | 100239 204340 | 53823 26356 1660238 63.0 | 88.306 % | 1588.41 c | 1028777 | 100239 204340 | 59205 27116 1711844 63.1 | 88.306 % | 1589.04 c | 1029916 | 100227 204312 | 65126 28252 1789820 63.4 | 88.322 % | 1589.69 c | 1031626 | 100227 204312 | 71638 29962 1887801 63.0 | 88.322 % | 1590.92 c | 1034189 | 100227 204312 | 78802 32525 2067273 63.6 | 88.322 % | 1593.02 c | 1038033 | 100186 204212 | 86682 36224 2385932 65.9 | 88.378 % | 1596.29 c | 1043799 | 100186 204212 | 95351 41990 2917886 69.5 | 88.378 % | 1601.71 c | 1052448 | 100186 204212 | 104886 50639 3703103 73.1 | 88.378 % | 1611.76 c | 1065423 | 100186 204212 | 115374 63614 4988007 78.4 | 88.378 % | 1629.88 c | 1084884 | 100175 204185 | 126912 83072 6849381 82.5 | 88.393 % | 1669.17 c | 1114079 | 100166 204162 | 139603 112263 10241212 91.2 | 88.407 % | 1743.16 c | 1157868 | 100166 204162 | 153563 156052 13288875 85.2 | 88.407 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 s SATISFIABLE 1801.16 v -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1801.16 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1801.16 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 1801.16 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205 1801.16 v -x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 1801.16 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 1801.16 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 1801.16 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 1801.16 v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 1801.16 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 1801.16 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1801.16 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1801.16 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 1801.16 v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 1801.16 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 1801.16 v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 1801.16 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 1801.16 v x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 1801.16 v -x958 -x957 x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 1801.16 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 1801.16 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 1801.16 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 1801.16 v -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 1801.16 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 1801.16 v -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 1801.16 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 1801.16 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 1801.16 v -x769 -x768 -x767 -x766 -x765 -x764 x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 1801.16 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 x733 -x732 -x731 -x730 -x729 -x728 1801.16 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 1801.16 v -x706 -x705 -x704 -x703 -x702 x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 1801.16 v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 1801.16 v -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 1801.16 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 1801.16 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 1801.16 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 1801.16 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 1801.16 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 1801.16 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 1801.16 v -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 1801.16 v x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 1801.16 v -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 1801.16 v -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 1801.16 v -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 1801.16 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 1801.16 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 1801.16 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 1801.16 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 1801.16 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 1801.16 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 1801.16 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 1801.16 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 1801.16 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 1801.16 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 1801.16 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 1801.16 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 1801.16 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 1801.16 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 1801.16 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 1801.16 v -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 1801.16 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 1801.16 v -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 1801.16 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -49
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/node7/watcher-35627-1149298123 -o ROOT/results/node7/solver-35627-1149298123 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node7/35627-1149298123/instance-35627-1149298123.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 14365 /proc/meminfo: memFree=1343640/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=1048 CPUtime=0 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 115 0 0 0 0 0 0 0 19 0 1 0 195474506 1073152 100 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 262 100 67 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.90 2/64 14365 /proc/meminfo: memFree=1311384/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=34516 CPUtime=9.98 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 8364 0 0 0 986 12 0 0 25 0 1 0 195474506 35344384 8147 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 8629 8147 110 215 0 8411 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 34516 [startup+20.0079 s] /proc/loadavg: 0.94 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1311512/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=34516 CPUtime=19.98 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 8364 0 0 0 1986 12 0 0 25 0 1 0 195474506 35344384 8147 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 8629 8147 110 215 0 8411 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 34516 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1311448/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=34516 CPUtime=29.99 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 8367 0 0 0 2987 12 0 0 25 0 1 0 195474506 35344384 8150 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134585958 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 8629 8150 110 215 0 8411 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 34516 [startup+40.02 s] /proc/loadavg: 0.95 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1308376/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=37680 CPUtime=39.99 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 9154 0 0 0 3986 13 0 0 25 0 1 0 195474506 38584320 8937 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 9420 8937 110 215 0 9202 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 37680 [startup+50.0261 s] /proc/loadavg: 0.96 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1300632/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=45464 CPUtime=49.99 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 11083 0 0 0 4985 14 0 0 25 0 1 0 195474506 46555136 10866 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 11366 10866 110 215 0 11148 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 45464 [startup+60.0311 s] /proc/loadavg: 0.97 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1295448/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=50560 CPUtime=59.99 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 12386 0 0 0 5984 15 0 0 25 0 1 0 195474506 51773440 12161 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 12640 12161 110 215 0 12422 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 50560 [startup+70.0372 s] /proc/loadavg: 0.97 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1290904/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=55248 CPUtime=70 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 13524 0 0 0 6984 16 0 0 25 0 1 0 195474506 56573952 13299 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 13812 13299 110 215 0 13594 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 55248 [startup+80.0432 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1286936/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=59276 CPUtime=80 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14530 0 0 0 7983 17 0 0 25 0 1 0 195474506 60698624 14305 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 14819 14305 110 215 0 14601 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 59276 [startup+90.0493 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=59492 CPUtime=90 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 8983 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580337 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 14873 14391 110 215 0 14655 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 59492 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=59492 CPUtime=100.01 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 9984 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 14873 14391 110 215 0 14655 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 59492 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.91 2/64 14365 /proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=59492 CPUtime=110.01 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 10984 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 14873 14391 110 215 0 14655 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 59492 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1286488/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=59492 CPUtime=120.01 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 14626 0 0 0 11984 17 0 0 25 0 1 0 195474506 60919808 14391 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 14873 14391 110 215 0 14655 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 59492 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1284376/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=61716 CPUtime=130.01 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 15171 0 0 0 12984 17 0 0 25 0 1 0 195474506 63197184 14936 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 15429 14936 110 215 0 15211 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 61716 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1279576/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=66408 CPUtime=140.02 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 16367 0 0 0 13983 19 0 0 25 0 1 0 195474506 68001792 16132 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 16602 16132 110 215 0 16384 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 66408 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1275032/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=71148 CPUtime=150.02 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 17492 0 0 0 14982 20 0 0 25 0 1 0 195474506 72855552 17257 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 17787 17257 110 215 0 17569 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 71148 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1271384/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=74688 CPUtime=160.03 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 18398 0 0 0 15982 21 0 0 25 0 1 0 195474506 76480512 18163 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 18672 18163 110 215 0 18454 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 74688 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1268504/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=77712 CPUtime=170.03 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 19144 0 0 0 16980 23 0 0 25 0 1 0 195474506 79577088 18909 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 19428 18909 110 215 0 19210 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 77712 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1265048/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=80988 CPUtime=180.04 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 19992 0 0 0 17980 24 0 0 25 0 1 0 195474506 82931712 19757 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 20247 19757 110 215 0 20029 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 80988 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1261912/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=84096 CPUtime=190.03 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 20780 0 0 0 18978 25 0 0 25 0 1 0 195474506 86114304 20545 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 21024 20545 110 215 0 20806 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 84096 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1258648/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=87352 CPUtime=200.04 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 21600 0 0 0 19978 26 0 0 25 0 1 0 195474506 89448448 21365 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 21838 21365 110 215 0 21620 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 87352 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14365 /proc/meminfo: memFree=1255448/2055920 swapFree=4181500/4192956 ################ # More data... # ################ [pid=14365] ppid=14363 vsize=146888 CPUtime=1781.54 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178109 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 146888 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1782.54 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178209 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 146888 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1783.55 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178310 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 146888 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1784.55 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178410 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 146888 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1785.56 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178511 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 146888 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1786.56 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178611 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 146888 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1787.57 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178712 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 146888 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1788.57 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178812 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134579770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 146888 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1789.58 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 178913 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 146888 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1790.58 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179013 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 146888 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1791.59 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179114 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 146888 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1792.59 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179214 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 146888 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1793.6 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179315 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 146888 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1794.6 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179415 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 146888 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1795.61 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179516 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581307 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 146888 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1796.61 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179616 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 146888 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1797.61 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179716 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 146888 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1798.62 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179817 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 146888 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1799.62 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 179917 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 146888 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1800.63 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 180018 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 146888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 14367 /proc/meminfo: memFree=1199264/2055920 swapFree=4181500/4192956 [pid=14365] ppid=14363 vsize=146888 CPUtime=1800.63 /proc/14365/stat : 14365 (minisat+) R 14363 14365 14319 0 -1 4194304 36377 0 0 0 180018 45 0 0 25 0 1 0 195474506 150413312 36142 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14365/statm: 36722 36142 110 215 0 36504 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 146888 Sending SIGTERM to -14365 Sleeping 2 seconds Child status: 10 Real time (s): 1801.19 CPU time (s): 1800.66 CPU user time (s): 1800.19 CPU system time (s): 0.475927 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 146888
Begin job on node7 on Sat Jun 3 01:28:43 UTC 2006 FILE ID= 35627-1149298123 PBS_JOBID= 307202 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node7/35627-1149298123/instance-35627-1149298123.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-35627-1149298123 -o ROOT/results/node7/solver-35627-1149298123 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node7/35627-1149298123/instance-35627-1149298123.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d RANDOM SEED= 378585567 /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.232 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.232 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: 1343912 kB Buffers: 36492 kB Cached: 602408 kB SwapCached: 3564 kB Active: 210760 kB Inactive: 437272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1343912 kB SwapTotal: 4192956 kB SwapFree: 4181500 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14972 kB Slab: 49988 kB Committed_AS: 273144 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node7 on Sat Jun 3 01:58:44 UTC 2006