Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.87 | 1800.97 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb |
MD5SUM | 071d3b73b0969abf914b87c7b052faf9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 529.967 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 97901 |
Total number of constraints | 291721 |
Number of constraints which are clauses | 291720 |
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 | 97240 |
Number of terms in the objective function | 221 |
Biggest coefficient in the objective function | 1684996666696914987166688442938726917102321526408785780068975640576 |
Number of bits for the biggest coefficient in the objective function | 221 |
Sum of the numbers in the objective function | 3369993333393829974333376885877453834204643052817571560137951281151 |
Number of bits of the sum of numbers in the objective function | 221 |
Biggest number in a constraint | 2392032866531905486790942578809394338145620987608332988883503686824375178865503049616412016019962016447144819201720664620106359620960485637227891297994520232330261783830994590149049944504587400511488 |
Number of bits of the biggest number in a constraint | 660 |
Biggest sum of numbers in a constraint | 9568131466127621947163770315237577352582483950433331955534014747295056327361266164339146628902122677827758102544855227960862917226867090540237477036791666445280390686216944035782177068059758137897567 |
Number of bits of the biggest sum of numbers | 661 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 15.51 c Converting 291722 PB-constraints to clauses... 15.59 c -- Unit propagations: (none) 469.25 c -- Detecting intervals from adjacent constraints: # 469.32 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 469.91 c ---[ 0]---> Adder-cost: 144530 maxlim: 156471734948545541205801499935241973854122126673304792903433002919271554913225415106354405938166063383904901590036278789081487977024931 bits: 446/446 949.33 c ==================================[MINISAT+]================================== 949.33 c | Conflicts | Original | Learnt | Progress | 949.33 c | | Clauses Literals | Max Clauses Literals LPC | | 949.33 c ============================================================================== 949.33 c | 0 | 1251030 4158370 | 417010 0 0 nan | 0.000 % | 949.34 c | 100 | 1251030 4158370 | 458711 100 311 3.1 | 10.558 % | 952.51 c | 251 | 1249671 4153569 | 504582 58 197 3.4 | 10.652 % | 952.67 c | 476 | 1249653 4153511 | 555040 281 897 3.2 | 10.654 % | 953.48 c | 813 | 1249528 4153072 | 610544 602 1895 3.1 | 10.663 % | 954.44 c | 1319 | 1249406 4152664 | 671598 1093 3407 3.1 | 10.673 % | 963.65 c | 2078 | 1249397 4152635 | 738758 1851 8980 4.9 | 10.673 % | 982.63 c | 3217 | 1249397 4152635 | 812634 2990 116480 39.0 | 10.673 % | 1012.51 c | 4925 | 1249397 4152635 | 893897 4698 213875 45.5 | 10.673 % | 1022.21 c | 7487 | 1249397 4152635 | 983287 7260 617068 85.0 | 10.673 % | 1097.53 c | 11331 | 1249397 4152635 | 1081616 11104 1428448 128.6 | 10.673 % | 1188.57 c | 17097 | 1249397 4152635 | 1189778 16870 1947383 115.4 | 10.673 % | 1315.15 c | 25746 | 1249397 4152635 | 1308756 25519 3377503 132.4 | 10.673 % | 1338.82 c | 38721 | 1249397 4152635 | 1439631 38494 6748282 175.3 | 10.673 % | 1637.12 c | 58182 | 1249390 4152612 | 1583594 57954 13520694 233.3 | 10.674 % | 1800.80 c 1800.81 c *** TERMINATED *** 1800.81 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node16/watcher-49872-1154124520 -o ROOT/results/node16/solver-49872-1154124520 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node16/49872-1154124520/instance-49872-1154124520.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 1.01 0.99 2/64 29291 /proc/meminfo: memFree=1549152/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=1048 CPUtime=0 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 99 0 0 0 0 0 0 0 18 0 1 0 159312946 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 262 83 67 215 0 44 0 [startup+10.0003 s] /proc/loadavg: 0.94 1.01 0.99 2/64 29291 /proc/meminfo: memFree=1463008/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=89424 CPUtime=9.99 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 21938 0 0 0 986 13 0 0 25 0 1 0 159312946 91570176 21624 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 22356 21624 74 215 0 22138 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 89424 [startup+20.0052 s] /proc/loadavg: 0.95 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414256/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=19.99 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 1980 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809903 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 137884 [startup+30.0091 s] /proc/loadavg: 0.96 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414448/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=29.99 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 2980 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 137884 [startup+40.013 s] /proc/loadavg: 0.96 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414512/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=40 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 3981 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 137884 [startup+50.0169 s] /proc/loadavg: 0.97 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414512/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=50 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 4981 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809063 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 137884 [startup+60.0208 s] /proc/loadavg: 0.97 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=60 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 5981 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 137884 [startup+70.0247 s] /proc/loadavg: 0.98 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=70.01 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 6982 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 137884 [startup+80.0296 s] /proc/loadavg: 0.98 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=80.01 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 7982 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 137884 [startup+90.0335 s] /proc/loadavg: 0.98 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=90.01 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 8982 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 137884 [startup+100.037 s] /proc/loadavg: 0.98 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=100.02 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 9983 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805948 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 137884 [startup+110.041 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=110.02 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 10983 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812690 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 137884 [startup+120.045 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=120.02 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 11983 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 137884 [startup+130.049 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414576/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=130.03 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 12984 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 137884 [startup+140.053 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=140.03 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 13984 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 137884 [startup+150.057 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=150.03 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 14984 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621811 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 137884 [startup+160.061 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=160.04 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 15985 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 137884 [startup+170.065 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=170.04 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 16985 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812771 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 137884 [startup+180.069 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=180.04 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 17985 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003239 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 137884 [startup+190.072 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=190.05 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 18986 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 137884 [startup+200.076 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 /proc/meminfo: memFree=1414640/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=137884 CPUtime=200.05 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 36254 0 0 0 19986 19 0 0 25 0 1 0 159312946 141193216 33823 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 34471 33823 83 215 0 34253 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 137884 [startup+210.08 s] /proc/loadavg: 0.99 1.00 0.99 2/64 29291 ################ # More data... # ################ /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178002 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 989368 [startup+1782.71 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1782.61 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178103 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580262 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 989368 [startup+1783.72 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1783.61 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178203 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 989368 [startup+1784.72 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1784.62 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178304 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 989368 [startup+1785.73 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1785.62 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178404 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 989368 [startup+1786.73 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1786.63 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178505 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 989368 [startup+1787.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1787.63 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178605 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 989368 [startup+1788.74 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1788.64 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178706 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 989368 [startup+1789.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1789.64 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178806 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 989368 [startup+1790.75 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1790.65 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 178907 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 989368 [startup+1791.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1791.65 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179007 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 989368 [startup+1792.76 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1792.65 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179107 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 989368 [startup+1793.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1793.66 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179208 158 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572757 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 989368 [startup+1794.77 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1794.67 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179308 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 989368 [startup+1795.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1795.68 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179409 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 989368 [startup+1796.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1796.68 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179509 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 989368 [startup+1797.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1797.69 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179610 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 989368 [startup+1798.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1798.69 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179710 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 989368 [startup+1799.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1799.7 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179811 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588639 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 989368 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1800.7 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179911 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 989368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29293 /proc/meminfo: memFree=565232/2055920 swapFree=4183200/4192956 [pid=29291] ppid=29289 vsize=989368 CPUtime=1800.71 /proc/29291/stat : 29291 (minisat+) R 29289 29291 29242 0 -1 4194304 275077 0 0 0 179912 159 0 0 25 0 1 0 159312946 1013112832 245628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29291/statm: 247342 245628 123 215 0 247124 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 989368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1800.97 CPU time (s): 1800.87 CPU user time (s): 1799.12 CPU system time (s): 1.74773 CPU usage (%): 99.9945 Max. virtual memory (cumulated for all children) (Kb): 1080780 The end
Begin job on node16 on Fri Jul 28 22:08:41 UTC 2006 FILE ID= 49872-1154124520 PBS_JOBID= 887153 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node16/49872-1154124520/instance-49872-1154124520.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-49872-1154124520 -o ROOT/results/node16/solver-49872-1154124520 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node16/49872-1154124520/instance-49872-1154124520.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 071d3b73b0969abf914b87c7b052faf9 RANDOM SEED= 631682402 TIMEOUT= 1800 seconds /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.229 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.229 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: 1549360 kB Buffers: 29088 kB Cached: 425312 kB SwapCached: 3716 kB Active: 45844 kB Inactive: 417340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1549360 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14464 kB Slab: 29440 kB Committed_AS: 680828 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Fri Jul 28 22:38:43 UTC 2006