Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.2 | 1800.77 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-61-60.opb |
MD5SUM | 8f6b9d215c54261c818e8073dc5975b0 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3660 |
Total number of constraints | 109861 |
Number of constraints which are clauses | 109861 |
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 | 60 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 61 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.99/3.02 c Converting 109861 PB-constraints to clauses... 2.99/3.03 c -- Unit propagations: (none) 2.99/3.03 c -- Detecting intervals from adjacent constraints: (none) 2.99/3.07 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 3.30/3.32 c ==================================[MINISAT+]================================== 3.30/3.32 c | Conflicts | Original | Learnt | Progress | 3.30/3.32 c | | Clauses Literals | Max Clauses Literals LPC | | 3.30/3.32 c ============================================================================== 3.30/3.32 c | 0 | 109861 223260 | 36620 0 0 nan | 0.000 % | 3.30/3.33 c | 100 | 109861 223260 | 40282 100 20802 208.0 | 0.000 % | 3.30/3.35 c | 251 | 109861 223260 | 44310 251 46612 185.7 | 0.000 % | 3.39/3.42 c | 476 | 109861 223260 | 48741 476 209442 440.0 | 0.000 % | 3.39/3.48 c | 814 | 109861 223260 | 53615 814 320987 394.3 | 0.000 % | 3.49/3.56 c | 1321 | 109861 223260 | 58976 1321 452759 342.7 | 0.000 % | 3.59/3.68 c | 2081 | 109861 223260 | 64874 2081 659987 317.1 | 0.000 % | 3.89/3.90 c | 3220 | 109861 223260 | 71362 3220 990860 307.7 | 0.000 % | 4.19/4.27 c | 4929 | 109861 223260 | 78498 4929 1600053 324.6 | 0.000 % | 5.09/5.12 c | 7493 | 109861 223260 | 86348 7493 2719730 363.0 | 0.000 % | 6.79/6.81 c | 11337 | 109861 223260 | 94982 11337 4962236 437.7 | 0.000 % | 10.18/10.27 c | 17103 | 109861 223260 | 104481 17103 8622519 504.2 | 0.000 % | 15.68/15.71 c | 25759 | 109861 223260 | 114929 25759 13797106 535.6 | 0.000 % | 27.58/27.66 c | 38734 | 109861 223260 | 126422 38734 23389282 603.8 | 0.000 % | 74.56/74.60 c | 58196 | 109861 223260 | 139064 58196 47838555 822.0 | 0.000 % | 147.84/147.97 c | 87388 | 109861 223260 | 152970 87388 83632403 957.0 | 0.000 % | 337.79/337.96 c | 131178 | 109861 223260 | 168267 131178 146073065 1113.5 | 0.000 % | 557.82/558.01 c | 196862 | 109861 223260 | 185094 41050 51467257 1253.8 | 0.000 % | 868.62/868.97 c | 295391 | 109861 223260 | 203604 139579 125598943 899.8 | 0.000 % | 1314.78/1315.22 c | 443183 | 109861 223260 | 223964 96961 87790357 905.4 | 0.000 % | 1800.03/1800.60 c 1800.03/1800.61 c *** TERMINATED *** 1800.03/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/349653-1176712050/instance-349653-1176712050.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-349653-1176712050 -o ROOT/results/node3/solver-349653-1176712050 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349653-1176712050/minisat+ /tmp/evaluation/349653-1176712050/instance-349653-1176712050.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.09 1.02 1.00 3/77 20360 /proc/meminfo: memFree=1809248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=1048 CPUtime=0 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 147242791 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 262 110 74 215 0 44 0 [startup+0.0481231 s] /proc/loadavg: 1.09 1.02 1.00 3/77 20360 /proc/meminfo: memFree=1809248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=1820 CPUtime=0.04 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 304 0 0 0 4 0 0 0 18 0 1 0 147242791 1863680 289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 455 289 74 215 0 237 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1820 [startup+0.101131 s] /proc/loadavg: 1.09 1.02 1.00 3/77 20360 /proc/meminfo: memFree=1809248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=2220 CPUtime=0.09 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 413 0 0 0 9 0 0 0 18 0 1 0 147242791 2273280 398 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 555 398 74 215 0 337 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2220 [startup+0.301164 s] /proc/loadavg: 1.09 1.02 1.00 3/77 20360 /proc/meminfo: memFree=1809248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=4032 CPUtime=0.29 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 838 0 0 0 29 0 0 0 20 0 1 0 147242791 4128768 823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 1008 823 74 215 0 790 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4032 [startup+0.701227 s] /proc/loadavg: 1.09 1.02 1.00 3/77 20360 /proc/meminfo: memFree=1809248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=7304 CPUtime=0.68 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 1667 0 0 0 68 0 0 0 23 0 1 0 147242791 7479296 1652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 1826 1652 74 215 0 1608 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7304 [startup+1.50236 s] /proc/loadavg: 1.08 1.02 1.00 2/78 20361 /proc/meminfo: memFree=1800344/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=14004 CPUtime=1.49 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 3320 0 0 0 147 2 0 0 25 0 1 0 147242791 14340096 3305 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 3501 3305 74 215 0 3283 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14004 [startup+3.10162 s] /proc/loadavg: 1.08 1.02 1.00 2/78 20361 /proc/meminfo: memFree=1791128/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=27256 CPUtime=3.09 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 6665 0 0 0 305 4 0 0 18 0 1 0 147242791 27910144 6650 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 6814 6650 86 215 0 6596 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27256 [startup+6.30114 s] /proc/loadavg: 1.08 1.02 1.00 2/78 20361 /proc/meminfo: memFree=1778712/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=35456 CPUtime=6.29 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 8691 0 0 0 614 15 0 0 25 0 1 0 147242791 36306944 8676 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 8864 8676 103 215 0 8646 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35456 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.00 2/78 20361 /proc/meminfo: memFree=1747992/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=64812 CPUtime=12.69 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 16010 0 0 0 1251 18 0 0 25 0 1 0 147242791 66367488 15995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 16203 15995 103 215 0 15985 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64812 [startup+25.5013 s] /proc/loadavg: 1.06 1.02 1.00 2/78 20361 /proc/meminfo: memFree=1701272/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=109144 CPUtime=25.49 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 27093 0 0 0 2525 24 0 0 25 0 1 0 147242791 111763456 27078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 27286 27078 103 215 0 27068 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 109144 [startup+51.1014 s] /proc/loadavg: 1.04 1.02 1.00 2/78 20361 /proc/meminfo: memFree=1638040/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=172784 CPUtime=51.08 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 42988 0 0 0 5074 34 0 0 25 0 1 0 147242791 176930816 42973 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 43196 42973 103 215 0 42978 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 172784 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20361 /proc/meminfo: memFree=1536920/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=273136 CPUtime=102.26 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 68043 0 0 0 10174 52 0 0 25 0 1 0 147242791 279691264 68028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 68284 68028 103 215 0 68066 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 273136 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20361 /proc/meminfo: memFree=1434008/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=376912 CPUtime=162.24 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 93994 0 0 0 16154 70 0 0 25 0 1 0 147242791 385957888 93979 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 94228 93979 103 215 0 94010 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 376912 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1352088/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=457384 CPUtime=222.22 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 114079 0 0 0 22137 85 0 0 25 0 1 0 147242791 468361216 114064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 114346 114064 103 215 0 114128 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 457384 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1279128/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=531236 CPUtime=282.21 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 132522 0 0 0 28122 99 0 0 25 0 1 0 147242791 543985664 132507 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 132809 132507 103 215 0 132591 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 531236 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1199640/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=609852 CPUtime=342.19 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 152168 0 0 0 34106 113 0 0 25 0 1 0 147242791 624488448 152153 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 152463 152153 103 215 0 152245 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 609852 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1105816/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=704936 CPUtime=402.17 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 175891 0 0 0 40087 130 0 0 25 0 1 0 147242791 721854464 175876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 176234 175876 103 215 0 176016 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 704936 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1035928/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=773248 CPUtime=462.14 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 192948 0 0 0 46073 141 0 0 25 0 1 0 147242791 791805952 192933 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 193312 192933 103 215 0 193094 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 773248 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=999512/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=522.12 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201929 0 0 0 52063 149 0 0 25 0 1 0 147242791 828571648 201914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201914 103 215 0 202070 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 809152 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=999448/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=582.11 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201930 0 0 0 58061 150 0 0 25 0 1 0 147242791 828571648 201915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201915 103 215 0 202070 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 809152 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=999384/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=642.1 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201930 0 0 0 64059 151 0 0 25 0 1 0 147242791 828571648 201915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201915 103 215 0 202070 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 809152 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=999064/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=882.01 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201930 0 0 0 88049 152 0 0 25 0 1 0 147242791 828571648 201915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201915 103 215 0 202070 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 809152 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=999000/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=942 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201932 0 0 0 94047 153 0 0 25 0 1 0 147242791 828571648 201917 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201917 103 215 0 202070 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 809152 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=998872/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=1001.97 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201945 0 0 0 100044 153 0 0 25 0 1 0 147242791 828571648 201930 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201930 103 215 0 202070 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 809152 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=998808/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=809152 CPUtime=1061.96 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201957 0 0 0 106042 154 0 0 25 0 1 0 147242791 828571648 201942 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 202288 201942 103 215 0 202070 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 809152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1000664/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1121.93 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 112039 154 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576760 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 806984 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1000664/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1181.92 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 118037 155 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 806984 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1000664/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1241.9 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 124034 156 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 806984 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 20363 /proc/meminfo: memFree=1000664/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1301.88 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 130032 156 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 806984 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 20363 /proc/meminfo: memFree=1000664/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1361.87 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 136030 157 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 806984 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1000600/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1421.85 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 142028 157 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 806984 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1000536/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1481.83 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 148025 158 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 806984 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=1000536/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=806984 CPUtime=1541.8 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 201969 0 0 0 154022 158 0 0 25 0 1 0 147242791 826351616 201423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 201746 201423 103 215 0 201528 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 806984 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=948760/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=859688 CPUtime=1601.78 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 215069 0 0 0 160012 166 0 0 25 0 1 0 147242791 880320512 214523 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 214922 214523 103 215 0 214704 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 859688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=874840/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=933420 CPUtime=1661.76 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 233384 0 0 0 165999 177 0 0 25 0 1 0 147242791 955822080 232838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 233355 232838 103 215 0 233137 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 933420 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=821144/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=988568 CPUtime=1721.75 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 247030 0 0 0 171988 187 0 0 25 0 1 0 147242791 1012293632 246484 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 247142 246484 103 215 0 246924 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 988568 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=780248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=1028052 CPUtime=1781.73 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 256886 0 0 0 177981 192 0 0 25 0 1 0 147242791 1052725248 256340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574465 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 257013 256340 103 215 0 256795 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1028052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=780248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=1028052 CPUtime=1800.03 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194304 256886 0 0 0 179811 192 0 0 25 0 1 0 147242791 1052725248 256340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 257013 256340 103 215 0 256795 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1028052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20363 /proc/meminfo: memFree=780248/2055920 swapFree=4153360/4192956 [pid=20360] ppid=20358 vsize=0 CPUtime=1800.13 /proc/20360/stat : 20360 (minisat+) R 20358 20360 19584 0 -1 4194308 256887 0 0 0 179811 202 0 0 25 0 1 0 147242791 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/20360/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.2 CPU user time (s): 1798.12 CPU system time (s): 2.08168 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 1028052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.12 system time used= 2.08168 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256887 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 703 involuntary context switches= 36209 runsolver used 2.15867 second user time and 4.6253 second system time The end
Begin job on node3 on Mon Apr 16 08:27:30 UTC 2007 IDJOB= 349653 IDBENCH= 2575 IDSOLVER= 156 FILE ID= node3/349653-1176712050 PBS_JOBID= 4559438 Free space on /tmp= 66503 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb COMMAND LINE= /tmp/evaluation/349653-1176712050/minisat+ /tmp/evaluation/349653-1176712050/instance-349653-1176712050.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node3/convwatcher-349653-1176712050 -o ROOT/results/node3/conversion-349653-1176712050 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349653-1176712050/instance-349653-1176712050.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-349653-1176712050 -o ROOT/results/node3/solver-349653-1176712050 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349653-1176712050/minisat+ /tmp/evaluation/349653-1176712050/instance-349653-1176712050.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8f6b9d215c54261c818e8073dc5975b0 RANDOM SEED= 79729707 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.270 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.270 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: 1809720 kB Buffers: 16076 kB Cached: 159052 kB SwapCached: 2148 kB Active: 41100 kB Inactive: 157072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809720 kB SwapTotal: 4192956 kB SwapFree: 4153360 kB Dirty: 5104 kB Writeback: 0 kB Mapped: 30464 kB Slab: 33628 kB Committed_AS: 5152824 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66503 MiB End job on node3 on Mon Apr 16 08:57:33 UTC 2007