Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -49 | 1800.58 | 1801.12 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | 20471e978018d28aed0ca16c46de4e3d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -51 |
Best CPU time to get the best result obtained on this benchmark | 1800.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -51 |
Optimality of the best value was proved | NO |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
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.54 c Converting 94226 PB-constraints to clauses... 2.55 c -- Unit propagations: (none) 2.55 c -- Detecting intervals from adjacent constraints: (none) 2.56 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.76 c ==================================[MINISAT+]================================== 2.76 c | Conflicts | Original | Learnt | Progress | 2.76 c | | Clauses Literals | Max Clauses Literals LPC | | 2.76 c ============================================================================== 2.76 c | 0 | 94226 188452 | 31408 0 0 nan | 0.000 % | 2.76 c ============================================================================== 2.76 c [1mFound solution: -36[0m 2.76 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 | 169272 364507 | 56424 0 0 nan | 0.000 % | 3.12 c | 101 | 169075 364106 | 62066 87 747 8.6 | 0.213 % | 3.38 c | 251 | 168213 362254 | 68273 187 1423 7.6 | 1.182 % | 3.80 c | 476 | 166961 359534 | 75100 344 3013 8.8 | 2.619 % | 4.36 c | 813 | 165184 355653 | 82610 585 5250 9.0 | 4.678 % | 5.03 c | 1319 | 163117 351122 | 90871 995 10123 10.2 | 7.089 % | 6.12 c | 2079 | 159855 343815 | 99958 1589 15542 9.8 | 11.047 % | 6.82 c ============================================================================== 6.82 c [1mFound solution: -39[0m 6.82 o -39 6.84 c ---[ 0]---> Sorter-cost: 0 Base: 6.90 c ==================================[MINISAT+]================================== 6.90 c | Conflicts | Original | Learnt | Progress | 6.90 c | | Clauses Literals | Max Clauses Literals LPC | | 6.90 c ============================================================================== 6.90 c | 2442 | 158103 340170 | 52701 1818 17572 9.7 | 11.047 % | 7.19 c | 2542 | 157318 338392 | 57971 1882 18163 9.7 | 14.365 % | 7.45 c | 2692 | 156806 337227 | 63768 2013 20252 10.1 | 15.000 % | 7.81 c | 2917 | 155301 333834 | 70145 2185 22027 10.1 | 16.977 % | 8.55 c | 3254 | 153117 328912 | 77159 2405 24394 10.1 | 19.514 % | 9.31 c | 3760 | 150528 323046 | 84875 2701 28785 10.7 | 22.711 % | 10.58 c | 4519 | 146908 314829 | 93363 3247 34935 10.8 | 27.174 % | 12.32 c | 5658 | 141502 302336 | 102699 3955 44231 11.2 | 34.052 % | 14.74 c | 7367 | 132946 282573 | 112969 4946 56564 11.4 | 44.676 % | 17.49 c | 9929 | 123090 259377 | 124266 6462 78398 12.1 | 57.455 % | 20.70 c | 13776 | 112920 235052 | 136692 8675 110216 12.7 | 71.006 % | 23.42 c ============================================================================== 23.42 c [1mFound solution: -41[0m 23.42 o -41 23.44 c ---[ 0]---> Sorter-cost: 0 Base: 23.52 c ==================================[MINISAT+]================================== 23.52 c | Conflicts | Original | Learnt | Progress | 23.52 c | | Clauses Literals | Max Clauses Literals LPC | | 23.52 c ============================================================================== 23.52 c | 18935 | 107740 222720 | 35913 12099 205571 17.0 | 71.006 % | 23.71 c | 19036 | 107058 221071 | 39504 11981 204261 17.0 | 78.863 % | 23.85 c | 19186 | 106602 219956 | 43454 11951 204138 17.1 | 79.485 % | 23.94 c | 19411 | 106533 219790 | 47800 12151 207822 17.1 | 79.577 % | 24.14 c | 19748 | 106346 219358 | 52580 12271 214270 17.5 | 79.809 % | 24.43 c | 20254 | 105768 217949 | 57838 12493 218810 17.5 | 80.597 % | 24.72 c | 21013 | 105388 217038 | 63622 12920 228308 17.7 | 81.104 % | 25.17 c | 22153 | 105065 216273 | 69984 13962 278787 20.0 | 81.533 % | 25.30 c ============================================================================== 25.30 c [1mFound solution: -42[0m 25.30 o -42 25.31 c ---[ 0]---> Sorter-cost: 0 Base: 25.40 c ==================================[MINISAT+]================================== 25.40 c | Conflicts | Original | Learnt | Progress | 25.40 c | | Clauses Literals | Max Clauses Literals LPC | | 25.40 c ============================================================================== 25.40 c | 22429 | 104997 215985 | 34999 14083 273932 19.5 | 81.533 % | 25.45 c | 22529 | 104961 215897 | 38498 14181 276888 19.5 | 81.678 % | 25.50 c | 22679 | 104961 215897 | 42348 14331 281023 19.6 | 81.678 % | 25.58 c | 22904 | 104922 215798 | 46583 14423 283155 19.6 | 81.735 % | 25.70 c | 23241 | 104866 215660 | 51242 14674 293422 20.0 | 81.813 % | 25.89 c | 23747 | 104764 215404 | 56366 15083 308159 20.4 | 81.959 % | 26.17 c | 24506 | 104497 214744 | 62002 15537 342348 22.0 | 82.337 % | 26.60 c | 25646 | 104146 213903 | 68203 16444 384307 23.4 | 82.811 % | 27.07 c ============================================================================== 27.07 c [1mFound solution: -43[0m 27.07 o -43 27.09 c ---[ 0]---> Sorter-cost: 0 Base: 27.18 c ==================================[MINISAT+]================================== 27.18 c | Conflicts | Original | Learnt | Progress | 27.18 c | | Clauses Literals | Max Clauses Literals LPC | | 27.18 c ============================================================================== 27.18 c | 26675 | 103854 213216 | 34618 17187 433070 25.2 | 82.811 % | 27.22 c | 26775 | 103848 213202 | 38079 17283 434970 25.2 | 83.271 % | 27.30 c | 26926 | 103805 213088 | 41887 17385 445611 25.6 | 83.337 % | 27.39 c | 27151 | 103805 213088 | 46076 17610 463004 26.3 | 83.337 % | 27.53 c | 27488 | 103668 212740 | 50684 17769 478343 26.9 | 83.538 % | 27.71 c | 27996 | 103547 212432 | 55752 18154 489278 27.0 | 83.717 % | 27.97 c | 28755 | 103544 212425 | 61327 18912 539866 28.5 | 83.721 % | 28.44 c | 29894 | 103429 212146 | 67460 19968 667663 33.4 | 83.880 % | 29.15 c | 31602 | 103175 211558 | 74206 21418 793058 37.0 | 84.203 % | 29.44 c ============================================================================== 29.44 c [1mFound solution: -44[0m 29.44 o -44 29.46 c ---[ 0]---> Sorter-cost: 0 Base: 29.56 c ==================================[MINISAT+]================================== 29.56 c | Conflicts | Original | Learnt | Progress | 29.56 c | | Clauses Literals | Max Clauses Literals LPC | | 29.56 c ============================================================================== 29.56 c | 32164 | 103102 211349 | 34367 21795 834497 38.3 | 84.203 % | 29.65 c | 32265 | 103003 211100 | 37803 21826 837592 38.4 | 84.447 % | 29.74 c | 32415 | 102948 210971 | 41584 21919 840045 38.3 | 84.519 % | 29.85 c | 32640 | 102886 210817 | 45742 22130 846032 38.2 | 84.609 % | 30.02 c | 32977 | 102799 210604 | 50316 22423 863531 38.5 | 84.731 % | 30.23 c | 33483 | 102749 210486 | 55348 22887 900815 39.4 | 84.797 % | 30.54 c | 34242 | 102744 210475 | 60883 23630 942960 39.9 | 84.803 % | 30.64 c ============================================================================== 30.64 c [1mFound solution: -45[0m 30.64 o -45 30.66 c ---[ 0]---> Sorter-cost: 0 Base: 30.76 c ==================================[MINISAT+]================================== 30.76 c | Conflicts | Original | Learnt | Progress | 30.76 c | | Clauses Literals | Max Clauses Literals LPC | | 30.76 c ============================================================================== 30.76 c | 34487 | 102767 210543 | 34255 23875 953861 40.0 | 84.803 % | 30.80 c | 34588 | 102767 210543 | 37680 23976 958975 40.0 | 84.783 % | 30.98 c | 34738 | 102586 210092 | 41448 23888 957339 40.1 | 85.041 % | 31.07 c | 34963 | 102586 210092 | 45593 24113 969268 40.2 | 85.041 % | 31.24 c | 35300 | 102538 209978 | 50152 24291 988445 40.7 | 85.106 % | 31.42 c | 35807 | 102538 209978 | 55168 24798 1006073 40.6 | 85.106 % | 31.75 c | 36566 | 102538 209978 | 60684 25557 1071784 41.9 | 85.106 % | 32.32 c | 37705 | 102343 209502 | 66753 26415 1138405 43.1 | 85.378 % | 33.11 c | 39415 | 102286 209360 | 73428 27838 1257834 45.2 | 85.460 % | 34.71 c | 41977 | 102240 209250 | 80771 30252 1660765 54.9 | 85.522 % | 36.87 c | 45821 | 101895 208437 | 88848 33776 2025763 60.0 | 85.977 % | 40.62 c | 51587 | 101712 207993 | 97733 39107 2662868 68.1 | 86.222 % | 46.95 c | 60237 | 101618 207781 | 107506 47599 3795709 79.7 | 86.337 % | 59.80 c | 73211 | 101477 207428 | 118257 60413 5671845 93.9 | 86.543 % | 70.48 c ============================================================================== 70.48 c [1mFound solution: -46[0m 70.48 o -46 70.50 c ---[ 0]---> Sorter-cost: 0 Base: 70.68 c ==================================[MINISAT+]================================== 70.68 c | Conflicts | Original | Learnt | Progress | 70.68 c | | Clauses Literals | Max Clauses Literals LPC | | 70.68 c ============================================================================== 70.68 c | 83302 | 101448 207319 | 33816 69965 7130748 101.9 | 86.543 % | 70.80 c | 83402 | 101448 207319 | 37197 70065 7138087 101.9 | 86.588 % | 71.14 c | 83552 | 101431 207278 | 40917 70199 7144279 101.8 | 86.611 % | 71.53 c | 83777 | 101376 207145 | 45009 70371 7157516 101.7 | 86.687 % | 71.84 c | 84115 | 101376 207145 | 49510 70709 7184452 101.6 | 86.687 % | 72.35 c | 84621 | 101376 207145 | 54461 71215 7216959 101.3 | 86.687 % | 73.18 c | 85382 | 101376 207145 | 59907 71976 7309888 101.6 | 86.687 % | 74.31 c | 86522 | 101376 207145 | 65897 73116 7419413 101.5 | 86.687 % | 76.29 c | 88231 | 101365 207118 | 72487 74768 7579664 101.4 | 86.703 % | 78.91 c | 90794 | 101365 207118 | 79736 77331 7854104 101.6 | 86.703 % | 83.16 c | 94638 | 101365 207118 | 87709 81175 8276378 102.0 | 86.703 % | 90.31 c | 100405 | 101331 207036 | 96480 86827 8899866 102.5 | 86.749 % | 102.21 c | 109054 | 101184 206675 | 106129 95352 9923530 104.1 | 86.954 % | 121.25 c | 122028 | 101180 206667 | 116742 108322 11495581 106.1 | 86.957 % | 149.85 c ============================================================================== 149.85 c [1mFound solution: -47[0m 149.85 o -47 149.87 c ---[ 0]---> Sorter-cost: 0 Base: 150.13 c ==================================[MINISAT+]================================== 150.13 c | Conflicts | Original | Learnt | Progress | 150.13 c | | Clauses Literals | Max Clauses Literals LPC | | 150.13 c ============================================================================== 150.13 c | 141128 | 101191 206703 | 33730 127388 13341808 104.7 | 86.957 % | 150.56 c | 141228 | 101191 206703 | 37103 18946 1307932 69.0 | 86.980 % | 150.62 c | 141378 | 101191 206703 | 40813 19096 1312915 68.8 | 86.980 % | 150.79 c | 141603 | 101113 206515 | 44894 19314 1319595 68.3 | 87.084 % | 150.97 c | 141941 | 101036 206330 | 49384 19634 1339920 68.2 | 87.185 % | 151.22 c | 142448 | 101026 206304 | 54322 20135 1372474 68.2 | 87.201 % | 151.59 c | 143208 | 101026 206304 | 59754 20895 1469812 70.3 | 87.201 % | 152.05 c | 144347 | 100970 206170 | 65730 22004 1528011 69.4 | 87.276 % | 152.73 c | 146055 | 100970 206170 | 72303 23712 1646650 69.4 | 87.276 % | 153.75 c | 148618 | 100932 206078 | 79533 26240 1799029 68.6 | 87.329 % | 155.76 c | 152464 | 100835 205835 | 87486 30059 2191862 72.9 | 87.468 % | 159.39 c | 158230 | 100826 205812 | 96235 35810 2827042 78.9 | 87.482 % | 164.97 c | 166879 | 100826 205812 | 105859 44459 3696435 83.1 | 87.482 % | 177.01 c | 179853 | 100818 205792 | 116445 57426 5297211 92.2 | 87.494 % | 195.56 c | 199314 | 100803 205757 | 128089 76883 7354025 95.7 | 87.513 % | 234.54 c ============================================================================== 234.54 c [1mFound solution: -48[0m 234.54 o -48 234.56 c ---[ 0]---> Sorter-cost: 0 Base: 234.78 c ==================================[MINISAT+]================================== 234.78 c | Conflicts | Original | Learnt | Progress | 234.78 c | | Clauses Literals | Max Clauses Literals LPC | | 234.78 c ============================================================================== 234.78 c | 227131 | 100655 205375 | 33551 104501 10707967 102.5 | 87.513 % | 235.33 c | 227231 | 100655 205375 | 36906 22457 1636218 72.9 | 87.709 % | 235.42 c | 227381 | 100621 205297 | 40596 22553 1641869 72.8 | 87.750 % | 235.51 c | 227609 | 100621 205297 | 44656 22781 1659787 72.9 | 87.750 % | 235.71 c | 227946 | 100612 205274 | 49122 23116 1681266 72.7 | 87.764 % | 235.98 c | 228452 | 100612 205274 | 54034 23622 1730871 73.3 | 87.764 % | 236.33 c | 229211 | 100612 205274 | 59437 24381 1783035 73.1 | 87.764 % | 236.91 c | 230352 | 100612 205274 | 65381 25522 1902734 74.6 | 87.764 % | 237.84 c | 232061 | 100612 205274 | 71919 27231 2057162 75.5 | 87.764 % | 239.28 c | 234624 | 100612 205274 | 79111 29794 2346363 78.8 | 87.764 % | 241.52 c | 238469 | 100593 205229 | 87022 33634 2720044 80.9 | 87.789 % | 245.35 c | 244235 | 100593 205229 | 95724 39400 3300302 83.8 | 87.789 % | 251.51 c | 252884 | 100593 205229 | 105297 48049 4292385 89.3 | 87.789 % | 262.39 c | 265859 | 100535 205083 | 115827 60935 5537608 90.9 | 87.874 % | 285.03 c | 285320 | 100535 205083 | 127409 80396 8076321 100.5 | 87.874 % | 325.46 c | 314513 | 100535 205083 | 140150 109589 10534197 96.1 | 87.874 % | 415.55 c | 358302 | 100535 205083 | 154165 153378 14216256 92.7 | 87.874 % | 542.27 c | 423986 | 100533 205077 | 169582 40514 1983233 49.0 | 87.878 % | 646.93 c | 522512 | 100413 204789 | 186540 138966 12921885 93.0 | 88.041 % | 871.76 c | 670301 | 100379 204708 | 205194 76262 5149324 67.5 | 88.086 % | 1239.25 c | 891984 | 100303 204523 | 225714 68560 3812329 55.6 | 88.189 % | 1716.59 c | 1224510 | 100182 204224 | 248285 153238 10503928 68.5 | 88.361 % | 1783.45 c ============================================================================== 1783.45 c [1mFound solution: -49[0m 1783.45 o -49 1783.47 c ---[ 0]---> Sorter-cost: 0 Base: 1783.75 c ==================================[MINISAT+]================================== 1783.75 c | Conflicts | Original | Learnt | Progress | 1783.75 c | | Clauses Literals | Max Clauses Literals LPC | | 1783.75 c ============================================================================== 1783.75 c | 1262067 | 100199 204265 | 33399 190795 13510544 70.8 | 88.361 % | 1785.24 c | 1262168 | 100199 204265 | 36738 26724 906548 33.9 | 88.346 % | 1785.31 c | 1262318 | 100199 204265 | 40412 26874 914894 34.0 | 88.346 % | 1785.43 c | 1262543 | 100162 204172 | 44454 27089 925679 34.2 | 88.397 % | 1785.58 c | 1262880 | 100162 204172 | 48899 27426 942920 34.4 | 88.397 % | 1785.79 c | 1263386 | 100162 204172 | 53789 27932 971685 34.8 | 88.397 % | 1786.17 c | 1264146 | 100162 204172 | 59168 28692 1038752 36.2 | 88.397 % | 1786.76 c | 1265286 | 100162 204172 | 65085 29832 1136937 38.1 | 88.397 % | 1787.45 c | 1266995 | 100162 204172 | 71593 31541 1249504 39.6 | 88.397 % | 1788.81 c | 1269557 | 100157 204159 | 78753 34098 1512176 44.3 | 88.405 % | 1791.13 c | 1273403 | 100157 204159 | 86628 37944 1985325 52.3 | 88.405 % | 1794.90 c | 1279169 | 100157 204159 | 95291 43710 2507947 57.4 | 88.405 % | 1801.09 c 1801.09 c *** TERMINATED *** 1801.09 s SATISFIABLE 1801.09 v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 -x1258 -x1257 -x1256 1801.09 v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 1801.09 v x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 1801.09 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 1801.09 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 1801.09 v -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 1801.09 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 -x1153 1801.09 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 1801.09 v x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 1801.09 v -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 1801.09 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 1801.09 v -x1083 -x1082 -x1081 -x1080 -x1079 x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 1801.09 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 x1050 1801.09 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 1801.09 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 1801.09 v -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 -x998 1801.09 v -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 -x977 1801.09 v -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 1801.09 v -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 1801.09 v -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 1801.09 v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 1801.09 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 1801.09 v -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 1801.09 v -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 x833 -x832 -x831 -x830 1801.09 v -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 1801.09 v -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 1801.09 v -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 1801.09 v -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 1801.09 v -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 1801.09 v -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 1801.09 v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 1801.09 v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 1801.09 v -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 1801.09 v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 1801.09 v -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 1801.09 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 1801.09 v x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 1801.09 v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 1801.09 v x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 1801.09 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 1801.09 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 1801.09 v -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 1801.09 v -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 1801.09 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 1801.09 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 1801.09 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 1801.09 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 1801.09 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 1801.09 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 1801.09 v -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 1801.09 v -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 1801.09 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 1801.09 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 1801.09 v -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 1801.09 v -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 1801.09 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 1801.09 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 1801.09 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 1801.09 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 1801.09 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 1801.09 v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 1801.09 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 1801.09 v -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/node29/watcher-35626-1149297650 -o ROOT/results/node29/solver-35626-1149297650 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node29/35626-1149297650/instance-35626-1149297650.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.93 2/64 16500 /proc/meminfo: memFree=1826016/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=1048 CPUtime=0 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 96 0 0 0 0 0 0 0 19 0 1 0 195428605 1073152 81 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 262 82 67 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 0.87 0.94 0.93 2/64 16500 /proc/meminfo: memFree=1793776/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=34524 CPUtime=9.99 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 8365 0 0 0 987 12 0 0 25 0 1 0 195428605 35352576 8149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 8631 8149 110 215 0 8413 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 34524 [startup+20.0086 s] /proc/loadavg: 0.89 0.94 0.93 2/64 16500 /proc/meminfo: memFree=1793968/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=34524 CPUtime=19.99 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 8365 0 0 0 1987 12 0 0 25 0 1 0 195428605 35352576 8149 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 8631 8149 110 215 0 8413 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 34524 [startup+30.014 s] /proc/loadavg: 0.90 0.94 0.93 2/64 16500 /proc/meminfo: memFree=1793968/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=34524 CPUtime=29.99 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 8368 0 0 0 2987 12 0 0 25 0 1 0 195428605 35352576 8152 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581318 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 8631 8152 110 215 0 8413 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 34524 [startup+40.0195 s] /proc/loadavg: 0.92 0.94 0.93 2/64 16500 /proc/meminfo: memFree=1790448/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=38092 CPUtime=39.99 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 9260 0 0 0 3987 12 0 0 25 0 1 0 195428605 39006208 9044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 9523 9044 110 215 0 9305 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38092 [startup+50.0249 s] /proc/loadavg: 0.93 0.94 0.93 2/64 16500 /proc/meminfo: memFree=1783280/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=45256 CPUtime=49.99 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 11038 0 0 0 4985 14 0 0 25 0 1 0 195428605 46342144 10822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 11314 10822 110 215 0 11096 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 45256 [startup+60.0303 s] /proc/loadavg: 0.94 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1777264/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=51252 CPUtime=60 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 12552 0 0 0 5984 16 0 0 25 0 1 0 195428605 52482048 12336 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 12813 12336 110 215 0 12595 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 51252 [startup+70.0357 s] /proc/loadavg: 0.95 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1771184/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=57528 CPUtime=70 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 14076 0 0 0 6983 17 0 0 25 0 1 0 195428605 58908672 13860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 14382 13860 110 215 0 14164 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 57528 [startup+80.0411 s] /proc/loadavg: 0.96 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1767536/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=61072 CPUtime=80 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 14992 0 0 0 7983 17 0 0 25 0 1 0 195428605 62537728 14768 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 15268 14768 110 215 0 15050 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 61072 [startup+90.0465 s] /proc/loadavg: 0.96 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1763504/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=64980 CPUtime=90.01 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 15987 0 0 0 8982 19 0 0 25 0 1 0 195428605 66539520 15763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 16245 15763 110 215 0 16027 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 64980 [startup+100.052 s] /proc/loadavg: 0.97 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1759920/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=68812 CPUtime=100.01 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 16884 0 0 0 9981 20 0 0 25 0 1 0 195428605 70463488 16660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 17203 16660 110 215 0 16985 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 68812 [startup+110.057 s] /proc/loadavg: 0.97 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1756144/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=72580 CPUtime=110.01 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 17830 0 0 0 10980 21 0 0 25 0 1 0 195428605 74321920 17606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578565 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 18145 17606 110 215 0 17927 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 72580 [startup+120.063 s] /proc/loadavg: 0.98 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1752816/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=75832 CPUtime=120.02 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 18664 0 0 0 11980 22 0 0 25 0 1 0 195428605 77651968 18440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 18958 18440 110 215 0 18740 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 75832 [startup+130.068 s] /proc/loadavg: 0.98 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1749872/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=78708 CPUtime=130.01 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 19388 0 0 0 12979 22 0 0 25 0 1 0 195428605 80596992 19164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 19677 19164 110 215 0 19459 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 78708 [startup+140.074 s] /proc/loadavg: 0.98 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1746992/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=81564 CPUtime=140.01 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20099 0 0 0 13978 23 0 0 25 0 1 0 195428605 83521536 19875 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 20391 19875 110 215 0 20173 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 81564 [startup+150.079 s] /proc/loadavg: 0.98 0.95 0.93 2/64 16500 /proc/meminfo: memFree=1744304/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=84096 CPUtime=150.02 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20776 0 0 0 14978 24 0 0 25 0 1 0 195428605 86114304 20544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 21024 20544 110 215 0 20806 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 84096 [startup+160.084 s] /proc/loadavg: 0.99 0.96 0.93 2/64 16500 /proc/meminfo: memFree=1744368/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=84096 CPUtime=160.02 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20776 0 0 0 15978 24 0 0 25 0 1 0 195428605 86114304 20544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 21024 20544 110 215 0 20806 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 84096 [startup+170.09 s] /proc/loadavg: 0.99 0.96 0.93 2/64 16500 /proc/meminfo: memFree=1744368/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=84096 CPUtime=170.02 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20776 0 0 0 16978 24 0 0 25 0 1 0 195428605 86114304 20544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580343 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 21024 20544 110 215 0 20806 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 84096 [startup+180.095 s] /proc/loadavg: 0.99 0.96 0.93 2/64 16500 /proc/meminfo: memFree=1744368/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=84096 CPUtime=180.02 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20776 0 0 0 17978 24 0 0 25 0 1 0 195428605 86114304 20544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 21024 20544 110 215 0 20806 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 84096 [startup+190.102 s] /proc/loadavg: 0.99 0.96 0.93 2/64 16500 /proc/meminfo: memFree=1744368/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=84096 CPUtime=190.03 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20776 0 0 0 18979 24 0 0 25 0 1 0 195428605 86114304 20544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 21024 20544 110 215 0 20806 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 84096 [startup+200.108 s] /proc/loadavg: 0.99 0.96 0.93 2/64 16500 /proc/meminfo: memFree=1744368/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=84096 CPUtime=200.03 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 20776 0 0 0 19979 24 0 0 25 0 1 0 195428605 86114304 20544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 21024 20544 110 215 0 20806 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 84096 [startup+210.115 s] /proc/loadavg: 0.99 0.96 0.93 2/64 16500 /proc/meminfo: memFree=1744368/2055920 swapFree=4181376/4192956 ################ # More data... # ################ [pid=16500] ppid=16498 vsize=125064 CPUtime=1781.45 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178105 40 0 0 25 0 1 0 195428605 128065536 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31266 30713 110 215 0 31048 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 125064 [startup+1783 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703280/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=125064 CPUtime=1782.46 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178206 40 0 0 25 0 1 0 195428605 128065536 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31266 30713 110 215 0 31048 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 125064 [startup+1784.01 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703280/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=125064 CPUtime=1783.46 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178306 40 0 0 25 0 1 0 195428605 128065536 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134592867 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31266 30713 110 215 0 31048 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 125064 [startup+1785.01 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1784.47 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178407 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568450 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 124976 [startup+1786.02 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1785.47 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178507 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 124976 [startup+1787.02 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1786.48 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178608 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581014 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 124976 [startup+1788.03 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1787.48 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178708 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 124976 [startup+1789.03 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1788.49 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178809 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 124976 [startup+1790.04 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1789.49 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 178909 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 124976 [startup+1791.04 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1790.49 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179009 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 124976 [startup+1792.04 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1791.5 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179110 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 124976 [startup+1793.05 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1792.5 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179210 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 124976 [startup+1794.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1793.51 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179311 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 124976 [startup+1795.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1794.51 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179411 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 124976 [startup+1796.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1795.52 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179512 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 124976 [startup+1797.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1796.52 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179612 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 124976 [startup+1798.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1797.53 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179713 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 124976 [startup+1799.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1798.53 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179813 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 124976 [startup+1800.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1799.54 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 179914 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 124976 [startup+1801.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1800.54 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 180014 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 124976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 16502 /proc/meminfo: memFree=1703216/2055920 swapFree=4181376/4192956 [pid=16500] ppid=16498 vsize=124976 CPUtime=1800.55 /proc/16500/stat : 16500 (minisat+) R 16498 16500 16454 0 -1 4194304 30947 0 0 0 180015 40 0 0 25 0 1 0 195428605 127975424 30713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576846 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16500/statm: 31244 30713 110 215 0 31026 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 124976 Sending SIGTERM to -16500 Sleeping 2 seconds Child status: 10 Real time (s): 1801.12 CPU time (s): 1800.58 CPU user time (s): 1800.15 CPU system time (s): 0.427934 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (Kb): 125064
Begin job on node29 on Sat Jun 3 01:20:50 UTC 2006 FILE ID= 35626-1149297650 PBS_JOBID= 307188 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-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node29/35626-1149297650/instance-35626-1149297650.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-35626-1149297650 -o ROOT/results/node29/solver-35626-1149297650 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node29/35626-1149297650/instance-35626-1149297650.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d RANDOM SEED= 439283037 /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.259 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.259 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: 1826224 kB Buffers: 17816 kB Cached: 148064 kB SwapCached: 3236 kB Active: 46040 kB Inactive: 128536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826224 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14716 kB Slab: 41080 kB Committed_AS: 299180 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Sat Jun 3 01:50:51 UTC 2006