Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | Signal | 1277.95 | 1278.42 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-81-80.opb |
MD5SUM | 602db8a4b5456d6ce4573c7850dec197 |
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 | 6480 |
Total number of constraints | 259281 |
Number of constraints which are clauses | 259281 |
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 | 80 |
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 | 81 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 6.91 c Converting 259281 PB-constraints to clauses... 6.93 c -- Unit propagations: (none) 6.93 c -- Detecting intervals from adjacent constraints: (none) 7.03 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 7.61 c ==================================[MINISAT+]================================== 7.61 c | Conflicts | Original | Learnt | Progress | 7.61 c | | Clauses Literals | Max Clauses Literals LPC | | 7.61 c ============================================================================== 7.61 c | 0 | 259281 524880 | 86427 0 0 nan | 0.000 % | 7.63 c | 100 | 259281 524880 | 95069 100 28536 285.4 | 0.000 % | 7.66 c | 250 | 259281 524880 | 104576 250 62914 251.7 | 0.000 % | 7.75 c | 476 | 259281 524880 | 115034 476 285351 599.5 | 0.000 % | 7.92 c | 816 | 259281 524880 | 126537 816 637868 781.7 | 0.000 % | 8.03 c | 1323 | 259281 524880 | 139191 1323 816902 617.5 | 0.000 % | 8.21 c | 2082 | 259281 524880 | 153110 2082 1091175 524.1 | 0.000 % | 8.61 c | 3222 | 259281 524880 | 168421 3222 1728638 536.5 | 0.000 % | 9.21 c | 4932 | 259281 524880 | 185263 4932 2683829 544.2 | 0.000 % | 10.52 c | 7494 | 259281 524880 | 203790 7494 4621697 616.7 | 0.000 % | 12.46 c | 11341 | 259281 524880 | 224169 11341 7046991 621.4 | 0.000 % | 15.43 c | 17112 | 259281 524880 | 246586 17112 10063927 588.1 | 0.000 % | 21.51 c | 25763 | 259281 524880 | 271244 25763 16394961 636.4 | 0.000 % | 41.08 c | 38739 | 259281 524880 | 298369 38739 35950524 928.0 | 0.000 % | 79.76 c | 58201 | 259281 524880 | 328206 58201 71519251 1228.8 | 0.000 % | 166.55 c | 87394 | 259281 524880 | 361027 87394 124403452 1423.5 | 0.000 % | 273.33 c | 131183 | 259281 524880 | 397129 131183 185364361 1413.0 | 0.000 % | 532.06 c | 196868 | 259281 524880 | 436842 196868 280855359 1426.6 | 0.000 % | 1149.06 c | 295397 | 259281 524880 | 480526 295397 422473533 1430.2 | 0.000 % | 1278.12 minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = char]: Assertion `size == 0 || tmp != __null' failed.
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node61/watcher-46126-1149810110 -o ROOT/results/node61/solver-46126-1149810110 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/46126-1149810110/instance-46126-1149810110.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1618992/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=1048 CPUtime=0 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 118 0 0 0 0 0 0 0 19 0 1 0 246678922 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 262 103 74 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1548080/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=72124 CPUtime=9.98 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 17829 0 0 0 965 33 0 0 25 0 1 0 246678922 73854976 17776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 18031 17776 103 215 0 17813 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 72124 [startup+20.0092 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1518704/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=101552 CPUtime=19.98 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 25197 0 0 0 1962 36 0 0 25 0 1 0 246678922 103989248 25144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 25388 25144 103 215 0 25170 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 101552 [startup+30.0151 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1472944/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=147644 CPUtime=29.98 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 36694 0 0 0 2957 41 0 0 25 0 1 0 246678922 151187456 36641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 36911 36641 103 215 0 36693 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 147644 [startup+40.0211 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1438576/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=181876 CPUtime=39.99 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 45255 0 0 0 3954 45 0 0 25 0 1 0 246678922 186241024 45202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 45469 45202 103 215 0 45251 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 181876 [startup+50.0271 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1395056/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=225384 CPUtime=49.99 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 56122 0 0 0 4948 51 0 0 25 0 1 0 246678922 230793216 56069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 56346 56069 103 215 0 56128 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 225384 [startup+60.033 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1357104/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=263252 CPUtime=59.99 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 65587 0 0 0 5944 55 0 0 25 0 1 0 246678922 269570048 65534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 65813 65534 103 215 0 65595 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 263252 [startup+70.039 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1324976/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=295296 CPUtime=69.99 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 73614 0 0 0 6940 59 0 0 25 0 1 0 246678922 302383104 73561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 73824 73561 103 215 0 73606 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 295296 [startup+80.045 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1294256/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=325976 CPUtime=80 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 81279 0 0 0 7937 63 0 0 25 0 1 0 246678922 333799424 81226 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 81494 81226 103 215 0 81276 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 325976 [startup+90.0499 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1258928/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=361268 CPUtime=90 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 90092 0 0 0 8932 68 0 0 25 0 1 0 246678922 369938432 90039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 90317 90039 103 215 0 90099 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 361268 [startup+100.056 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1228656/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=391472 CPUtime=99.99 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 97638 0 0 0 9928 71 0 0 25 0 1 0 246678922 400867328 97585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584047 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 97868 97585 103 215 0 97650 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 391472 [startup+110.062 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1204528/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=415584 CPUtime=110.01 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 103662 0 0 0 10927 74 0 0 25 0 1 0 246678922 425558016 103609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 103896 103609 103 215 0 103678 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 415584 [startup+120.068 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1183792/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=436204 CPUtime=120 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 108822 0 0 0 11924 76 0 0 25 0 1 0 246678922 446672896 108769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 109051 108769 103 215 0 108833 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 436204 [startup+130.074 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1167472/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=452448 CPUtime=130.01 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 112895 0 0 0 12922 79 0 0 25 0 1 0 246678922 463306752 112842 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 113112 112842 103 215 0 112894 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 452448 [startup+140.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1147952/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=472048 CPUtime=140.01 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 117771 0 0 0 13920 81 0 0 25 0 1 0 246678922 483377152 117718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 118012 117718 103 215 0 117794 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 472048 [startup+150.086 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1121520/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=498444 CPUtime=150.02 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 124363 0 0 0 14917 85 0 0 25 0 1 0 246678922 510406656 124310 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 124611 124310 103 215 0 124393 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 498444 [startup+160.092 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1097648/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=522180 CPUtime=160.02 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 130322 0 0 0 15914 88 0 0 25 0 1 0 246678922 534712320 130269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 130545 130269 103 215 0 130327 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 522180 [startup+170.098 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1069552/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=550272 CPUtime=170.02 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 137331 0 0 0 16910 92 0 0 25 0 1 0 246678922 563478528 137278 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 137568 137278 103 215 0 137350 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 550272 [startup+180.104 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=1033008/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=586736 CPUtime=180.02 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 146433 0 0 0 17906 96 0 0 25 0 1 0 246678922 600817664 146380 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 146684 146380 103 215 0 146466 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 586736 [startup+190.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=999600/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=620112 CPUtime=190.03 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 154778 0 0 0 18903 100 0 0 25 0 1 0 246678922 634994688 154725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 155028 154725 103 215 0 154810 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 620112 [startup+200.116 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=973744/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=645964 CPUtime=200.03 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 161231 0 0 0 19900 103 0 0 25 0 1 0 246678922 661467136 161178 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 161491 161178 103 215 0 161273 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 645964 [startup+210.121 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 ################ # More data... # ################ Current children cumulated CPU time (s) 1060.3 Current children cumulated vsize (Kb) 1649052 [startup+1070.63 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=15984/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=1657936 CPUtime=1070.31 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 413991 0 0 0 106765 266 0 0 25 0 1 0 246678922 1697726464 413938 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 414484 413938 103 215 0 414266 0 Current children cumulated CPU time (s) 1070.31 Current children cumulated vsize (Kb) 1657936 [startup+1080.63 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=15472/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=1666256 CPUtime=1080.31 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 416059 0 0 0 107764 267 0 0 25 0 1 0 246678922 1706246144 416006 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 416564 416006 103 215 0 416346 0 Current children cumulated CPU time (s) 1080.31 Current children cumulated vsize (Kb) 1666256 [startup+1090.64 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=16240/2055920 swapFree=4180932/4192956 [pid=13656] ppid=13654 vsize=1674508 CPUtime=1090.31 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 418134 0 0 0 108762 269 0 0 25 0 1 0 246678922 1714696192 418081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 418627 418081 103 215 0 418409 0 Current children cumulated CPU time (s) 1090.31 Current children cumulated vsize (Kb) 1674508 [startup+1100.65 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=14960/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1683960 CPUtime=1100.32 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 420481 0 0 0 109761 271 0 0 25 0 1 0 246678922 1724375040 420428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 420990 420428 103 215 0 420772 0 Current children cumulated CPU time (s) 1100.32 Current children cumulated vsize (Kb) 1683960 [startup+1110.65 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=16304/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1693532 CPUtime=1110.32 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 422844 0 0 0 110759 273 0 0 25 0 1 0 246678922 1734176768 422791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 423383 422791 103 215 0 423165 0 Current children cumulated CPU time (s) 1110.32 Current children cumulated vsize (Kb) 1693532 [startup+1120.66 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=15792/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1703276 CPUtime=1120.32 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 425294 0 0 0 111757 275 0 0 25 0 1 0 246678922 1744154624 425241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 425819 425241 103 215 0 425601 0 Current children cumulated CPU time (s) 1120.32 Current children cumulated vsize (Kb) 1703276 [startup+1130.67 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=14960/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1711876 CPUtime=1130.33 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 427428 0 0 0 112756 277 0 0 25 0 1 0 246678922 1752961024 427375 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 427969 427375 103 215 0 427751 0 Current children cumulated CPU time (s) 1130.33 Current children cumulated vsize (Kb) 1711876 [startup+1140.67 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=16240/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1719784 CPUtime=1140.33 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 429405 0 0 0 113755 278 0 0 25 0 1 0 246678922 1761058816 429352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 429946 429352 103 215 0 429728 0 Current children cumulated CPU time (s) 1140.33 Current children cumulated vsize (Kb) 1719784 [startup+1150.68 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13656 /proc/meminfo: memFree=15856/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1729716 CPUtime=1150.34 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 431818 0 0 0 114755 279 0 0 25 0 1 0 246678922 1771229184 431765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 432429 431765 103 215 0 432211 0 Current children cumulated CPU time (s) 1150.34 Current children cumulated vsize (Kb) 1729716 [startup+1160.69 s] /proc/loadavg: 1.00 0.99 0.91 2/70 13727 /proc/meminfo: memFree=14944/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1738616 CPUtime=1160.3 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 434051 0 0 0 115748 282 0 0 25 0 1 0 246678922 1780342784 433998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 434654 433998 103 215 0 434436 0 Current children cumulated CPU time (s) 1160.3 Current children cumulated vsize (Kb) 1738616 [startup+1170.69 s] /proc/loadavg: 1.00 0.99 0.91 2/70 13791 /proc/meminfo: memFree=14880/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1749232 CPUtime=1170.27 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 436718 0 0 0 116742 285 0 0 25 0 1 0 246678922 1791213568 436665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 437308 436665 103 215 0 437090 0 Current children cumulated CPU time (s) 1170.27 Current children cumulated vsize (Kb) 1749232 [startup+1180.7 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=15464/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1758936 CPUtime=1180.25 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 439150 0 0 0 117738 287 0 0 25 0 1 0 246678922 1801150464 439097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 439734 439097 103 215 0 439516 0 Current children cumulated CPU time (s) 1180.25 Current children cumulated vsize (Kb) 1758936 [startup+1190.71 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=15024/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1768652 CPUtime=1190.26 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 441581 0 0 0 118737 289 0 0 25 0 1 0 246678922 1811099648 441528 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 442163 441528 103 215 0 441945 0 Current children cumulated CPU time (s) 1190.26 Current children cumulated vsize (Kb) 1768652 [startup+1200.71 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=15664/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1778900 CPUtime=1200.27 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 444124 0 0 0 119736 291 0 0 25 0 1 0 246678922 1821593600 444071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 444725 444071 103 215 0 444507 0 Current children cumulated CPU time (s) 1200.27 Current children cumulated vsize (Kb) 1778900 [startup+1210.72 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=14832/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1787420 CPUtime=1210.26 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 446255 0 0 0 120734 292 0 0 25 0 1 0 246678922 1830318080 446202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 446855 446202 103 215 0 446637 0 Current children cumulated CPU time (s) 1210.26 Current children cumulated vsize (Kb) 1787420 [startup+1220.72 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=15728/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1797264 CPUtime=1220.27 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 448726 0 0 0 121733 294 0 0 25 0 1 0 246678922 1840398336 448673 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 449316 448673 103 215 0 449098 0 Current children cumulated CPU time (s) 1220.27 Current children cumulated vsize (Kb) 1797264 [startup+1230.73 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=16304/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1808112 CPUtime=1230.27 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 451292 0 0 0 122731 296 0 0 25 0 1 0 246678922 1851506688 451239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 452028 451239 103 215 0 451810 0 Current children cumulated CPU time (s) 1230.27 Current children cumulated vsize (Kb) 1808112 [startup+1240.74 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=14960/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1815704 CPUtime=1240.28 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 453174 0 0 0 123730 298 0 0 25 0 1 0 246678922 1859280896 453121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 453926 453121 103 215 0 453708 0 Current children cumulated CPU time (s) 1240.28 Current children cumulated vsize (Kb) 1815704 [startup+1250.74 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=15408/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1823036 CPUtime=1250.28 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 455001 0 0 0 124729 299 0 0 25 0 1 0 246678922 1866788864 454948 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 455759 454948 103 215 0 455541 0 Current children cumulated CPU time (s) 1250.28 Current children cumulated vsize (Kb) 1823036 [startup+1260.75 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=14832/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1829732 CPUtime=1260.28 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 456683 0 0 0 125728 300 0 0 25 0 1 0 246678922 1873645568 456630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 457433 456630 103 215 0 457215 0 Current children cumulated CPU time (s) 1260.28 Current children cumulated vsize (Kb) 1829732 [startup+1270.76 s] /proc/loadavg: 1.00 0.99 0.91 2/64 13851 /proc/meminfo: memFree=15344/2055920 swapFree=4180924/4192956 [pid=13656] ppid=13654 vsize=1836912 CPUtime=1270.29 /proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 458487 0 0 0 126727 302 0 0 25 0 1 0 246678922 1880997888 458434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13656/statm: 459228 458434 103 215 0 459010 0 Current children cumulated CPU time (s) 1270.29 Current children cumulated vsize (Kb) 1836912 Child ended because it received signal 6 (SIGABRT) Real time (s): 1278.42 CPU time (s): 1277.95 CPU user time (s): 1274.62 CPU system time (s): 3.32749 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 1836912 The end
Begin job on node61 on Thu Jun 8 23:41:50 UTC 2006 FILE ID= 46126-1149810110 PBS_JOBID= 379136 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/46126-1149810110/instance-46126-1149810110.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-46126-1149810110 -o ROOT/results/node61/solver-46126-1149810110 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/46126-1149810110/instance-46126-1149810110.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 602db8a4b5456d6ce4573c7850dec197 RANDOM SEED= 566523322 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1619200 kB Buffers: 34032 kB Cached: 342928 kB SwapCached: 3772 kB Active: 121816 kB Inactive: 263892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1619200 kB SwapTotal: 4192956 kB SwapFree: 4180932 kB Dirty: 140 kB Writeback: 0 kB Mapped: 14736 kB Slab: 37108 kB Committed_AS: 485564 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Fri Jun 9 00:03:09 UTC 2006