Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.67 | 1801.29 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb |
MD5SUM | f145615704a2957501e412155c176c53 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 81001 |
Total number of constraints | 241201 |
Number of constraints which are clauses | 241200 |
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 | 80400 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1606938044258990275541962092341162602522202993782792835301376 |
Number of bits for the biggest coefficient in the objective function | 201 |
Sum of the numbers in the objective function | 3213876088517980551083924184682325205044405987565585670602751 |
Number of bits of the sum of numbers in the objective function | 201 |
Biggest number in a constraint | 2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688 |
Number of bits of the biggest number in a constraint | 600 |
Biggest sum of numbers in a constraint | 8299031137761985917024815727382322302024892464484873799991313419664837827391154871651005228706296088699355875555839163484213727699346231811168069148386972247138995410784642717179115 |
Number of bits of the biggest sum of numbers | 601 |
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... 12.28 c Converting 241202 PB-constraints to clauses... 12.34 c -- Unit propagations: (none) 313.06 c -- Detecting intervals from adjacent constraints: # 313.12 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 313.60 c ---[ 0]---> Adder-cost: 120194 maxlim: 517689692085177152592604982809471562777441035605742369328546745456951798844725941363761221132332283181736855281754487661335 bits: 408/408 671.09 c ==================================[MINISAT+]================================== 671.09 c | Conflicts | Original | Learnt | Progress | 671.09 c | | Clauses Literals | Max Clauses Literals LPC | | 671.09 c ============================================================================== 671.09 c | 0 | 1039704 3456336 | 346568 0 0 nan | 0.000 % | 671.10 c | 100 | 1039704 3456336 | 381224 100 313 3.1 | 10.374 % | 673.33 c | 250 | 1038451 3451923 | 419347 74 228 3.1 | 10.481 % | 673.58 c | 475 | 1038377 3451671 | 461282 289 887 3.1 | 10.487 % | 677.46 c | 812 | 1038343 3451553 | 507410 621 3119 5.0 | 10.490 % | 677.91 c | 1319 | 1038343 3451553 | 558151 1128 38290 33.9 | 10.490 % | 678.81 c | 2078 | 1038343 3451553 | 613966 1887 60299 32.0 | 10.490 % | 680.10 c | 3219 | 1038343 3451553 | 675362 3028 120318 39.7 | 10.490 % | 681.59 c | 4927 | 1038343 3451553 | 742899 4736 244955 51.7 | 10.490 % | 686.32 c | 7490 | 1038343 3451553 | 817189 7299 391790 53.7 | 10.490 % | 691.80 c | 11335 | 1038343 3451553 | 898908 11144 632591 56.8 | 10.490 % | 703.48 c | 17101 | 1038343 3451553 | 988798 16910 1026807 60.7 | 10.490 % | 715.25 c | 25751 | 1038343 3451553 | 1087678 25560 1749261 68.4 | 10.490 % | 742.48 c | 38726 | 1038343 3451553 | 1196446 38535 2929763 76.0 | 10.490 % | 853.30 c | 58187 | 1038343 3451553 | 1316091 57996 5123067 88.3 | 10.490 % | 904.58 c | 87380 | 1038334 3451522 | 1447700 87145 9356180 107.4 | 10.490 % | 1062.98 c | 131170 | 1038334 3451522 | 1592470 130935 15036424 114.8 | 10.491 % | 1280.67 c | 196855 | 1038334 3451522 | 1751717 196620 31824412 161.9 | 10.490 % | 1374.93 c | 295384 | 1038334 3451522 | 1926889 295149 50239276 170.2 | 10.490 % | 1688.24 c | 443173 | 1038334 3451522 | 2119578 442938 73899638 166.8 | 10.490 % | 1801.16 c 1801.16 c *** TERMINATED *** 1801.16 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/node45/watcher-49783-1154117627 -o ROOT/results/node45/solver-49783-1154117627 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node45/49783-1154117627/instance-49783-1154117627.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 18400 /proc/meminfo: memFree=1034728/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=1048 CPUtime=0 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 158633690 1073152 94 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134623512 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 262 97 74 215 0 44 0 [startup+10.0021 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=931696/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=106224 CPUtime=9.99 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 26194 0 0 0 987 12 0 0 25 0 1 0 158633690 108773376 25920 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 26556 25920 74 215 0 26338 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 106224 [startup+20.0079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925104/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=19.99 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 1986 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 112348 [startup+30.0137 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925168/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=30 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 2987 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808987 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 112348 [startup+40.0196 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925232/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=40 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 3987 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 112348 [startup+50.0264 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925296/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=50 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 4987 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812733 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 112348 [startup+60.0322 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925296/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=60 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 5987 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 112348 [startup+70.039 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925296/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=70.01 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 6988 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805824 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 112348 [startup+80.0459 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925360/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=80.01 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 7988 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012153 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 112348 [startup+90.0517 s] /proc/loadavg: 1.07 1.02 1.00 2/64 18400 /proc/meminfo: memFree=925360/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=90.01 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 8988 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 112348 [startup+100.058 s] /proc/loadavg: 1.06 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925360/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=100.02 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 9989 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 112348 [startup+110.064 s] /proc/loadavg: 1.05 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925360/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=110.02 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 10989 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 112348 [startup+120.07 s] /proc/loadavg: 1.04 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925360/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=120.02 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 11989 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 112348 [startup+130.077 s] /proc/loadavg: 1.03 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=130.02 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 12989 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530454 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 112348 [startup+140.083 s] /proc/loadavg: 1.03 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=140.03 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 13990 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 112348 [startup+150.089 s] /proc/loadavg: 1.02 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=150.03 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 14990 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838342 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 112348 [startup+160.094 s] /proc/loadavg: 1.02 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=160.03 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 15990 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 112348 [startup+170.1 s] /proc/loadavg: 1.02 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=170.03 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 16990 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 112348 [startup+180.106 s] /proc/loadavg: 1.01 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=180.04 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 17991 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621832 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 112348 [startup+190.112 s] /proc/loadavg: 1.01 1.01 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=190.04 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 18991 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 112348 [startup+200.118 s] /proc/loadavg: 1.01 1.00 1.00 2/64 18400 /proc/meminfo: memFree=925424/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=112348 CPUtime=200.04 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 29003 0 0 0 19991 13 0 0 25 0 1 0 158633690 115044352 27547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 28087 27547 83 215 0 27869 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 112348 [startup+210.124 s] /proc/loadavg: 1.01 1.00 1.00 2/64 18400 ################ # More data... # ################ /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178032 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 730792 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1782.45 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178132 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581439 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 730792 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1783.46 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178233 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 730792 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1784.46 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178333 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 730792 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1785.47 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178434 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 730792 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1786.47 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178534 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 730792 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1787.48 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178635 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 730792 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1788.48 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178735 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 730792 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1789.49 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178836 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 730792 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1790.49 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 178936 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 730792 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1791.5 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179037 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 730792 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1792.5 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179137 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574410 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 730792 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1793.5 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179237 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 730792 [startup+1795.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1794.51 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179338 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 730792 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1795.51 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179438 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 730792 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1796.52 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179539 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 730792 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1797.52 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179639 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 730792 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1798.53 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179740 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 730792 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1799.53 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179840 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 730792 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1800.54 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179941 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 730792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 18402 /proc/meminfo: memFree=309552/2055920 swapFree=4183020/4192956 [pid=18400] ppid=18398 vsize=730792 CPUtime=1800.54 /proc/18400/stat : 18400 (minisat+) R 18398 18400 18351 0 -1 4194304 205668 0 0 0 179941 113 0 0 25 0 1 0 158633690 748331008 181144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577398 0 0 4096 16386 0 0 0 17 1 0 0 /proc/18400/statm: 182698 181144 123 215 0 182480 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 730792 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.29 CPU time (s): 1800.67 CPU user time (s): 1799.42 CPU system time (s): 1.25181 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (Kb): 799800 The end
Begin job on node45 on Fri Jul 28 20:13:48 UTC 2006 FILE ID= 49783-1154117627 PBS_JOBID= 886797 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node45/49783-1154117627/instance-49783-1154117627.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-49783-1154117627 -o ROOT/results/node45/solver-49783-1154117627 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node45/49783-1154117627/instance-49783-1154117627.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= f145615704a2957501e412155c176c53 RANDOM SEED= 641655749 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.281 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.281 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: 1035128 kB Buffers: 41652 kB Cached: 913064 kB SwapCached: 4356 kB Active: 492576 kB Inactive: 471412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1035128 kB SwapTotal: 4192956 kB SwapFree: 4183020 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14460 kB Slab: 42888 kB Committed_AS: 600312 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 node45 on Fri Jul 28 20:43:49 UTC 2006