Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.65 | 1801.22 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb |
MD5SUM | dc49834323ec8562456880bec34886cf |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 242.482 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 65701 |
Total number of constraints | 195481 |
Number of constraints which are clauses | 195480 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 65160 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1532495540865888858358347027150309183618739122183602176 |
Number of bits for the biggest coefficient in the objective function | 181 |
Sum of the numbers in the objective function | 3064991081731777716716694054300618367237478244367204351 |
Number of bits of the sum of numbers in the objective function | 181 |
Biggest number in a constraint | 1799565517817278553124215403074392743547878847320766653240302229044735032268595148127616274441556342859968364253408358049283306422197719875603406072346065542053888 |
Number of bits of the biggest number in a constraint | 540 |
Biggest sum of numbers in a constraint | 7198262071269114212496861612297570974191515389283066611663944849260137495841993663922586015605314649454542626583271372705247225059695176544033188317685768654897628 |
Number of bits of the biggest sum of numbers | 541 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 9.63 c Converting 195482 PB-constraints to clauses... 9.68 c -- Unit propagations: (none) 204.13 c -- Detecting intervals from adjacent constraints: # 204.18 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 204.57 c ---[ 0]---> Adder-cost: 97012 maxlim: 211491825225176876529340900341233543032284498849279959252602921848161038314953163284358204056933540926137089574 bits: 367/367 458.71 c ==================================[MINISAT+]================================== 458.71 c | Conflicts | Original | Learnt | Progress | 458.71 c | | Clauses Literals | Max Clauses Literals LPC | | 458.71 c ============================================================================== 458.71 c | 0 | 838509 2787885 | 279503 0 0 nan | 0.000 % | 458.91 c | 100 | 838476 2787774 | 307453 96 295 3.1 | 10.556 % | 460.46 c | 250 | 837342 2783766 | 338198 90 282 3.1 | 10.674 % | 462.02 c | 481 | 837165 2783161 | 372018 299 971 3.2 | 10.694 % | 464.42 c | 818 | 837145 2783089 | 409220 634 2504 3.9 | 10.696 % | 470.62 c | 1326 | 837145 2783089 | 450142 1142 17741 15.5 | 10.696 % | 478.93 c | 2085 | 837145 2783089 | 495156 1901 36791 19.4 | 10.696 % | 480.91 c | 3224 | 837145 2783089 | 544672 3040 80480 26.5 | 10.696 % | 493.66 c | 4932 | 837129 2783037 | 599139 4746 158256 33.3 | 10.698 % | 501.29 c | 7494 | 837120 2783006 | 659053 7299 429688 58.9 | 10.698 % | 505.84 c | 11338 | 837120 2783006 | 724958 11143 820907 73.7 | 10.698 % | 564.56 c | 17104 | 837120 2783006 | 797454 16909 1162376 68.7 | 10.698 % | 605.05 c | 25754 | 837062 2782812 | 877200 25466 1903688 74.8 | 10.703 % | 731.45 c | 38728 | 837062 2782812 | 964920 38440 4368047 113.6 | 10.703 % | 753.40 c | 58189 | 837053 2782781 | 1061412 57876 7513997 129.8 | 10.704 % | 811.34 c | 87381 | 837053 2782781 | 1167553 87068 12777382 146.8 | 10.704 % | 981.06 c | 131170 | 836964 2782478 | 1284308 130584 21650088 165.8 | 10.711 % | 1110.49 c | 196855 | 836964 2782478 | 1412739 196269 31951962 162.8 | 10.711 % | 1290.89 c | 295381 | 836938 2782390 | 1554013 294659 52277240 177.4 | 10.713 % | 1480.50 c | 443170 | 836932 2782372 | 1709414 442447 82121272 185.6 | 10.713 % | 1801.11 c 1801.12 c *** TERMINATED *** 1801.12 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node30/watcher-49827-1154120975 -o ROOT/results/node30/solver-49827-1154120975 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/49827-1154120975/instance-49827-1154120975.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1566664/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=1048 CPUtime=0 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 158957417 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 262 100 74 215 0 44 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479456/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89252 CPUtime=9.99 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 987 12 0 0 25 0 1 0 158957417 91394048 21866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22313 21866 83 215 0 22095 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 89252 [startup+20.0088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479712/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89252 CPUtime=19.99 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 1987 12 0 0 25 0 1 0 158957417 91394048 21866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003218 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22313 21866 83 215 0 22095 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 89252 [startup+30.0144 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479840/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89252 CPUtime=30 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 2988 12 0 0 25 0 1 0 158957417 91394048 21866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005791 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22313 21866 83 215 0 22095 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 89252 [startup+40.0199 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479840/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=40 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 3988 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805948 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 89092 [startup+50.0255 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=50 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 4988 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621707 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 89092 [startup+60.031 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=60 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 5988 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 89092 [startup+70.0366 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=70.01 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 6989 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003218 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 89092 [startup+80.0421 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=80.01 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 7989 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812624 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 89092 [startup+90.0476 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=90.01 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 8989 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 89092 [startup+100.053 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=100.01 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 9989 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 89092 [startup+110.059 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=110.01 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 10989 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005252 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 89092 [startup+120.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=120.02 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 11990 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621726 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 89092 [startup+130.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=130.02 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 12990 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 89092 [startup+140.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=140.02 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 13990 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 89092 [startup+150.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=150.02 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 14990 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003878 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 89092 [startup+160.086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=160.02 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 15990 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012143 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 89092 [startup+170.092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=170.03 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 16991 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 89092 [startup+180.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=180.03 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 17991 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 89092 [startup+190.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=190.03 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 18991 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012162 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 89092 [startup+200.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1479904/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=89092 CPUtime=200.03 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 23297 0 0 0 19991 12 0 0 25 0 1 0 158957417 91230208 21826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 22273 21826 83 215 0 22055 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 89092 [startup+210.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 ################ # More data... # ################ /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153095 0 0 0 178052 94 0 0 25 0 1 0 158957417 577675264 139919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141034 139919 123 215 0 140816 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 564136 [startup+1783.02 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006496/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564268 CPUtime=1782.47 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153108 0 0 0 178153 94 0 0 25 0 1 0 158957417 577810432 139932 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141067 139932 123 215 0 140849 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 564268 [startup+1784.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006496/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564268 CPUtime=1783.47 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153118 0 0 0 178253 94 0 0 25 0 1 0 158957417 577810432 139942 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141067 139942 123 215 0 140849 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 564268 [startup+1785.03 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006432/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564268 CPUtime=1784.47 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153125 0 0 0 178353 94 0 0 25 0 1 0 158957417 577810432 139949 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141067 139949 123 215 0 140849 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 564268 [startup+1786.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006432/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564400 CPUtime=1785.48 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153130 0 0 0 178454 94 0 0 25 0 1 0 158957417 577945600 139954 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141100 139954 123 215 0 140882 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 564400 [startup+1787.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006368/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564400 CPUtime=1786.48 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153141 0 0 0 178554 94 0 0 25 0 1 0 158957417 577945600 139965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141100 139965 123 215 0 140882 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 564400 [startup+1788.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006368/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564400 CPUtime=1787.49 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153144 0 0 0 178655 94 0 0 25 0 1 0 158957417 577945600 139968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141100 139968 123 215 0 140882 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 564400 [startup+1789.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006368/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564400 CPUtime=1788.49 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153147 0 0 0 178755 94 0 0 25 0 1 0 158957417 577945600 139971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141100 139971 123 215 0 140882 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 564400 [startup+1790.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006368/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564400 CPUtime=1789.5 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153151 0 0 0 178856 94 0 0 25 0 1 0 158957417 577945600 139975 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141100 139975 123 215 0 140882 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 564400 [startup+1791.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006304/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564400 CPUtime=1790.5 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153156 0 0 0 178956 94 0 0 25 0 1 0 158957417 577945600 139980 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141100 139980 123 215 0 140882 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 564400 [startup+1792.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006304/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1791.5 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153166 0 0 0 179056 94 0 0 25 0 1 0 158957417 578080768 139990 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 139990 123 215 0 140915 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 564532 [startup+1793.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006240/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1792.51 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153171 0 0 0 179157 94 0 0 25 0 1 0 158957417 578080768 139995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 139995 123 215 0 140915 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 564532 [startup+1794.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006240/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1793.51 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153177 0 0 0 179257 94 0 0 25 0 1 0 158957417 578080768 140001 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 140001 123 215 0 140915 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 564532 [startup+1795.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006240/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1794.52 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153183 0 0 0 179358 94 0 0 25 0 1 0 158957417 578080768 140007 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 140007 123 215 0 140915 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 564532 [startup+1796.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006176/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1795.52 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153187 0 0 0 179458 94 0 0 25 0 1 0 158957417 578080768 140011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 140011 123 215 0 140915 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 564532 [startup+1797.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006176/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1796.53 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153191 0 0 0 179559 94 0 0 25 0 1 0 158957417 578080768 140015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 140015 123 215 0 140915 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 564532 [startup+1798.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006176/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564532 CPUtime=1797.53 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153195 0 0 0 179659 94 0 0 25 0 1 0 158957417 578080768 140019 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141133 140019 123 215 0 140915 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 564532 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006176/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564664 CPUtime=1798.54 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153198 0 0 0 179760 94 0 0 25 0 1 0 158957417 578215936 140022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141166 140022 123 215 0 140948 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 564664 [startup+1800.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006112/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564664 CPUtime=1799.54 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153203 0 0 0 179860 94 0 0 25 0 1 0 158957417 578215936 140027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141166 140027 123 215 0 140948 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 564664 [startup+1801.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006112/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564664 CPUtime=1800.55 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153205 0 0 0 179961 94 0 0 25 0 1 0 158957417 578215936 140029 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141166 140029 123 215 0 140948 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 564664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27263 /proc/meminfo: memFree=1006112/2055920 swapFree=4178648/4192956 [pid=27263] ppid=27261 vsize=564664 CPUtime=1800.55 /proc/27263/stat : 27263 (minisat+) R 27261 27263 27214 0 -1 4194304 153205 0 0 0 179961 94 0 0 25 0 1 0 158957417 578215936 140029 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27263/statm: 141166 140029 123 215 0 140948 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 564664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.22 CPU time (s): 1800.65 CPU user time (s): 1799.61 CPU system time (s): 1.03984 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (Kb): 576876 The end
Begin job on node30 on Fri Jul 28 21:09:35 UTC 2006 FILE ID= 49827-1154120975 PBS_JOBID= 886973 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/49827-1154120975/instance-49827-1154120975.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-49827-1154120975 -o ROOT/results/node30/solver-49827-1154120975 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/49827-1154120975/instance-49827-1154120975.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= dc49834323ec8562456880bec34886cf RANDOM SEED= 516043814 TIMEOUT= 1800 seconds /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.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 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: 1566808 kB Buffers: 31928 kB Cached: 383304 kB SwapCached: 8000 kB Active: 45912 kB Inactive: 382308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1566808 kB SwapTotal: 4192956 kB SwapFree: 4178648 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14496 kB Slab: 46980 kB Committed_AS: 670200 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node30 on Fri Jul 28 21:39:37 UTC 2006