Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.07 | 1800.87 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb |
MD5SUM | a882d3f06de9dc1339a0d54393ca9b95 |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 90300 |
Total number of constraints | 179702 |
Number of constraints which are clauses | 179702 |
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 | 1 |
Maximum length of a constraint | 4 |
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 | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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... 8.39/8.49 c Converting 179700 PB-constraints to clauses... 8.58/8.63 c -- Unit propagations: (none) 8.58/8.64 c -- Detecting intervals from adjacent constraints: (none) 8.58/8.66 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 9.19/9.23 c ==================================[MINISAT+]================================== 9.19/9.23 c | Conflicts | Original | Learnt | Progress | 9.19/9.23 c | | Clauses Literals | Max Clauses Literals LPC | | 9.19/9.23 c ============================================================================== 9.19/9.23 c | 0 | 179700 718192 | 59900 0 0 nan | 0.000 % | 9.29/9.32 c | 100 | 179700 718192 | 65890 100 440 4.4 | 0.002 % | 9.39/9.47 c | 250 | 179700 718192 | 72479 250 1240 5.0 | 0.002 % | 9.59/9.65 c | 475 | 179700 718192 | 79726 475 2558 5.4 | 0.002 % | 9.68/9.77 c | 814 | 179700 718192 | 87699 814 4613 5.7 | 0.002 % | 9.98/10.06 c | 1320 | 179700 718192 | 96469 1320 7402 5.6 | 0.002 % | 10.48/10.57 c | 2079 | 179700 718192 | 106116 2079 11562 5.6 | 0.002 % | 10.58/10.62 c | 3219 | 179700 718192 | 116728 3219 20592 6.4 | 0.002 % | 11.88/11.92 c | 4927 | 179700 718192 | 128400 4927 31995 6.5 | 0.002 % | 12.09/12.19 c | 7489 | 179700 718192 | 141241 7489 50396 6.7 | 0.002 % | 13.28/13.39 c | 11333 | 179700 718192 | 155365 11333 87070 7.7 | 0.002 % | 14.48/14.50 c | 17100 | 179700 718192 | 170901 17100 132054 7.7 | 0.002 % | 14.78/14.83 c | 25749 | 179700 718192 | 187991 25749 244737 9.5 | 0.002 % | 18.88/18.94 c | 38723 | 179700 718192 | 206791 38723 356783 9.2 | 0.002 % | 20.38/20.43 c | 58184 | 179700 718192 | 227470 58184 547042 9.4 | 0.002 % | 29.18/29.24 c | 87376 | 179700 718192 | 250217 87376 920338 10.5 | 0.002 % | 34.08/34.13 c | 131165 | 179700 718192 | 275238 131165 1538024 11.7 | 0.002 % | 42.26/42.36 c | 196850 | 179700 718192 | 302762 196850 3432450 17.4 | 0.002 % | 63.15/63.27 c | 295376 | 179700 718192 | 333039 295376 5267276 17.8 | 0.002 % | 88.55/88.66 c | 443166 | 179700 718192 | 366342 126073 1792851 14.2 | 0.002 % | 123.53/123.69 c | 664849 | 179700 718192 | 402977 347756 5620261 16.2 | 0.002 % | 177.61/177.73 c | 997374 | 179700 718192 | 443274 297996 5378011 18.0 | 0.002 % | 274.67/274.89 c | 1496162 | 179700 718192 | 487602 365622 14517828 39.7 | 0.002 % | 419.22/419.48 c | 2244344 | 179700 718192 | 536362 171285 2508253 14.6 | 0.002 % | 622.55/622.84 c | 3366618 | 179700 718192 | 589998 262594 11529369 43.9 | 0.002 % | 904.13/904.62 c | 5050030 | 179700 718192 | 648998 244864 8605252 35.1 | 0.002 % | 1437.34/1438.02 c | 7575146 | 179700 718192 | 713898 263390 8459528 32.1 | 0.002 % | 1800.01/1800.80 c 1800.01/1800.80 c *** TERMINATED *** 1800.01/1800.80 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-420867-1177433370 -o ROOT/results/node46/solver-420867-1177433370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420867-1177433370/minisat+ /tmp/evaluation/420867-1177433370/instance-420867-1177433370.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: 0.92 0.98 0.99 3/78 2108 /proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=1048 CPUtime=0 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 124 0 0 0 0 0 0 0 18 0 1 0 98020163 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 262 110 74 215 0 44 0 [startup+0.0390871 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2108 /proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=1816 CPUtime=0.03 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 311 0 0 0 3 0 0 0 18 0 1 0 98020163 1859584 297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 454 297 74 215 0 236 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1816 [startup+0.101098 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2108 /proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=3212 CPUtime=0.09 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 590 0 0 0 9 0 0 0 18 0 1 0 98020163 3289088 576 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135037705 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 803 577 74 215 0 585 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3212 [startup+0.301135 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2108 /proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=6408 CPUtime=0.28 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 1406 0 0 0 28 0 0 0 19 0 1 0 98020163 6561792 1350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 1602 1350 74 215 0 1384 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6408 [startup+0.70121 s] /proc/loadavg: 0.92 0.98 0.99 3/78 2108 /proc/meminfo: memFree=1811184/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=12132 CPUtime=0.69 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 2860 0 0 0 68 1 0 0 22 0 1 0 98020163 12423168 2713 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 3033 2713 75 215 0 2815 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12132 [startup+1.50136 s] /proc/loadavg: 0.92 0.98 0.99 2/79 2109 /proc/meminfo: memFree=1797160/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=21700 CPUtime=1.48 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 4938 0 0 0 146 2 0 0 25 0 1 0 98020163 22220800 4791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 5425 4791 75 215 0 5207 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 21700 [startup+3.10165 s] /proc/loadavg: 1.01 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1786472/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=34480 CPUtime=3.09 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 8522 0 0 0 304 5 0 0 25 0 1 0 98020163 35307520 8210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531245 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 8620 8210 75 215 0 8402 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34480 [startup+6.30125 s] /proc/loadavg: 1.01 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1761000/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=58068 CPUtime=6.29 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 14471 0 0 0 620 9 0 0 25 0 1 0 98020163 59461632 14159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 14517 14159 75 215 0 14299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58068 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1727792/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=84668 CPUtime=12.68 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 21665 0 0 0 1237 31 0 0 25 0 1 0 98020163 86700032 20815 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 21167 20815 103 215 0 20949 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 84668 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1727536/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=85032 CPUtime=25.48 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 21736 0 0 0 2517 31 0 0 25 0 1 0 98020163 87072768 20886 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134589232 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 21258 20886 103 215 0 21040 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85032 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1726704/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=86184 CPUtime=51.06 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 21950 0 0 0 5074 32 0 0 25 0 1 0 98020163 88252416 21100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 21546 21100 103 215 0 21328 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 86184 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1722864/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=90276 CPUtime=102.25 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 22915 0 0 0 10192 33 0 0 25 0 1 0 98020163 92442624 22065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 22569 22065 103 215 0 22351 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 90276 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1711088/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=102248 CPUtime=162.21 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 25883 0 0 0 16187 34 0 0 25 0 1 0 98020163 104701952 25033 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 25562 25033 103 215 0 25344 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 102248 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1693616/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=119544 CPUtime=222.2 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 30209 0 0 0 22183 37 0 0 25 0 1 0 98020163 122413056 29359 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 29886 29359 103 215 0 29668 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 119544 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1660208/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=153128 CPUtime=282.18 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 38602 0 0 0 28175 43 0 0 25 0 1 0 98020163 156803072 37752 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 38282 37752 103 215 0 38064 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 153128 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/79 2109 /proc/meminfo: memFree=1652336/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=161492 CPUtime=342.16 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40471 0 0 0 34172 44 0 0 25 0 1 0 98020163 165367808 39621 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 40373 39621 103 215 0 40155 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 161492 [startup+402.302 s] /proc/loadavg: 1.06 1.02 1.00 2/79 2109 /proc/meminfo: memFree=1652272/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=161492 CPUtime=402.13 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40478 0 0 0 40169 44 0 0 25 0 1 0 98020163 165367808 39628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 40373 39628 103 215 0 40155 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 161492 [startup+462.302 s] /proc/loadavg: 1.02 1.01 1.00 2/79 2109 /proc/meminfo: memFree=1652208/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=161492 CPUtime=462.11 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40478 0 0 0 46166 45 0 0 25 0 1 0 98020163 165367808 39628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 40373 39628 103 215 0 40155 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 161492 [startup+522.302 s] /proc/loadavg: 1.01 1.00 1.00 2/79 2109 /proc/meminfo: memFree=1652016/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=161492 CPUtime=522.09 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 40519 0 0 0 52164 45 0 0 25 0 1 0 98020163 165367808 39669 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 40373 39669 103 215 0 40155 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 161492 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2109 /proc/meminfo: memFree=1644592/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=168920 CPUtime=582.07 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 42384 0 0 0 58160 47 0 0 25 0 1 0 98020163 172974080 41534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 42230 41534 103 215 0 42012 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 168920 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2109 /proc/meminfo: memFree=1634608/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=178964 CPUtime=642.05 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 44860 0 0 0 64156 49 0 0 25 0 1 0 98020163 183259136 44010 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 44741 44010 103 215 0 44523 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 178964 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1609008/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=204204 CPUtime=821.86 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 51183 0 0 0 82132 54 0 0 25 0 1 0 98020163 209104896 50333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 51051 50333 103 215 0 50833 0 Current children cumulated CPU time (s) 821.86 Current children cumulated vsize (KiB) 204204 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1579760/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=233336 CPUtime=881.84 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 58459 0 0 0 88125 59 0 0 25 0 1 0 98020163 238936064 57609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 58334 57609 103 215 0 58116 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 233336 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1579760/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=233336 CPUtime=941.81 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 58459 0 0 0 94122 59 0 0 25 0 1 0 98020163 238936064 57609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 58334 57609 103 215 0 58116 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 233336 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1571056/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=241836 CPUtime=1001.79 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 60614 0 0 0 100118 61 0 0 25 0 1 0 98020163 247640064 59764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 60459 59764 103 215 0 60241 0 Current children cumulated CPU time (s) 1001.79 Current children cumulated vsize (KiB) 241836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1570096/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=244632 CPUtime=1061.77 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 61302 0 0 0 106115 62 0 0 25 0 1 0 98020163 250503168 60452 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 61158 60452 103 215 0 60940 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 244632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1562416/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=250352 CPUtime=1121.75 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 62743 0 0 0 112112 63 0 0 25 0 1 0 98020163 256360448 61893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 62588 61893 103 215 0 62370 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 250352 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1545712/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=268492 CPUtime=1181.73 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 67147 0 0 0 118105 68 0 0 25 0 1 0 98020163 274935808 66297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 67123 66297 103 215 0 66905 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 268492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1504816/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=309140 CPUtime=1241.71 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 77117 0 0 0 124093 78 0 0 25 0 1 0 98020163 316559360 76267 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580935 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 77285 76267 103 215 0 77067 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 309140 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1496560/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=317276 CPUtime=1301.69 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 130089 80 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 79319 78302 103 215 0 79101 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 317276 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1496496/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=317276 CPUtime=1361.66 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 136086 80 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 79319 78302 103 215 0 79101 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 317276 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1496496/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=317276 CPUtime=1421.64 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 142084 80 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 79319 78302 103 215 0 79101 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 317276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1496432/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=317276 CPUtime=1481.62 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79160 0 0 0 148081 81 0 0 25 0 1 0 98020163 324890624 78302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588790 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 79319 78302 103 215 0 79101 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 317276 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1496176/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=318644 CPUtime=1541.59 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79221 0 0 0 154078 81 0 0 25 0 1 0 98020163 326291456 78363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 79661 78363 103 215 0 79443 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 318644 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1496240/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=318644 CPUtime=1601.58 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 79221 0 0 0 160076 82 0 0 25 0 1 0 98020163 326291456 78363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572980 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 79661 78363 103 215 0 79443 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 318644 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1486000/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=329064 CPUtime=1661.55 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 166072 83 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 82266 80916 103 215 0 82048 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 329064 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1486000/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=329064 CPUtime=1721.54 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 172070 84 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 82266 80916 103 215 0 82048 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 329064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1485872/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=329064 CPUtime=1781.51 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 178067 84 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572994 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 82266 80916 103 215 0 82048 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 329064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2307 /proc/meminfo: memFree=1485872/2055920 swapFree=4159780/4192956 [pid=2108] ppid=2106 vsize=329064 CPUtime=1800.01 /proc/2108/stat : 2108 (minisat+) R 2106 2108 1197 0 -1 4194304 81774 0 0 0 179917 84 0 0 25 0 1 0 98020163 336961536 80916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2108/statm: 82266 80916 103 215 0 82048 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 329064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.07 CPU user time (s): 1799.17 CPU system time (s): 0.899863 CPU usage (%): 99.9559 Max. virtual memory (cumulated for all children) (KiB): 329064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 0.899863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81775 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= 363 involuntary context switches= 37756 runsolver used 1.81972 second user time and 4.76228 second system time The end
Begin job on node46 on Tue Apr 24 16:49:32 UTC 2007 IDJOB= 420867 IDBENCH= 47876 IDSOLVER= 156 FILE ID= node46/420867-1177433370 PBS_JOBID= 4675762 Free space on /tmp= 66074 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/sabharwal/grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.opb COMMAND LINE= /tmp/evaluation/420867-1177433370/minisat+ /tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node46/convwatcher-420867-1177433370 -o ROOT/results/node46/conversion-420867-1177433370 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-420867-1177433370 -o ROOT/results/node46/solver-420867-1177433370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420867-1177433370/minisat+ /tmp/evaluation/420867-1177433370/instance-420867-1177433370.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= a882d3f06de9dc1339a0d54393ca9b95 RANDOM SEED= 567202637 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1811592 kB Buffers: 26232 kB Cached: 144112 kB SwapCached: 3192 kB Active: 103196 kB Inactive: 91668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811592 kB SwapTotal: 4192956 kB SwapFree: 4159780 kB Dirty: 10632 kB Writeback: 0 kB Mapped: 31836 kB Slab: 34876 kB Committed_AS: 3455632 kB PageTables: 1992 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= 66074 MiB End job on node46 on Tue Apr 24 17:19:35 UTC 2007