Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -42 | 1800.1 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
MD5SUM | 05ceccb8ea9c274c844c39df1472d3cc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 59186 |
Number of constraints which are clauses | 59186 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.49/1.59 c Converting 59186 PB-constraints to clauses... 1.49/1.59 c -- Unit propagations: (none) 1.49/1.59 c -- Detecting intervals from adjacent constraints: (none) 1.49/1.60 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 1.68/1.73 c ==================================[MINISAT+]================================== 1.68/1.73 c | Conflicts | Original | Learnt | Progress | 1.68/1.73 c | | Clauses Literals | Max Clauses Literals LPC | | 1.68/1.73 c ============================================================================== 1.68/1.73 c | 0 | 59186 118372 | 19728 0 0 nan | 0.000 % | 1.68/1.73 c ============================================================================== 1.68/1.73 c [1mFound solution: -31[0m 1.68/1.73 o -31 1.68/1.74 c ---[ 0]---> Sorter-cost:44290 Base: 1.79/1.85 c ==================================[MINISAT+]================================== 1.79/1.85 c | Conflicts | Original | Learnt | Progress | 1.79/1.85 c | | Clauses Literals | Max Clauses Literals LPC | | 1.79/1.85 c ============================================================================== 1.79/1.85 c | 0 | 104775 225435 | 34925 0 0 nan | 0.000 % | 1.88/1.96 c | 100 | 104524 224914 | 38417 85 1066 12.5 | 0.436 % | 2.09/2.15 c | 250 | 103672 223098 | 42259 189 2294 12.1 | 2.065 % | 2.28/2.39 c | 475 | 102383 220255 | 46485 345 4840 14.0 | 4.529 % | 2.68/2.77 c | 812 | 100937 217141 | 51133 586 7419 12.7 | 7.149 % | 3.29/3.39 c | 1318 | 98182 211016 | 56247 955 12123 12.7 | 12.554 % | 4.08/4.15 c | 2077 | 95016 203912 | 61871 1479 18940 12.8 | 18.868 % | 4.29/4.36 c ============================================================================== 4.29/4.36 c [1mFound solution: -34[0m 4.29/4.36 o -34 4.29/4.37 c ---[ 0]---> Sorter-cost: 0 Base: 4.39/4.42 c ==================================[MINISAT+]================================== 4.39/4.42 c | Conflicts | Original | Learnt | Progress | 4.39/4.42 c | | Clauses Literals | Max Clauses Literals LPC | | 4.39/4.42 c ============================================================================== 4.39/4.42 c | 2281 | 94270 202263 | 31423 1638 21254 13.0 | 18.868 % | 4.48/4.54 c | 2381 | 93557 200642 | 34565 1705 22268 13.1 | 21.898 % | 4.68/4.73 c | 2531 | 92946 199272 | 38021 1827 23369 12.8 | 23.109 % | 4.88/4.98 c | 2756 | 91830 196738 | 41824 1986 25232 12.7 | 25.365 % | 5.18/5.26 c | 3093 | 90546 193828 | 46006 2258 28068 12.4 | 27.941 % | 5.58/5.64 c | 3599 | 89135 190554 | 50607 2662 32253 12.1 | 30.930 % | 6.28/6.31 c | 4358 | 86431 184320 | 55667 3235 39718 12.3 | 36.339 % | 7.18/7.29 c | 5497 | 82098 174321 | 61234 4060 50083 12.3 | 45.224 % | 8.28/8.31 c | 7205 | 78759 166500 | 67357 5274 69800 13.2 | 52.309 % | 9.58/9.68 c | 9767 | 74447 156240 | 74093 7257 115053 15.9 | 61.626 % | 10.48/10.53 c ============================================================================== 10.48/10.53 c [1mFound solution: -35[0m 10.48/10.53 o -35 10.48/10.54 c ---[ 0]---> Sorter-cost: 0 Base: 10.48/10.59 c ==================================[MINISAT+]================================== 10.48/10.59 c | Conflicts | Original | Learnt | Progress | 10.48/10.59 c | | Clauses Literals | Max Clauses Literals LPC | | 10.48/10.59 c ============================================================================== 10.48/10.59 c | 11855 | 72901 152602 | 24300 9007 171237 19.0 | 61.626 % | 10.58/10.67 c | 11956 | 72669 152047 | 26730 9026 173881 19.3 | 65.703 % | 10.68/10.75 c | 12106 | 72511 151662 | 29403 9103 175319 19.3 | 66.054 % | 10.89/10.93 c | 12332 | 71960 150355 | 32343 9214 178574 19.4 | 67.232 % | 10.99/11.02 c | 12669 | 71960 150355 | 35577 9551 186891 19.6 | 67.232 % | 11.08/11.16 c | 13175 | 71822 150026 | 39135 10017 198100 19.8 | 67.634 % | 11.28/11.32 c ============================================================================== 11.28/11.32 c [1mFound solution: -36[0m 11.28/11.32 o -36 11.28/11.33 c ---[ 0]---> Sorter-cost: 0 Base: 11.28/11.39 c ==================================[MINISAT+]================================== 11.28/11.39 c | Conflicts | Original | Learnt | Progress | 11.28/11.39 c | | Clauses Literals | Max Clauses Literals LPC | | 11.28/11.39 c ============================================================================== 11.28/11.39 c | 13651 | 71767 149867 | 23922 10477 227070 21.7 | 67.634 % | 11.38/11.46 c | 13751 | 71635 149552 | 26314 10560 229754 21.8 | 67.952 % | 11.48/11.53 c | 13901 | 71495 149231 | 28945 10689 232692 21.8 | 68.240 % | 11.48/11.59 c | 14126 | 71495 149231 | 31840 10914 240590 22.0 | 68.240 % | 11.68/11.74 c | 14464 | 71301 148771 | 35024 11166 247387 22.2 | 68.658 % | 11.88/11.98 c | 14970 | 71096 148283 | 38526 11598 264285 22.8 | 69.105 % | 12.18/12.27 c | 15729 | 70692 147312 | 42379 12216 294929 24.1 | 70.005 % | 12.58/12.65 c | 16868 | 70606 147101 | 46617 13307 355598 26.7 | 70.197 % | 13.28/13.31 c | 18576 | 70013 145662 | 51278 14834 442373 29.8 | 71.487 % | 13.98/14.07 c | 21138 | 69860 145296 | 56406 17357 580759 33.5 | 71.822 % | 15.58/15.68 c | 24982 | 69186 143692 | 62047 21008 882895 42.0 | 73.271 % | 18.08/18.14 c | 30748 | 68669 142440 | 68252 26564 1266965 47.7 | 74.405 % | 21.68/21.79 c ============================================================================== 21.68/21.79 c [1mFound solution: -37[0m 21.68/21.79 o -37 21.78/21.80 c ---[ 0]---> Sorter-cost: 0 Base: 21.78/21.89 c ==================================[MINISAT+]================================== 21.78/21.89 c | Conflicts | Original | Learnt | Progress | 21.78/21.89 c | | Clauses Literals | Max Clauses Literals LPC | | 21.78/21.89 c ============================================================================== 21.78/21.89 c | 36888 | 68477 142002 | 22825 32538 2350890 72.3 | 74.405 % | 21.89/21.96 c | 36989 | 68477 142002 | 25107 32639 2355889 72.2 | 74.863 % | 21.99/22.04 c | 37139 | 68477 142002 | 27618 32789 2364920 72.1 | 74.863 % | 22.18/22.23 c | 37364 | 68390 141794 | 30380 32976 2374435 72.0 | 75.048 % | 22.58/22.69 c | 37701 | 68208 141353 | 33418 33252 2387786 71.8 | 75.447 % | 22.99/23.03 c | 38207 | 68191 141312 | 36759 33737 2410028 71.4 | 75.485 % | 23.38/23.47 c | 38966 | 68191 141312 | 40435 34496 2508782 72.7 | 75.485 % | 24.58/24.67 c | 40105 | 67643 139988 | 44479 35447 2584380 72.9 | 76.710 % | 25.68/25.80 c | 41813 | 67533 139718 | 48927 36998 2681268 72.5 | 76.965 % | 27.48/27.54 c | 44377 | 67408 139415 | 53820 39481 2933313 74.3 | 77.249 % | 28.87/28.94 c ============================================================================== 28.87/28.94 c [1mFound solution: -38[0m 28.87/28.94 o -38 28.87/28.95 c ---[ 0]---> Sorter-cost: 0 Base: 28.97/29.05 c ==================================[MINISAT+]================================== 28.97/29.05 c | Conflicts | Original | Learnt | Progress | 28.97/29.05 c | | Clauses Literals | Max Clauses Literals LPC | | 28.97/29.05 c ============================================================================== 28.97/29.05 c | 46463 | 67399 139347 | 22466 41488 3173600 76.5 | 77.249 % | 29.07/29.17 c | 46563 | 67366 139264 | 24712 41579 3178985 76.5 | 77.355 % | 29.17/29.26 c | 46714 | 67366 139264 | 27183 41730 3188195 76.4 | 77.355 % | 29.37/29.40 c | 46939 | 67366 139264 | 29902 41955 3203516 76.4 | 77.355 % | 29.77/29.87 c | 47277 | 67152 138734 | 32892 42197 3212016 76.1 | 77.856 % | 30.27/30.37 c | 47783 | 67024 138429 | 36181 42593 3256759 76.5 | 78.130 % | 30.97/31.06 c | 48542 | 66893 138094 | 39799 43247 3317085 76.7 | 78.440 % | 31.97/32.01 c | 49681 | 66773 137806 | 43779 44272 3468329 78.3 | 78.708 % | 33.17/33.25 c | 51389 | 66773 137806 | 48157 45980 3665783 79.7 | 78.708 % | 34.87/34.93 c | 53951 | 66773 137806 | 52973 48542 3874270 79.8 | 78.708 % | 37.98/38.07 c | 57795 | 66703 137642 | 58271 52249 4403144 84.3 | 78.858 % | 40.77/40.88 c ============================================================================== 40.77/40.88 c [1mFound solution: -39[0m 40.77/40.88 o -39 40.77/40.89 c ---[ 0]---> Sorter-cost: 0 Base: 40.97/41.01 c ==================================[MINISAT+]================================== 40.97/41.01 c | Conflicts | Original | Learnt | Progress | 40.97/41.01 c | | Clauses Literals | Max Clauses Literals LPC | | 40.97/41.01 c ============================================================================== 40.97/41.01 c | 60959 | 66746 137780 | 22248 55413 4808677 86.8 | 78.858 % | 41.07/41.15 c | 61059 | 66746 137780 | 24472 19970 1491252 74.7 | 78.843 % | 41.17/41.25 c | 61209 | 66696 137659 | 26920 20112 1501421 74.7 | 78.955 % | 41.27/41.37 c | 61434 | 66655 137558 | 29612 20326 1508405 74.2 | 79.050 % | 41.47/41.53 c | 61772 | 66655 137558 | 32573 20664 1548997 75.0 | 79.050 % | 41.68/41.78 c | 62278 | 66641 137528 | 35830 21164 1579134 74.6 | 79.075 % | 42.07/42.19 c | 63038 | 66483 137145 | 39413 21877 1624906 74.3 | 79.428 % | 42.67/42.72 c | 64178 | 66436 137033 | 43355 23009 1706960 74.2 | 79.533 % | 43.47/43.58 c | 65886 | 66394 136940 | 47690 24715 1877964 76.0 | 79.612 % | 44.77/44.84 c | 68448 | 66394 136940 | 52459 27277 2138187 78.4 | 79.612 % | 46.97/47.08 c | 72292 | 66188 136448 | 57705 31053 2536364 81.7 | 80.060 % | 50.67/50.72 c | 78058 | 65990 135958 | 63476 36773 3108332 84.5 | 80.515 % | 57.47/57.52 c | 86708 | 65668 135177 | 69823 45315 4027181 88.9 | 81.214 % | 69.06/69.16 c | 99682 | 65663 135166 | 76806 58283 5489233 94.2 | 81.223 % | 88.85/88.91 c | 119143 | 65625 135078 | 84486 77730 8037334 103.4 | 81.303 % | 106.05/106.19 c ============================================================================== 106.05/106.19 c [1mFound solution: -40[0m 106.05/106.19 o -40 106.15/106.21 c ---[ 0]---> Sorter-cost: 0 Base: 106.25/106.39 c ==================================[MINISAT+]================================== 106.25/106.39 c | Conflicts | Original | Learnt | Progress | 106.25/106.39 c | | Clauses Literals | Max Clauses Literals LPC | | 106.25/106.39 c ============================================================================== 106.25/106.39 c | 133656 | 65574 134927 | 21858 91840 9604872 104.6 | 81.303 % | 106.56/106.70 c | 133756 | 65574 134927 | 24043 23083 1518038 65.8 | 81.425 % | 106.66/106.77 c | 133906 | 65574 134927 | 26448 23233 1526900 65.7 | 81.425 % | 106.85/106.91 c | 134131 | 65574 134927 | 29092 23458 1544148 65.8 | 81.425 % | 106.95/107.09 c | 134468 | 65574 134927 | 32002 23795 1579065 66.4 | 81.425 % | 107.25/107.39 c | 134975 | 65574 134927 | 35202 24302 1634412 67.3 | 81.425 % | 107.75/107.84 c | 135734 | 65574 134927 | 38722 25061 1715989 68.5 | 81.425 % | 108.35/108.45 c | 136873 | 65574 134927 | 42595 26200 1819780 69.5 | 81.425 % | 109.35/109.40 c | 138581 | 65538 134839 | 46854 27898 1949053 69.9 | 81.507 % | 111.05/111.11 c | 141143 | 65538 134839 | 51540 30460 2313155 75.9 | 81.507 % | 113.75/113.85 c | 144987 | 65523 134802 | 56694 34301 2805082 81.8 | 81.542 % | 117.85/117.96 c | 150753 | 65475 134677 | 62363 40058 3378991 84.4 | 81.663 % | 124.35/124.42 c | 159402 | 65475 134677 | 68599 48707 4419954 90.7 | 81.663 % | 136.74/136.87 c | 172376 | 65475 134677 | 75459 61681 6333551 102.7 | 81.663 % | 159.73/159.83 c | 191837 | 65421 134551 | 83005 81127 9152518 112.8 | 81.778 % | 199.12/199.21 c ============================================================================== 199.12/199.21 c [1mFound solution: -41[0m 199.12/199.21 o -41 199.12/199.23 c ---[ 0]---> Sorter-cost: 0 Base: 199.32/199.44 c ==================================[MINISAT+]================================== 199.32/199.44 c | Conflicts | Original | Learnt | Progress | 199.32/199.44 c | | Clauses Literals | Max Clauses Literals LPC | | 199.32/199.44 c ============================================================================== 199.32/199.44 c | 219923 | 65394 134505 | 21798 109183 12991111 119.0 | 81.778 % | 199.72/199.83 c | 220023 | 65338 134375 | 23977 22717 1789048 78.8 | 81.963 % | 199.82/199.90 c | 220174 | 65333 134362 | 26375 22867 1792281 78.4 | 81.976 % | 199.92/200.03 c | 220399 | 65333 134362 | 29013 23092 1806748 78.2 | 81.976 % | 200.02/200.14 c | 220736 | 65333 134362 | 31914 23429 1824678 77.9 | 81.976 % | 200.22/200.39 c | 221242 | 65333 134362 | 35105 23935 1866744 78.0 | 81.976 % | 200.72/200.88 c | 222002 | 65293 134272 | 38616 24652 1951243 79.2 | 82.055 % | 201.42/201.57 c | 223141 | 65286 134253 | 42478 25787 2104469 81.6 | 82.074 % | 202.52/202.64 c | 224849 | 65180 133992 | 46725 27472 2289235 83.3 | 82.319 % | 204.12/204.20 c | 227411 | 65176 133982 | 51398 30033 2573728 85.7 | 82.328 % | 206.62/206.73 c | 231255 | 65155 133933 | 56538 33873 3074425 90.8 | 82.373 % | 210.32/210.41 c | 237023 | 65155 133933 | 62192 39641 3661660 92.4 | 82.373 % | 217.62/217.75 c | 245672 | 65067 133711 | 68411 48265 4631228 96.0 | 82.585 % | 229.61/229.76 c | 258647 | 65059 133691 | 75252 61219 6278193 102.6 | 82.604 % | 255.70/255.80 c | 278108 | 65021 133594 | 82777 80669 8915752 110.5 | 82.696 % | 299.19/299.34 c | 307300 | 64872 133243 | 91055 25592 1556180 60.8 | 83.017 % | 337.48/337.65 c | 351089 | 64793 133051 | 100161 69306 6528778 94.2 | 83.195 % | 434.44/434.60 c | 416774 | 64788 133040 | 110177 29262 1877462 64.2 | 83.204 % | 546.80/547.07 c | 515301 | 64720 132872 | 121195 127771 12553149 98.2 | 83.363 % | 755.33/755.61 c | 663090 | 64700 132822 | 133314 147436 18558991 125.9 | 83.411 % | 769.63/769.99 c ============================================================================== 769.63/769.99 c [1mFound solution: -42[0m 769.63/769.99 o -42 769.73/770.00 c ---[ 0]---> Sorter-cost: 0 Base: 769.92/770.27 c ==================================[MINISAT+]================================== 769.92/770.27 c | Conflicts | Original | Learnt | Progress | 769.92/770.27 c | | Clauses Literals | Max Clauses Literals LPC | | 769.92/770.27 c ============================================================================== 769.92/770.27 c | 670036 | 64689 132759 | 21563 154239 19193355 124.4 | 83.411 % | 770.72/771.03 c | 670136 | 64689 132759 | 23719 23506 1426254 60.7 | 83.440 % | 770.82/771.11 c | 670286 | 64689 132759 | 26091 23656 1440513 60.9 | 83.440 % | 770.82/771.19 c | 670511 | 64659 132684 | 28700 23877 1445072 60.5 | 83.510 % | 771.02/771.33 c | 670848 | 64658 132681 | 31570 24212 1465492 60.5 | 83.513 % | 771.22/771.55 c | 671354 | 64658 132681 | 34727 24718 1502718 60.8 | 83.513 % | 771.42/771.78 c | 672113 | 64658 132681 | 38200 25477 1533548 60.2 | 83.513 % | 772.02/772.34 c | 673255 | 64658 132681 | 42020 26619 1650269 62.0 | 83.513 % | 772.82/773.13 c | 674963 | 64658 132681 | 46222 28327 1807326 63.8 | 83.513 % | 774.32/774.63 c | 677525 | 64658 132681 | 50844 30889 2146957 69.5 | 83.513 % | 776.52/776.86 c | 681369 | 64658 132681 | 55928 34733 2584151 74.4 | 83.513 % | 780.62/780.91 c | 687138 | 64648 132659 | 61521 40497 3247045 80.2 | 83.532 % | 786.81/787.13 c | 695787 | 64648 132659 | 67673 49146 4023892 81.9 | 83.532 % | 798.81/799.15 c | 708761 | 64645 132652 | 74441 62107 5386055 86.7 | 83.539 % | 821.10/821.42 c | 728222 | 64633 132624 | 81885 81565 7358969 90.2 | 83.564 % | 859.29/859.62 c | 757414 | 64604 132551 | 90074 23856 1501567 62.9 | 83.634 % | 895.58/895.94 c | 801203 | 64518 132341 | 99081 67615 6570911 97.2 | 83.827 % | 1000.24/1000.64 c | 866887 | 64518 132341 | 108989 29553 2117047 71.6 | 83.827 % | 1120.30/1120.78 c | 965413 | 64510 132323 | 119888 128074 11626819 90.8 | 83.843 % | 1317.23/1317.72 c | 1113203 | 64415 132092 | 131877 26090 1094778 42.0 | 84.050 % | 1587.46/1588.13 c | 1334886 | 64241 131665 | 145065 114643 6905362 60.2 | 84.450 % | 1800.07/1800.80 c 1800.07/1800.80 c *** TERMINATED *** 1800.07/1800.80 s SATISFIABLE 1800.07/1800.80 v -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 1800.07/1800.80 v -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.07/1800.80 v -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.07/1800.80 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 1800.07/1800.80 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.07/1800.80 v -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 1800.07/1800.80 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.07/1800.80 v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1800.07/1800.80 v -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 1800.07/1800.80 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.07/1800.80 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.07/1800.80 v -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.07/1800.80 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 1800.07/1800.80 v -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 1800.07/1800.80 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.07/1800.80 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 1800.07/1800.80 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 1800.07/1800.80 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 1800.07/1800.80 v x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.07/1800.80 v -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 1800.07/1800.80 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.07/1800.80 v x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 1800.07/1800.80 v -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 1800.07/1800.80 v -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.07/1800.80 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.07/1800.80 v -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 1800.07/1800.80 v -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.07/1800.80 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.07/1800.80 v -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 1800.07/1800.80 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.07/1800.80 v -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 1800.07/1800.80 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 1800.07/1800.80 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.07/1800.80 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 1800.07/1800.80 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.07/1800.80 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.07/1800.80 v -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.07/1800.80 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.07/1800.80 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 1800.07/1800.80 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.07/1800.80 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 1800.07/1800.80 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 1800.07/1800.80 v -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 1800.07/1800.80 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 1800.07/1800.80 v -x1
OK -42
/tmp/evaluation/353559-1176669310/instance-353559-1176669310.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-353559-1176669310 -o ROOT/results/node59/solver-353559-1176669310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353559-1176669310/minisat+ /tmp/evaluation/353559-1176669310/instance-353559-1176669310.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.20 1.18 1.11 3/64 14232 /proc/meminfo: memFree=1661360/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=1180 CPUtime=0 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 114840617 1208320 135 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 295 135 74 215 0 77 0 [startup+0.00960091 s] /proc/loadavg: 1.20 1.18 1.11 3/64 14232 /proc/meminfo: memFree=1661360/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=1180 CPUtime=0 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 114840617 1208320 142 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134623782 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 295 142 74 215 0 77 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1180 [startup+0.101618 s] /proc/loadavg: 1.20 1.18 1.11 3/64 14232 /proc/meminfo: memFree=1661360/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=2008 CPUtime=0.09 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 353 0 0 0 9 0 0 0 18 0 1 0 114840617 2056192 338 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 502 338 74 215 0 284 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2008 [startup+0.301656 s] /proc/loadavg: 1.20 1.18 1.11 3/64 14232 /proc/meminfo: memFree=1661360/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=3684 CPUtime=0.29 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 769 0 0 0 29 0 0 0 19 0 1 0 114840617 3772416 754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 921 754 74 215 0 703 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3684 [startup+0.701731 s] /proc/loadavg: 1.20 1.18 1.11 3/64 14232 /proc/meminfo: memFree=1661360/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=7024 CPUtime=0.69 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 1586 0 0 0 68 1 0 0 22 0 1 0 114840617 7192576 1571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 1756 1571 74 215 0 1538 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7024 [startup+1.50189 s] /proc/loadavg: 1.20 1.18 1.11 2/65 14233 /proc/meminfo: memFree=1652840/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=13584 CPUtime=1.49 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 3251 0 0 0 147 2 0 0 25 0 1 0 114840617 13910016 3236 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 3396 3236 74 215 0 3178 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13584 [startup+3.10219 s] /proc/loadavg: 1.18 1.18 1.11 2/65 14233 /proc/meminfo: memFree=1640744/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=22244 CPUtime=3.08 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 5407 0 0 0 300 8 0 0 25 0 1 0 114840617 22777856 5202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 5561 5202 110 215 0 5343 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 22244 [startup+6.3018 s] /proc/loadavg: 1.18 1.18 1.11 2/65 14233 /proc/meminfo: memFree=1640576/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=22472 CPUtime=6.28 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 5449 0 0 0 620 8 0 0 25 0 1 0 114840617 23011328 5244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 5618 5244 110 215 0 5400 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22472 [startup+12.702 s] /proc/loadavg: 1.24 1.19 1.11 2/65 14233 /proc/meminfo: memFree=1640600/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=22472 CPUtime=12.68 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 5451 0 0 0 1260 8 0 0 25 0 1 0 114840617 23011328 5246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 5618 5246 110 215 0 5400 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22472 [startup+25.5014 s] /proc/loadavg: 1.20 1.18 1.11 2/65 14233 /proc/meminfo: memFree=1633880/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=29544 CPUtime=25.48 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 7207 0 0 0 2538 10 0 0 25 0 1 0 114840617 30253056 7002 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572696 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 7386 7002 110 215 0 7168 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29544 [startup+51.1013 s] /proc/loadavg: 1.13 1.16 1.11 2/65 14233 /proc/meminfo: memFree=1624536/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=38820 CPUtime=51.07 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 9551 0 0 0 5095 12 0 0 25 0 1 0 114840617 39751680 9346 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 9705 9346 110 215 0 9487 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38820 [startup+102.305 s] /proc/loadavg: 1.05 1.13 1.10 2/65 14233 /proc/meminfo: memFree=1605400/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=58020 CPUtime=102.25 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 14350 0 0 0 10209 16 0 0 25 0 1 0 114840617 59412480 14145 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 14505 14145 110 215 0 14287 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 58020 [startup+162.301 s] /proc/loadavg: 1.02 1.11 1.09 2/65 14233 /proc/meminfo: memFree=1603544/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=59804 CPUtime=162.23 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 14799 0 0 0 16206 17 0 0 25 0 1 0 114840617 61239296 14594 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 14951 14594 110 215 0 14733 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 59804 [startup+222.302 s] /proc/loadavg: 1.00 1.08 1.08 2/65 14235 /proc/meminfo: memFree=1588952/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=74360 CPUtime=222.21 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 18409 0 0 0 22200 21 0 0 25 0 1 0 114840617 76144640 18204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 18590 18204 110 215 0 18372 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 74360 [startup+282.302 s] /proc/loadavg: 1.00 1.07 1.08 2/65 14235 /proc/meminfo: memFree=1588952/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=74360 CPUtime=282.19 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 18409 0 0 0 28198 21 0 0 25 0 1 0 114840617 76144640 18204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 18590 18204 110 215 0 18372 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 74360 [startup+342.302 s] /proc/loadavg: 1.00 1.05 1.07 2/65 14235 /proc/meminfo: memFree=1589016/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=74348 CPUtime=342.17 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 18409 0 0 0 34196 21 0 0 25 0 1 0 114840617 76132352 18204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581204 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 18587 18204 110 215 0 18369 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 74348 [startup+402.301 s] /proc/loadavg: 1.00 1.04 1.06 2/65 14235 /proc/meminfo: memFree=1588952/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=74348 CPUtime=402.15 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 18412 0 0 0 40194 21 0 0 25 0 1 0 114840617 76132352 18207 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 18587 18207 110 215 0 18369 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 74348 [startup+462.301 s] /proc/loadavg: 1.00 1.03 1.06 2/65 14235 /proc/meminfo: memFree=1588888/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=74348 CPUtime=462.13 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 18428 0 0 0 46192 21 0 0 25 0 1 0 114840617 76132352 18223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 18587 18223 110 215 0 18369 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 74348 [startup+522.302 s] /proc/loadavg: 1.07 1.04 1.06 2/65 14235 /proc/meminfo: memFree=1588952/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=74348 CPUtime=522.11 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 18428 0 0 0 52190 21 0 0 25 0 1 0 114840617 76132352 18223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 18587 18223 110 215 0 18369 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 74348 [startup+582.301 s] /proc/loadavg: 1.02 1.03 1.05 2/65 14235 /proc/meminfo: memFree=1577496/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=86120 CPUtime=582.08 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 21310 0 0 0 58184 24 0 0 25 0 1 0 114840617 88186880 21105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 21530 21105 110 215 0 21312 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 86120 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.05 2/65 14235 /proc/meminfo: memFree=1576600/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=86896 CPUtime=642.07 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 21501 0 0 0 64183 24 0 0 25 0 1 0 114840617 88981504 21296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 21724 21296 110 215 0 21506 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 86896 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.03 2/65 14235 /proc/meminfo: memFree=1560472/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102908 CPUtime=822 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 82172 28 0 0 25 0 1 0 114840617 105377792 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25727 25314 110 215 0 25509 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 102908 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.02 2/65 14235 /proc/meminfo: memFree=1560472/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102900 CPUtime=881.98 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 88170 28 0 0 25 0 1 0 114840617 105369600 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25725 25314 110 215 0 25507 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 102900 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.02 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102900 CPUtime=941.96 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 94168 28 0 0 25 0 1 0 114840617 105369600 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25725 25314 110 215 0 25507 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 102900 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.01 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102896 CPUtime=1001.94 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 100166 28 0 0 25 0 1 0 114840617 105365504 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25724 25314 110 215 0 25506 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 102896 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.01 2/65 14235 /proc/meminfo: memFree=1560472/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102896 CPUtime=1061.92 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 106164 28 0 0 25 0 1 0 114840617 105365504 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25724 25314 110 215 0 25506 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 102896 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560472/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102896 CPUtime=1121.9 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 112162 28 0 0 25 0 1 0 114840617 105365504 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25724 25314 110 215 0 25506 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 102896 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560472/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1181.88 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25519 0 0 0 118160 28 0 0 25 0 1 0 114840617 105353216 25314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25314 110 215 0 25503 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 102884 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1241.86 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25520 0 0 0 124158 28 0 0 25 0 1 0 114840617 105353216 25315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25315 110 215 0 25503 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 102884 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1301.84 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25520 0 0 0 130156 28 0 0 25 0 1 0 114840617 105353216 25315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25315 110 215 0 25503 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 102884 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1361.82 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25520 0 0 0 136154 28 0 0 25 0 1 0 114840617 105353216 25315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25315 110 215 0 25503 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 102884 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560472/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1421.81 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25520 0 0 0 142152 29 0 0 25 0 1 0 114840617 105353216 25315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25315 110 215 0 25503 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 102884 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1481.78 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25526 0 0 0 148149 29 0 0 25 0 1 0 114840617 105353216 25321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25321 110 215 0 25503 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 102884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14235 /proc/meminfo: memFree=1560408/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1541.76 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25526 0 0 0 154147 29 0 0 25 0 1 0 114840617 105353216 25321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25321 110 215 0 25503 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 102884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/71 14409 /proc/meminfo: memFree=1559136/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1601.65 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25526 0 0 0 160136 29 0 0 25 0 1 0 114840617 105353216 25321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25321 110 215 0 25503 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 102884 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14433 /proc/meminfo: memFree=1560152/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1661.61 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25527 0 0 0 166132 29 0 0 25 0 1 0 114840617 105353216 25322 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25322 110 215 0 25503 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 102884 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14433 /proc/meminfo: memFree=1560152/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1721.59 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25540 0 0 0 172130 29 0 0 25 0 1 0 114840617 105353216 25335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25335 110 215 0 25503 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 102884 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14433 /proc/meminfo: memFree=1560152/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1781.57 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25540 0 0 0 178128 29 0 0 25 0 1 0 114840617 105353216 25335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25335 110 215 0 25503 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 102884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14433 /proc/meminfo: memFree=1560152/2055920 swapFree=4184740/4192956 [pid=14232] ppid=14230 vsize=102884 CPUtime=1800.07 /proc/14232/stat : 14232 (minisat+) R 14230 14232 27306 0 -1 4194304 25540 0 0 0 179978 29 0 0 25 0 1 0 114840617 105353216 25335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14232/statm: 25721 25335 110 215 0 25503 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 102884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.83 CPU time (s): 1800.1 CPU user time (s): 1799.79 CPU system time (s): 0.313952 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 102944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.313952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25542 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 346 involuntary context switches= 1650 runsolver used 1.21781 second user time and 3.9074 second system time The end
Begin job on node59 on Sun Apr 15 20:35:10 UTC 2007 IDJOB= 353559 IDBENCH= 2252 IDSOLVER= 156 FILE ID= node59/353559-1176669310 PBS_JOBID= 4559945 Free space on /tmp= 66560 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb COMMAND LINE= /tmp/evaluation/353559-1176669310/minisat+ /tmp/evaluation/353559-1176669310/instance-353559-1176669310.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-353559-1176669310 -o ROOT/results/node59/conversion-353559-1176669310 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353559-1176669310/instance-353559-1176669310.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-353559-1176669310 -o ROOT/results/node59/solver-353559-1176669310 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353559-1176669310/minisat+ /tmp/evaluation/353559-1176669310/instance-353559-1176669310.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED= 602974120 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.268 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.268 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: 1661832 kB Buffers: 61960 kB Cached: 227456 kB SwapCached: 2712 kB Active: 104060 kB Inactive: 199972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1661832 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 3856 kB Writeback: 0 kB Mapped: 20144 kB Slab: 76056 kB Committed_AS: 1529536 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node59 on Sun Apr 15 21:05:13 UTC 2007