Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.79 | 1801.33 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb |
MD5SUM | d67243dd41f18412158aad3d9d1777ad |
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 | 522.656 |
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 | 9568131466127621947163770315237577352582483950433331955534014747295513459689730629073816418642253180734108769246219889599930392714811235131541912049967060836868994739843120196423842159639336839621523 |
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.54 c Converting 291722 PB-constraints to clauses... 15.62 c -- Unit propagations: (none) 466.72 c -- Detecting intervals from adjacent constraints: # 466.79 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 467.37 c ---[ 0]---> Adder-cost: 144970 maxlim: 312881163234660297966640071077190574553391323948402329821210580184180225432332055342288603546325260100716730580746982177297951228351599 bits: 447/447 947.83 c ==================================[MINISAT+]================================== 947.83 c | Conflicts | Original | Learnt | Progress | 947.83 c | | Clauses Literals | Max Clauses Literals LPC | | 947.83 c ============================================================================== 947.83 c | 0 | 1254548 4170459 | 418182 0 0 nan | 0.000 % | 947.84 c | 101 | 1254548 4170459 | 460000 101 322 3.2 | 10.449 % | 947.92 c | 251 | 1254506 4170319 | 506000 246 816 3.3 | 10.452 % | 949.88 c | 476 | 1253012 4165051 | 556600 250 808 3.2 | 10.557 % | 950.07 c | 813 | 1252979 4164940 | 612260 582 1853 3.2 | 10.559 % | 952.24 c | 1319 | 1252963 4164888 | 673486 1086 3413 3.1 | 10.561 % | 961.10 c | 2079 | 1252963 4164888 | 740834 1846 51624 28.0 | 10.561 % | 965.57 c | 3218 | 1252963 4164888 | 814918 2985 125819 42.2 | 10.561 % | 993.30 c | 4927 | 1252963 4164888 | 896410 4694 305066 65.0 | 10.561 % | 1043.86 c | 7492 | 1252963 4164888 | 986051 7259 377033 51.9 | 10.561 % | 1047.73 c | 11338 | 1252963 4164888 | 1084656 11105 830645 74.8 | 10.561 % | 1074.20 c | 17105 | 1252963 4164888 | 1193122 16872 1184357 70.2 | 10.561 % | 1199.61 c | 25754 | 1252963 4164888 | 1312434 25521 2567180 100.6 | 10.561 % | 1395.11 c | 38728 | 1252963 4164888 | 1443677 38495 3478209 90.4 | 10.561 % | 1692.60 c | 58189 | 1252963 4164888 | 1588045 57956 16923779 292.0 | 10.561 % | 1801.17 c 1801.17 c *** TERMINATED *** 1801.17 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/node43/watcher-49811-1154120000 -o ROOT/results/node43/solver-49811-1154120000 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49811-1154120000/instance-49811-1154120000.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 4534 /proc/meminfo: memFree=735656/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=1048 CPUtime=0 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 102 0 0 0 0 0 0 0 19 0 1 0 158871121 1073152 86 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 262 86 67 215 0 44 0 [startup+10.0014 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=649768/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=89424 CPUtime=9.98 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 21929 0 0 0 987 11 0 0 25 0 1 0 158871121 91570176 21615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 22356 21615 74 215 0 22138 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 89424 [startup+20.0073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=600808/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=19.99 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 1982 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 137892 [startup+30.0131 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=600936/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=29.99 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 2982 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 137892 [startup+40.019 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=600936/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=39.99 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 3982 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003232 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 137892 [startup+50.0258 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601000/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=50 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 4983 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 137892 [startup+60.0307 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601000/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=60 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 5983 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812700 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 137892 [startup+70.0365 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601000/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=70 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 6983 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 137892 [startup+80.0424 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601000/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=80.01 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 7984 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621371 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 137892 [startup+90.0482 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601000/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=90.01 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 8984 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012155 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 137892 [startup+100.054 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601000/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=100.01 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 9984 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 137892 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=110.02 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 10985 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530511 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 137892 [startup+120.066 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=120.02 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 11985 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 137892 [startup+130.072 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=130.02 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 12985 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 137892 [startup+140.078 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=140.03 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 13986 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812700 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 137892 [startup+150.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=150.03 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 14986 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812692 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 137892 [startup+160.089 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=160.03 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 15986 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 137892 [startup+170.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=170.04 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 16987 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012124 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 137892 [startup+180.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=180.04 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 17987 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 137892 [startup+190.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=190.04 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 18987 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621691 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 137892 [startup+200.113 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 /proc/meminfo: memFree=601064/2055920 swapFree=4183032/4192956 [pid=4534] ppid=4532 vsize=137892 CPUtime=200.05 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 36254 0 0 0 19988 17 0 0 25 0 1 0 158871121 141201408 33825 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 34473 33825 83 215 0 34255 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 137892 [startup+210.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4534 ################ # More data... # ################ /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178000 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 992716 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1782.54 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178100 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 992716 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1783.55 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178201 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581284 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 992716 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1784.55 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178301 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 992716 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1785.56 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178402 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 992716 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1786.56 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178502 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 992716 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1787.57 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178603 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 992716 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1788.57 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178703 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 992716 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1789.58 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178804 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 992716 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1790.58 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 178904 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 992716 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1791.58 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179004 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 992716 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1792.59 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179105 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 992716 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1793.59 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179205 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 992716 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1794.6 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179306 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 992716 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1795.6 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179406 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 992716 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1796.61 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179507 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580245 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 992716 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1797.61 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179607 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 992716 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1798.62 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179708 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 992716 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1799.62 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179808 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 992716 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1800.63 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179909 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580913 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 992716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4732 /proc/meminfo: memFree=94760/2055920 swapFree=4182980/4192956 [pid=4534] ppid=4532 vsize=992716 CPUtime=1800.63 /proc/4534/stat : 4534 (minisat+) R 4532 4534 4485 0 -1 4194304 276420 0 0 0 179909 154 0 0 25 0 1 0 158871121 1016541184 246457 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4534/statm: 248179 246457 123 215 0 247961 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 992716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.33 CPU time (s): 1800.79 CPU user time (s): 1799.1 CPU system time (s): 1.69674 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (Kb): 1086216 The end
Begin job on node43 on Fri Jul 28 20:53:21 UTC 2006 FILE ID= 49811-1154120000 PBS_JOBID= 886909 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49811-1154120000/instance-49811-1154120000.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-49811-1154120000 -o ROOT/results/node43/solver-49811-1154120000 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49811-1154120000/instance-49811-1154120000.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= d67243dd41f18412158aad3d9d1777ad RANDOM SEED= 676667956 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.221 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.221 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: 735992 kB Buffers: 39032 kB Cached: 1213088 kB SwapCached: 4384 kB Active: 479320 kB Inactive: 782132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 735992 kB SwapTotal: 4192956 kB SwapFree: 4183032 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14704 kB Slab: 44492 kB Committed_AS: 618000 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jul 28 21:23:23 UTC 2006