Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.7 | 1801.22 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb |
MD5SUM | a399b3055416a9d1117a7f2bb11b2cef |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2.93055 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1440 |
Total number of constraints | 86040 |
Number of constraints which are clauses | 85680 |
Number of constraints which are cardinality constraints (but not clauses) | 360 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 4 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 3.74 c Converting 86400 PB-constraints to clauses... 3.76 c -- Unit propagations: (none) 3.76 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################## 3.77 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 3.99 c ---[86398]---> BDD-cost: 5 3.99 c ---[86396]---> BDD-cost: 5 3.99 c ---[86394]---> BDD-cost: 5 3.99 c ---[86392]---> BDD-cost: 5 3.99 c ---[86390]---> BDD-cost: 5 3.99 c ---[86388]---> BDD-cost: 5 3.99 c ---[86386]---> BDD-cost: 5 3.99 c ---[86384]---> BDD-cost: 5 3.99 c ---[86382]---> BDD-cost: 5 3.99 c ---[86380]---> BDD-cost: 5 3.99 c ---[86378]---> BDD-cost: 5 3.99 c ---[86376]---> BDD-cost: 5 3.99 c ---[86374]---> BDD-cost: 5 3.99 c ---[86372]---> BDD-cost: 5 3.99 c ---[86370]---> BDD-cost: 5 3.99 c ---[86368]---> BDD-cost: 5 3.99 c ---[86366]---> BDD-cost: 5 3.99 c ---[86364]---> BDD-cost: 5 3.99 c ---[86362]---> BDD-cost: 5 3.99 c ---[86360]---> BDD-cost: 5 3.99 c ---[86358]---> BDD-cost: 5 3.99 c ---[86356]---> BDD-cost: 5 3.99 c ---[86354]---> BDD-cost: 5 3.99 c ---[86352]---> BDD-cost: 5 3.99 c ---[86350]---> BDD-cost: 5 3.99 c ---[86348]---> BDD-cost: 5 3.99 c ---[86346]---> BDD-cost: 5 3.99 c ---[86344]---> BDD-cost: 5 3.99 c ---[86342]---> BDD-cost: 5 3.99 c ---[86340]---> BDD-cost: 5 3.99 c ---[86338]---> BDD-cost: 5 3.99 c ---[86336]---> BDD-cost: 5 3.99 c ---[86334]---> BDD-cost: 5 3.99 c ---[86332]---> BDD-cost: 5 3.99 c ---[86330]---> BDD-cost: 5 3.99 c ---[86328]---> BDD-cost: 5 3.99 c ---[86326]---> BDD-cost: 5 3.99 c ---[86324]---> BDD-cost: 5 3.99 c ---[86322]---> BDD-cost: 5 3.99 c ---[86320]---> BDD-cost: 5 3.99 c ---[86318]---> BDD-cost: 5 3.99 c ---[86316]---> BDD-cost: 5 3.99 c ---[86314]---> BDD-cost: 5 3.99 c ---[86312]---> BDD-cost: 5 3.99 c ---[86310]---> BDD-cost: 5 3.99 c ---[86308]---> BDD-cost: 5 3.99 c ---[86306]---> BDD-cost: 5 3.99 c ---[86304]---> BDD-cost: 5 3.99 c ---[86302]---> BDD-cost: 5 3.99 c ---[86300]---> BDD-cost: 5 3.99 c ---[86298]---> BDD-cost: 5 3.99 c ---[86296]---> BDD-cost: 5 3.99 c ---[86294]---> BDD-cost: 5 3.99 c ---[86292]---> BDD-cost: 5 3.99 c ---[86290]---> BDD-cost: 5 3.99 c ---[86288]---> BDD-cost: 5 3.99 c ---[86286]---> BDD-cost: 5 3.99 c ---[86284]---> BDD-cost: 5 3.99 c ---[86282]---> BDD-cost: 5 3.99 c ---[86280]---> BDD-cost: 5 3.99 c ---[86278]---> BDD-cost: 5 3.99 c ---[86276]---> BDD-cost: 5 3.99 c ---[86274]---> BDD-cost: 5 3.99 c ---[86272]---> BDD-cost: 5 3.99 c ---[86270]---> BDD-cost: 5 3.99 c ---[86268]---> BDD-cost: 5 3.99 c ---[86266]---> BDD-cost: 5 3.99 c ---[86264]---> BDD-cost: 5 3.99 c ---[86262]---> BDD-cost: 5 3.99 c ---[86260]---> BDD-cost: 5 3.99 c ---[86258]---> BDD-cost: 5 3.99 c ---[86256]---> BDD-cost: 5 3.99 c ---[86254]---> BDD-cost: 5 3.99 c ---[86252]---> BDD-cost: 5 3.99 c ---[86250]---> BDD-cost: 5 3.99 c ---[86248]---> BDD-cost: 5 3.99 c ---[86246]---> BDD-cost: 5 3.99 c ---[86244]---> BDD-cost: 5 3.99 c ---[86242]---> BDD-cost: 5 3.99 c ---[86240]---> BDD-cost: 5 3.99 c ---[86238]---> BDD-cost: 5 3.99 c ---[86236]---> BDD-cost: 5 3.99 c ---[86234]---> BDD-cost: 5 3.99 c ---[86232]---> BDD-cost: 5 3.99 c ---[86230]---> BDD-cost: 5 3.99 c ---[86228]---> BDD-cost: 5 3.99 c ---[86226]---> BDD-cost: 5 3.99 c ---[86224]---> BDD-cost: 5 3.99 c ---[86222]---> BDD-cost: 5 3.99 c ---[86220]---> BDD-cost: 5 3.99 c ---[86218]---> BDD-cost: 5 3.99 c ---[86216]---> BDD-cost: 5 3.99 c ---[86214]---> BDD-cost: 5 3.99 c ---[86212]---> BDD-cost: 5 3.99 c ---[86210]---> BDD-cost: 5 3.99 c ---[86208]---> BDD-cost: 5 3.99 c ---[86206]---> BDD-cost: 5 3.99 c ---[86204]---> BDD-cost: 5 3.99 c ---[86202]---> BDD-cost: 5 3.99 c ---[86200]---> BDD-cost: 5 3.99 c ---[86198]---> BDD-cost: 5 3.99 c ---[86196]---> BDD-cost: 5 3.99 c ---[86194]---> BDD-cost: 5 3.99 c ---[86192]---> BDD-cost: 5 3.99 c ---[86190]---> BDD-cost: 5 3.99 c ---[86188]---> BDD-cost: 5 3.99 c ---[86186]---> BDD-cost: 5 3.99 c ---[86184]---> BDD-cost: 5 3.99 c ---[86182]---> BDD-cost: 5 3.99 c ---[86180]---> BDD-cost: 5 3.99 c ---[86178]---> BDD-cost: 5 3.99 c ---[86176]---> BDD-cost: 5 3.99 c ---[86174]---> BDD-cost: 5 3.99 c ---[86172]---> BDD-cost: 5 3.99 c ---[86170]---> BDD-cost: 5 3.99 c ---[86168]---> BDD-cost: 5 3.99 c ---[86166]---> BDD-cost: 5 3.99 c ---[86164]---> BDD-cost: 5 3.99 c ---[86162]---> BDD-cost: 5 3.99 c ---[86160]---> BDD-cost: 5 3.99 c ---[86158]---> BDD-cost: 5 3.99 c ---[86156]---> BDD-cost: 5 3.99 c ---[86154]---> BDD-cost: 5 3.99 c ---[86152]---> BDD-cost: 5 3.99 c ---[86150]---> BDD-cost: 5 3.99 c ---[86148]---> BDD-cost: 5 3.99 c ---[86146]---> BDD-cost: 5 3.99 c ---[86144]---> BDD-cost: 5 3.99 c ---[86142]---> BDD-cost: 5 3.99 c ---[86140]---> BDD-cost: 5 4.00 c ---[86138]---> BDD-cost: 5 4.00 c ---[86136]---> BDD-cost: 5 4.00 c ---[86134]---> BDD-cost: 5 4.00 c ---[86132]---> BDD-cost: 5 4.00 c ---[86130]---> BDD-cost: 5 4.00 c ---[86128]---> BDD-cost: 5 4.00 c ---[86126]---> BDD-cost: 5 4.00 c ---[86124]---> BDD-cost: 5 4.00 c ---[86122]---> BDD-cost: 5 4.00 c ---[86120]---> BDD-cost: 5 4.00 c ---[86118]---> BDD-cost: 5 4.00 c ---[86116]---> BDD-cost: 5 4.00 c ---[86114]---> BDD-cost: 5 4.00 c ---[86112]---> BDD-cost: 5 4.00 c ---[86110]---> BDD-cost: 5 4.00 c ---[86108]---> BDD-cost: 5 4.00 c ---[86106]---> BDD-cost: 5 4.00 c ---[86104]---> BDD-cost: 5 4.00 c ---[86102]---> BDD-cost: 5 4.00 c ---[86100]---> BDD-cost: 5 4.00 c ---[86098]---> BDD-cost: 5 4.00 c ---[86096]---> BDD-cost: 5 4.00 c ---[86094]---> BDD-cost: 5 4.00 c ---[86092]---> BDD-cost: 5 4.00 c ---[86090]---> BDD-cost: 5 4.00 c ---[86088]---> BDD-cost: 5 4.00 c ---[86086]---> BDD-cost: 5 4.00 c ---[86084]---> BDD-cost: 5 4.00 c ---[86082]---> BDD-cost: 5 4.00 c ---[86080]---> BDD-cost: 5 4.00 c ---[86078]---> BDD-cost: 5 4.00 c ---[86076]---> BDD-cost: 5 4.00 c ---[86074]---> BDD-cost: 5 4.00 c ---[86072]---> BDD-cost: 5 4.00 c ---[86070]---> BDD-cost: 5 4.00 c ---[86068]---> BDD-cost: 5 4.00 c ---[86066]---> BDD-cost: 5 4.00 c ---[86064]---> BDD-cost: 5 4.00 c ---[86062]---> BDD-cost: 5 4.00 c ---[86060]---> BDD-cost: 5 4.00 c ---[86058]---> BDD-cost: 5 4.00 c ---[86056]---> BDD-cost: 5 4.00 c ---[86054]---> BDD-cost: 5 4.00 c ---[86052]---> BDD-cost: 5 4.00 c ---[86050]---> BDD-cost: 5 4.00 c ---[86048]---> BDD-cost: 5 4.00 c ---[86046]---> BDD-cost: 5 4.00 c ---[86044]---> BDD-cost: 5 4.00 c ---[86042]---> BDD-cost: 5 4.00 c ---[86040]---> BDD-cost: 5 4.00 c ---[86038]---> BDD-cost: 5 4.00 c ---[86036]---> BDD-cost: 5 4.00 c ---[86034]---> BDD-cost: 5 4.00 c ---[86032]---> BDD-cost: 5 4.00 c ---[86030]---> BDD-cost: 5 4.00 c ---[86028]---> BDD-cost: 5 4.00 c ---[86026]---> BDD-cost: 5 4.00 c ---[86024]---> BDD-cost: 5 4.00 c ---[86022]---> BDD-cost: 5 4.00 c ---[86020]---> BDD-cost: 5 4.00 c ---[86018]---> BDD-cost: 5 4.00 c ---[86016]---> BDD-cost: 5 4.00 c ---[86014]---> BDD-cost: 5 4.00 c ---[86012]---> BDD-cost: 5 4.00 c ---[86010]---> BDD-cost: 5 4.00 c ---[86008]---> BDD-cost: 5 4.00 c ---[86006]---> BDD-cost: 5 4.00 c ---[86004]---> BDD-cost: 5 4.00 c ---[86002]---> BDD-cost: 5 4.00 c ---[86000]---> BDD-cost: 5 4.00 c ---[85998]---> BDD-cost: 5 4.00 c ---[85996]---> BDD-cost: 5 4.00 c ---[85994]---> BDD-cost: 5 4.00 c ---[85992]---> BDD-cost: 5 4.00 c ---[85990]---> BDD-cost: 5 4.00 c ---[85988]---> BDD-cost: 5 4.00 c ---[85986]---> BDD-cost: 5 4.00 c ---[85984]---> BDD-cost: 5 4.00 c ---[85982]---> BDD-cost: 5 4.00 c ---[85980]---> BDD-cost: 5 4.00 c ---[85978]---> BDD-cost: 5 4.00 c ---[85976]---> BDD-cost: 5 4.00 c ---[85974]---> BDD-cost: 5 4.00 c ---[85972]---> BDD-cost: 5 4.00 c ---[85970]---> BDD-cost: 5 4.00 c ---[85968]---> BDD-cost: 5 4.00 c ---[85966]---> BDD-cost: 5 4.00 c ---[85964]---> BDD-cost: 5 4.00 c ---[85962]---> BDD-cost: 5 4.00 c ---[85960]---> BDD-cost: 5 4.00 c ---[85958]---> BDD-cost: 5 4.00 c ---[85956]---> BDD-cost: 5 4.00 c ---[85954]---> BDD-cost: 5 4.00 c ---[85952]---> BDD-cost: 5 4.00 c ---[85950]---> BDD-cost: 5 4.00 c ---[85948]---> BDD-cost: 5 4.00 c ---[85946]---> BDD-cost: 5 4.00 c ---[85944]---> BDD-cost: 5 4.00 c ---[85942]---> BDD-cost: 5 4.00 c ---[85940]---> BDD-cost: 5 4.00 c ---[85938]---> BDD-cost: 5 4.00 c ---[85936]---> BDD-cost: 5 4.00 c ---[85934]---> BDD-cost: 5 4.00 c ---[85932]---> BDD-cost: 5 4.00 c ---[85930]---> BDD-cost: 5 4.00 c ---[85928]---> BDD-cost: 5 4.00 c ---[85926]---> BDD-cost: 5 4.00 c ---[85924]---> BDD-cost: 5 4.00 c ---[85922]---> BDD-cost: 5 4.00 c ---[85920]---> BDD-cost: 5 4.00 c ---[85918]---> BDD-cost: 5 4.00 c ---[85916]---> BDD-cost: 5 4.00 c ---[85914]---> BDD-cost: 5 4.00 c ---[85912]---> BDD-cost: 5 4.00 c ---[85910]---> BDD-cost: 5 4.00 c ---[85908]---> BDD-cost: 5 4.00 c ---[85906]---> BDD-cost: 5 4.00 c ---[85904]---> BDD-cost: 5 4.00 c ---[85902]---> BDD-cost: 5 4.00 c ---[85900]---> BDD-cost: 5 4.00 c ---[85898]---> BDD-cost: 5 4.00 c ---[85896]---> BDD-cost: 5 4.00 c ---[85894]---> BDD-cost: 5 4.00 c ---[85892]---> BDD-cost: 5 4.00 c ---[85890]---> BDD-cost: 5 4.00 c ---[85888]---> BDD-cost: 5 4.00 c ---[85886]---> BDD-cost: 5 4.00 c ---[85884]---> BDD-cost: 5 4.00 c ---[85882]---> BDD-cost: 5 4.00 c ---[85880]---> BDD-cost: 5 4.00 c ---[85878]---> BDD-cost: 5 4.00 c ---[85876]---> BDD-cost: 5 4.00 c ---[85874]---> BDD-cost: 5 4.00 c ---[85872]---> BDD-cost: 5 4.00 c ---[85870]---> BDD-cost: 5 4.00 c ---[85868]---> BDD-cost: 5 4.00 c ---[85866]---> BDD-cost: 5 4.00 c ---[85864]---> BDD-cost: 5 4.00 c ---[85862]---> BDD-cost: 5 4.00 c ---[85860]---> BDD-cost: 5 4.00 c ---[85858]---> BDD-cost: 5 4.00 c ---[85856]---> BDD-cost: 5 4.00 c ---[85854]---> BDD-cost: 5 4.00 c ---[85852]---> BDD-cost: 5 4.00 c ---[85850]---> BDD-cost: 5 4.00 c ---[85848]---> BDD-cost: 5 4.00 c ---[85846]---> BDD-cost: 5 4.00 c ---[85844]---> BDD-cost: 5 4.00 c ---[85842]---> BDD-cost: 5 4.00 c ---[85840]---> BDD-cost: 5 4.00 c ---[85838]---> BDD-cost: 5 4.00 c ---[85836]---> BDD-cost: 5 4.00 c ---[85834]---> BDD-cost: 5 4.00 c ---[85832]---> BDD-cost: 5 4.00 c ---[85830]---> BDD-cost: 5 4.00 c ---[85828]---> BDD-cost: 5 4.00 c ---[85826]---> BDD-cost: 5 4.00 c ---[85824]---> BDD-cost: 5 4.00 c ---[85822]---> BDD-cost: 5 4.00 c ---[85820]---> BDD-cost: 5 4.00 c ---[85818]---> BDD-cost: 5 4.00 c ---[85816]---> BDD-cost: 5 4.00 c ---[85814]---> BDD-cost: 5 4.00 c ---[85812]---> BDD-cost: 5 4.00 c ---[85810]---> BDD-cost: 5 4.00 c ---[85808]---> BDD-cost: 5 4.00 c ---[85806]---> BDD-cost: 5 4.00 c ---[85804]---> BDD-cost: 5 4.00 c ---[85802]---> BDD-cost: 5 4.01 c ---[85800]---> BDD-cost: 5 4.01 c ---[85798]---> BDD-cost: 5 4.01 c ---[85796]---> BDD-cost: 5 4.01 c ---[85794]---> BDD-cost: 5 4.01 c ---[85792]---> BDD-cost: 5 4.01 c ---[85790]---> BDD-cost: 5 4.01 c ---[85788]---> BDD-cost: 5 4.01 c ---[85786]---> BDD-cost: 5 4.01 c ---[85784]---> BDD-cost: 5 4.01 c ---[85782]---> BDD-cost: 5 4.01 c ---[85780]---> BDD-cost: 5 4.01 c ---[85778]---> BDD-cost: 5 4.01 c ---[85776]---> BDD-cost: 5 4.01 c ---[85774]---> BDD-cost: 5 4.01 c ---[85772]---> BDD-cost: 5 4.01 c ---[85770]---> BDD-cost: 5 4.01 c ---[85768]---> BDD-cost: 5 4.01 c ---[85766]---> BDD-cost: 5 4.01 c ---[85764]---> BDD-cost: 5 4.01 c ---[85762]---> BDD-cost: 5 4.01 c ---[85760]---> BDD-cost: 5 4.01 c ---[85758]---> BDD-cost: 5 4.01 c ---[85756]---> BDD-cost: 5 4.01 c ---[85754]---> BDD-cost: 5 4.01 c ---[85752]---> BDD-cost: 5 4.01 c ---[85750]---> BDD-cost: 5 4.01 c ---[85748]---> BDD-cost: 5 4.01 c ---[85746]---> BDD-cost: 5 4.01 c ---[85744]---> BDD-cost: 5 4.01 c ---[85742]---> BDD-cost: 5 4.01 c ---[85740]---> BDD-cost: 5 4.01 c ---[85738]---> BDD-cost: 5 4.01 c ---[85736]---> BDD-cost: 5 4.01 c ---[85734]---> BDD-cost: 5 4.01 c ---[85732]---> BDD-cost: 5 4.01 c ---[85730]---> BDD-cost: 5 4.01 c ---[85728]---> BDD-cost: 5 4.01 c ---[85726]---> BDD-cost: 5 4.01 c ---[85724]---> BDD-cost: 5 4.01 c ---[85722]---> BDD-cost: 5 4.01 c ---[85720]---> BDD-cost: 5 4.01 c ---[85718]---> BDD-cost: 5 4.01 c ---[85716]---> BDD-cost: 5 4.01 c ---[85714]---> BDD-cost: 5 4.01 c ---[85712]---> BDD-cost: 5 4.01 c ---[85710]---> BDD-cost: 5 4.01 c ---[85708]---> BDD-cost: 5 4.01 c ---[85706]---> BDD-cost: 5 4.01 c ---[85704]---> BDD-cost: 5 4.01 c ---[85702]---> BDD-cost: 5 4.01 c ---[85700]---> BDD-cost: 5 4.01 c ---[85698]---> BDD-cost: 5 4.01 c ---[85696]---> BDD-cost: 5 4.01 c ---[85694]---> BDD-cost: 5 4.01 c ---[85692]---> BDD-cost: 5 4.01 c ---[85690]---> BDD-cost: 5 4.01 c ---[85688]---> BDD-cost: 5 4.01 c ---[85686]---> BDD-cost: 5 4.01 c ---[85684]---> BDD-cost: 5 4.01 c ---[85682]---> BDD-cost: 5 4.01 c ---[85680]---> BDD-cost: 5 4.02 c ==================================[MINISAT+]================================== 4.02 c | Conflicts | Original | Learnt | Progress | 4.02 c | | Clauses Literals | Max Clauses Literals LPC | | 4.02 c ============================================================================== 4.02 c | 0 | 90000 354240 | 30000 0 0 nan | 0.000 % | 4.02 c | 101 | 90000 354240 | 33000 101 2097 20.8 | 11.111 % | 4.06 c | 251 | 90000 354240 | 36300 251 12566 50.1 | 11.111 % | 4.14 c | 477 | 90000 354240 | 39930 477 30009 62.9 | 11.111 % | 4.24 c | 814 | 90000 354240 | 43923 814 61772 75.9 | 11.111 % | 4.38 c | 1321 | 90000 354240 | 48315 1321 100616 76.2 | 11.111 % | 4.59 c | 2081 | 90000 354240 | 53146 2081 169851 81.6 | 11.111 % | 4.94 c | 3221 | 90000 354240 | 58461 3221 277626 86.2 | 11.111 % | 5.47 c | 4929 | 90000 354240 | 64307 4929 449174 91.1 | 11.111 % | 6.17 c | 7491 | 90000 354240 | 70738 7491 664874 88.8 | 11.111 % | 7.48 c | 11338 | 90000 354240 | 77812 11338 1009455 89.0 | 11.111 % | 9.82 c | 17104 | 90000 354240 | 85593 17104 1626430 95.1 | 11.111 % | 13.49 c | 25754 | 90000 354240 | 94152 25754 2431003 94.4 | 11.111 % | 20.88 c | 38729 | 90000 354240 | 103568 38729 3767448 97.3 | 11.111 % | 34.01 c | 58192 | 90000 354240 | 113924 58192 5924737 101.8 | 11.111 % | 57.11 c | 87385 | 90000 354240 | 125317 87385 8739102 100.0 | 11.111 % | 106.63 c | 131175 | 90000 354240 | 137849 21578 1946912 90.2 | 11.111 % | 156.72 c | 196860 | 90000 354240 | 151634 87263 8882892 101.8 | 11.111 % | 271.63 c | 295387 | 90000 354240 | 166797 48836 5446542 111.5 | 11.111 % | 465.53 c | 443176 | 90000 354240 | 183477 45876 4001845 87.2 | 11.111 % | 762.26 c | 664860 | 90000 354240 | 201824 97635 11870698 121.6 | 11.111 % | 1273.67 c | 997386 | 90000 354240 | 222007 68268 7575904 111.0 | 11.111 % | 1801.19 c 1801.19 c *** TERMINATED *** 1801.19 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-34740-1149225504 -o ROOT/results/node63/solver-34740-1149225504 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node63/34740-1149225504/instance-34740-1149225504.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.93 3/64 9759 /proc/meminfo: memFree=1485912/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=1048 CPUtime=0 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 188117564 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 262 96 74 215 0 44 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1450728/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=36132 CPUtime=9.98 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 8903 0 0 0 984 14 0 0 25 0 1 0 188117564 36999168 8888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 9033 8888 106 215 0 8815 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 36132 [startup+20.0076 s] /proc/loadavg: 0.94 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1450736/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=36296 CPUtime=19.98 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 8949 0 0 0 1984 14 0 0 25 0 1 0 188117564 37167104 8934 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 9074 8934 106 215 0 8856 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 36296 [startup+30.0137 s] /proc/loadavg: 0.95 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1443952/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=43228 CPUtime=29.99 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 10656 0 0 0 2983 16 0 0 25 0 1 0 188117564 44265472 10641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 10807 10641 106 215 0 10589 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 43228 [startup+40.0197 s] /proc/loadavg: 0.96 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1437680/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=49424 CPUtime=39.99 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 12215 0 0 0 3981 18 0 0 25 0 1 0 188117564 50610176 12200 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 12356 12200 106 215 0 12138 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 49424 [startup+50.0258 s] /proc/loadavg: 0.96 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1432752/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=54440 CPUtime=50 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 13467 0 0 0 4980 20 0 0 25 0 1 0 188117564 55746560 13452 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 13610 13452 106 215 0 13392 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 54440 [startup+60.0319 s] /proc/loadavg: 0.97 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1427952/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=59308 CPUtime=60 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 14677 0 0 0 5979 21 0 0 25 0 1 0 188117564 60731392 14662 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 14827 14662 106 215 0 14609 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 59308 [startup+70.038 s] /proc/loadavg: 0.97 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1423792/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=63572 CPUtime=70.01 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 15716 0 0 0 6979 22 0 0 25 0 1 0 188117564 65097728 15701 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 15893 15701 106 215 0 15675 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 63572 [startup+80.044 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1420400/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=66860 CPUtime=80.01 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 16562 0 0 0 7978 23 0 0 25 0 1 0 188117564 68464640 16547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 16715 16547 106 215 0 16497 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 66860 [startup+90.0501 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1416944/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=70312 CPUtime=90.01 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 17416 0 0 0 8977 24 0 0 25 0 1 0 188117564 71999488 17401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 17578 17401 106 215 0 17360 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 70312 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1413872/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=73384 CPUtime=100.01 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18176 0 0 0 9977 24 0 0 25 0 1 0 188117564 75145216 18161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18346 18161 106 215 0 18128 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 73384 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412720/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=110.02 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18462 0 0 0 10977 25 0 0 25 0 1 0 188117564 76234752 18447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18447 106 215 0 18394 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 74448 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=120.02 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18462 0 0 0 11977 25 0 0 25 0 1 0 188117564 76234752 18447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18447 106 215 0 18394 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 74448 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=130.02 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18462 0 0 0 12977 25 0 0 25 0 1 0 188117564 76234752 18447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18447 106 215 0 18394 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 74448 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=140.03 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18462 0 0 0 13978 25 0 0 25 0 1 0 188117564 76234752 18447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18447 106 215 0 18394 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 74448 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=150.03 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18463 0 0 0 14978 25 0 0 25 0 1 0 188117564 76234752 18448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18448 106 215 0 18394 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 74448 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=160.03 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18463 0 0 0 15978 25 0 0 25 0 1 0 188117564 76234752 18448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18448 106 215 0 18394 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 74448 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=170.04 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18463 0 0 0 16979 25 0 0 25 0 1 0 188117564 76234752 18448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18448 106 215 0 18394 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 74448 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412784/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74448 CPUtime=180.04 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18463 0 0 0 17979 25 0 0 25 0 1 0 188117564 76234752 18448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18612 18448 106 215 0 18394 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 74448 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1412208/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=74972 CPUtime=190.04 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 18601 0 0 0 18979 25 0 0 25 0 1 0 188117564 76771328 18586 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 18743 18586 106 215 0 18525 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 74972 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1408496/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=78656 CPUtime=200.04 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 19524 0 0 0 19978 26 0 0 25 0 1 0 188117564 80543744 19509 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 19664 19509 106 215 0 19446 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 78656 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1405104/2055920 swapFree=4182328/4192956 ################ # More data... # ################ [pid=9759] ppid=9757 vsize=137620 CPUtime=1781.57 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178117 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 137620 [startup+1783.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1782.58 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178218 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (Kb) 137620 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1783.58 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178318 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1783.58 Current children cumulated vsize (Kb) 137620 [startup+1785.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1784.59 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178419 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 137620 [startup+1786.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1785.59 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178519 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1785.59 Current children cumulated vsize (Kb) 137620 [startup+1787.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1786.6 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178620 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580828 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 137620 [startup+1788.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1787.6 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178720 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 137620 [startup+1789.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1788.61 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178821 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 137620 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1789.61 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 178921 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 137620 [startup+1791.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1790.61 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179021 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 137620 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1791.62 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179122 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 137620 [startup+1793.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1792.62 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179222 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 137620 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1793.63 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179323 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 137620 [startup+1795.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1794.63 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179423 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (Kb) 137620 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1795.64 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179524 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 137620 [startup+1797.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1796.64 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179624 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1796.64 Current children cumulated vsize (Kb) 137620 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1797.65 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179725 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 137620 [startup+1799.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1798.65 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179825 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 137620 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.93 2/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1799.65 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 179925 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 137620 [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.93 3/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1800.66 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 180026 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 137620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.93 3/64 9759 /proc/meminfo: memFree=1350000/2055920 swapFree=4182328/4192956 [pid=9759] ppid=9757 vsize=137620 CPUtime=1800.66 /proc/9759/stat : 9759 (minisat+) R 9757 9759 9714 0 -1 4194304 34094 0 0 0 180026 40 0 0 25 0 1 0 188117564 140922880 34079 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/9759/statm: 34405 34079 106 215 0 34187 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 137620 Sending SIGTERM to -9759 Sleeping 2 seconds Child status: 0 Real time (s): 1801.22 CPU time (s): 1800.7 CPU user time (s): 1800.27 CPU system time (s): 0.428934 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 137620
Begin job on node63 on Fri Jun 2 05:18:24 UTC 2006 FILE ID= 34740-1149225504 PBS_JOBID= 295806 BENCH NAME= ROOT/tmp/node63/34740-1149225504/instance-34740-1149225504.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node63/34740-1149225504/instance-34740-1149225504.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-34740-1149225504 -o ROOT/results/node63/solver-34740-1149225504 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node63/34740-1149225504/instance-34740-1149225504.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= a399b3055416a9d1117a7f2bb11b2cef RANDOM SEED= 65332623 /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.228 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.228 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: 1486184 kB Buffers: 35084 kB Cached: 459104 kB SwapCached: 2824 kB Active: 112668 kB Inactive: 390696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1486184 kB SwapTotal: 4192956 kB SwapFree: 4182328 kB Dirty: 220 kB Writeback: 0 kB Mapped: 15864 kB Slab: 52420 kB Committed_AS: 203012 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Fri Jun 2 05:48:26 UTC 2006