Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | Signal | 1421.3 | 1422.06 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-75-70.opb |
MD5SUM | f923ea56e1761a03f5af67c072a524d6 |
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 | 5250 |
Total number of constraints | 194325 |
Number of constraints which are clauses | 194325 |
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 | 70 |
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 | 71 |
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... 5.00 c Converting 194325 PB-constraints to clauses... 5.02 c -- Unit propagations: (none) 5.02 c -- Detecting intervals from adjacent constraints: (none) 5.09 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 5.50 c ==================================[MINISAT+]================================== 5.50 c | Conflicts | Original | Learnt | Progress | 5.50 c | | Clauses Literals | Max Clauses Literals LPC | | 5.50 c ============================================================================== 5.50 c | 0 | 194325 393750 | 64775 0 0 nan | 0.000 % | 5.52 c | 100 | 194325 393750 | 71252 100 31751 317.5 | 0.000 % | 5.55 c | 250 | 194325 393750 | 78377 250 84176 336.7 | 0.000 % | 5.61 c | 475 | 194325 393750 | 86215 475 226453 476.7 | 0.000 % | 5.67 c | 815 | 194325 393750 | 94837 815 327931 402.4 | 0.000 % | 5.77 c | 1321 | 194325 393750 | 104320 1321 484145 366.5 | 0.000 % | 5.93 c | 2080 | 194325 393750 | 114752 2080 774935 372.6 | 0.000 % | 6.23 c | 3219 | 194325 393750 | 126228 3219 1314866 408.5 | 0.000 % | 6.74 c | 4929 | 194325 393750 | 138850 4929 2210344 448.4 | 0.000 % | 7.62 c | 7491 | 194325 393750 | 152736 7491 3441994 459.5 | 0.000 % | 9.35 c | 11336 | 194325 393750 | 168009 11336 5778792 509.8 | 0.000 % | 12.05 c | 17104 | 194325 393750 | 184810 17104 8342430 487.7 | 0.000 % | 16.00 c | 25753 | 194325 393750 | 203291 25753 12361818 480.0 | 0.000 % | 32.68 c | 38728 | 194325 393750 | 223620 38728 29065832 750.5 | 0.000 % | 64.70 c | 58190 | 194325 393750 | 245982 58190 50866666 874.1 | 0.000 % | 109.37 c | 87382 | 194325 393750 | 270581 87382 83770603 958.7 | 0.000 % | 216.70 c | 131173 | 194325 393750 | 297639 131173 142603425 1087.1 | 0.000 % | 445.74 c | 196858 | 194325 393750 | 327403 196858 206264791 1047.8 | 0.000 % | 1052.39 c | 295385 | 194325 393750 | 360143 295385 373314960 1263.8 | 0.000 % | 1421.79 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/node92/watcher-46098-1149795859 -o ROOT/results/node92/solver-46098-1149795859 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/46098-1149795859/instance-46098-1149795859.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.94 0.98 0.94 3/67 8951 /proc/meminfo: memFree=1382088/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1048 CPUtime=0 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 245224748 1073152 97 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 262 97 74 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 0.95 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1325384/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=57496 CPUtime=9.97 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 14226 0 0 0 976 21 0 0 25 0 1 0 245224748 58875904 14212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 14374 14212 103 215 0 14156 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 57496 [startup+20.0088 s] /proc/loadavg: 0.96 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1280584/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=102468 CPUtime=19.97 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 25444 0 0 0 1971 26 0 0 25 0 1 0 245224748 104927232 25430 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 25617 25430 103 215 0 25399 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 102468 [startup+30.0151 s] /proc/loadavg: 0.96 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1244424/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=138536 CPUtime=29.98 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 34476 0 0 0 2968 30 0 0 25 0 1 0 245224748 141860864 34462 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 34634 34462 103 215 0 34416 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 138536 [startup+40.0214 s] /proc/loadavg: 0.97 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1207560/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=175356 CPUtime=39.98 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 43672 0 0 0 3964 34 0 0 25 0 1 0 245224748 179564544 43658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 43839 43658 103 215 0 43621 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 175356 [startup+50.0277 s] /proc/loadavg: 0.97 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1180040/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=202848 CPUtime=49.99 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 50553 0 0 0 4961 38 0 0 25 0 1 0 245224748 207716352 50539 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 50712 50539 103 215 0 50494 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 202848 [startup+60.034 s] /proc/loadavg: 0.98 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1156616/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=226300 CPUtime=59.99 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 56395 0 0 0 5958 41 0 0 25 0 1 0 245224748 231731200 56381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 56575 56381 103 215 0 56357 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 226300 [startup+70.0393 s] /proc/loadavg: 0.98 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1119432/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=263468 CPUtime=70 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 65676 0 0 0 6954 46 0 0 25 0 1 0 245224748 269791232 65662 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577023 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 65867 65662 103 215 0 65649 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 263468 [startup+80.0455 s] /proc/loadavg: 0.98 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1091336/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=291420 CPUtime=80 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 72680 0 0 0 7951 49 0 0 25 0 1 0 245224748 298414080 72666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 72855 72666 103 215 0 72637 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 291420 [startup+90.0518 s] /proc/loadavg: 0.98 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1065608/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=317140 CPUtime=90 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 79114 0 0 0 8948 52 0 0 25 0 1 0 245224748 324751360 79100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 79285 79100 103 215 0 79067 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 317140 [startup+100.058 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1036040/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=346736 CPUtime=100 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 86491 0 0 0 9945 55 0 0 25 0 1 0 245224748 355057664 86477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 86684 86477 103 215 0 86466 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 346736 [startup+110.064 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=1014472/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=368252 CPUtime=110.01 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 91865 0 0 0 10943 58 0 0 25 0 1 0 245224748 377090048 91851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 92063 91851 103 215 0 91845 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 368252 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=984136/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=398576 CPUtime=120.01 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 99434 0 0 0 11940 61 0 0 25 0 1 0 245224748 408141824 99420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 99644 99420 103 215 0 99426 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 398576 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=955784/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=426908 CPUtime=130.01 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 106506 0 0 0 12937 64 0 0 25 0 1 0 245224748 437153792 106492 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 106727 106492 103 215 0 106509 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 426908 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=934408/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=448324 CPUtime=140.02 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 111847 0 0 0 13935 67 0 0 25 0 1 0 245224748 459083776 111833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 112081 111833 103 215 0 111863 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 448324 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=914120/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=468528 CPUtime=150.02 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 116907 0 0 0 14932 70 0 0 25 0 1 0 245224748 479772672 116893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 117132 116893 103 215 0 116914 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 468528 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=892040/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=490524 CPUtime=160.02 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 122406 0 0 0 15929 73 0 0 25 0 1 0 245224748 502296576 122392 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 122631 122392 103 215 0 122413 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 490524 [startup+170.101 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=872584/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=509952 CPUtime=170.02 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 127274 0 0 0 16926 76 0 0 25 0 1 0 245224748 522190848 127260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 127488 127260 103 215 0 127270 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 509952 [startup+180.107 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=850632/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=531728 CPUtime=180.03 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 132732 0 0 0 17924 79 0 0 25 0 1 0 245224748 544489472 132718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 132932 132718 103 215 0 132714 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 531728 [startup+190.113 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=830920/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=551476 CPUtime=190.03 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 137674 0 0 0 18920 83 0 0 25 0 1 0 245224748 564711424 137660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 137869 137660 103 215 0 137651 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 551476 [startup+200.119 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 /proc/meminfo: memFree=811080/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=571268 CPUtime=200.04 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 142617 0 0 0 19917 87 0 0 25 0 1 0 245224748 584978432 142603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 142817 142603 103 215 0 142599 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 571268 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.94 2/67 8951 ################ # More data... # ################ Current children cumulated CPU time (s) 1210.18 Current children cumulated vsize (Kb) 1667348 [startup+1220.75 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15944/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1674604 CPUtime=1220.17 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 418075 0 0 0 121748 269 0 0 25 0 1 0 245224748 1714794496 418061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 418651 418061 103 215 0 418433 0 Current children cumulated CPU time (s) 1220.17 Current children cumulated vsize (Kb) 1674604 [startup+1230.76 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=16264/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1682616 CPUtime=1230.17 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 420064 0 0 0 122746 271 0 0 25 0 1 0 245224748 1722998784 420050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 420654 420050 103 215 0 420436 0 Current children cumulated CPU time (s) 1230.17 Current children cumulated vsize (Kb) 1682616 [startup+1240.76 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15880/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1691704 CPUtime=1240.16 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 422342 0 0 0 123744 272 0 0 25 0 1 0 245224748 1732304896 422328 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 422926 422328 103 215 0 422708 0 Current children cumulated CPU time (s) 1240.16 Current children cumulated vsize (Kb) 1691704 [startup+1250.77 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=16136/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1701728 CPUtime=1250.15 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 424830 0 0 0 124741 274 0 0 25 0 1 0 245224748 1742569472 424816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 425432 424816 103 215 0 425214 0 Current children cumulated CPU time (s) 1250.15 Current children cumulated vsize (Kb) 1701728 [startup+1260.77 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=16136/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1710404 CPUtime=1260.14 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 426997 0 0 0 125738 276 0 0 25 0 1 0 245224748 1751453696 426983 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 427601 426983 103 215 0 427383 0 Current children cumulated CPU time (s) 1260.14 Current children cumulated vsize (Kb) 1710404 [startup+1270.78 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=14792/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1719372 CPUtime=1270.14 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 429261 0 0 0 126736 278 0 0 25 0 1 0 245224748 1760636928 429247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 429843 429247 103 215 0 429625 0 Current children cumulated CPU time (s) 1270.14 Current children cumulated vsize (Kb) 1719372 [startup+1280.79 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=16008/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1727396 CPUtime=1280.13 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 431269 0 0 0 127734 279 0 0 25 0 1 0 245224748 1768853504 431255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 431849 431255 103 215 0 431631 0 Current children cumulated CPU time (s) 1280.13 Current children cumulated vsize (Kb) 1727396 [startup+1290.79 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15496/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1735680 CPUtime=1290.13 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 433340 0 0 0 128732 281 0 0 25 0 1 0 245224748 1777336320 433326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 433920 433326 103 215 0 433702 0 Current children cumulated CPU time (s) 1290.13 Current children cumulated vsize (Kb) 1735680 [startup+1300.8 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15368/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1743532 CPUtime=1300.12 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 435283 0 0 0 129730 282 0 0 25 0 1 0 245224748 1785376768 435269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 435883 435269 103 215 0 435665 0 Current children cumulated CPU time (s) 1300.12 Current children cumulated vsize (Kb) 1743532 [startup+1310.8 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15048/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1751528 CPUtime=1310.11 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 437284 0 0 0 130727 284 0 0 25 0 1 0 245224748 1793564672 437270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 437882 437270 103 215 0 437664 0 Current children cumulated CPU time (s) 1310.11 Current children cumulated vsize (Kb) 1751528 [startup+1320.81 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15048/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1759148 CPUtime=1320.11 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 439199 0 0 0 131726 285 0 0 25 0 1 0 245224748 1801367552 439185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 439787 439185 103 215 0 439569 0 Current children cumulated CPU time (s) 1320.11 Current children cumulated vsize (Kb) 1759148 [startup+1330.82 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15688/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1767676 CPUtime=1330.1 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 441341 0 0 0 132724 286 0 0 25 0 1 0 245224748 1810100224 441327 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 441919 441327 103 215 0 441701 0 Current children cumulated CPU time (s) 1330.1 Current children cumulated vsize (Kb) 1767676 [startup+1340.82 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=14920/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1777588 CPUtime=1340.1 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 443826 0 0 0 133721 289 0 0 25 0 1 0 245224748 1820250112 443812 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 444397 443812 103 215 0 444179 0 Current children cumulated CPU time (s) 1340.1 Current children cumulated vsize (Kb) 1777588 [startup+1350.83 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15176/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1786648 CPUtime=1350.09 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 446081 0 0 0 134719 290 0 0 25 0 1 0 245224748 1829527552 446067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 446662 446067 103 215 0 446444 0 Current children cumulated CPU time (s) 1350.09 Current children cumulated vsize (Kb) 1786648 [startup+1360.84 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15688/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1795308 CPUtime=1360.09 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 448245 0 0 0 135718 291 0 0 25 0 1 0 245224748 1838395392 448231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 448827 448231 103 215 0 448609 0 Current children cumulated CPU time (s) 1360.09 Current children cumulated vsize (Kb) 1795308 [startup+1370.84 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=14984/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1803868 CPUtime=1370.1 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 450358 0 0 0 136717 293 0 0 25 0 1 0 245224748 1847160832 450344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 450967 450344 103 215 0 450749 0 Current children cumulated CPU time (s) 1370.1 Current children cumulated vsize (Kb) 1803868 [startup+1380.85 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15112/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1811312 CPUtime=1380.1 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 452242 0 0 0 137716 294 0 0 25 0 1 0 245224748 1854783488 452228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 452828 452228 103 215 0 452610 0 Current children cumulated CPU time (s) 1380.1 Current children cumulated vsize (Kb) 1811312 [startup+1390.86 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=16200/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1819492 CPUtime=1390.1 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 454272 0 0 0 138715 295 0 0 25 0 1 0 245224748 1863159808 454258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 454873 454258 103 215 0 454655 0 Current children cumulated CPU time (s) 1390.1 Current children cumulated vsize (Kb) 1819492 [startup+1400.86 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15752/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1827552 CPUtime=1400.1 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 456303 0 0 0 139714 296 0 0 25 0 1 0 245224748 1871413248 456289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 456888 456289 103 215 0 456670 0 Current children cumulated CPU time (s) 1400.1 Current children cumulated vsize (Kb) 1827552 [startup+1410.87 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=15048/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1834496 CPUtime=1410.11 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 458026 0 0 0 140713 298 0 0 25 0 1 0 245224748 1878523904 458012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 458624 458012 103 215 0 458406 0 Current children cumulated CPU time (s) 1410.11 Current children cumulated vsize (Kb) 1834496 [startup+1420.87 s] /proc/loadavg: 0.99 0.98 0.94 2/67 9150 /proc/meminfo: memFree=14856/2055892 swapFree=4084924/4096564 [pid=8951] ppid=8949 vsize=1842276 CPUtime=1420.11 /proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 459988 0 0 0 141712 299 0 0 25 0 1 0 245224748 1886490624 459974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8951/statm: 460569 459974 103 215 0 460351 0 Current children cumulated CPU time (s) 1420.11 Current children cumulated vsize (Kb) 1842276 Child ended because it received signal 6 (SIGABRT) Real time (s): 1422.06 CPU time (s): 1421.3 CPU user time (s): 1418.04 CPU system time (s): 3.2635 CPU usage (%): 99.9467 Max. virtual memory (cumulated for all children) (Kb): 1842276 The end
Begin job on node92 on Thu Jun 8 19:44:19 UTC 2006 FILE ID= 46098-1149795859 PBS_JOBID= 378772 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-75-70.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/46098-1149795859/instance-46098-1149795859.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node92/watcher-46098-1149795859 -o ROOT/results/node92/solver-46098-1149795859 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/46098-1149795859/instance-46098-1149795859.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= f923ea56e1761a03f5af67c072a524d6 RANDOM SEED= 269925806 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1382296 kB Buffers: 34376 kB Cached: 579272 kB SwapCached: 2976 kB Active: 128284 kB Inactive: 494180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1382296 kB SwapTotal: 4096564 kB SwapFree: 4084924 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15268 kB Slab: 37884 kB Committed_AS: 475816 kB PageTables: 1256 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node92 on Thu Jun 8 20:08:01 UTC 2006