Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | ? (TO) | 1800.06 | 1800.62 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb |
MD5SUM | 20fad26c16d154a41eda0484a6e6eae7 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 2.20267 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 24751 |
Total number of constraints | 73261 |
Number of constraints which are clauses | 73260 |
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 | 24420 |
Number of terms in the objective function | 111 |
Biggest coefficient in the objective function | 1298074214633706907132624082305024 |
Number of bits for the biggest coefficient in the objective function | 111 |
Sum of the numbers in the objective function | 2596148429267413814265248164610047 |
Number of bits of the sum of numbers in the objective function | 111 |
Biggest number in a constraint | 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912 |
Number of bits of the biggest number in a constraint | 330 |
Biggest sum of numbers in a constraint | 4374501449566023848745004454235242451901741326209966194279906655789612083583747144123545843134987905 |
Number of bits of the biggest sum of numbers | 331 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 0.00/0.00 c PARSE ERROR! [line 7] Integer overflow. Use BigNum-version. 0.00/0.00 c OK -- Running BigNum-version instead... 0.00/0.00 c Parsing PB file... 1.18/1.28 c Converting 73262 PB-constraints to clauses... 1.18/1.29 c -- Unit propagations: (none) 4.19/4.24 c -- Detecting intervals from adjacent constraints: # 4.19/4.25 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 4.30/4.30 c ---[ 0]---> Adder-cost: 36400 maxlim: 185628437934196225047014300357816985982873324374841130757601902363009 bits: 227/227 26.78/26.85 c ==================================[MINISAT+]================================== 26.78/26.85 c | Conflicts | Original | Learnt | Progress | 26.78/26.85 c | | Clauses Literals | Max Clauses Literals LPC | | 26.78/26.85 c ============================================================================== 26.78/26.85 c | 0 | 314385 1044450 | 104795 0 0 -nan | 0.000 % | 26.78/26.86 c | 100 | 314385 1044450 | 115274 100 315 3.1 | 10.685 % | 26.88/26.92 c | 250 | 314253 1043988 | 126801 229 713 3.1 | 10.719 % | 26.98/27.01 c | 477 | 314253 1043988 | 139482 456 19388 42.5 | 10.719 % | 27.08/27.19 c | 814 | 314253 1043988 | 153430 793 29401 37.1 | 10.719 % | 27.28/27.39 c | 1320 | 314253 1043988 | 168773 1299 42298 32.6 | 10.719 % | 27.49/27.51 c | 2079 | 314253 1043988 | 185650 2058 76303 37.1 | 10.719 % | 27.97/28.02 c | 3218 | 314253 1043988 | 204215 3197 120767 37.8 | 10.719 % | 28.37/28.42 c | 4927 | 314253 1043988 | 224637 4906 273884 55.8 | 10.719 % | 28.97/29.03 c | 7490 | 314253 1043988 | 247101 7469 388284 52.0 | 10.719 % | 29.68/29.74 c | 11334 | 314253 1043988 | 271811 11313 907177 80.2 | 10.719 % | 34.37/34.47 c | 17101 | 314221 1043884 | 298992 17076 1232354 72.2 | 10.729 % | 42.67/42.79 c | 25750 | 314221 1043884 | 328891 25725 1706832 66.3 | 10.729 % | 45.27/45.35 c | 38725 | 314221 1043884 | 361780 38700 4792924 123.8 | 10.729 % | 60.76/60.86 c | 58186 | 313852 1042545 | 397958 58094 6972429 120.0 | 10.828 % | 85.26/85.35 c | 87378 | 313746 1042191 | 437754 87245 10275146 117.8 | 10.859 % | 110.73/110.82 c | 131167 | 313702 1042039 | 481530 130933 19314474 147.5 | 10.869 % | 149.42/149.54 c | 196851 | 313655 1041866 | 529683 192779 29683417 154.0 | 10.880 % | 197.31/197.41 c | 295377 | 313469 1041246 | 582651 291272 45400374 155.9 | 10.924 % | 280.00/280.18 c | 443167 | 313447 1041174 | 640916 439058 87220045 198.7 | 10.929 % | 496.33/496.51 c | 664850 | 313350 1040853 | 705008 42588 4012137 94.2 | 10.957 % | 727.16/727.56 c | 997375 | 313350 1040853 | 775509 375113 88194653 235.1 | 10.957 % | 1202.69/1203.18 c | 1496163 | 313063 1039874 | 853060 126493 27602833 218.2 | 11.025 % | 1800.06/1800.61 c 1800.06/1800.61 c *** TERMINATED *** 1800.06/1800.61 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723011-1338573921/watcher-3723011-1338573921 -o /tmp/evaluation-result-3723011-1338573921/solver-3723011-1338573921 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723011-1338573921.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.93 2/174 17293 /proc/meminfo: memFree=31968824/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [startup+0.0799421 s] /proc/loadavg: 2.00 2.00 1.93 2/174 17293 /proc/meminfo: memFree=31968824/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100292 s] /proc/loadavg: 2.00 2.00 1.93 2/174 17293 /proc/meminfo: memFree=31968824/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300271 s] /proc/loadavg: 2.00 2.00 1.93 2/174 17293 /proc/meminfo: memFree=31968824/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700273 s] /proc/loadavg: 2.00 2.00 1.93 2/174 17293 /proc/meminfo: memFree=31968824/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50026 s] /proc/loadavg: 1.92 1.98 1.93 2/176 17299 /proc/meminfo: memFree=31904312/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=71960 CPUtime=1.49 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 18172 0 0 0 145 4 0 0 20 0 1 0 323520687 73687040 17597 33554432000 4194304 5403892 140733964303760 140733964302968 4331469 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 17990 17597 88 296 0 17690 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 81112 [startup+3.10021 s] /proc/loadavg: 1.92 1.98 1.93 3/175 17327 /proc/meminfo: memFree=31884104/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=71960 CPUtime=3.09 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 18172 0 0 0 305 4 0 0 20 0 1 0 323520687 73687040 17597 33554432000 4194304 5403892 140733964303760 140733964302456 4485907 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 17990 17597 88 296 0 17690 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81112 [startup+6.30029 s] /proc/loadavg: 2.01 2.00 1.93 3/179 17342 /proc/meminfo: memFree=31674560/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=168320 CPUtime=6.29 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 42658 0 0 0 620 9 0 0 20 0 1 0 323520687 172359680 41559 33554432000 4194304 5403892 140733964303760 140733964293352 4742144 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 42080 41560 100 296 0 41780 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 177472 [startup+12.7002 s] /proc/loadavg: 2.01 2.00 1.93 3/179 17342 /proc/meminfo: memFree=31343416/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=254084 CPUtime=12.69 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 63660 0 0 0 1257 12 0 0 20 0 1 0 323520687 260182016 62561 33554432000 4194304 5403892 140733964303760 140733964222360 4739824 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 63521 62561 100 296 0 63221 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 263236 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17342 /proc/meminfo: memFree=31343664/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=252764 CPUtime=25.48 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 64097 0 0 0 2536 12 0 0 20 0 1 0 323520687 258830336 62668 33554432000 4194304 5403892 140733964303760 140733964222360 4540169 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 63191 62668 104 296 0 62891 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 261916 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17342 /proc/meminfo: memFree=31350436/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=245148 CPUtime=51.06 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 64732 0 0 0 5094 12 0 0 20 0 1 0 323520687 251031552 61003 33554432000 4194304 5403892 140733964303760 140733964301768 4445948 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 61287 61003 166 296 0 60987 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 254300 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17342 /proc/meminfo: memFree=31349984/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=245148 CPUtime=102.25 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 64745 0 0 0 10213 12 0 0 20 0 1 0 323520687 251031552 61003 33554432000 4194304 5403892 140733964303760 140733964301768 4445948 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 61287 61003 166 296 0 60987 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 254300 [startup+162.3 s] /proc/loadavg: 2.10 2.03 1.94 3/180 17386 /proc/meminfo: memFree=31598680/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=245148 CPUtime=162.21 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 64771 0 0 0 16209 12 0 0 20 0 1 0 323520687 251031552 61016 33554432000 4194304 5403892 140733964303760 140733964301768 4446592 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 61287 61016 166 296 0 60987 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 254300 [startup+222.3 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17386 /proc/meminfo: memFree=31429208/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=351952 CPUtime=222.21 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 91204 0 0 0 22199 22 0 0 20 0 1 0 323520687 360398848 87449 33554432000 4194304 5403892 140733964303760 140733964301512 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 87988 87449 166 296 0 87688 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 361104 [startup+282.3 s] /proc/loadavg: 2.01 2.02 1.94 3/180 17390 /proc/meminfo: memFree=31260340/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=466332 CPUtime=282.2 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 119965 0 0 0 28185 35 0 0 20 0 1 0 323520687 477523968 116210 33554432000 4194304 5403892 140733964303760 140733964301112 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 116583 116210 166 296 0 116283 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 475484 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.94 3/179 17390 /proc/meminfo: memFree=31137376/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=556292 CPUtime=342.19 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 142128 0 0 0 34176 43 0 0 20 0 1 0 323520687 569643008 138373 33554432000 4194304 5403892 140733964303760 140733964301512 4445957 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 139073 138373 166 296 0 138773 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 565444 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 17390 /proc/meminfo: memFree=31048344/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/17298/statm: 190566 189663 166 296 0 190266 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 771416 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17395 /proc/meminfo: memFree=30793980/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1181.89 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201911 0 0 0 118116 73 0 0 20 0 1 0 323520687 814813184 198088 33554432000 4194304 5403892 140733964303760 140733964301512 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198088 166 296 0 198629 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 804868 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17396 /proc/meminfo: memFree=30792988/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1241.88 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201911 0 0 0 124115 73 0 0 20 0 1 0 323520687 814813184 198088 33554432000 4194304 5403892 140733964303760 140733964301768 4446136 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198088 166 296 0 198629 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 804868 [startup+1302.3 s] /proc/loadavg: 2.06 2.01 1.95 3/179 17396 /proc/meminfo: memFree=30792244/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1301.88 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201911 0 0 0 130115 73 0 0 20 0 1 0 323520687 814813184 198088 33554432000 4194304 5403892 140733964303760 140733964301768 4446256 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198088 166 296 0 198629 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 804868 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 1.95 3/179 17396 /proc/meminfo: memFree=30790532/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1361.85 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201930 0 0 0 136112 73 0 0 20 0 1 0 323520687 814813184 198101 33554432000 4194304 5403892 140733964303760 140733964301768 4440881 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198101 166 296 0 198629 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 804868 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/179 17396 /proc/meminfo: memFree=30788660/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1421.81 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201966 0 0 0 142108 73 0 0 20 0 1 0 323520687 814813184 198403 33554432000 4194304 5403892 140733964303760 140733964301768 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198403 166 296 0 198629 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 804868 [startup+1482.3 s] /proc/loadavg: 2.06 2.01 1.96 3/180 17399 /proc/meminfo: memFree=30785644/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1481.8 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201966 0 0 0 148107 73 0 0 20 0 1 0 323520687 814813184 198403 33554432000 4194304 5403892 140733964303760 140733964301768 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198403 166 296 0 198629 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 804868 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.96 3/179 17400 /proc/meminfo: memFree=30784072/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1541.79 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201966 0 0 0 154106 73 0 0 20 0 1 0 323520687 814813184 198403 33554432000 4194304 5403892 140733964303760 140733964301768 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198403 166 296 0 198629 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 804868 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 17400 /proc/meminfo: memFree=30783204/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=795716 CPUtime=1601.78 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 201966 0 0 0 160105 73 0 0 20 0 1 0 323520687 814813184 198403 33554432000 4194304 5403892 140733964303760 140733964301768 4446095 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 198929 198403 166 296 0 198629 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 804868 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 17400 /proc/meminfo: memFree=30757156/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=816152 CPUtime=1661.76 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 207070 0 0 0 166101 75 0 0 20 0 1 0 323520687 835739648 203507 33554432000 4194304 5403892 140733964303760 140733964301112 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 204038 203507 166 296 0 203738 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 825304 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 17400 /proc/meminfo: memFree=30674944/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=897368 CPUtime=1721.76 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 227310 0 0 0 172093 83 0 0 20 0 1 0 323520687 918904832 223747 33554432000 4194304 5403892 140733964303760 140733964301512 4445948 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 224342 223747 166 296 0 224042 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 906520 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 17400 /proc/meminfo: memFree=30596452/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=973500 CPUtime=1781.75 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 246299 0 0 0 178085 90 0 0 20 0 1 0 323520687 996864000 242736 33554432000 4194304 5403892 140733964303760 140733964301704 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 243375 242736 166 296 0 243075 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 982652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.00 1.96 3/178 17400 /proc/meminfo: memFree=30584804/32873844 swapFree=7116/7116 [pid=17293] ppid=17291 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/17293/stat : 17293 (minisat+_script) S 17291 17293 15226 0 -1 4202496 416 723 0 0 0 0 0 0 20 0 1 0 323520687 9371648 288 33554432000 4194304 5064252 140733233420688 140733233418816 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/17293/statm: 2288 288 244 213 0 73 0 [pid=17298] ppid=17293 vsize=985052 CPUtime=1800.06 cores=1,3,5,7 /proc/17298/stat : 17298 (minisat+_bignum) R 17293 17293 15226 0 -1 4202496 249190 0 0 0 179915 91 0 0 20 0 1 0 323520687 1008693248 245627 33554432000 4194304 5403892 140733964303760 140733964301112 4445960 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/17298/statm: 246263 245627 166 296 0 245963 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 994204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17293 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1799.15 CPU system time (s): 0.91 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 994204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 1152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1139 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 3 runsolver used 4.52231 second user time and 10.1635 second system time The end
Begin job on node103 at 2012-06-01 20:05:21 IDJOB=3723011 IDBENCH=3005 IDSOLVER=2307 FILE ID=node103/3723011-1338573921 RUNJOBID= node103-1338570317-17077 PBS_JOBID= 14635887 Free space on /tmp= 71132 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723011-1338573921/watcher-3723011-1338573921 -o /tmp/evaluation-result-3723011-1338573921/solver-3723011-1338573921 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723011-1338573921.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 20fad26c16d154a41eda0484a6e6eae7 RANDOM SEED=2085317806 node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.37 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5411.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31969204 kB Buffers: 79372 kB Cached: 75348 kB SwapCached: 5604 kB Active: 50068 kB Inactive: 113528 kB Active(anon): 6476 kB Inactive(anon): 4628 kB Active(file): 43592 kB Inactive(file): 108900 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67096276 kB Dirty: 5492 kB Writeback: 44 kB AnonPages: 11512 kB Mapped: 8908 kB Shmem: 0 kB Slab: 603612 kB SReclaimable: 44032 kB SUnreclaim: 559580 kB KernelStack: 1424 kB PageTables: 3880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 136112 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71128 MiB End job on node103 at 2012-06-01 20:35:24