Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.78 | 1801.23 |
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 | 42.1306 |
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 c Parsing PB file... 3.35 c Converting 73262 PB-constraints to clauses... 3.37 c -- Unit propagations: (none) 27.16 c -- Detecting intervals from adjacent constraints: # 27.18 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 27.32 c ---[ 0]---> Adder-cost: 36400 maxlim: 185628437934196225047014300357816985982873324374841130757601902363009 bits: 227/227 81.57 c ==================================[MINISAT+]================================== 81.57 c | Conflicts | Original | Learnt | Progress | 81.57 c | | Clauses Literals | Max Clauses Literals LPC | | 81.57 c ============================================================================== 81.57 c | 0 | 314385 1044450 | 104795 0 0 nan | 0.000 % | 81.58 c | 100 | 314385 1044450 | 115274 100 315 3.1 | 10.685 % | 81.74 c | 250 | 314253 1043988 | 126801 229 713 3.1 | 10.719 % | 82.13 c | 477 | 314253 1043988 | 139482 456 19388 42.5 | 10.719 % | 82.93 c | 814 | 314253 1043988 | 153430 793 29401 37.1 | 10.719 % | 83.77 c | 1320 | 314253 1043988 | 168773 1299 42298 32.6 | 10.719 % | 84.23 c | 2079 | 314253 1043988 | 185650 2058 76303 37.1 | 10.719 % | 86.38 c | 3218 | 314253 1043988 | 204215 3197 120767 37.8 | 10.719 % | 88.05 c | 4927 | 314253 1043988 | 224637 4906 273884 55.8 | 10.719 % | 90.68 c | 7490 | 314253 1043988 | 247101 7469 388284 52.0 | 10.719 % | 93.73 c | 11334 | 314253 1043988 | 271811 11313 907177 80.2 | 10.719 % | 112.16 c | 17101 | 314221 1043884 | 298992 17076 1232354 72.2 | 10.729 % | 143.01 c | 25750 | 314221 1043884 | 328891 25725 1706832 66.3 | 10.729 % | 153.97 c | 38725 | 314221 1043884 | 361780 38700 4792924 123.8 | 10.729 % | 210.60 c | 58186 | 313904 1042735 | 397958 58100 7654165 131.7 | 10.813 % | 328.28 c | 87378 | 313893 1042692 | 437754 87290 10035187 115.0 | 10.817 % | 424.36 c | 131168 | 313783 1042308 | 481530 131063 17301159 132.0 | 10.846 % | 614.30 c | 196852 | 313711 1042058 | 529683 196686 28367507 144.2 | 10.864 % | 998.58 c | 295378 | 313450 1041191 | 582651 294914 45410862 154.0 | 10.928 % | 1356.84 c | 443168 | 313189 1040332 | 640916 442626 78253834 176.8 | 11.004 % | 1801.15 c 1801.15 c *** TERMINATED *** 1801.15 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node48/watcher-49822-1154120634 -o ROOT/results/node48/solver-49822-1154120634 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node48/49822-1154120634/instance-49822-1154120634.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.02 1.00 3/64 29073 /proc/meminfo: memFree=726392/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=1048 CPUtime=0 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 99 0 0 0 0 0 0 0 19 0 1 0 158934216 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 262 83 67 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 1.01 1.02 1.00 2/64 29073 /proc/meminfo: memFree=694920/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=32588 CPUtime=9.99 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 8342 0 0 0 996 3 0 0 25 0 1 0 158934216 33370112 7915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012176 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 8147 7915 83 215 0 7929 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 32588 [startup+20.0091 s] /proc/loadavg: 1.01 1.01 1.00 2/64 29073 /proc/meminfo: memFree=695112/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=32588 CPUtime=19.99 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 8342 0 0 0 1996 3 0 0 25 0 1 0 158934216 33370112 7915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621544 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 8147 7915 83 215 0 7929 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 32588 [startup+30.015 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=682952/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=45092 CPUtime=30 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 11850 0 0 0 2989 11 0 0 25 0 1 0 158934216 46174208 11008 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 11273 11008 92 215 0 11055 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 45092 [startup+40.021 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=133220 CPUtime=40 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 3978 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 33305 32835 92 215 0 33087 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 133220 [startup+50.0269 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=133220 CPUtime=50.01 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 4979 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 33305 32835 92 215 0 33087 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 133220 [startup+60.0328 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=133220 CPUtime=60.01 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 5979 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134810612 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 33305 32835 92 215 0 33087 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 133220 [startup+70.0387 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=133220 CPUtime=70.01 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 6979 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839037 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 33305 32835 92 215 0 33087 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 133220 [startup+80.0457 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=591944/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=136864 CPUtime=80.02 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36156 0 0 0 7979 23 0 0 25 0 1 0 158934216 140148736 33722 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34216 33722 107 215 0 33998 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 136864 [startup+90.0516 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=90.02 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36468 0 0 0 8979 23 0 0 25 0 1 0 158934216 141344768 34026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34026 123 215 0 34290 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 138032 [startup+100.058 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=100.02 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36476 0 0 0 9979 23 0 0 25 0 1 0 158934216 141344768 34034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34034 123 215 0 34290 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 138032 [startup+110.063 s] /proc/loadavg: 1.00 1.01 1.00 2/64 29073 /proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=110.03 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 10980 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34036 123 215 0 34290 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 138032 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=120.03 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 11980 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34036 123 215 0 34290 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 138032 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=130.03 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 12980 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34036 123 215 0 34290 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 138032 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=140.04 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 13981 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34036 123 215 0 34290 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 138032 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=150.04 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 14981 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34036 123 215 0 34290 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 138032 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=160.04 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 15981 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 138032 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=170.05 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 16982 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 138032 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=180.05 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 17982 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 138032 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=190.05 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 18982 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 138032 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=138032 CPUtime=200.06 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 19983 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 138032 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 ################ # More data... # ################ /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121439 0 0 0 178051 109 0 0 25 0 1 0 158934216 490127360 118997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119660 118997 123 215 0 119442 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 478640 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=250256/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=478772 CPUtime=1782.61 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121458 0 0 0 178152 109 0 0 25 0 1 0 158934216 490262528 119016 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119693 119016 123 215 0 119475 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 478772 [startup+1784.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=250192/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=478772 CPUtime=1783.61 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121476 0 0 0 178252 109 0 0 25 0 1 0 158934216 490262528 119034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119693 119034 123 215 0 119475 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 478772 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=250128/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=478904 CPUtime=1784.62 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121490 0 0 0 178353 109 0 0 25 0 1 0 158934216 490397696 119048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119726 119048 123 215 0 119508 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 478904 [startup+1786.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=250064/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=478904 CPUtime=1785.62 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121501 0 0 0 178453 109 0 0 25 0 1 0 158934216 490397696 119059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119726 119059 123 215 0 119508 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 478904 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=250064/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=478904 CPUtime=1786.63 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121507 0 0 0 178554 109 0 0 25 0 1 0 158934216 490397696 119065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119726 119065 123 215 0 119508 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 478904 [startup+1788.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249936/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479036 CPUtime=1787.63 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121533 0 0 0 178654 109 0 0 25 0 1 0 158934216 490532864 119091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119759 119091 123 215 0 119541 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 479036 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249808/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479168 CPUtime=1788.64 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121568 0 0 0 178755 109 0 0 25 0 1 0 158934216 490668032 119126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119792 119126 123 215 0 119574 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 479168 [startup+1790.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249680/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479292 CPUtime=1789.64 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121597 0 0 0 178855 109 0 0 25 0 1 0 158934216 490795008 119155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119823 119155 123 215 0 119605 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 479292 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249680/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479292 CPUtime=1790.64 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121611 0 0 0 178955 109 0 0 25 0 1 0 158934216 490795008 119169 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119823 119169 123 215 0 119605 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 479292 [startup+1792.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249616/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479420 CPUtime=1791.65 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121618 0 0 0 179056 109 0 0 25 0 1 0 158934216 490926080 119176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119855 119176 123 215 0 119637 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 479420 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249616/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479420 CPUtime=1792.65 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121626 0 0 0 179156 109 0 0 25 0 1 0 158934216 490926080 119184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119855 119184 123 215 0 119637 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 479420 [startup+1794.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249552/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479552 CPUtime=1793.66 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121643 0 0 0 179257 109 0 0 25 0 1 0 158934216 491061248 119201 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119888 119201 123 215 0 119670 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 479552 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249424/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479552 CPUtime=1794.66 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121661 0 0 0 179357 109 0 0 25 0 1 0 158934216 491061248 119219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119888 119219 123 215 0 119670 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 479552 [startup+1796.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249360/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479684 CPUtime=1795.67 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121688 0 0 0 179458 109 0 0 25 0 1 0 158934216 491196416 119246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119921 119246 123 215 0 119703 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 479684 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249232/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479816 CPUtime=1796.67 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121714 0 0 0 179558 109 0 0 25 0 1 0 158934216 491331584 119272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119954 119272 123 215 0 119736 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 479816 [startup+1798.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249168/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479816 CPUtime=1797.68 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121735 0 0 0 179659 109 0 0 25 0 1 0 158934216 491331584 119293 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119954 119293 123 215 0 119736 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 479816 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=249040/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=479948 CPUtime=1798.68 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121768 0 0 0 179759 109 0 0 25 0 1 0 158934216 491466752 119326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 119987 119326 123 215 0 119769 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 479948 [startup+1800.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=248912/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=480076 CPUtime=1799.68 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121791 0 0 0 179859 109 0 0 25 0 1 0 158934216 491597824 119349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 120019 119349 123 215 0 119801 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 480076 [startup+1801.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=248656/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=480340 CPUtime=1800.69 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121857 0 0 0 179960 109 0 0 25 0 1 0 158934216 491868160 119415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 120085 119415 123 215 0 119867 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 480340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 29073 /proc/meminfo: memFree=248656/2055920 swapFree=4182820/4192956 [pid=29073] ppid=29071 vsize=480340 CPUtime=1800.69 /proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121857 0 0 0 179960 109 0 0 25 0 1 0 158934216 491868160 119415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/29073/statm: 120085 119415 123 215 0 119867 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 480340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.23 CPU time (s): 1800.78 CPU user time (s): 1799.61 CPU system time (s): 1.17282 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (Kb): 480340 The end
Begin job on node48 on Fri Jul 28 21:03:54 UTC 2006 FILE ID= 49822-1154120634 PBS_JOBID= 886953 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node48/49822-1154120634/instance-49822-1154120634.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-49822-1154120634 -o ROOT/results/node48/solver-49822-1154120634 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node48/49822-1154120634/instance-49822-1154120634.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 20fad26c16d154a41eda0484a6e6eae7 RANDOM SEED= 296138210 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 726600 kB Buffers: 39636 kB Cached: 1229056 kB SwapCached: 4676 kB Active: 402544 kB Inactive: 875716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 726600 kB SwapTotal: 4192956 kB SwapFree: 4182820 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14444 kB Slab: 37048 kB Committed_AS: 659692 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Fri Jul 28 21:33:56 UTC 2006