Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.17 | 1800.08 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb |
MD5SUM | c918ba57e672047ee392792cccc2b48f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 34451 |
Total number of constraints | 102181 |
Number of constraints which are clauses | 102180 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 34060 |
Number of terms in the objective function | 131 |
Biggest coefficient in the objective function | 1361129467683753853853498429727072845824 |
Number of bits for the biggest coefficient in the objective function | 131 |
Sum of the numbers in the objective function | 2722258935367507707706996859454145691647 |
Number of bits of the sum of numbers in the objective function | 131 |
Biggest number in a constraint | 1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818112 |
Number of bits of the biggest number in a constraint | 390 |
Biggest sum of numbers in a constraint | 5043456793138493339171717132818382567049488946071148219999644591778013249122585915275136925506681211892051858120822619 |
Number of bits of the biggest sum of numbers | 391 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 4.80/4.84 c Converting 102182 PB-constraints to clauses... 4.80/4.86 c -- Unit propagations: (none) 52.99/53.06 c -- Detecting intervals from adjacent constraints: # 52.99/53.09 c -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 53.19/53.28 c ---[ 0]---> Adder-cost: 50826 maxlim: 241565226162046639978764612783509985963853166572550793305244350873936925998133415 bits: 268/268 143.60/143.60 c ==================================[MINISAT+]================================== 143.60/143.60 c | Conflicts | Original | Learnt | Progress | 143.60/143.60 c | | Clauses Literals | Max Clauses Literals LPC | | 143.60/143.60 c ============================================================================== 143.60/143.60 c | 0 | 439156 1459283 | 146385 0 0 nan | 0.000 % | 143.60/143.61 c | 100 | 439156 1459283 | 161023 100 310 3.1 | 10.586 % | 144.00/144.06 c | 250 | 438215 1455974 | 177125 123 395 3.2 | 10.773 % | 145.10/145.17 c | 475 | 438206 1455945 | 194838 347 1598 4.6 | 10.776 % | 145.99/146.03 c | 812 | 438206 1455945 | 214322 684 17763 26.0 | 10.776 % | 148.59/148.60 c | 1318 | 438206 1455945 | 235754 1190 54076 45.4 | 10.776 % | 150.19/150.28 c | 2078 | 438206 1455945 | 259329 1950 130208 66.8 | 10.776 % | 151.29/151.32 c | 3218 | 438190 1455893 | 285262 3081 197991 64.3 | 10.779 % | 158.79/158.81 c | 4928 | 438190 1455893 | 313789 4791 256929 53.6 | 10.779 % | 167.70/167.77 c | 7490 | 438190 1455893 | 345168 7353 433764 59.0 | 10.779 % | 170.90/170.91 c | 11334 | 438190 1455893 | 379684 11197 813195 72.6 | 10.779 % | 202.31/202.33 c | 17100 | 438190 1455893 | 417653 16963 1107123 65.3 | 10.779 % | 214.60/214.61 c | 25750 | 438181 1455864 | 459418 25612 2094535 81.8 | 10.782 % | 259.10/259.11 c | 38725 | 438161 1455790 | 505360 38563 2923554 75.8 | 10.785 % | 271.71/271.77 c | 58186 | 438161 1455790 | 555896 58024 4588977 79.1 | 10.785 % | 298.51/298.50 c | 87380 | 438161 1455790 | 611486 87218 12919535 148.1 | 10.785 % | 332.51/332.54 c | 131171 | 438161 1455790 | 672635 131009 16952688 129.4 | 10.785 % | 445.21/445.23 c | 196857 | 438161 1455790 | 739898 196695 28771252 146.3 | 10.785 % | 567.21/567.20 c | 295384 | 438153 1455764 | 813888 295221 40124650 135.9 | 10.786 % | 1051.65/1051.66 c | 443173 | 438153 1455764 | 895277 443010 67983462 153.5 | 10.786 % | 1800.09/1800.00 c 1800.09/1800.00 c *** TERMINATED *** 1800.09/1800.00 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-350078-1176791422 -o ROOT/results/node16/solver-350078-1176791422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350078-1176791422/minisat+ /tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24974 /proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=1048 CPUtime=0 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 127059874 1073152 102 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 262 102 74 215 0 44 0 [startup+0.093535 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24974 /proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=1944 CPUtime=0.09 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 352 0 0 0 9 0 0 0 18 0 1 0 127059874 1990656 337 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 486 337 74 215 0 268 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1944 [startup+0.101534 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24974 /proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=2076 CPUtime=0.09 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 375 0 0 0 9 0 0 0 18 0 1 0 127059874 2125824 360 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 519 360 74 215 0 301 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2076 [startup+0.301492 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24974 /proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=4124 CPUtime=0.29 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 884 0 0 0 29 0 0 0 19 0 1 0 127059874 4222976 869 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 1031 869 74 215 0 813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4124 [startup+0.70141 s] /proc/loadavg: 0.92 0.98 0.99 3/77 24974 /proc/meminfo: memFree=1929992/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=8236 CPUtime=0.69 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 1886 0 0 0 68 1 0 0 23 0 1 0 127059874 8433664 1871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 2059 1871 74 215 0 1841 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8236 [startup+1.50124 s] /proc/loadavg: 0.92 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1919552/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=16100 CPUtime=1.49 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 3837 0 0 0 147 2 0 0 25 0 1 0 127059874 16486400 3822 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 4025 3822 74 215 0 3807 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16100 [startup+3.10191 s] /proc/loadavg: 0.93 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1908800/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=31004 CPUtime=3.09 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 7476 0 0 0 305 4 0 0 25 0 1 0 127059874 31748096 7411 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 7751 7411 74 215 0 7533 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31004 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1885760/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=45296 CPUtime=6.29 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 622 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45296 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1885760/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=45296 CPUtime=12.7 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 1263 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 45296 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1885824/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=45296 CPUtime=25.49 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 2542 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 45296 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1885824/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=45296 CPUtime=51.1 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 11677 0 0 0 5103 7 0 0 25 0 1 0 127059874 46383104 11004 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134621756 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 11324 11004 83 215 0 11106 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 45296 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1718080/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=214940 CPUtime=102.3 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 54201 0 0 0 10193 37 0 0 25 0 1 0 127059874 220098560 52871 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 53735 52871 92 215 0 53517 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 214940 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1717184/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=216076 CPUtime=162.29 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56610 0 0 0 16191 38 0 0 25 0 1 0 127059874 221261824 53154 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572690 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 54019 53154 123 215 0 53801 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 216076 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24975 /proc/meminfo: memFree=1717120/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=216076 CPUtime=222.3 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56611 0 0 0 22191 39 0 0 25 0 1 0 127059874 221261824 53155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 54019 53155 123 215 0 53801 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 216076 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1716928/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=216076 CPUtime=282.31 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56612 0 0 0 28191 40 0 0 25 0 1 0 127059874 221261824 53156 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 54019 53156 123 215 0 53801 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 216076 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1716864/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=216076 CPUtime=342.31 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56613 0 0 0 34191 40 0 0 25 0 1 0 127059874 221261824 53157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 54019 53157 123 215 0 53801 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 216076 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1716864/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=216076 CPUtime=402.31 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56613 0 0 0 40190 41 0 0 25 0 1 0 127059874 221261824 53157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 54019 53157 123 215 0 53801 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 216076 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1716864/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=216076 CPUtime=462.31 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 56613 0 0 0 46190 41 0 0 25 0 1 0 127059874 221261824 53157 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573014 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 54019 53157 123 215 0 53801 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 216076 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1693568/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=239512 CPUtime=522.31 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 62480 0 0 0 52184 47 0 0 25 0 1 0 127059874 245260288 59024 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574351 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 59878 59024 123 215 0 59660 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 239512 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1682560/2055920 swapFree=4125068/4192956 [pid=24974] ppid=24972 vsize=250480 CPUtime=582.32 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 65205 0 0 0 58181 51 0 0 25 0 1 0 127059874 256491520 61749 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 62620 61749 123 215 0 62402 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 250480 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1670272/2055920 swapFree=4125076/4192956 [pid=24974] ppid=24972 vsize=263160 CPUtime=642.32 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 68233 0 0 0 64178 54 0 0 25 0 1 0 127059874 269475840 64777 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 65790 64777 123 215 0 65572 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 263160 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1622208/2055920 swapFree=4125080/4192956 [pid=24974] ppid=24972 vsize=310740 CPUtime=822.33 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 80206 0 0 0 82165 68 0 0 25 0 1 0 127059874 318197760 76750 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 77685 76750 123 215 0 77467 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 310740 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1607168/2055920 swapFree=4125080/4192956 [pid=24974] ppid=24972 vsize=325540 CPUtime=882.34 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 83902 0 0 0 88161 73 0 0 25 0 1 0 127059874 333352960 80446 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 81385 80446 123 215 0 81167 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 325540 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1592960/2055920 swapFree=4125080/4192956 [pid=24974] ppid=24972 vsize=339664 CPUtime=942.34 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 87446 0 0 0 94158 76 0 0 25 0 1 0 127059874 347815936 83990 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 84916 83990 123 215 0 84698 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 339664 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1579776/2055920 swapFree=4125080/4192956 [pid=24974] ppid=24972 vsize=352688 CPUtime=1002.34 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 90688 0 0 0 100155 79 0 0 25 0 1 0 127059874 361152512 87232 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 88172 87232 123 215 0 87954 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 352688 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1568256/2055920 swapFree=4125092/4192956 [pid=24974] ppid=24972 vsize=364188 CPUtime=1062.34 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 93560 0 0 0 106151 83 0 0 25 0 1 0 127059874 372928512 90104 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 91047 90104 123 215 0 90829 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 364188 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1558784/2055920 swapFree=4125092/4192956 [pid=24974] ppid=24972 vsize=373436 CPUtime=1122.35 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 95880 0 0 0 112148 87 0 0 25 0 1 0 127059874 382398464 92424 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 93359 92424 123 215 0 93141 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 373436 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1550272/2055920 swapFree=4125092/4192956 [pid=24974] ppid=24972 vsize=382796 CPUtime=1182.35 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 98018 0 0 0 118145 90 0 0 25 0 1 0 127059874 391983104 94562 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 95699 94562 123 215 0 95481 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 382796 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1541504/2055920 swapFree=4125156/4192956 [pid=24974] ppid=24972 vsize=391316 CPUtime=1242.36 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 100139 0 0 0 124142 94 0 0 25 0 1 0 127059874 400707584 96683 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 97829 96683 123 215 0 97611 0 Current children cumulated CPU time (s) 1242.36 Current children cumulated vsize (KiB) 391316 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1532672/2055920 swapFree=4125156/4192956 [pid=24974] ppid=24972 vsize=399984 CPUtime=1302.36 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 102310 0 0 0 130139 97 0 0 25 0 1 0 127059874 409583616 98854 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 99996 98854 123 215 0 99778 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 399984 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1524672/2055920 swapFree=4125156/4192956 [pid=24974] ppid=24972 vsize=407780 CPUtime=1362.37 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 104277 0 0 0 136137 100 0 0 25 0 1 0 127059874 417566720 100821 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 101945 100821 123 215 0 101727 0 Current children cumulated CPU time (s) 1362.37 Current children cumulated vsize (KiB) 407780 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1516544/2055920 swapFree=4125156/4192956 [pid=24974] ppid=24972 vsize=415912 CPUtime=1422.37 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 106291 0 0 0 142135 102 0 0 25 0 1 0 127059874 425893888 102835 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 103978 102835 123 215 0 103760 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 415912 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1509568/2055920 swapFree=4125220/4192956 [pid=24974] ppid=24972 vsize=422800 CPUtime=1482.37 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 108036 0 0 0 148132 105 0 0 25 0 1 0 127059874 432947200 104580 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 105700 104580 123 215 0 105482 0 Current children cumulated CPU time (s) 1482.37 Current children cumulated vsize (KiB) 422800 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1502272/2055920 swapFree=4125220/4192956 [pid=24974] ppid=24972 vsize=429952 CPUtime=1542.37 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 109825 0 0 0 154130 107 0 0 25 0 1 0 127059874 440270848 106369 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581030 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 107488 106369 123 215 0 107270 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 429952 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1496000/2055920 swapFree=4125220/4192956 [pid=24974] ppid=24972 vsize=436208 CPUtime=1602.38 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 111410 0 0 0 160129 109 0 0 25 0 1 0 127059874 446676992 107954 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 109052 107954 123 215 0 108834 0 Current children cumulated CPU time (s) 1602.38 Current children cumulated vsize (KiB) 436208 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1490048/2055920 swapFree=4125220/4192956 [pid=24974] ppid=24972 vsize=442100 CPUtime=1662.38 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 112870 0 0 0 166127 111 0 0 25 0 1 0 127059874 452710400 109414 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 110525 109414 123 215 0 110307 0 Current children cumulated CPU time (s) 1662.38 Current children cumulated vsize (KiB) 442100 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1484224/2055920 swapFree=4125284/4192956 [pid=24974] ppid=24972 vsize=447816 CPUtime=1722.38 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 114323 0 0 0 172125 113 0 0 25 0 1 0 127059874 458563584 110867 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 111954 110867 123 215 0 111736 0 Current children cumulated CPU time (s) 1722.38 Current children cumulated vsize (KiB) 447816 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1477376/2055920 swapFree=4125284/4192956 [pid=24974] ppid=24972 vsize=454440 CPUtime=1782.39 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 115938 0 0 0 178124 115 0 0 25 0 1 0 127059874 465346560 112482 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134575437 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 113610 112482 123 215 0 113392 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (KiB) 454440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 0.99 0.98 0.99 2/78 24977 /proc/meminfo: memFree=1475584/2055920 swapFree=4125284/4192956 [pid=24974] ppid=24972 vsize=456116 CPUtime=1800.09 /proc/24974/stat : 24974 (minisat+) R 24972 24974 24275 0 -1 4194304 116387 0 0 0 179894 115 0 0 25 0 1 0 127059874 467062784 112931 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24974/statm: 114029 112931 123 215 0 113811 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 456116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.08 CPU time (s): 1800.17 CPU user time (s): 1798.94 CPU system time (s): 1.22681 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 456116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.22681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116388 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 441 involuntary context switches= 36973 runsolver used 2.27865 second user time and 4.24935 second system time The end
Begin job on node16 on Tue Apr 17 06:30:22 UTC 2007 IDJOB= 350078 IDBENCH= 2968 IDSOLVER= 156 FILE ID= node16/350078-1176791422 PBS_JOBID= 4580838 Free space on /tmp= 66399 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=260-sizeP=131-sizeQ=260-581480794-max.opb COMMAND LINE= /tmp/evaluation/350078-1176791422/minisat+ /tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-350078-1176791422 -o ROOT/results/node16/conversion-350078-1176791422 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-350078-1176791422 -o ROOT/results/node16/solver-350078-1176791422 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350078-1176791422/minisat+ /tmp/evaluation/350078-1176791422/instance-350078-1176791422.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= c918ba57e672047ee392792cccc2b48f RANDOM SEED= 710686768 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 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.232 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: 1930400 kB Buffers: 14092 kB Cached: 38628 kB SwapCached: 28200 kB Active: 59080 kB Inactive: 34992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1930400 kB SwapTotal: 4192956 kB SwapFree: 4125068 kB Dirty: 7296 kB Writeback: 0 kB Mapped: 34284 kB Slab: 16932 kB Committed_AS: 6414532 kB PageTables: 1836 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66399 MiB End job on node16 on Tue Apr 17 07:00:25 UTC 2007