Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.17 | 1800.81 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_10.opb |
MD5SUM | 904168892843efef74e3394360b8d762 |
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 | 26 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | NO |
Number of variables | 40363 |
Total number of constraints | 154319 |
Number of constraints which are clauses | 154296 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 22 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1952 |
Number of terms in the objective function | 1952 |
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 | 1952 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 36 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1988 |
Number of bits of the biggest sum of numbers | 11 |
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... 4.69/4.70 c Converting 154314 PB-constraints to clauses... 4.69/4.72 c -- Unit propagations: (none) 4.69/4.73 c -- Detecting intervals from adjacent constraints: ====================== 4.69/4.75 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 5.08/5.13 c ---[ 0]---> Adder-cost: 3878 maxlim: 1915 bits: 11/11 7.59/7.67 c ==================================[MINISAT+]================================== 7.59/7.67 c | Conflicts | Original | Learnt | Progress | 7.59/7.67 c | | Clauses Literals | Max Clauses Literals LPC | | 7.59/7.67 c ============================================================================== 7.59/7.67 c | 0 | 181388 483857 | 60462 0 0 nan | 0.000 % | 7.78/7.81 c | 100 | 181348 483723 | 66508 95 4618 48.6 | 0.050 % | 8.18/8.21 c | 250 | 181225 483298 | 73159 228 7304 32.0 | 0.097 % | 8.69/8.75 c | 475 | 181145 483026 | 80474 442 12505 28.3 | 0.129 % | 9.79/9.90 c | 812 | 181109 482892 | 88522 773 25131 32.5 | 0.140 % | 11.99/12.05 c | 1318 | 181026 482607 | 97374 1267 47725 37.7 | 0.174 % | 13.38/13.48 c | 2077 | 180985 482474 | 107112 2019 79045 39.2 | 0.192 % | 15.58/15.62 c | 3218 | 180976 482443 | 117823 3157 195712 62.0 | 0.194 % | 18.38/18.40 c | 4926 | 180976 482443 | 129605 4865 436390 89.7 | 0.194 % | 21.88/21.99 c | 7489 | 180976 482443 | 142566 7428 927832 124.9 | 0.194 % | 25.60/25.64 c | 11335 | 180976 482443 | 156822 11274 1886793 167.4 | 0.194 % | 36.77/36.83 c | 17101 | 180976 482443 | 172505 17040 3339362 196.0 | 0.194 % | 47.77/47.82 c | 25750 | 180976 482443 | 189755 25689 6080740 236.7 | 0.194 % | 67.36/67.46 c | 38725 | 180976 482443 | 208731 38664 11312660 292.6 | 0.194 % | 105.15/105.26 c | 58186 | 180976 482443 | 229604 58125 17961286 309.0 | 0.194 % | 174.23/174.36 c | 87379 | 180976 482443 | 252564 87318 28523671 326.7 | 0.194 % | 305.09/305.27 c | 131169 | 180976 482443 | 277821 131108 43124763 328.9 | 0.194 % | 564.01/564.26 c | 196853 | 180976 482443 | 305603 196792 72688842 369.4 | 0.194 % | 1176.44/1176.90 c | 295379 | 180976 482443 | 336163 295318 114542583 387.9 | 0.194 % | 1800.06/1800.71 c 1800.06/1800.71 c *** TERMINATED *** 1800.06/1800.71 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/373107-1177166742/instance-373107-1177166742.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-373107-1177166742 -o ROOT/results/node11/solver-373107-1177166742 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373107-1177166742/minisat+ /tmp/evaluation/373107-1177166742/instance-373107-1177166742.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.07 1.08 1.03 3/77 30306 /proc/meminfo: memFree=1820720/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=1352 CPUtime=0 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 157723159 1384448 173 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012077 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 338 175 68 215 0 120 0 [startup+0.0855451 s] /proc/loadavg: 1.07 1.08 1.03 3/77 30306 /proc/meminfo: memFree=1820720/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=2444 CPUtime=0.08 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 436 0 0 0 8 0 0 0 18 0 1 0 157723159 2502656 421 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 611 421 75 215 0 393 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2444 [startup+0.101545 s] /proc/loadavg: 1.07 1.08 1.03 3/77 30306 /proc/meminfo: memFree=1820720/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=2576 CPUtime=0.09 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 477 0 0 0 9 0 0 0 18 0 1 0 157723159 2637824 462 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 644 462 75 215 0 426 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2576 [startup+0.301569 s] /proc/loadavg: 1.07 1.08 1.03 3/77 30306 /proc/meminfo: memFree=1820720/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=4528 CPUtime=0.29 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 948 0 0 0 29 0 0 0 19 0 1 0 157723159 4636672 933 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 1132 933 75 215 0 914 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4528 [startup+0.701617 s] /proc/loadavg: 1.07 1.08 1.03 3/77 30306 /proc/meminfo: memFree=1820720/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=8288 CPUtime=0.69 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 1880 0 0 0 68 1 0 0 23 0 1 0 157723159 8486912 1865 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 2072 1865 75 215 0 1854 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8288 [startup+1.50171 s] /proc/loadavg: 1.07 1.08 1.03 2/78 30307 /proc/meminfo: memFree=1810664/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=15884 CPUtime=1.49 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 3757 0 0 0 148 1 0 0 25 0 1 0 157723159 16265216 3742 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 3971 3742 75 215 0 3753 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15884 [startup+3.1019 s] /proc/loadavg: 1.07 1.08 1.03 2/78 30307 /proc/meminfo: memFree=1800232/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=31220 CPUtime=3.09 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 7557 0 0 0 305 4 0 0 25 0 1 0 157723159 31969280 7492 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 7805 7492 75 215 0 7587 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31220 [startup+6.30128 s] /proc/loadavg: 1.14 1.10 1.04 2/78 30307 /proc/meminfo: memFree=1767720/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=54320 CPUtime=6.28 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 13559 0 0 0 602 26 0 0 25 0 1 0 157723159 55623680 13257 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 13580 13257 89 215 0 13362 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54320 [startup+12.701 s] /proc/loadavg: 1.13 1.09 1.04 2/78 30307 /proc/meminfo: memFree=1762472/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=59924 CPUtime=12.68 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 15151 0 0 0 1241 27 0 0 25 0 1 0 157723159 61362176 14568 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 14981 14568 123 215 0 14763 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59924 [startup+25.5016 s] /proc/loadavg: 1.10 1.09 1.04 2/78 30307 /proc/meminfo: memFree=1762480/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=59924 CPUtime=25.48 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 15155 0 0 0 2521 27 0 0 25 0 1 0 157723159 61362176 14572 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 14981 14572 123 215 0 14763 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59924 [startup+51.1016 s] /proc/loadavg: 1.06 1.08 1.03 2/78 30307 /proc/meminfo: memFree=1754416/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=68748 CPUtime=51.07 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 17351 0 0 0 5078 29 0 0 25 0 1 0 157723159 70397952 16768 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 17187 16768 123 215 0 16969 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 68748 [startup+102.306 s] /proc/loadavg: 1.03 1.07 1.03 2/78 30307 /proc/meminfo: memFree=1710000/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=112456 CPUtime=102.25 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 28255 0 0 0 10187 38 0 0 25 0 1 0 157723159 115154944 27672 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580711 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 28114 27672 123 215 0 27896 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 112456 [startup+162.302 s] /proc/loadavg: 1.01 1.05 1.02 2/78 30307 /proc/meminfo: memFree=1672176/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=150592 CPUtime=162.23 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 37792 0 0 0 16176 47 0 0 25 0 1 0 157723159 154206208 37209 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 37648 37209 123 215 0 37430 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 150592 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.02 2/78 30307 /proc/meminfo: memFree=1639088/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=183188 CPUtime=222.21 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 45937 0 0 0 22166 55 0 0 25 0 1 0 157723159 187584512 45354 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 45797 45354 123 215 0 45579 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 183188 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.01 2/78 30307 /proc/meminfo: memFree=1611760/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=210532 CPUtime=282.2 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 52782 0 0 0 28157 63 0 0 25 0 1 0 157723159 215584768 52199 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 52633 52199 123 215 0 52415 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 210532 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.01 2/78 30307 /proc/meminfo: memFree=1587952/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=234364 CPUtime=342.18 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 58678 0 0 0 34150 68 0 0 25 0 1 0 157723159 239988736 58095 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 58591 58095 123 215 0 58373 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 234364 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 30307 /proc/meminfo: memFree=1555696/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=266912 CPUtime=402.16 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 66835 0 0 0 40142 74 0 0 25 0 1 0 157723159 273317888 66252 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588834 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 66728 66252 123 215 0 66510 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 266912 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30307 /proc/meminfo: memFree=1527344/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=294724 CPUtime=462.14 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 73812 0 0 0 46136 78 0 0 25 0 1 0 157723159 301797376 73229 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 73681 73229 123 215 0 73463 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 294724 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 30307 /proc/meminfo: memFree=1500336/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=322088 CPUtime=522.12 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 80635 0 0 0 52128 84 0 0 25 0 1 0 157723159 329818112 80052 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 80522 80052 123 215 0 80304 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 322088 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30307 /proc/meminfo: memFree=1477104/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=345124 CPUtime=582.11 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 86402 0 0 0 58121 90 0 0 25 0 1 0 157723159 353406976 85819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 86281 85819 123 215 0 86063 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 345124 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30307 /proc/meminfo: memFree=1456432/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=365772 CPUtime=642.1 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 91474 0 0 0 64116 94 0 0 25 0 1 0 157723159 374550528 90891 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134575280 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 91443 90891 123 215 0 91225 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 365772 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30307 /proc/meminfo: memFree=1372848/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=448968 CPUtime=882.02 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 112320 0 0 0 88091 111 0 0 25 0 1 0 157723159 459743232 111737 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 112242 111737 123 215 0 112024 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 448968 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 30429 /proc/meminfo: memFree=1356776/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=464000 CPUtime=941.94 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 116070 0 0 0 94080 114 0 0 25 0 1 0 157723159 475136000 115487 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 116000 115487 123 215 0 115782 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 464000 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 30505 /proc/meminfo: memFree=1345392/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=476296 CPUtime=1001.88 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 119164 0 0 0 100071 117 0 0 25 0 1 0 157723159 487727104 118581 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 119074 118581 123 215 0 118856 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 476296 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1332656/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=489088 CPUtime=1061.87 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 122355 0 0 0 106067 120 0 0 25 0 1 0 157723159 500826112 121772 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581445 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 122272 121772 123 215 0 122054 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 489088 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1321200/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=500476 CPUtime=1121.85 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 125184 0 0 0 112061 124 0 0 25 0 1 0 157723159 512487424 124601 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581316 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 125119 124601 123 215 0 124901 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 500476 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1311216/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=510556 CPUtime=1181.83 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 127713 0 0 0 118057 126 0 0 25 0 1 0 157723159 522809344 127130 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 127639 127130 123 215 0 127421 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 510556 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1299248/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=522384 CPUtime=1241.81 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 130657 0 0 0 124052 129 0 0 25 0 1 0 157723159 534921216 130074 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 130596 130074 123 215 0 130378 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 522384 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1286576/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=534904 CPUtime=1301.8 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 133799 0 0 0 130049 131 0 0 25 0 1 0 157723159 547741696 133216 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580859 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 133726 133216 123 215 0 133508 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 534904 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1270576/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=551644 CPUtime=1361.77 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 137825 0 0 0 136042 135 0 0 25 0 1 0 157723159 564883456 137242 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 137911 137242 123 215 0 137693 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 551644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1257072/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=565064 CPUtime=1421.76 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 141198 0 0 0 142038 138 0 0 25 0 1 0 157723159 578625536 140615 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580473 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 141266 140615 123 215 0 141048 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 565064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1243696/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=578560 CPUtime=1481.73 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 144558 0 0 0 148032 141 0 0 25 0 1 0 157723159 592445440 143975 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 144640 143975 123 215 0 144422 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 578560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1229104/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=593012 CPUtime=1541.72 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 148194 0 0 0 154027 145 0 0 25 0 1 0 157723159 607244288 147611 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 148253 147611 123 215 0 148035 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 593012 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1217008/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=605156 CPUtime=1601.7 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 151226 0 0 0 160022 148 0 0 25 0 1 0 157723159 619679744 150643 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 151289 150643 123 215 0 151071 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 605156 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1205296/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=616920 CPUtime=1661.69 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 154156 0 0 0 166018 151 0 0 25 0 1 0 157723159 631726080 153573 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580433 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 154230 153573 123 215 0 154012 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 616920 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1195376/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=627044 CPUtime=1721.66 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 156666 0 0 0 172013 153 0 0 25 0 1 0 157723159 642093056 156083 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 156761 156083 123 215 0 156543 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 627044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1180464/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=641704 CPUtime=1781.65 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 160343 0 0 0 178009 156 0 0 25 0 1 0 157723159 657104896 159760 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568486 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 160426 159760 123 215 0 160208 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 641704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1180464/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=641704 CPUtime=1800.06 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194304 160344 0 0 0 179849 157 0 0 25 0 1 0 157723159 657104896 159761 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577447 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 160426 159761 123 215 0 160208 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 641704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30505 /proc/meminfo: memFree=1180464/2055920 swapFree=4150632/4192956 [pid=30306] ppid=30304 vsize=0 CPUtime=1800.15 /proc/30306/stat : 30306 (minisat+) R 30304 30306 29568 0 -1 4194308 160345 0 0 0 179849 166 0 0 25 0 1 0 157723159 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/30306/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.17 CPU user time (s): 1798.49 CPU system time (s): 1.67274 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 641704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.49 system time used= 1.67274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160345 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= 1567 involuntary context switches= 38557 runsolver used 2.22266 second user time and 4.68329 second system time The end
Begin job on node11 on Sat Apr 21 14:45:42 UTC 2007 IDJOB= 373107 IDBENCH= 25020 IDSOLVER= 156 FILE ID= node11/373107-1177166742 PBS_JOBID= 4648936 Free space on /tmp= 66342 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb COMMAND LINE= /tmp/evaluation/373107-1177166742/minisat+ /tmp/evaluation/373107-1177166742/instance-373107-1177166742.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-373107-1177166742 -o ROOT/results/node11/conversion-373107-1177166742 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373107-1177166742/instance-373107-1177166742.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-373107-1177166742 -o ROOT/results/node11/solver-373107-1177166742 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373107-1177166742/minisat+ /tmp/evaluation/373107-1177166742/instance-373107-1177166742.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 904168892843efef74e3394360b8d762 RANDOM SEED= 50901129 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1821192 kB Buffers: 33732 kB Cached: 115824 kB SwapCached: 10856 kB Active: 72376 kB Inactive: 100540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821192 kB SwapTotal: 4192956 kB SwapFree: 4150632 kB Dirty: 6960 kB Writeback: 0 kB Mapped: 30448 kB Slab: 47284 kB Committed_AS: 6256404 kB PageTables: 1848 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= 66342 MiB End job on node11 on Sat Apr 21 15:15:45 UTC 2007