Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.16 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb |
MD5SUM | 7937d419688402745c19e3544f97b6e8 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of variables | 99789 |
Total number of constraints | 388956 |
Number of constraints which are clauses | 388925 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3140 |
Number of terms in the objective function | 3140 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3140 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 3178 |
Number of bits of the biggest sum of numbers | 12 |
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... 11.89/11.96 c Converting 388951 PB-constraints to clauses... 12.00/12.02 c -- Unit propagations: (none) 12.00/12.03 c -- Detecting intervals from adjacent constraints: ========================== 12.00/12.08 c -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 12.97/13.00 c ---[ 0]---> Adder-cost: 6254 maxlim: 3101 bits: 12/12 19.17/19.21 c ==================================[MINISAT+]================================== 19.17/19.21 c | Conflicts | Original | Learnt | Progress | 19.17/19.21 c | | Clauses Literals | Max Clauses Literals LPC | | 19.17/19.21 c ============================================================================== 19.17/19.21 c | 0 | 432647 1131269 | 144215 0 0 nan | 0.000 % | 19.47/19.55 c | 100 | 432570 1131004 | 158636 94 3454 36.7 | 0.027 % | 20.67/20.70 c | 250 | 432570 1131004 | 174500 244 19650 80.5 | 0.027 % | 22.17/22.24 c | 475 | 432570 1131004 | 191950 469 23288 49.7 | 0.027 % | 24.37/24.48 c | 812 | 432542 1130902 | 211145 802 73049 91.1 | 0.032 % | 29.67/29.79 c | 1318 | 432425 1130477 | 232259 1292 105113 81.4 | 0.052 % | 33.46/33.54 c | 2078 | 432416 1130448 | 255485 2051 131870 64.3 | 0.054 % | 38.55/38.68 c | 3217 | 431911 1128739 | 281034 3092 454533 147.0 | 0.140 % | 48.14/48.26 c | 4925 | 431911 1128739 | 309137 4800 1004618 209.3 | 0.140 % | 52.94/53.04 c | 7487 | 431911 1128739 | 340051 7362 1604301 217.9 | 0.140 % | 58.54/58.61 c | 11334 | 431902 1128710 | 374056 11208 2596756 231.7 | 0.141 % | 71.04/71.11 c | 17100 | 431902 1128710 | 411462 16974 6761843 398.4 | 0.141 % | 82.03/82.15 c | 25752 | 431902 1128710 | 452608 25626 11405284 445.1 | 0.141 % | 139.42/139.55 c | 38726 | 431902 1128710 | 497869 38600 16555919 428.9 | 0.141 % | 192.11/192.22 c | 58187 | 431902 1128710 | 547656 58061 27889158 480.3 | 0.141 % | 274.19/274.39 c | 87379 | 431902 1128710 | 602421 87253 43863757 502.7 | 0.141 % | 430.75/430.98 c | 131168 | 431902 1128710 | 662664 131042 63642689 485.7 | 0.141 % | 886.34/886.66 c | 196853 | 431902 1128710 | 728930 196727 115014126 584.6 | 0.141 % | 1800.02/1800.50 c 1800.02/1800.50 c *** TERMINATED *** 1800.02/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/373009-1177156201/instance-373009-1177156201.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node68/watcher-373009-1177156201 -o ROOT/results/node68/solver-373009-1177156201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373009-1177156201/minisat+ /tmp/evaluation/373009-1177156201/instance-373009-1177156201.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.05 1.01 3/64 7977 /proc/meminfo: memFree=1771912/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=1352 CPUtime=0 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 191609734 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 338 172 67 215 0 120 0 [startup+0.0788499 s] /proc/loadavg: 1.02 1.05 1.01 3/64 7977 /proc/meminfo: memFree=1771912/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=2604 CPUtime=0.07 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 477 0 0 0 7 0 0 0 18 0 1 0 191609734 2666496 462 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 651 462 75 215 0 433 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2604 [startup+0.101853 s] /proc/loadavg: 1.02 1.05 1.01 3/64 7977 /proc/meminfo: memFree=1771912/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=2844 CPUtime=0.09 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 532 0 0 0 9 0 0 0 18 0 1 0 191609734 2912256 517 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 711 517 75 215 0 493 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2844 [startup+0.301874 s] /proc/loadavg: 1.02 1.05 1.01 3/64 7977 /proc/meminfo: memFree=1771912/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=4724 CPUtime=0.29 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 1020 0 0 0 29 0 0 0 19 0 1 0 191609734 4837376 1003 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 1181 1004 75 215 0 963 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4724 [startup+0.701906 s] /proc/loadavg: 1.02 1.05 1.01 3/64 7977 /proc/meminfo: memFree=1771912/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=8512 CPUtime=0.69 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 1953 0 0 0 69 0 0 0 22 0 1 0 191609734 8716288 1936 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 2128 1936 75 215 0 1910 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8512 [startup+1.50198 s] /proc/loadavg: 1.02 1.05 1.01 2/65 7978 /proc/meminfo: memFree=1761536/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=16428 CPUtime=1.49 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 3862 0 0 0 148 1 0 0 25 0 1 0 191609734 16822272 3845 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 4107 3845 75 215 0 3889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16428 [startup+3.10112 s] /proc/loadavg: 1.02 1.05 1.01 2/65 7978 /proc/meminfo: memFree=1751488/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=31396 CPUtime=3.09 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 7507 0 0 0 306 3 0 0 25 0 1 0 191609734 32149504 7448 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 7849 7448 75 215 0 7631 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31396 [startup+6.30141 s] /proc/loadavg: 1.02 1.05 1.01 2/65 7978 /proc/meminfo: memFree=1721216/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=60360 CPUtime=6.29 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 14896 0 0 0 623 6 0 0 25 0 1 0 191609734 61808640 14754 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134596988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 15090 14754 75 215 0 14872 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 60360 [startup+12.702 s] /proc/loadavg: 1.01 1.05 1.01 2/65 7978 /proc/meminfo: memFree=1653568/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=126844 CPUtime=12.68 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 31846 0 0 0 1227 41 0 0 18 0 1 0 191609734 129888256 30954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7977/statm: 31711 30954 87 215 0 31493 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 126844 [startup+25.5013 s] /proc/loadavg: 1.08 1.06 1.01 2/65 7978 /proc/meminfo: memFree=1630464/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=146096 CPUtime=25.47 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 36822 0 0 0 2492 55 0 0 25 0 1 0 191609734 149602304 35351 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 36524 35351 123 215 0 36306 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 146096 [startup+51.1017 s] /proc/loadavg: 1.05 1.06 1.01 2/65 7978 /proc/meminfo: memFree=1629952/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=146280 CPUtime=51.04 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 36986 0 0 0 5049 55 0 0 25 0 1 0 191609734 149790720 35426 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581316 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 36570 35426 123 215 0 36352 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 146280 [startup+102.305 s] /proc/loadavg: 1.02 1.05 1.00 2/65 7978 /proc/meminfo: memFree=1629120/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=147304 CPUtime=102.23 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 37239 0 0 0 10168 55 0 0 25 0 1 0 191609734 150839296 35679 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 36826 35679 123 215 0 36608 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 147304 [startup+162.302 s] /proc/loadavg: 1.01 1.04 1.00 2/65 7978 /proc/meminfo: memFree=1597760/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=179008 CPUtime=162.22 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 45276 0 0 0 16160 62 0 0 25 0 1 0 191609734 183304192 43616 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 44752 43616 123 215 0 44534 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 179008 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/65 7978 /proc/meminfo: memFree=1542720/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=233704 CPUtime=222.2 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 59330 0 0 0 22148 72 0 0 25 0 1 0 191609734 239312896 57275 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 58426 57275 123 215 0 58208 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 233704 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7978 /proc/meminfo: memFree=1498368/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=278236 CPUtime=282.19 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 71223 0 0 0 28137 82 0 0 25 0 1 0 191609734 284913664 68413 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 69559 68413 123 215 0 69341 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 278236 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7978 /proc/meminfo: memFree=1466304/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=310076 CPUtime=342.17 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 79151 0 0 0 34128 89 0 0 25 0 1 0 191609734 317517824 76341 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 77519 76341 123 215 0 77301 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 310076 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7978 /proc/meminfo: memFree=1434944/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=341404 CPUtime=402.15 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 86985 0 0 0 40121 94 0 0 25 0 1 0 191609734 349597696 84175 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 85351 84175 123 215 0 85133 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 341404 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7978 /proc/meminfo: memFree=1407808/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=368412 CPUtime=462.14 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 93758 0 0 0 46115 99 0 0 25 0 1 0 191609734 377253888 90948 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 92103 90948 123 215 0 91885 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 368412 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7978 /proc/meminfo: memFree=1378752/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=398016 CPUtime=522.13 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 101085 0 0 0 52109 104 0 0 25 0 1 0 191609734 407568384 98275 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576851 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 99504 98275 123 215 0 99286 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 398016 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7978 /proc/meminfo: memFree=1347456/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=428916 CPUtime=582.11 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 108817 0 0 0 58101 110 0 0 25 0 1 0 191609734 439209984 106006 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 107229 106006 123 215 0 107011 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 428916 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7978 /proc/meminfo: memFree=1316352/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=459572 CPUtime=642.1 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 116513 0 0 0 64095 115 0 0 25 0 1 0 191609734 470601728 113700 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 114893 113700 123 215 0 114675 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 459572 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1216576/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=559032 CPUtime=882.03 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 141374 0 0 0 88051 152 0 0 25 0 1 0 191609734 572448768 138556 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 139758 138556 123 215 0 139540 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 559032 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1196544/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=579520 CPUtime=942.02 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 146497 0 0 0 94045 157 0 0 25 0 1 0 191609734 593428480 143676 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 144880 143676 123 215 0 144662 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 579520 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1169152/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=607092 CPUtime=1002.01 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 153333 0 0 0 100039 162 0 0 25 0 1 0 191609734 621662208 150482 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 151773 150482 123 215 0 151555 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 607092 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1143424/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=633368 CPUtime=1061.99 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 159991 0 0 0 106034 165 0 0 25 0 1 0 191609734 648568832 157043 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 158342 157043 123 215 0 158124 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 633368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1111744/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=664260 CPUtime=1121.98 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 168001 0 0 0 112029 169 0 0 25 0 1 0 191609734 680202240 164779 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 166065 164779 123 215 0 165847 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 664260 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1086464/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=689524 CPUtime=1181.96 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 174604 0 0 0 118022 174 0 0 25 0 1 0 191609734 706072576 171091 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574559 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 172381 171091 123 215 0 172163 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 689524 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1066560/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=709324 CPUtime=1241.95 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 179578 0 0 0 124016 179 0 0 25 0 1 0 191609734 726347776 176059 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 177331 176059 123 215 0 177113 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 709324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1046016/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=729568 CPUtime=1301.94 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 184649 0 0 0 130013 181 0 0 25 0 1 0 191609734 747077632 181129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 182392 181129 123 215 0 182174 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 729568 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1023936/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=751844 CPUtime=1361.92 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 190204 0 0 0 136008 184 0 0 25 0 1 0 191609734 769888256 186684 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 187961 186684 123 215 0 187743 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 751844 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=1005312/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=770276 CPUtime=1421.91 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 194840 0 0 0 142004 187 0 0 25 0 1 0 191609734 788762624 191307 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 192569 191307 123 215 0 192351 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 770276 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=989056/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=786764 CPUtime=1481.89 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 198937 0 0 0 148000 189 0 0 25 0 1 0 191609734 805646336 195404 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576192 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 196691 195404 123 215 0 196473 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 786764 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=966848/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=808780 CPUtime=1541.87 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 204461 0 0 0 153994 193 0 0 25 0 1 0 191609734 828190720 200928 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 202195 200928 123 215 0 201977 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 808780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=947072/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=828564 CPUtime=1601.86 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 209416 0 0 0 159990 196 0 0 25 0 1 0 191609734 848449536 205882 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 207141 205882 123 215 0 206923 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 828564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=930560/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=845120 CPUtime=1661.85 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 213551 0 0 0 165986 199 0 0 25 0 1 0 191609734 865402880 210015 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 211280 210015 123 215 0 211062 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 845120 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=913216/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=862464 CPUtime=1721.83 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 217889 0 0 0 171981 202 0 0 25 0 1 0 191609734 883163136 214353 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581332 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 215616 214353 123 215 0 215398 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 862464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=894592/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=880732 CPUtime=1781.81 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 222471 0 0 0 177977 204 0 0 25 0 1 0 191609734 901869568 218935 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 220183 218935 123 215 0 219965 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 880732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8176 /proc/meminfo: memFree=888704/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=886564 CPUtime=1800.02 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194304 223923 0 0 0 179796 206 0 0 25 0 1 0 191609734 907841536 220387 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 221641 220387 123 215 0 221423 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 886564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 8177 /proc/meminfo: memFree=1561784/2055920 swapFree=4183868/4192956 [pid=7977] ppid=7975 vsize=0 CPUtime=1800.12 /proc/7977/stat : 7977 (minisat+) R 7975 7977 7170 0 -1 4194308 223924 0 0 0 179796 216 0 0 25 0 1 0 191609734 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 0 0 0 /proc/7977/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.16 CPU user time (s): 1797.97 CPU system time (s): 2.19267 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 886564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.97 system time used= 2.19267 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223924 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= 2505 involuntary context switches= 2333 runsolver used 2.02469 second user time and 5.43917 second system time The end
Begin job on node68 on Sat Apr 21 11:50:02 UTC 2007 IDJOB= 373009 IDBENCH= 25013 IDSOLVER= 156 FILE ID= node68/373009-1177156201 PBS_JOBID= 4648878 Free space on /tmp= 66314 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb COMMAND LINE= /tmp/evaluation/373009-1177156201/minisat+ /tmp/evaluation/373009-1177156201/instance-373009-1177156201.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node68/convwatcher-373009-1177156201 -o ROOT/results/node68/conversion-373009-1177156201 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373009-1177156201/instance-373009-1177156201.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-373009-1177156201 -o ROOT/results/node68/solver-373009-1177156201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373009-1177156201/minisat+ /tmp/evaluation/373009-1177156201/instance-373009-1177156201.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8 RANDOM SEED= 184790126 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node68.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.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1772384 kB Buffers: 26768 kB Cached: 193448 kB SwapCached: 2824 kB Active: 61368 kB Inactive: 169312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1772384 kB SwapTotal: 4192956 kB SwapFree: 4183868 kB Dirty: 14112 kB Writeback: 0 kB Mapped: 16480 kB Slab: 38948 kB Committed_AS: 2823936 kB PageTables: 1384 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= 66314 MiB End job on node68 on Sat Apr 21 12:20:05 UTC 2007