Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | Signal | 832.181 | 832.476 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb |
MD5SUM | b84118647f5769628768e7496e1b2ec3 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 62.7095 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 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/0.00 c Parsing PB file... 22.19/22.27 c Converting 376502 PB-constraints to clauses... 22.29/22.37 c -- Unit propagations: (none) 809.55/809.87 c -- Detecting intervals from adjacent constraints: # 809.65/809.96 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 810.34/810.65 c ---[ 0]--->
ERROR: no interpretation found !
/tmp/evaluation/355319-1176806476/instance-355319-1176806476.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-355319-1176806476 -o ROOT/results/node14/solver-355319-1176806476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355319-1176806476/minisat+ /tmp/evaluation/355319-1176806476/instance-355319-1176806476.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.01 1.00 3/77 31026 /proc/meminfo: memFree=1501712/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=1048 CPUtime=0 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 128565459 1073152 101 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 262 101 74 215 0 44 0 [startup+0.102622 s] /proc/loadavg: 1.01 1.01 1.00 3/77 31026 /proc/meminfo: memFree=1501712/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=2196 CPUtime=0.09 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 378 0 0 0 9 0 0 0 18 0 1 0 128565459 2248704 363 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 549 363 74 215 0 331 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2196 [startup+0.202627 s] /proc/loadavg: 1.01 1.01 1.00 3/77 31026 /proc/meminfo: memFree=1501712/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=3124 CPUtime=0.19 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 624 0 0 0 19 0 0 0 18 0 1 0 128565459 3198976 609 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 781 609 74 215 0 563 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3124 [startup+0.301636 s] /proc/loadavg: 1.01 1.01 1.00 3/77 31026 /proc/meminfo: memFree=1501712/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=4128 CPUtime=0.29 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 875 0 0 0 29 0 0 0 19 0 1 0 128565459 4227072 860 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 1032 860 74 215 0 814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4128 [startup+0.701674 s] /proc/loadavg: 1.01 1.01 1.00 3/77 31026 /proc/meminfo: memFree=1501712/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=7948 CPUtime=0.69 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 1822 0 0 0 68 1 0 0 22 0 1 0 128565459 8138752 1807 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 1987 1807 74 215 0 1769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7948 [startup+1.50176 s] /proc/loadavg: 1.01 1.01 1.00 2/78 31027 /proc/meminfo: memFree=1490312/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=15436 CPUtime=1.49 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 3669 0 0 0 147 2 0 0 25 0 1 0 128565459 15806464 3654 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 3859 3654 74 215 0 3641 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15436 [startup+3.1019 s] /proc/loadavg: 1.09 1.03 1.01 2/78 31027 /proc/meminfo: memFree=1480776/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=30716 CPUtime=3.09 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 7413 0 0 0 304 5 0 0 25 0 1 0 128565459 31453184 7348 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 7679 7348 74 215 0 7461 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30716 [startup+6.3012 s] /proc/loadavg: 1.09 1.03 1.01 2/78 31027 /proc/meminfo: memFree=1450440/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=61724 CPUtime=6.29 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 14793 0 0 0 620 9 0 0 25 0 1 0 128565459 63205376 14645 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 15431 14645 74 215 0 15213 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61724 [startup+12.7018 s] /proc/loadavg: 1.08 1.03 1.00 2/78 31027 /proc/meminfo: memFree=1395080/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=110720 CPUtime=12.69 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 27288 0 0 0 1252 17 0 0 25 0 1 0 128565459 113377280 26975 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 27680 26976 74 215 0 27462 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 110720 [startup+25.502 s] /proc/loadavg: 1.06 1.02 1.00 2/78 31027 /proc/meminfo: memFree=1322184/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=25.48 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 2519 29 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 182160 [startup+51.1014 s] /proc/loadavg: 1.04 1.02 1.00 2/78 31027 /proc/meminfo: memFree=1322440/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=51.06 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 5077 29 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 182160 [startup+102.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 31027 /proc/meminfo: memFree=1322504/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=102.25 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 10195 30 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 182160 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 31027 /proc/meminfo: memFree=1322440/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=162.23 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 16193 30 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 182160 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1322440/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=222.21 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 22191 30 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 182160 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1322440/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=282.2 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 28189 31 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 182160 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1322376/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=342.18 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 34187 31 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 182160 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1322376/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=402.17 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 40185 32 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 182160 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1322376/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=462.14 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 46182 32 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 182160 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1322376/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=182160 CPUtime=522.13 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 52180 33 0 0 25 0 1 0 128565459 186531840 44875 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621772 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45540 44875 83 215 0 45322 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 182160 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323464/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=582.11 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 58178 33 0 0 25 0 1 0 128565459 185237504 44559 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44559 83 215 0 45006 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 180896 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323464/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=642.09 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 64176 33 0 0 25 0 1 0 128565459 185237504 44559 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44559 83 215 0 45006 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 180896 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323464/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=702.08 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 70174 34 0 0 25 0 1 0 128565459 185237504 44559 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44559 83 215 0 45006 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 180896 [startup+762.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323528/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=762.07 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47446 0 0 0 76173 34 0 0 25 0 1 0 128565459 185237504 44559 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809952 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44559 83 215 0 45006 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 180896 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323592/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=822.05 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47451 0 0 0 82139 66 0 0 25 0 1 0 128565459 185237504 44564 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012160 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44564 88 215 0 45006 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 180896 Solver just ended. Dumping a history of the last processes samples [startup+825.602 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323592/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=825.34 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47451 0 0 0 82468 66 0 0 25 0 1 0 128565459 185237504 44564 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44564 88 215 0 45006 0 Current children cumulated CPU time (s) 825.34 Current children cumulated vsize (KiB) 180896 [startup+828.802 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323592/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=828.54 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47451 0 0 0 82788 66 0 0 25 0 1 0 128565459 185237504 44564 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134529064 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44564 88 215 0 45006 0 Current children cumulated CPU time (s) 828.54 Current children cumulated vsize (KiB) 180896 [startup+830.401 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323592/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=830.14 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47451 0 0 0 82948 66 0 0 25 0 1 0 128565459 185237504 44564 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838470 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44564 88 215 0 45006 0 Current children cumulated CPU time (s) 830.14 Current children cumulated vsize (KiB) 180896 [startup+831.202 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1323592/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=180896 CPUtime=830.94 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4194304 47451 0 0 0 83028 66 0 0 25 0 1 0 128565459 185237504 44564 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 45224 44564 88 215 0 45006 0 Current children cumulated CPU time (s) 830.94 Current children cumulated vsize (KiB) 180896 [startup+832.001 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1313928/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=193168 CPUtime=831.74 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4195840 50523 0 0 0 83071 103 0 0 25 0 1 0 128565459 197804032 47633 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135010327 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 48292 47633 89 215 0 48074 0 Current children cumulated CPU time (s) 831.74 Current children cumulated vsize (KiB) 193168 [startup+832.401 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31027 /proc/meminfo: memFree=1313928/2055920 swapFree=4145120/4192956 [pid=31026] ppid=31024 vsize=0 CPUtime=832.14 /proc/31026/stat : 31026 (minisat+) R 31024 31026 30258 0 -1 4195844 51052 0 0 0 83071 143 0 0 25 0 1 0 128565459 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31026/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 832.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Real time (s): 832.476 CPU time (s): 832.181 CPU user time (s): 830.713 CPU system time (s): 1.46778 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 193168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 830.713 system time used= 1.46778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51052 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1281 involuntary context switches= 2436 runsolver used 1.2898 second user time and 2.34164 second system time The end
Begin job on node14 on Tue Apr 17 10:41:17 UTC 2007 IDJOB= 355319 IDBENCH= 3036 IDSOLVER= 156 FILE ID= node14/355319-1176806476 PBS_JOBID= 4586227 Free space on /tmp= 66284 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-280035866.opb COMMAND LINE= /tmp/evaluation/355319-1176806476/minisat+ /tmp/evaluation/355319-1176806476/instance-355319-1176806476.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-355319-1176806476 -o ROOT/results/node14/conversion-355319-1176806476 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/355319-1176806476/instance-355319-1176806476.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-355319-1176806476 -o ROOT/results/node14/solver-355319-1176806476 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355319-1176806476/minisat+ /tmp/evaluation/355319-1176806476/instance-355319-1176806476.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b84118647f5769628768e7496e1b2ec3 RANDOM SEED= 910103800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 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.227 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: 1502056 kB Buffers: 32572 kB Cached: 448496 kB SwapCached: 15740 kB Active: 134836 kB Inactive: 373876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1502056 kB SwapTotal: 4192956 kB SwapFree: 4145120 kB Dirty: 27668 kB Writeback: 0 kB Mapped: 30176 kB Slab: 30664 kB Committed_AS: 6559944 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66098 MiB End job on node14 on Tue Apr 17 10:55:10 UTC 2007