Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | Signal | 812.802 | 813.083 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522-max.opb |
MD5SUM | 50ef915b8394905691666d94e6255b02 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 126251 |
Total number of constraints | 376501 |
Number of constraints which are clauses | 376500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 125500 |
Number of terms in the objective function | 251 |
Biggest coefficient in the objective function | 1809251394333065553493296640760748560207343510400633813116524750123642650624 |
Number of bits for the biggest coefficient in the objective function | 251 |
Sum of the numbers in the objective function | 3618502788666131106986593281521497120414687020801267626233049500247285301247 |
Number of bits of the sum of numbers in the objective function | 251 |
Biggest number in a constraint | 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312 |
Number of bits of the biggest number in a constraint | 750 |
Biggest sum of numbers in a constraint | 11844773043065711480323635013294239465766037117894719018089691452225120183458939186359237855339087154914381761439684078145960801002138540726341456750663926391477739601670186323216597922945296376611154942589417036267773885199147 |
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... 21.58/21.63 c Converting 376502 PB-constraints to clauses... 21.69/21.73 c -- Unit propagations: (none) 789.87/790.15 c -- Detecting intervals from adjacent constraints: # 789.97/790.24 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 790.67/790.94 c ---[ 0]--->
ERROR: no interpretation found !
/tmp/evaluation/350238-1176808899/instance-350238-1176808899.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-350238-1176808899 -o ROOT/results/node61/solver-350238-1176808899 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350238-1176808899/minisat+ /tmp/evaluation/350238-1176808899/instance-350238-1176808899.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: 0.92 0.98 0.99 3/64 9106 /proc/meminfo: memFree=1878152/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=1048 CPUtime=0 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 92853689 1073152 93 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 262 94 68 215 0 44 0 [startup+0.088399 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9106 /proc/meminfo: memFree=1878152/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=2044 CPUtime=0.08 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 343 0 0 0 8 0 0 0 18 0 1 0 92853689 2093056 328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 511 328 74 215 0 293 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2044 [startup+0.1014 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9106 /proc/meminfo: memFree=1878152/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=2204 CPUtime=0.09 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 377 0 0 0 9 0 0 0 18 0 1 0 92853689 2256896 362 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 551 362 74 215 0 333 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2204 [startup+0.301419 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9106 /proc/meminfo: memFree=1878152/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=4144 CPUtime=0.29 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 878 0 0 0 28 1 0 0 19 0 1 0 92853689 4243456 863 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 1036 863 74 215 0 818 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4144 [startup+0.701456 s] /proc/loadavg: 0.92 0.98 0.99 3/64 9106 /proc/meminfo: memFree=1878152/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=8116 CPUtime=0.69 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 1868 0 0 0 67 2 0 0 22 0 1 0 92853689 8310784 1853 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 2029 1853 74 215 0 1811 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8116 [startup+1.50153 s] /proc/loadavg: 0.92 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1868992/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=16536 CPUtime=1.49 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 3887 0 0 0 146 3 0 0 25 0 1 0 92853689 16932864 3872 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 4134 3872 74 215 0 3916 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16536 [startup+3.10169 s] /proc/loadavg: 0.92 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1858240/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=32076 CPUtime=3.09 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 7788 0 0 0 303 6 0 0 25 0 1 0 92853689 32845824 7723 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 8019 7724 74 215 0 7801 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32076 [startup+6.30199 s] /proc/loadavg: 0.93 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1826048/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=64728 CPUtime=6.29 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 15635 0 0 0 618 11 0 0 25 0 1 0 92853689 66281472 15487 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 16182 15487 74 215 0 15964 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64728 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1771328/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=112136 CPUtime=12.69 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 27641 0 0 0 1252 17 0 0 25 0 1 0 92853689 114827264 27328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 28034 27328 74 215 0 27816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 112136 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699328/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=25.49 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 2521 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005288 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 182424 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699584/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=51.07 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 5079 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 182424 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699648/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=102.26 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 10198 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812721 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 182424 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699584/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=162.24 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 16196 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530445 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 182424 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699584/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=222.23 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 22195 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812690 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 182424 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699584/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=282.21 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 28193 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 182424 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699584/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=342.19 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 34191 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 182424 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9107 /proc/meminfo: memFree=1699520/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=402.18 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 40190 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621312 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 182424 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699328/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=462.16 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 46188 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 182424 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699392/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=182424 CPUtime=522.14 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 52186 28 0 0 25 0 1 0 92853689 186802176 44940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45606 44940 83 215 0 45388 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 182424 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699840/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=582.12 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 58184 28 0 0 25 0 1 0 92853689 186265600 44809 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44809 83 215 0 45257 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 181900 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699840/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=642.11 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 64183 28 0 0 25 0 1 0 92853689 186265600 44809 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44809 83 215 0 45257 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 181900 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699904/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=702.09 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 70181 28 0 0 25 0 1 0 92853689 186265600 44809 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134805825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44809 83 215 0 45257 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 181900 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699904/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=762.08 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 76180 28 0 0 25 0 1 0 92853689 186265600 44809 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44809 83 215 0 45257 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 181900 Solver just ended. Dumping a history of the last processes samples [startup+767.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699904/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=767.67 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47498 0 0 0 76739 28 0 0 25 0 1 0 92853689 186265600 44809 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44809 83 215 0 45257 0 Current children cumulated CPU time (s) 767.67 Current children cumulated vsize (KiB) 181900 [startup+793.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699776/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=793.26 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47503 0 0 0 79267 59 0 0 25 0 1 0 92853689 186265600 44814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44814 88 215 0 45257 0 Current children cumulated CPU time (s) 793.26 Current children cumulated vsize (KiB) 181900 [startup+806.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699776/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=806.06 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47503 0 0 0 80547 59 0 0 25 0 1 0 92853689 186265600 44814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134529080 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44814 88 215 0 45257 0 Current children cumulated CPU time (s) 806.06 Current children cumulated vsize (KiB) 181900 [startup+809.502 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699776/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=809.26 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47503 0 0 0 80867 59 0 0 25 0 1 0 92853689 186265600 44814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134808936 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44814 88 215 0 45257 0 Current children cumulated CPU time (s) 809.26 Current children cumulated vsize (KiB) 181900 [startup+811.102 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699776/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=810.85 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47503 0 0 0 81026 59 0 0 25 0 1 0 92853689 186265600 44814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44814 88 215 0 45257 0 Current children cumulated CPU time (s) 810.85 Current children cumulated vsize (KiB) 181900 [startup+811.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699776/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=181900 CPUtime=811.65 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4194304 47503 0 0 0 81106 59 0 0 25 0 1 0 92853689 186265600 44814 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 45475 44814 88 215 0 45257 0 Current children cumulated CPU time (s) 811.65 Current children cumulated vsize (KiB) 181900 [startup+812.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1699776/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=194172 CPUtime=812.45 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4195840 50581 0 0 0 81141 104 0 0 25 0 1 0 92853689 198832128 47883 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135010327 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 48543 47883 89 215 0 48325 0 Current children cumulated CPU time (s) 812.45 Current children cumulated vsize (KiB) 194172 [startup+812.906 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1542720/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=194172 CPUtime=812.66 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4195840 50581 0 0 0 81141 125 0 0 25 0 1 0 92853689 198832128 47883 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135010327 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 48543 47883 89 215 0 48325 0 Current children cumulated CPU time (s) 812.66 Current children cumulated vsize (KiB) 194172 [startup+813.002 s] /proc/loadavg: 0.99 0.98 0.99 2/65 9109 /proc/meminfo: memFree=1542720/2055920 swapFree=4181928/4192956 [pid=9106] ppid=9104 vsize=194172 CPUtime=812.75 /proc/9106/stat : 9106 (minisat+) R 9104 9106 8342 0 -1 4195840 51105 0 0 0 81141 134 0 0 25 0 1 0 92853689 198832128 47883 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135010327 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9106/statm: 48543 47883 89 215 0 48325 0 Current children cumulated CPU time (s) 812.75 Current children cumulated vsize (KiB) 194172 Child ended because it received signal 11 (SIGSEGV) Real time (s): 813.083 CPU time (s): 812.802 CPU user time (s): 811.416 CPU system time (s): 1.38679 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 194172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 811.416 system time used= 1.38679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51105 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= 1179 involuntary context switches= 1947 runsolver used 0.791879 second user time and 2.12668 second system time The end
Begin job on node61 on Tue Apr 17 11:21:40 UTC 2007 IDJOB= 350238 IDBENCH= 3052 IDSOLVER= 156 FILE ID= node61/350238-1176808899 PBS_JOBID= 4586242 Free space on /tmp= 66493 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-293748522-max.opb COMMAND LINE= /tmp/evaluation/350238-1176808899/minisat+ /tmp/evaluation/350238-1176808899/instance-350238-1176808899.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-350238-1176808899 -o ROOT/results/node61/conversion-350238-1176808899 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350238-1176808899/instance-350238-1176808899.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-350238-1176808899 -o ROOT/results/node61/solver-350238-1176808899 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350238-1176808899/minisat+ /tmp/evaluation/350238-1176808899/instance-350238-1176808899.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 50ef915b8394905691666d94e6255b02 RANDOM SEED= 241439518 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1878496 kB Buffers: 9924 kB Cached: 123952 kB SwapCached: 5320 kB Active: 68116 kB Inactive: 78520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1878496 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 27568 kB Writeback: 0 kB Mapped: 16040 kB Slab: 16880 kB Committed_AS: 766672 kB PageTables: 1392 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= 66307 MiB End job on node61 on Tue Apr 17 11:35:14 UTC 2007