Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.31 | 1801.03 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-71-70.opb |
MD5SUM | 2d2ba598d361b1b8832ef2eaa384d61f |
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 | 4970 |
Total number of constraints | 174021 |
Number of constraints which are clauses | 174021 |
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/0.00 c Parsing PB file... 4.69/4.72 c Converting 174021 PB-constraints to clauses... 4.69/4.74 c -- Unit propagations: (none) 4.69/4.74 c -- Detecting intervals from adjacent constraints: (none) 4.79/4.80 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 5.08/5.19 c ==================================[MINISAT+]================================== 5.08/5.19 c | Conflicts | Original | Learnt | Progress | 5.08/5.19 c | | Clauses Literals | Max Clauses Literals LPC | | 5.08/5.19 c ============================================================================== 5.08/5.19 c | 0 | 174021 352870 | 58007 0 0 nan | 0.000 % | 5.18/5.21 c | 100 | 174021 352870 | 63807 100 24836 248.4 | 0.000 % | 5.18/5.24 c | 250 | 174021 352870 | 70188 250 59406 237.6 | 0.000 % | 5.28/5.31 c | 475 | 174021 352870 | 77207 475 223890 471.3 | 0.000 % | 5.28/5.40 c | 813 | 174021 352870 | 84928 813 406499 500.0 | 0.000 % | 5.39/5.50 c | 1320 | 174021 352870 | 93420 1320 567365 429.8 | 0.000 % | 5.58/5.65 c | 2079 | 174021 352870 | 102762 2079 820473 394.6 | 0.000 % | 5.88/5.91 c | 3221 | 174021 352870 | 113039 3221 1233319 382.9 | 0.000 % | 6.59/6.68 c | 4930 | 174021 352870 | 124343 4930 2469506 500.9 | 0.000 % | 7.38/7.47 c | 7493 | 174021 352870 | 136777 7493 3850999 513.9 | 0.000 % | 8.78/8.81 c | 11338 | 174021 352870 | 150455 11338 5640365 497.5 | 0.000 % | 11.48/11.55 c | 17104 | 174021 352870 | 165500 17104 9227134 539.5 | 0.000 % | 20.67/20.78 c | 25761 | 174021 352870 | 182050 25761 17531060 680.5 | 0.000 % | 34.47/34.59 c | 38735 | 174021 352870 | 200255 38735 32526201 839.7 | 0.000 % | 74.85/74.95 c | 58196 | 174021 352870 | 220281 58196 57802658 993.2 | 0.000 % | 119.74/119.83 c | 87388 | 174021 352870 | 242309 87388 82008391 938.4 | 0.000 % | 258.89/259.03 c | 131178 | 174021 352870 | 266540 131178 127939345 975.3 | 0.000 % | 479.60/479.81 c | 196862 | 174021 352870 | 293194 196862 210476789 1069.2 | 0.000 % | 844.36/844.70 c | 295390 | 174021 352870 | 322514 295390 300681244 1017.9 | 0.000 % | 1632.04/1632.78 c | 443180 | 174021 352870 | 354765 131436 196775284 1497.1 | 0.000 % | 1800.09/1800.80 c 1800.09/1800.80 c *** TERMINATED *** 1800.09/1800.80 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-349627-1176711396 -o ROOT/results/node10/solver-349627-1176711396 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349627-1176711396/minisat+ /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4859 /proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1048 CPUtime=0 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 123 0 0 0 0 0 0 0 18 0 1 0 147177129 1073152 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 262 111 74 215 0 44 0 [startup+0.00911302 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4859 /proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1180 CPUtime=0 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 147177129 1208320 127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 295 127 74 215 0 77 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1180 [startup+0.101131 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4859 /proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=2324 CPUtime=0.09 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 423 0 0 0 9 0 0 0 18 0 1 0 147177129 2379776 408 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 581 408 74 215 0 363 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2324 [startup+0.301175 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4859 /proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=4008 CPUtime=0.29 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 847 0 0 0 29 0 0 0 19 0 1 0 147177129 4104192 832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 1002 832 74 215 0 784 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4008 [startup+0.701261 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4859 /proc/meminfo: memFree=1830400/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=7348 CPUtime=0.69 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 1679 0 0 0 68 1 0 0 23 0 1 0 147177129 7524352 1664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 1837 1664 74 215 0 1619 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7348 [startup+1.50143 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1821432/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=14044 CPUtime=1.49 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 3346 0 0 0 147 2 0 0 25 0 1 0 147177129 14381056 3331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 3511 3331 74 215 0 3293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14044 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1812024/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=27468 CPUtime=3.09 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 6670 0 0 0 304 5 0 0 25 0 1 0 147177129 28127232 6655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 6867 6655 74 215 0 6649 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27468 [startup+6.30147 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1782144/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=48936 CPUtime=6.28 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 12058 0 0 0 605 23 0 0 25 0 1 0 147177129 50110464 12043 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 12234 12043 103 215 0 12016 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 48936 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1764608/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=68644 CPUtime=12.68 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 16980 0 0 0 1242 26 0 0 25 0 1 0 147177129 70291456 16965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 17161 16965 103 215 0 16943 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 68644 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1707712/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=124752 CPUtime=25.47 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 30974 0 0 0 2515 32 0 0 25 0 1 0 147177129 127746048 30959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 31188 30959 103 215 0 30970 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 124752 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1625856/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=206508 CPUtime=51.06 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 51412 0 0 0 5063 43 0 0 25 0 1 0 147177129 211464192 51397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576648 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 51627 51397 103 215 0 51409 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 206508 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1507392/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=323524 CPUtime=102.25 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 80664 0 0 0 10164 61 0 0 25 0 1 0 147177129 331288576 80649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 80881 80649 103 215 0 80663 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 323524 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1401152/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=430324 CPUtime=162.22 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 107289 0 0 0 16144 78 0 0 25 0 1 0 147177129 440651776 107274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 107581 107274 103 215 0 107363 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 430324 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1328256/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=502644 CPUtime=222.19 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 125348 0 0 0 22130 89 0 0 25 0 1 0 147177129 514707456 125333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 125661 125333 103 215 0 125443 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 502644 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1236096/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=596348 CPUtime=282.17 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 148705 0 0 0 28111 106 0 0 25 0 1 0 147177129 610660352 148690 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 149087 148690 103 215 0 148869 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 596348 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1132480/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=698696 CPUtime=342.15 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 174279 0 0 0 34094 121 0 0 25 0 1 0 147177129 715464704 174264 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576822 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 174674 174264 103 215 0 174456 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 698696 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=1050304/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=781452 CPUtime=402.13 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 194915 0 0 0 40077 136 0 0 25 0 1 0 147177129 800206848 194900 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 195363 194900 103 215 0 195145 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 781452 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=976640/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=854236 CPUtime=462.1 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 213121 0 0 0 46062 148 0 0 25 0 1 0 147177129 874737664 213106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 213559 213106 103 215 0 213341 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 854236 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=896256/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=935692 CPUtime=522.08 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 233367 0 0 0 52043 165 0 0 25 0 1 0 147177129 958148608 233352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 233923 233352 103 215 0 233705 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 935692 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 4860 /proc/meminfo: memFree=837312/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=993668 CPUtime=582.06 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 247877 0 0 0 58027 179 0 0 25 0 1 0 147177129 1017516032 247862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 248417 247862 103 215 0 248199 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 993668 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=795136/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1035384 CPUtime=642.03 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 258280 0 0 0 64018 185 0 0 25 0 1 0 147177129 1060233216 258265 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 258846 258265 103 215 0 258628 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 1035384 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4860 /proc/meminfo: memFree=548544/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1281668 CPUtime=881.94 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 319813 0 0 0 87961 233 0 0 25 0 1 0 147177129 1312428032 319798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 320417 319798 103 215 0 320199 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 1281668 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=488448/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1342428 CPUtime=941.91 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 334866 0 0 0 93949 242 0 0 25 0 1 0 147177129 1374646272 334851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 335607 334851 103 215 0 335389 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1342428 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=418688/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1411720 CPUtime=1001.89 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 352177 0 0 0 99936 253 0 0 25 0 1 0 147177129 1445601280 352162 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 352930 352162 103 215 0 352712 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1411720 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=408640/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1061.87 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354612 0 0 0 105931 256 0 0 25 0 1 0 147177129 1455632384 354597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354597 103 215 0 355161 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1421516 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=408576/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1121.84 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354614 0 0 0 111928 256 0 0 25 0 1 0 147177129 1455632384 354599 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354599 103 215 0 355161 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1421516 [startup+1182.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 4862 /proc/meminfo: memFree=408512/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1181.83 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354615 0 0 0 117926 257 0 0 25 0 1 0 147177129 1455632384 354600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354600 103 215 0 355161 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1421516 [startup+1242.3 s] /proc/loadavg: 1.08 1.03 1.00 2/78 4862 /proc/meminfo: memFree=408512/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1241.8 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354616 0 0 0 123923 257 0 0 25 0 1 0 147177129 1455632384 354601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354601 103 215 0 355161 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1421516 [startup+1302.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 4862 /proc/meminfo: memFree=408448/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1301.78 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354616 0 0 0 129920 258 0 0 25 0 1 0 147177129 1455632384 354601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354601 103 215 0 355161 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1421516 [startup+1362.3 s] /proc/loadavg: 1.14 1.06 1.01 2/78 4862 /proc/meminfo: memFree=408448/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1361.75 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354618 0 0 0 135917 258 0 0 25 0 1 0 147177129 1455632384 354603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354603 103 215 0 355161 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1421516 [startup+1422.31 s] /proc/loadavg: 1.05 1.04 1.00 2/78 4862 /proc/meminfo: memFree=408384/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1421.74 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354618 0 0 0 141915 259 0 0 25 0 1 0 147177129 1455632384 354603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354603 103 215 0 355161 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1421516 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 4862 /proc/meminfo: memFree=408320/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1481.7 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354620 0 0 0 147911 259 0 0 25 0 1 0 147177129 1455632384 354605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354605 103 215 0 355161 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1421516 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 4862 /proc/meminfo: memFree=408320/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1541.68 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354622 0 0 0 153908 260 0 0 25 0 1 0 147177129 1455632384 354607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354607 103 215 0 355161 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1421516 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 4862 /proc/meminfo: memFree=408256/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1601.65 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354622 0 0 0 159905 260 0 0 25 0 1 0 147177129 1455632384 354607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354607 103 215 0 355161 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1421516 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 4862 /proc/meminfo: memFree=408256/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1661.64 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354623 0 0 0 165903 261 0 0 25 0 1 0 147177129 1455632384 354608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354608 103 215 0 355161 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 1421516 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 4862 /proc/meminfo: memFree=408192/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1721.61 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354624 0 0 0 171900 261 0 0 25 0 1 0 147177129 1455632384 354609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580943 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354609 103 215 0 355161 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 1421516 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=408128/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1781.59 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354624 0 0 0 177897 262 0 0 25 0 1 0 147177129 1455632384 354609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354609 103 215 0 355161 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 1421516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=408128/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=1421516 CPUtime=1800.09 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194304 354624 0 0 0 179747 262 0 0 25 0 1 0 147177129 1455632384 354609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 355379 354609 103 215 0 355161 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1421516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4862 /proc/meminfo: memFree=408128/2055920 swapFree=4158492/4192956 [pid=4859] ppid=4857 vsize=0 CPUtime=1800.28 /proc/4859/stat : 4859 (minisat+) R 4857 4859 4123 0 -1 4194308 354625 0 0 0 179747 281 0 0 25 0 1 0 147177129 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/4859/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.31 CPU user time (s): 1797.47 CPU system time (s): 2.83857 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 1421516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.47 system time used= 2.83857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 354625 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 765 involuntary context switches= 35984 runsolver used 2.22666 second user time and 4.6033 second system time The end
Begin job on node10 on Mon Apr 16 08:16:36 UTC 2007 IDJOB= 349627 IDBENCH= 2572 IDSOLVER= 156 FILE ID= node10/349627-1176711396 PBS_JOBID= 4559436 Free space on /tmp= 66515 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb COMMAND LINE= /tmp/evaluation/349627-1176711396/minisat+ /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-349627-1176711396 -o ROOT/results/node10/conversion-349627-1176711396 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-349627-1176711396 -o ROOT/results/node10/solver-349627-1176711396 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349627-1176711396/minisat+ /tmp/evaluation/349627-1176711396/instance-349627-1176711396.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 2d2ba598d361b1b8832ef2eaa384d61f RANDOM SEED= 41856621 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.259 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1830744 kB Buffers: 15492 kB Cached: 136824 kB SwapCached: 2384 kB Active: 60824 kB Inactive: 115328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830744 kB SwapTotal: 4192956 kB SwapFree: 4158492 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 31372 kB Slab: 34560 kB Committed_AS: 3488712 kB PageTables: 1712 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66515 MiB End job on node10 on Mon Apr 16 08:46:39 UTC 2007