Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.77 | 1801.33 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb |
MD5SUM | 7b9a0d3bf1a9c200d7f28b922540147b |
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 | 193.899 |
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 | 58651 |
Total number of constraints | 174421 |
Number of constraints which are clauses | 174420 |
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 | 58140 |
Number of terms in the objective function | 171 |
Biggest coefficient in the objective function | 1496577676626844588240573268701473812127674924007424 |
Number of bits for the biggest coefficient in the objective function | 171 |
Sum of the numbers in the objective function | 2993155353253689176481146537402947624255349848014847 |
Number of bits of the sum of numbers in the objective function | 171 |
Biggest number in a constraint | 1675975991242824637446753124775730765934920727574049172215445180465220503759193372100234287270862928461253982273310756356719235351493321243304206125760512 |
Number of bits of the biggest number in a constraint | 510 |
Biggest sum of numbers in a constraint | 6703903964971298549787012499102923063739682910296195038597131527667767167333656272927595621892946315600953569576375136127347577727820033305822846748291905 |
Number of bits of the biggest sum of numbers | 511 |
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... 8.73 c Converting 174422 PB-constraints to clauses... 8.78 c -- Unit propagations: (none) 161.31 c -- Detecting intervals from adjacent constraints: # 161.35 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 161.68 c ---[ 0]---> Adder-cost: 86522 maxlim: 190908695363218648906951575825249014842806235021726123775097889391951359681794203232040567064728860003521 bits: 347/347 371.62 c ==================================[MINISAT+]================================== 371.62 c | Conflicts | Original | Learnt | Progress | 371.62 c | | Clauses Literals | Max Clauses Literals LPC | | 371.62 c ============================================================================== 371.62 c | 0 | 748399 2487291 | 249466 0 0 nan | 0.000 % | 371.64 c | 100 | 748399 2487291 | 274412 100 315 3.1 | 10.583 % | 372.16 c | 250 | 748015 2485933 | 301853 198 621 3.1 | 10.628 % | 373.81 c | 475 | 748007 2485907 | 332039 422 2997 7.1 | 10.629 % | 374.30 c | 814 | 747959 2485757 | 365243 757 19097 25.2 | 10.634 % | 375.30 c | 1320 | 747927 2485653 | 401767 1259 33392 26.5 | 10.637 % | 376.80 c | 2081 | 747911 2485601 | 441944 2018 66170 32.8 | 10.638 % | 379.19 c | 3220 | 747879 2485497 | 486138 3153 128965 40.9 | 10.641 % | 386.00 c | 4931 | 747839 2485367 | 534752 4859 941520 193.8 | 10.645 % | 405.02 c | 7493 | 747813 2485271 | 588227 7417 1118253 150.8 | 10.647 % | 438.84 c | 11337 | 747791 2485185 | 647050 11259 1339912 119.0 | 10.650 % | 485.53 c | 17103 | 747636 2484646 | 711755 17001 2208307 129.9 | 10.667 % | 532.64 c | 25753 | 747586 2484458 | 782931 25646 3490501 136.1 | 10.673 % | 617.57 c | 38727 | 747478 2484080 | 861224 38572 5055484 131.1 | 10.685 % | 665.63 c | 58189 | 747450 2483978 | 947346 58030 9074320 156.4 | 10.689 % | 710.20 c | 87382 | 747426 2483896 | 1042081 87219 14181326 162.6 | 10.691 % | 894.02 c | 131171 | 747360 2483666 | 1146289 130984 21345734 163.0 | 10.698 % | 1109.99 c | 196857 | 746993 2482419 | 1260918 196525 32680663 166.3 | 10.742 % | 1302.61 c | 295383 | 746836 2481888 | 1387010 284565 47291498 166.2 | 10.761 % | 1604.71 c | 443172 | 746744 2481572 | 1525711 432323 76191176 176.2 | 10.773 % | 1801.24 c 1801.24 c *** TERMINATED *** 1801.24 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/node10/watcher-49779-1154117349 -o ROOT/results/node10/solver-49779-1154117349 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node10/49779-1154117349/instance-49779-1154117349.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1476696/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=1048 CPUtime=0 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 106 0 0 0 0 0 0 0 19 0 1 0 158596120 1073152 90 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 262 93 71 215 0 44 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399008/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79280 CPUtime=9.98 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 988 10 0 0 25 0 1 0 158596120 81182720 19508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805904 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19820 19508 83 215 0 19602 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 79280 [startup+20.0097 s] /proc/loadavg: 0.94 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399208/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=19.99 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 1988 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812688 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 79180 [startup+30.0171 s] /proc/loadavg: 0.95 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399336/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=30 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 2989 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530454 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 79180 [startup+40.0234 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=40 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 3989 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 79180 [startup+50.0298 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=50 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 4989 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809964 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 79180 [startup+60.0362 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=60.01 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 5990 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838344 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 79180 [startup+70.0425 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=70.01 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 6990 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012176 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 79180 [startup+80.0489 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=80.01 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 7990 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 79180 [startup+90.0552 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=90.02 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 8991 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 79180 [startup+100.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=100.02 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 9991 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012077 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 79180 [startup+110.068 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399400/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=110.02 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 10991 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 79180 [startup+120.074 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2148 /proc/meminfo: memFree=1399464/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=120.03 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 11992 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 79180 [startup+130.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399464/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=130.03 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 12992 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 79180 [startup+140.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399464/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=140.03 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 13992 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 79180 [startup+150.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399464/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=150.04 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 14993 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 79180 [startup+160.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1399464/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=79180 CPUtime=160.04 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 20648 0 0 0 15993 11 0 0 25 0 1 0 158596120 81080320 19483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805984 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 19795 19483 83 215 0 19577 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 79180 [startup+170.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1369192/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=109376 CPUtime=170.03 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 29079 0 0 0 16974 29 0 0 25 0 1 0 158596120 112001024 27004 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 27344 27004 92 215 0 27126 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 109376 [startup+180.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1188904/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=294132 CPUtime=180.04 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 74086 0 0 0 17957 47 0 0 25 0 1 0 158596120 301191168 72011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010408 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 73533 72011 92 215 0 73315 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 294132 [startup+190.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1003944/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=482712 CPUtime=190.03 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 120276 0 0 0 18938 65 0 0 25 0 1 0 158596120 494297088 118201 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808958 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 120678 118201 92 215 0 120460 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 482712 [startup+200.126 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 /proc/meminfo: memFree=1004072/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=482256 CPUtime=200.03 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 120530 0 0 0 19938 65 0 0 25 0 1 0 158596120 493830144 118121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 120564 118121 92 215 0 120346 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 482256 [startup+210.133 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2148 ################ # More data... # ################ /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 135388 0 0 0 178075 83 0 0 25 0 1 0 158596120 519966720 125489 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 126945 125489 123 215 0 126727 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 507780 [startup+1783.15 s] /proc/loadavg: 1.07 1.00 1.00 2/64 2148 /proc/meminfo: memFree=973800/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=508308 CPUtime=1782.59 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 135531 0 0 0 178176 83 0 0 25 0 1 0 158596120 520507392 125632 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127077 125632 123 215 0 126859 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 508308 [startup+1784.15 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=973160/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=508972 CPUtime=1783.59 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 135696 0 0 0 178276 83 0 0 25 0 1 0 158596120 521187328 125797 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127243 125797 123 215 0 127025 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 508972 [startup+1785.16 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=972520/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=509496 CPUtime=1784.59 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 135846 0 0 0 178376 83 0 0 25 0 1 0 158596120 521723904 125947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127374 125947 123 215 0 127156 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 509496 [startup+1786.16 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=972008/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=510152 CPUtime=1785.6 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 135984 0 0 0 178477 83 0 0 25 0 1 0 158596120 522395648 126085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127538 126085 123 215 0 127320 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 510152 [startup+1787.17 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=971560/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=510552 CPUtime=1786.6 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136083 0 0 0 178577 83 0 0 25 0 1 0 158596120 522805248 126184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127638 126184 123 215 0 127420 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 510552 [startup+1788.17 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=971176/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=510936 CPUtime=1787.6 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136191 0 0 0 178677 83 0 0 25 0 1 0 158596120 523198464 126292 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127734 126292 123 215 0 127516 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 510936 [startup+1789.18 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=970728/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=511332 CPUtime=1788.61 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136302 0 0 0 178778 83 0 0 25 0 1 0 158596120 523603968 126403 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127833 126403 123 215 0 127615 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 511332 [startup+1790.18 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=970344/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=511728 CPUtime=1789.62 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136396 0 0 0 178878 84 0 0 25 0 1 0 158596120 524009472 126497 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 127932 126497 123 215 0 127714 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 511728 [startup+1791.19 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=969896/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=512120 CPUtime=1790.62 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136505 0 0 0 178978 84 0 0 25 0 1 0 158596120 524410880 126606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574553 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128030 126606 123 215 0 127812 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 512120 [startup+1792.19 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=969576/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=512520 CPUtime=1791.63 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136590 0 0 0 179079 84 0 0 25 0 1 0 158596120 524820480 126691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128130 126691 123 215 0 127912 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 512520 [startup+1793.2 s] /proc/loadavg: 1.06 1.00 1.00 2/64 2148 /proc/meminfo: memFree=969064/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=513048 CPUtime=1792.63 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136714 0 0 0 179179 84 0 0 25 0 1 0 158596120 525361152 126815 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128262 126815 123 215 0 128044 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 513048 [startup+1794.2 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=968616/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=513444 CPUtime=1793.63 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136817 0 0 0 179279 84 0 0 25 0 1 0 158596120 525766656 126918 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128361 126918 123 215 0 128143 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 513444 [startup+1795.21 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=968296/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=513840 CPUtime=1794.64 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136907 0 0 0 179380 84 0 0 25 0 1 0 158596120 526172160 127008 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128460 127008 123 215 0 128242 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 513840 [startup+1796.21 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=967976/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=514104 CPUtime=1795.64 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 136990 0 0 0 179480 84 0 0 25 0 1 0 158596120 526442496 127091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128526 127091 123 215 0 128308 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 514104 [startup+1797.22 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=967528/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=514504 CPUtime=1796.65 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 137095 0 0 0 179580 85 0 0 25 0 1 0 158596120 526852096 127196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574460 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128626 127196 123 215 0 128408 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 514504 [startup+1798.22 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=967208/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=514900 CPUtime=1797.65 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 137178 0 0 0 179680 85 0 0 25 0 1 0 158596120 527257600 127279 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128725 127279 123 215 0 128507 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 514900 [startup+1799.23 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=966824/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=515168 CPUtime=1798.66 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 137265 0 0 0 179781 85 0 0 25 0 1 0 158596120 527532032 127366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128792 127366 123 215 0 128574 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 515168 [startup+1800.23 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=966440/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=515696 CPUtime=1799.66 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 137370 0 0 0 179881 85 0 0 25 0 1 0 158596120 528072704 127471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575416 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128924 127471 123 215 0 128706 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 515696 [startup+1801.24 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=966056/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=515956 CPUtime=1800.67 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 137460 0 0 0 179982 85 0 0 25 0 1 0 158596120 528338944 127561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128989 127561 123 215 0 128771 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 515956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 1.05 1.00 1.00 2/64 2148 /proc/meminfo: memFree=966056/2055920 swapFree=4182612/4192956 [pid=2148] ppid=2146 vsize=515956 CPUtime=1800.67 /proc/2148/stat : 2148 (minisat+) R 2146 2148 2090 0 -1 4194304 137461 0 0 0 179982 85 0 0 25 0 1 0 158596120 528338944 127562 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580299 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2148/statm: 128989 127562 123 215 0 128771 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 515956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.33 CPU time (s): 1800.77 CPU user time (s): 1799.82 CPU system time (s): 0.941856 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (Kb): 515956 The end
Begin job on node10 on Fri Jul 28 20:09:09 UTC 2006 FILE ID= 49779-1154117349 PBS_JOBID= 886781 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=340-sizeP=171-sizeQ=340-700380480.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node10/49779-1154117349/instance-49779-1154117349.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-49779-1154117349 -o ROOT/results/node10/solver-49779-1154117349 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node10/49779-1154117349/instance-49779-1154117349.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7b9a0d3bf1a9c200d7f28b922540147b RANDOM SEED= 192435413 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.216 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.216 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: 1476904 kB Buffers: 33892 kB Cached: 467836 kB SwapCached: 4736 kB Active: 47812 kB Inactive: 463572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1476904 kB SwapTotal: 4192956 kB SwapFree: 4182612 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14504 kB Slab: 53636 kB Committed_AS: 772244 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node10 on Fri Jul 28 20:39:11 UTC 2006