Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1801.06 | 1801.54 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb |
MD5SUM | b25c647d77a62b252fd095c10d449861 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 116401 |
Total number of constraints | 347041 |
Number of constraints which are clauses | 347040 |
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 | 115680 |
Number of terms in the objective function | 241 |
Biggest coefficient in the objective function | 1766847064778384329583297500742918515827483896875618958121606201292619776 |
Number of bits for the biggest coefficient in the objective function | 241 |
Sum of the numbers in the objective function | 3533694129556768659166595001485837031654967793751237916243212402585239551 |
Number of bits of the sum of numbers in the objective function | 241 |
Biggest number in a constraint | 2757826131550993649364364103715456897804056554542556176448634698108099443712107910064330000971904293916892446775667965408323532095584366159791555750475533307061324308088589961496711008293655788792731796366049346060288 |
Number of bits of the biggest number in a constraint | 720 |
Biggest sum of numbers in a constraint | 11031304526203974597457456414861827591216226218170224705794538792432397773599419080455434983678007791829174870181556630080792719840028524540426512506529349195716129636673848887755309378913896805578874811429516550167152 |
Number of bits of the biggest sum of numbers | 721 |
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... 19.49 c Converting 347042 PB-constraints to clauses... 19.58 c -- Unit propagations: (none) 665.27 c -- Detecting intervals from adjacent constraints: # 665.35 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 666.01 c ---[ 0]---> Adder-cost: 173032 maxlim: 750468664635640020551792944534198308296584669471145577614739979250187957020171733353792456584500563586345020940481914633754630382916798349173237138 bits: 488/488 1305.68 c ==================================[MINISAT+]================================== 1305.68 c | Conflicts | Original | Learnt | Progress | 1305.68 c | | Clauses Literals | Max Clauses Literals LPC | | 1305.68 c ============================================================================== 1305.68 c | 0 | 1496535 4976606 | 498845 0 0 nan | 0.000 % | 1306.71 c | 102 | 1496502 4976487 | 548729 97 1255 12.9 | 10.314 % | 1307.91 c | 253 | 1496353 4975958 | 603602 229 9986 43.6 | 10.323 % | 1308.24 c | 480 | 1496353 4975958 | 663962 456 30077 66.0 | 10.323 % | 1308.68 c | 817 | 1496353 4975958 | 730358 793 44648 56.3 | 10.323 % | 1310.06 c | 1323 | 1496353 4975958 | 803394 1299 83783 64.5 | 10.323 % | 1311.31 c | 2083 | 1496353 4975958 | 883734 2059 119175 57.9 | 10.323 % | 1312.88 c | 3222 | 1496353 4975958 | 972107 3198 225420 70.5 | 10.323 % | 1315.33 c | 4930 | 1496353 4975958 | 1069318 4906 416787 85.0 | 10.323 % | 1318.27 c | 7492 | 1496353 4975958 | 1176250 7468 649602 87.0 | 10.323 % | 1365.68 c | 11337 | 1496353 4975958 | 1293875 11313 788777 69.7 | 10.323 % | 1376.28 c | 17103 | 1496353 4975958 | 1423263 17079 1214831 71.1 | 10.323 % | 1411.89 c | 25756 | 1496353 4975958 | 1565589 25732 2005815 78.0 | 10.323 % | 1448.46 c | 38730 | 1496353 4975958 | 1722148 38706 3692287 95.4 | 10.323 % | 1561.33 c | 58193 | 1496353 4975958 | 1894363 58169 5743923 98.7 | 10.323 % | 1610.34 c | 87386 | 1496353 4975958 | 2083799 87362 10710491 122.6 | 10.323 % | 1801.33 c 1801.33 c *** TERMINATED *** 1801.33 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/node47/watcher-49823-1154120668 -o ROOT/results/node47/solver-49823-1154120668 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node47/49823-1154120668/instance-49823-1154120668.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 13905 /proc/meminfo: memFree=1529440/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1048 CPUtime=0 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 98 0 0 0 0 0 0 0 18 0 1 0 158937702 1073152 82 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 262 82 67 215 0 44 0 [startup+10.0026 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1432416/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=101080 CPUtime=9.99 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 24711 0 0 0 986 13 0 0 25 0 1 0 158937702 103505920 24397 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 25270 24397 74 215 0 25052 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 101080 [startup+20.0086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365408/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=19.99 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 1976 23 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621784 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 167768 [startup+30.0147 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365536/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=29.99 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 2976 23 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621726 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 167768 [startup+40.0208 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365536/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=40 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 3976 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621663 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 167768 [startup+50.0278 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365600/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=50.01 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 4977 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005288 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 167768 [startup+60.0339 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365600/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=60.01 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 5977 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812736 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 167768 [startup+70.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365600/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=70.01 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 6977 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012086 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 167768 [startup+80.046 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365600/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=80.01 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 7977 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 167768 [startup+90.0521 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365600/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=90.02 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 8978 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838328 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 167768 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=100.02 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 9978 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005325 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 167768 [startup+110.065 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=110.02 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 10978 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 167768 [startup+120.071 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=120.03 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 11979 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812690 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 167768 [startup+130.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=130.03 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 12979 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805824 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 167768 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=140.04 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 13980 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 167768 [startup+150.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=150.04 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 14980 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005284 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 167768 [startup+160.097 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=160.04 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 15980 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 167768 [startup+170.103 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=170.05 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 16981 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 167768 [startup+180.109 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=180.05 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 17981 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003235 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 167768 [startup+190.115 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=190.05 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 18981 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 167768 [startup+200.121 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=1365664/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=167768 CPUtime=200.06 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 43519 0 0 0 19982 24 0 0 25 0 1 0 158937702 171794432 41092 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 41942 41092 83 215 0 41724 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 167768 [startup+210.127 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 ################ # More data... # ################ /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 177980 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574185 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (Kb) 1284912 [startup+1783.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1782.75 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178080 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1782.75 Current children cumulated vsize (Kb) 1284912 [startup+1784.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1783.76 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178181 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1783.76 Current children cumulated vsize (Kb) 1284912 [startup+1785.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1784.76 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178281 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574425 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1784.76 Current children cumulated vsize (Kb) 1284912 [startup+1786.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1785.76 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178381 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574420 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1785.76 Current children cumulated vsize (Kb) 1284912 [startup+1787.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1786.77 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178482 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1786.77 Current children cumulated vsize (Kb) 1284912 [startup+1788.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1787.77 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178582 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1787.77 Current children cumulated vsize (Kb) 1284912 [startup+1789.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1788.78 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178683 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1788.78 Current children cumulated vsize (Kb) 1284912 [startup+1790.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1789.78 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178783 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574462 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1789.78 Current children cumulated vsize (Kb) 1284912 [startup+1791.27 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1790.79 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178884 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574284 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1790.79 Current children cumulated vsize (Kb) 1284912 [startup+1792.27 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1791.79 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 178984 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1791.79 Current children cumulated vsize (Kb) 1284912 [startup+1793.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1792.8 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179085 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574245 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1792.8 Current children cumulated vsize (Kb) 1284912 [startup+1794.28 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1793.8 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179185 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574256 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1793.8 Current children cumulated vsize (Kb) 1284912 [startup+1795.29 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1794.81 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179286 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574570 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (Kb) 1284912 [startup+1796.29 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1795.81 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179386 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1795.81 Current children cumulated vsize (Kb) 1284912 [startup+1797.3 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1796.82 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179487 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (Kb) 1284912 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1797.82 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179587 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574171 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1797.82 Current children cumulated vsize (Kb) 1284912 [startup+1799.32 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1798.83 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179688 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574144 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1798.83 Current children cumulated vsize (Kb) 1284912 [startup+1800.32 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1799.84 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179789 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574570 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (Kb) 1284912 [startup+1801.33 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1800.84 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179889 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (Kb) 1284912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.33 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13905 /proc/meminfo: memFree=252960/2055920 swapFree=4183120/4192956 [pid=13905] ppid=13903 vsize=1284912 CPUtime=1800.85 /proc/13905/stat : 13905 (minisat+) R 13903 13905 13856 0 -1 4194304 364617 0 0 0 179890 195 0 0 25 0 1 0 158937702 1315749888 318534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574364 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13905/statm: 321228 318534 123 215 0 321010 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (Kb) 1284912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.54 CPU time (s): 1801.06 CPU user time (s): 1798.9 CPU system time (s): 2.16067 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (Kb): 1435708 The end
Begin job on node47 on Fri Jul 28 21:04:29 UTC 2006 FILE ID= 49823-1154120668 PBS_JOBID= 886957 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node47/49823-1154120668/instance-49823-1154120668.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-49823-1154120668 -o ROOT/results/node47/solver-49823-1154120668 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node47/49823-1154120668/instance-49823-1154120668.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b25c647d77a62b252fd095c10d449861 RANDOM SEED= 777885746 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.241 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.241 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: 1529712 kB Buffers: 23380 kB Cached: 443408 kB SwapCached: 3568 kB Active: 55824 kB Inactive: 419456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1529712 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14532 kB Slab: 36868 kB Committed_AS: 689724 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node47 on Fri Jul 28 21:34:31 UTC 2006