Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.6 | 1801.32 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb |
MD5SUM | ce74ed6abc2682e3852648a27e28a7ce |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4 |
Optimality of the best value was proved | NO |
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.37 c Converting 73262 PB-constraints to clauses... 3.39 c -- Unit propagations: (none) 27.33 c -- Detecting intervals from adjacent constraints: # 27.34 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 27.48 c ---[ 0]---> Adder-cost: 36400 maxlim: 185628437934196225047014300357816985982873324374841130757601902363009 bits: 227/227 81.71 c ==================================[MINISAT+]================================== 81.71 c | Conflicts | Original | Learnt | Progress | 81.71 c | | Clauses Literals | Max Clauses Literals LPC | | 81.71 c ============================================================================== 81.71 c | 0 | 314385 1044450 | 104795 0 0 nan | 0.000 % | 81.72 c | 100 | 314385 1044450 | 115274 100 315 3.1 | 10.685 % | 82.08 c | 252 | 314165 1043674 | 126801 224 779 3.5 | 10.745 % | 82.19 c | 477 | 314156 1043645 | 139482 448 8986 20.1 | 10.748 % | 82.28 c | 816 | 314156 1043645 | 153430 787 18163 23.1 | 10.749 % | 83.20 c | 1323 | 314156 1043645 | 168773 1294 39770 30.7 | 10.748 % | 85.70 c | 2083 | 314156 1043645 | 185650 2054 60524 29.5 | 10.748 % | 86.31 c | 3222 | 313996 1043075 | 204215 3163 149656 47.3 | 10.791 % | 87.82 c | 4930 | 313996 1043075 | 224637 4871 229632 47.1 | 10.791 % | 89.20 c | 7493 | 313996 1043075 | 247101 7434 322075 43.3 | 10.791 % | 91.57 c | 11337 | 313996 1043075 | 271811 11278 521668 46.3 | 10.791 % | 96.90 c | 17103 | 313961 1042950 | 298992 17038 1014234 59.5 | 10.801 % | 111.34 c | 25752 | 313961 1042950 | 328891 25687 1607107 62.6 | 10.801 % | 119.84 c | 38726 | 313961 1042950 | 361780 38661 3224609 83.4 | 10.800 % | 134.46 c | 58189 | 313961 1042950 | 397958 58124 5331607 91.7 | 10.800 % | 157.36 c | 87384 | 313950 1042907 | 437754 87318 8900777 101.9 | 10.804 % | 201.60 c | 131173 | 313950 1042907 | 481530 131107 12600125 96.1 | 10.804 % | 319.36 c | 196859 | 313950 1042907 | 529683 196793 19298429 98.1 | 10.804 % | 575.55 c | 295385 | 313942 1042881 | 582651 295318 33951759 115.0 | 10.805 % | 1112.38 c | 443174 | 313933 1042850 | 640916 443082 49932929 112.7 | 10.807 % | 1801.26 c 1801.26 c *** TERMINATED *** 1801.26 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/node59/watcher-49797-1154118853 -o ROOT/results/node59/solver-49797-1154118853 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/49797-1154118853/instance-49797-1154118853.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 17721 /proc/meminfo: memFree=903584/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=1048 CPUtime=0 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 113 0 0 0 0 0 0 0 18 0 1 0 158755072 1073152 97 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005809 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 262 97 74 215 0 44 0 [startup+10.0022 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=872032/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=32588 CPUtime=9.99 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 8341 0 0 0 995 4 0 0 25 0 1 0 158755072 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 8147 7913 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.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=872168/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=32588 CPUtime=19.99 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 8341 0 0 0 1995 4 0 0 25 0 1 0 158755072 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 8147 7913 83 215 0 7929 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 32588 [startup+30.016 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=859752/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=45488 CPUtime=30 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 11785 0 0 0 2987 13 0 0 25 0 1 0 158755072 46579712 11107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 11372 11107 89 215 0 11154 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 45488 [startup+40.0229 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=133220 CPUtime=40.01 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 3977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531127 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 33305 32833 92 215 0 33087 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 133220 [startup+50.0298 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=133220 CPUtime=50.01 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 4977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 33305 32833 92 215 0 33087 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 133220 [startup+60.0358 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=133220 CPUtime=60.01 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 5977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 33305 32833 92 215 0 33087 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 133220 [startup+70.0427 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=133220 CPUtime=70.01 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 6977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 33305 32833 92 215 0 33087 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 133220 [startup+80.0496 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=768936/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=136864 CPUtime=80.02 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36153 0 0 0 7977 25 0 0 25 0 1 0 158755072 140148736 33719 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34216 33719 107 215 0 33998 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 136864 [startup+90.0555 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=90.02 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36468 0 0 0 8977 25 0 0 25 0 1 0 158755072 141344768 34026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34026 123 215 0 34290 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 138032 [startup+100.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=100.02 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36477 0 0 0 9977 25 0 0 25 0 1 0 158755072 141344768 34035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574413 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34035 123 215 0 34290 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 138032 [startup+110.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=110.02 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36479 0 0 0 10977 25 0 0 25 0 1 0 158755072 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 138032 [startup+120.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=120.03 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36479 0 0 0 11978 25 0 0 25 0 1 0 158755072 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 138032 [startup+130.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=130.03 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36479 0 0 0 12978 25 0 0 25 0 1 0 158755072 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34037 123 215 0 34290 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 138032 [startup+140.086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=140.03 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 13978 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 138032 [startup+150.092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=150.04 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 14979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 138032 [startup+160.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=160.04 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 15979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 138032 [startup+170.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=170.04 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 16979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574284 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 138032 [startup+180.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=180.04 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 17979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 138032 [startup+190.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=190.05 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 18980 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574132 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 138032 [startup+200.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 /proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=138032 CPUtime=200.05 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 19980 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 34508 34038 123 215 0 34290 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 138032 [startup+210.128 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17721 ################ # More data... # ################ /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85490 0 0 0 178062 84 0 0 25 0 1 0 158755072 342994944 83048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005974 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83739 83048 123 215 0 83521 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 334956 [startup+1783.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=571120/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=335088 CPUtime=1782.46 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85527 0 0 0 178162 84 0 0 25 0 1 0 158755072 343130112 83085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83772 83085 123 215 0 83554 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 335088 [startup+1784.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=570928/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=335220 CPUtime=1783.46 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85569 0 0 0 178262 84 0 0 25 0 1 0 158755072 343265280 83127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83805 83127 123 215 0 83587 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 335220 [startup+1785.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=570800/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=335352 CPUtime=1784.47 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85605 0 0 0 178363 84 0 0 25 0 1 0 158755072 343400448 83163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83838 83163 123 215 0 83620 0 Current children cumulated CPU time (s) 1784.47 Current children cumulated vsize (Kb) 335352 [startup+1786.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=570608/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=335484 CPUtime=1785.47 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85644 0 0 0 178463 84 0 0 25 0 1 0 158755072 343535616 83202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83871 83202 123 215 0 83653 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 335484 [startup+1787.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=570416/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=335744 CPUtime=1786.48 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85689 0 0 0 178564 84 0 0 25 0 1 0 158755072 343801856 83247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573880 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83936 83247 123 215 0 83718 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 335744 [startup+1788.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=570288/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=335872 CPUtime=1787.48 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85724 0 0 0 178664 84 0 0 25 0 1 0 158755072 343932928 83282 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 83968 83282 123 215 0 83750 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 335872 [startup+1789.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=570160/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336004 CPUtime=1788.48 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85766 0 0 0 178764 84 0 0 25 0 1 0 158755072 344068096 83324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84001 83324 123 215 0 83783 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 336004 [startup+1790.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569968/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336132 CPUtime=1789.49 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85803 0 0 0 178865 84 0 0 25 0 1 0 158755072 344199168 83361 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84033 83361 123 215 0 83815 0 Current children cumulated CPU time (s) 1789.49 Current children cumulated vsize (Kb) 336132 [startup+1791.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569840/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336260 CPUtime=1790.49 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85840 0 0 0 178965 84 0 0 25 0 1 0 158755072 344330240 83398 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84065 83398 123 215 0 83847 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 336260 [startup+1792.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569712/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336392 CPUtime=1791.5 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85876 0 0 0 179066 84 0 0 25 0 1 0 158755072 344465408 83434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574445 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84098 83434 123 215 0 83880 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 336392 [startup+1793.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569520/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336652 CPUtime=1792.5 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85913 0 0 0 179166 84 0 0 25 0 1 0 158755072 344731648 83471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84163 83471 123 215 0 83945 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 336652 [startup+1794.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569392/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336780 CPUtime=1793.5 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85957 0 0 0 179266 84 0 0 25 0 1 0 158755072 344862720 83515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84195 83515 123 215 0 83977 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 336780 [startup+1795.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569264/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=336912 CPUtime=1794.51 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85986 0 0 0 179367 84 0 0 25 0 1 0 158755072 344997888 83544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573879 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84228 83544 123 215 0 84010 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 336912 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569136/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337040 CPUtime=1795.51 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86011 0 0 0 179467 84 0 0 25 0 1 0 158755072 345128960 83569 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84260 83569 123 215 0 84042 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 337040 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=569008/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337172 CPUtime=1796.52 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86040 0 0 0 179568 84 0 0 25 0 1 0 158755072 345264128 83598 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84293 83598 123 215 0 84075 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 337172 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=568944/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337300 CPUtime=1797.52 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86072 0 0 0 179668 84 0 0 25 0 1 0 158755072 345395200 83630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84325 83630 123 215 0 84107 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 337300 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=568752/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337300 CPUtime=1798.52 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86105 0 0 0 179768 84 0 0 25 0 1 0 158755072 345395200 83663 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575401 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84325 83663 123 215 0 84107 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 337300 [startup+1800.25 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=568624/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337432 CPUtime=1799.53 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86136 0 0 0 179869 84 0 0 25 0 1 0 158755072 345530368 83694 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84358 83694 123 215 0 84140 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 337432 [startup+1801.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=568496/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337564 CPUtime=1800.53 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86168 0 0 0 179969 84 0 0 25 0 1 0 158755072 345665536 83726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574486 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84391 83726 123 215 0 84173 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 337564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.26 s] /proc/loadavg: 1.00 1.00 1.00 2/64 17921 /proc/meminfo: memFree=568496/2055920 swapFree=4182992/4192956 [pid=17721] ppid=17719 vsize=337564 CPUtime=1800.54 /proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86168 0 0 0 179970 84 0 0 25 0 1 0 158755072 345665536 83726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17721/statm: 84391 83726 123 215 0 84173 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 337564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.32 CPU time (s): 1800.6 CPU user time (s): 1799.7 CPU system time (s): 0.901862 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (Kb): 337564 The end
Begin job on node59 on Fri Jul 28 20:34:13 UTC 2006 FILE ID= 49797-1154118853 PBS_JOBID= 886853 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/49797-1154118853/instance-49797-1154118853.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-49797-1154118853 -o ROOT/results/node59/solver-49797-1154118853 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/49797-1154118853/instance-49797-1154118853.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= ce74ed6abc2682e3852648a27e28a7ce RANDOM SEED= 200439943 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.263 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.263 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: 903856 kB Buffers: 43868 kB Cached: 1024708 kB SwapCached: 3852 kB Active: 249412 kB Inactive: 827860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 903856 kB SwapTotal: 4192956 kB SwapFree: 4182992 kB Dirty: 216 kB Writeback: 0 kB Mapped: 14756 kB Slab: 60816 kB Committed_AS: 1111604 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Fri Jul 28 21:04:14 UTC 2006