Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1801.01 | 1801.46 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb |
MD5SUM | 0d68396ddd3adb481a49ce1422ebcaec |
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 | 126251 |
Total number of constraints | 376501 |
Number of constraints which are clauses | 376500 |
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 | 125500 |
Number of terms in the objective function | 251 |
Biggest coefficient in the objective function | 1809251394333065553493296640760748560207343510400633813116524750123642650624 |
Number of bits for the biggest coefficient in the objective function | 251 |
Sum of the numbers in the objective function | 3618502788666131106986593281521497120414687020801267626233049500247285301247 |
Number of bits of the sum of numbers in the objective function | 251 |
Biggest number in a constraint | 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312 |
Number of bits of the biggest number in a constraint | 750 |
Biggest sum of numbers in a constraint | 11844773043065711480323635013294239465766037117894719018089691452225120183456110041724762364928147817377348326880268577133927465386787427201119947336445574431204393880301774478140662910839812661887447658656553291795701871486491 |
Number of bits of the biggest sum of numbers | 751 |
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... 21.38 c Converting 376502 PB-constraints to clauses... 21.48 c -- Unit propagations: (none) 808.03 c -- Detecting intervals from adjacent constraints: # 808.12 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 808.83 c ---[ 0]---> Adder-cost: 185238 maxlim: 25588538197233466320732106825340355668628626852288615803980046764481810457944832050187767321529981066179947831601783577186146793468397353963644072942055 bits: 503/503 1521.12 c ==================================[MINISAT+]================================== 1521.12 c | Conflicts | Original | Learnt | Progress | 1521.12 c | | Clauses Literals | Max Clauses Literals LPC | | 1521.12 c ============================================================================== 1521.12 c | 0 | 1604637 5332979 | 534879 0 0 nan | 0.000 % | 1521.13 c | 100 | 1604637 5332979 | 588366 100 307 3.1 | 10.781 % | 1522.84 c | 250 | 1603667 5329539 | 647203 111 368 3.3 | 10.832 % | 1527.13 c | 475 | 1603319 5328295 | 711923 288 1441 5.0 | 10.851 % | 1527.43 c | 812 | 1603319 5328295 | 783116 625 31815 50.9 | 10.851 % | 1536.22 c | 1318 | 1603319 5328295 | 861427 1131 34902 30.9 | 10.851 % | 1548.86 c | 2077 | 1603300 5328222 | 947570 1888 52695 27.9 | 10.852 % | 1550.27 c | 3216 | 1603300 5328222 | 1042327 3027 152994 50.5 | 10.852 % | 1591.57 c | 4924 | 1603300 5328222 | 1146560 4735 194275 41.0 | 10.852 % | 1595.03 c | 7486 | 1603300 5328222 | 1261216 7297 471141 64.6 | 10.852 % | 1672.76 c | 11330 | 1603300 5328222 | 1387338 11141 558372 50.1 | 10.852 % | 1735.80 c | 17096 | 1603291 5328193 | 1526072 16906 1356745 80.3 | 10.853 % | 1801.23 c 1801.23 c *** TERMINATED *** 1801.23 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/node41/watcher-49782-1154117523 -o ROOT/results/node41/solver-49782-1154117523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node41/49782-1154117523/instance-49782-1154117523.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1415608/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=1048 CPUtime=0 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 101 0 0 0 0 0 0 0 19 0 1 0 158623507 1073152 85 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 262 85 67 215 0 44 0 [startup+10.0026 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1316296/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=103304 CPUtime=9.99 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 25297 0 0 0 984 15 0 0 25 0 1 0 158623507 105783296 24984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 25826 24984 74 215 0 25608 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 103304 [startup+20.0095 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1235464/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=183772 CPUtime=19.99 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 46738 0 0 0 1973 26 0 0 25 0 1 0 158623507 188182528 45191 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45943 45191 74 215 0 45725 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 183772 [startup+30.0163 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236360/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=30 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 2973 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805925 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 182372 [startup+40.0222 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236424/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=40 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 3973 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005847 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 182372 [startup+50.0281 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236424/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=50 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 4973 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 182372 [startup+60.0339 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236488/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=60.01 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 5974 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 182372 [startup+70.0398 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236488/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=70.01 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 6974 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 182372 [startup+80.0457 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236488/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=80.01 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 7974 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 182372 [startup+90.0515 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236488/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=90.02 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 8975 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 182372 [startup+100.057 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=100.02 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 9975 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 182372 [startup+110.063 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=110.02 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 10975 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 182372 [startup+120.069 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=120.02 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 11975 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 182372 [startup+130.075 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=130.03 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 12976 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 182372 [startup+140.081 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=140.03 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 13976 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 182372 [startup+150.086 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=150.03 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 14976 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005274 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 182372 [startup+160.092 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=160.04 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 15977 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003235 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 182372 [startup+170.097 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=170.04 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 16977 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 182372 [startup+180.103 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=180.04 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 17977 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 182372 [startup+190.109 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=190.05 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 18978 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 182372 [startup+200.115 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 /proc/meminfo: memFree=1236552/2055920 swapFree=4182960/4192956 [pid=27048] ppid=27046 vsize=182372 CPUtime=200.05 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 47497 0 0 0 19978 27 0 0 25 0 1 0 158623507 186748928 44928 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 45593 44928 83 215 0 45375 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 182372 [startup+210.121 s] /proc/loadavg: 0.99 1.00 0.99 2/64 27048 ################ # More data... # ################ /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 177943 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (Kb) 1430328 [startup+1783.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1782.68 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178043 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1782.68 Current children cumulated vsize (Kb) 1430328 [startup+1784.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1783.69 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178144 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1783.69 Current children cumulated vsize (Kb) 1430328 [startup+1785.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1784.69 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178244 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1784.69 Current children cumulated vsize (Kb) 1430328 [startup+1786.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1785.7 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178345 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1785.7 Current children cumulated vsize (Kb) 1430328 [startup+1787.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1786.7 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178445 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1786.7 Current children cumulated vsize (Kb) 1430328 [startup+1788.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1787.71 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178546 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1787.71 Current children cumulated vsize (Kb) 1430328 [startup+1789.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1788.71 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178646 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1788.71 Current children cumulated vsize (Kb) 1430328 [startup+1790.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1789.72 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178747 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581512 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1789.72 Current children cumulated vsize (Kb) 1430328 [startup+1791.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1790.72 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178847 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1790.72 Current children cumulated vsize (Kb) 1430328 [startup+1792.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1791.72 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 178947 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1791.72 Current children cumulated vsize (Kb) 1430328 [startup+1793.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1792.73 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179048 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1792.73 Current children cumulated vsize (Kb) 1430328 [startup+1794.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1793.73 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179148 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1793.73 Current children cumulated vsize (Kb) 1430328 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1794.74 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179249 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580369 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (Kb) 1430328 [startup+1796.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1795.74 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179349 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1795.74 Current children cumulated vsize (Kb) 1430328 [startup+1797.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1796.75 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179450 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (Kb) 1430328 [startup+1798.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1797.75 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179550 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (Kb) 1430328 [startup+1799.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1798.76 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179651 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1798.76 Current children cumulated vsize (Kb) 1430328 [startup+1800.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1799.76 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179751 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (Kb) 1430328 [startup+1801.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1800.77 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179852 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (Kb) 1430328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 27050 /proc/meminfo: memFree=176272/2055920 swapFree=4183060/4192956 [pid=27048] ppid=27046 vsize=1430328 CPUtime=1800.77 /proc/27048/stat : 27048 (minisat+) R 27046 27048 26999 0 -1 4194304 406536 0 0 0 179852 225 0 0 25 0 1 0 158623507 1464655872 354311 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/27048/statm: 357582 354311 123 215 0 357364 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (Kb) 1430328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.46 CPU time (s): 1801.01 CPU user time (s): 1798.53 CPU system time (s): 2.48362 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (Kb): 1600396 The end
Begin job on node41 on Fri Jul 28 20:12:04 UTC 2006 FILE ID= 49782-1154117523 PBS_JOBID= 886793 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node41/49782-1154117523/instance-49782-1154117523.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-49782-1154117523 -o ROOT/results/node41/solver-49782-1154117523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node41/49782-1154117523/instance-49782-1154117523.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 0d68396ddd3adb481a49ce1422ebcaec RANDOM SEED= 675575746 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.234 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.234 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: 1415944 kB Buffers: 37192 kB Cached: 526284 kB SwapCached: 3712 kB Active: 83436 kB Inactive: 488616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1415944 kB SwapTotal: 4192956 kB SwapFree: 4182960 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14516 kB Slab: 53796 kB Committed_AS: 640916 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Fri Jul 28 20:42:06 UTC 2006