Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | SAT (TO) | -42 | 1800.09 | 1800.41 |
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 | -42 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
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... 0.59/0.62 c Converting 59186 PB-constraints to clauses... 0.59/0.63 c -- Unit propagations: (none) 0.59/0.63 c -- Detecting intervals from adjacent constraints: (none) 0.59/0.63 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 0.59/0.69 c ==================================[MINISAT+]================================== 0.59/0.69 c | Conflicts | Original | Learnt | Progress | 0.59/0.69 c | | Clauses Literals | Max Clauses Literals LPC | | 0.59/0.69 c ============================================================================== 0.59/0.69 c | 0 | 59186 118372 | 19728 0 0 nan | 0.000 % | 0.59/0.69 c ============================================================================== 0.59/0.69 c [1mFound solution: -31[0m 0.59/0.69 o -31 0.69/0.70 c ---[ 0]---> Sorter-cost:44290 Base: 0.69/0.75 c ==================================[MINISAT+]================================== 0.69/0.75 c | Conflicts | Original | Learnt | Progress | 0.69/0.75 c | | Clauses Literals | Max Clauses Literals LPC | | 0.69/0.75 c ============================================================================== 0.69/0.75 c | 0 | 104775 225435 | 34925 0 0 nan | 0.000 % | 0.79/0.80 c | 100 | 104524 224914 | 38417 85 1066 12.5 | 0.436 % | 0.79/0.88 c | 250 | 103672 223098 | 42259 189 2294 12.1 | 2.065 % | 0.89/0.99 c | 475 | 102383 220255 | 46485 345 4840 14.0 | 4.529 % | 1.09/1.15 c | 812 | 100937 217141 | 51133 586 7419 12.7 | 7.149 % | 1.39/1.42 c | 1318 | 98182 211016 | 56247 955 12123 12.7 | 12.554 % | 1.69/1.74 c | 2077 | 95016 203912 | 61871 1479 18940 12.8 | 18.868 % | 1.79/1.82 c ============================================================================== 1.79/1.82 c [1mFound solution: -34[0m 1.79/1.82 o -34 1.79/1.83 c ---[ 0]---> Sorter-cost: 0 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 | 2281 | 94270 202263 | 31423 1638 21254 13.0 | 18.868 % | 1.89/1.91 c | 2381 | 93557 200642 | 34565 1705 22268 13.1 | 21.898 % | 1.89/1.98 c | 2531 | 92946 199272 | 38021 1827 23369 12.8 | 23.109 % | 1.99/2.09 c | 2756 | 91830 196738 | 41824 1986 25232 12.7 | 25.365 % | 2.19/2.20 c | 3093 | 90546 193828 | 46006 2258 28068 12.4 | 27.941 % | 2.29/2.36 c | 3599 | 89135 190554 | 50607 2662 32253 12.1 | 30.930 % | 2.59/2.64 c | 4358 | 86431 184320 | 55667 3235 39718 12.3 | 36.339 % | 2.99/3.04 c | 5497 | 82098 174321 | 61234 4060 50083 12.3 | 45.224 % | 3.39/3.46 c | 7205 | 78759 166500 | 67357 5274 69800 13.2 | 52.309 % | 3.99/4.02 c | 9767 | 74447 156240 | 74093 7257 115053 15.9 | 61.626 % | 4.29/4.38 c ============================================================================== 4.29/4.38 c [1mFound solution: -35[0m 4.29/4.38 o -35 4.29/4.39 c ---[ 0]---> Sorter-cost: 0 Base: 4.39/4.41 c ==================================[MINISAT+]================================== 4.39/4.41 c | Conflicts | Original | Learnt | Progress | 4.39/4.41 c | | Clauses Literals | Max Clauses Literals LPC | | 4.39/4.41 c ============================================================================== 4.39/4.41 c | 11855 | 72901 152602 | 24300 9007 171237 19.0 | 61.626 % | 4.39/4.44 c | 11956 | 72669 152047 | 26730 9026 173881 19.3 | 65.703 % | 4.39/4.48 c | 12106 | 72511 151662 | 29403 9103 175319 19.3 | 66.054 % | 4.49/4.55 c | 12332 | 71960 150355 | 32343 9214 178574 19.4 | 67.232 % | 4.49/4.59 c | 12669 | 71960 150355 | 35577 9551 186891 19.6 | 67.232 % | 4.59/4.65 c | 13175 | 71822 150026 | 39135 10017 198100 19.8 | 67.634 % | 4.69/4.72 c ============================================================================== 4.69/4.72 c [1mFound solution: -36[0m 4.69/4.72 o -36 4.69/4.73 c ---[ 0]---> Sorter-cost: 0 Base: 4.69/4.75 c ==================================[MINISAT+]================================== 4.69/4.75 c | Conflicts | Original | Learnt | Progress | 4.69/4.75 c | | Clauses Literals | Max Clauses Literals LPC | | 4.69/4.75 c ============================================================================== 4.69/4.75 c | 13651 | 71767 149867 | 23922 10477 227070 21.7 | 67.634 % | 4.69/4.78 c | 13751 | 71635 149552 | 26314 10560 229754 21.8 | 67.952 % | 4.79/4.81 c | 13901 | 71495 149231 | 28945 10689 232692 21.8 | 68.240 % | 4.79/4.84 c | 14126 | 71495 149231 | 31840 10914 240590 22.0 | 68.240 % | 4.89/4.90 c | 14464 | 71301 148771 | 35024 11166 247387 22.2 | 68.658 % | 4.99/5.00 c | 14970 | 71096 148283 | 38526 11598 264285 22.8 | 69.105 % | 5.09/5.13 c | 15729 | 70692 147312 | 42379 12216 294929 24.1 | 70.005 % | 5.19/5.29 c | 16868 | 70606 147101 | 46617 13307 355598 26.7 | 70.197 % | 5.49/5.58 c | 18576 | 70013 145662 | 51278 14834 442373 29.8 | 71.487 % | 5.89/5.91 c | 21138 | 69860 145296 | 56406 17357 580759 33.5 | 71.822 % | 6.59/6.63 c | 24982 | 69186 143692 | 62047 21008 882895 42.0 | 73.271 % | 7.59/7.70 c | 30748 | 68669 142440 | 68252 26564 1266965 47.7 | 74.405 % | 9.19/9.24 c ============================================================================== 9.19/9.24 c [1mFound solution: -37[0m 9.19/9.24 o -37 9.19/9.24 c ---[ 0]---> Sorter-cost: 0 Base: 9.19/9.29 c ==================================[MINISAT+]================================== 9.19/9.29 c | Conflicts | Original | Learnt | Progress | 9.19/9.29 c | | Clauses Literals | Max Clauses Literals LPC | | 9.19/9.29 c ============================================================================== 9.19/9.29 c | 36888 | 68477 142002 | 22825 32538 2350890 72.3 | 74.405 % | 9.29/9.32 c | 36989 | 68477 142002 | 25107 32639 2355889 72.2 | 74.863 % | 9.29/9.35 c | 37139 | 68477 142002 | 27618 32789 2364920 72.1 | 74.863 % | 9.39/9.44 c | 37364 | 68390 141794 | 30380 32976 2374435 72.0 | 75.048 % | 9.59/9.67 c | 37701 | 68208 141353 | 33418 33252 2387786 71.8 | 75.447 % | 9.80/9.82 c | 38207 | 68191 141312 | 36759 33737 2410028 71.4 | 75.485 % | 9.90/10.00 c | 38966 | 68191 141312 | 40435 34496 2508782 72.7 | 75.485 % | 10.49/10.57 c | 40105 | 67643 139988 | 44479 35447 2584380 72.9 | 76.710 % | 10.99/11.04 c | 41813 | 67533 139718 | 48927 36998 2681268 72.5 | 76.965 % | 11.69/11.74 c | 44377 | 67408 139415 | 53820 39481 2933313 74.3 | 77.249 % | 12.19/12.27 c ============================================================================== 12.19/12.27 c [1mFound solution: -38[0m 12.19/12.27 o -38 12.19/12.28 c ---[ 0]---> Sorter-cost: 0 Base: 12.29/12.33 c ==================================[MINISAT+]================================== 12.29/12.33 c | Conflicts | Original | Learnt | Progress | 12.29/12.33 c | | Clauses Literals | Max Clauses Literals LPC | | 12.29/12.33 c ============================================================================== 12.29/12.33 c | 46463 | 67399 139347 | 22466 41488 3173600 76.5 | 77.249 % | 12.29/12.38 c | 46563 | 67366 139264 | 24712 41579 3178985 76.5 | 77.355 % | 12.39/12.42 c | 46714 | 67366 139264 | 27183 41730 3188195 76.4 | 77.355 % | 12.39/12.47 c | 46939 | 67366 139264 | 29902 41955 3203516 76.4 | 77.355 % | 12.69/12.71 c | 47277 | 67152 138734 | 32892 42197 3212016 76.1 | 77.856 % | 12.89/12.94 c | 47783 | 67024 138429 | 36181 42593 3256759 76.5 | 78.130 % | 13.19/13.23 c | 48542 | 66893 138094 | 39799 43247 3317085 76.7 | 78.440 % | 13.58/13.62 c | 49681 | 66773 137806 | 43779 44272 3468329 78.3 | 78.708 % | 13.98/14.07 c | 51389 | 66773 137806 | 48157 45980 3665783 79.7 | 78.708 % | 14.58/14.69 c | 53951 | 66773 137806 | 52973 48542 3874270 79.8 | 78.708 % | 15.78/15.84 c | 57795 | 66703 137642 | 58271 52249 4403144 84.3 | 78.858 % | 16.78/16.83 c ============================================================================== 16.78/16.83 c [1mFound solution: -39[0m 16.78/16.83 o -39 16.78/16.84 c ---[ 0]---> Sorter-cost: 0 Base: 16.88/16.90 c ==================================[MINISAT+]================================== 16.88/16.90 c | Conflicts | Original | Learnt | Progress | 16.88/16.90 c | | Clauses Literals | Max Clauses Literals LPC | | 16.88/16.90 c ============================================================================== 16.88/16.90 c | 60959 | 66746 137780 | 22248 55413 4808677 86.8 | 78.858 % | 16.88/16.96 c | 61059 | 66746 137780 | 24472 19970 1491252 74.7 | 78.843 % | 16.98/17.00 c | 61209 | 66696 137659 | 26920 20112 1501421 74.7 | 78.955 % | 16.98/17.06 c | 61434 | 66655 137558 | 29612 20326 1508405 74.2 | 79.050 % | 17.08/17.13 c | 61772 | 66655 137558 | 32573 20664 1548997 75.0 | 79.050 % | 17.18/17.23 c | 62278 | 66641 137528 | 35830 21164 1579134 74.6 | 79.075 % | 17.38/17.40 c | 63038 | 66483 137145 | 39413 21877 1624906 74.3 | 79.428 % | 17.59/17.63 c | 64178 | 66436 137033 | 43355 23009 1706960 74.2 | 79.533 % | 17.88/17.99 c | 65886 | 66394 136940 | 47690 24715 1877964 76.0 | 79.612 % | 18.38/18.49 c | 68448 | 66394 136940 | 52459 27277 2138187 78.4 | 79.612 % | 19.38/19.41 c | 72292 | 66188 136448 | 57705 31053 2536364 81.7 | 80.060 % | 20.79/20.85 c | 78058 | 65990 135958 | 63476 36773 3108332 84.5 | 80.515 % | 23.48/23.53 c | 86708 | 65668 135177 | 69823 45315 4027181 88.9 | 81.214 % | 27.49/27.59 c | 99682 | 65663 135166 | 76806 58283 5489233 94.2 | 81.223 % | 34.28/34.34 c | 119143 | 65625 135078 | 84486 77730 8037334 103.4 | 81.303 % | 39.78/39.89 c ============================================================================== 39.78/39.89 c [1mFound solution: -40[0m 39.78/39.89 o -40 39.88/39.90 c ---[ 0]---> Sorter-cost: 0 Base: 39.98/40.00 c ==================================[MINISAT+]================================== 39.98/40.00 c | Conflicts | Original | Learnt | Progress | 39.98/40.00 c | | Clauses Literals | Max Clauses Literals LPC | | 39.98/40.00 c ============================================================================== 39.98/40.00 c | 133656 | 65574 134927 | 21858 91840 9604872 104.6 | 81.303 % | 40.08/40.13 c | 133756 | 65574 134927 | 24043 23083 1518038 65.8 | 81.425 % | 40.08/40.15 c | 133906 | 65574 134927 | 26448 23233 1526900 65.7 | 81.425 % | 40.18/40.20 c | 134131 | 65574 134927 | 29092 23458 1544148 65.8 | 81.425 % | 40.18/40.27 c | 134468 | 65574 134927 | 32002 23795 1579065 66.4 | 81.425 % | 40.28/40.38 c | 134975 | 65574 134927 | 35202 24302 1634412 67.3 | 81.425 % | 40.48/40.54 c | 135734 | 65574 134927 | 38722 25061 1715989 68.5 | 81.425 % | 40.68/40.77 c | 136873 | 65574 134927 | 42595 26200 1819780 69.5 | 81.425 % | 41.08/41.14 c | 138581 | 65538 134839 | 46854 27898 1949053 69.9 | 81.507 % | 41.68/41.76 c | 141143 | 65538 134839 | 51540 30460 2313155 75.9 | 81.507 % | 42.68/42.75 c | 144987 | 65523 134802 | 56694 34301 2805082 81.8 | 81.542 % | 44.18/44.22 c | 150753 | 65475 134677 | 62363 40058 3378991 84.4 | 81.663 % | 46.27/46.35 c | 159402 | 65475 134677 | 68599 48707 4419954 90.7 | 81.663 % | 50.07/50.17 c | 172376 | 65475 134677 | 75459 61681 6333551 102.7 | 81.663 % | 56.86/56.90 c | 191837 | 65421 134551 | 83005 81127 9152518 112.8 | 81.778 % | 67.55/67.69 c ============================================================================== 67.55/67.69 c [1mFound solution: -41[0m 67.55/67.69 o -41 67.55/67.70 c ---[ 0]---> Sorter-cost: 0 Base: 67.75/67.81 c ==================================[MINISAT+]================================== 67.75/67.81 c | Conflicts | Original | Learnt | Progress | 67.75/67.81 c | | Clauses Literals | Max Clauses Literals LPC | | 67.75/67.81 c ============================================================================== 67.75/67.81 c | 219923 | 65394 134505 | 21798 109183 12991111 119.0 | 81.778 % | 67.85/67.97 c | 220023 | 65338 134375 | 23977 22717 1789048 78.8 | 81.963 % | 67.95/68.00 c | 220174 | 65333 134362 | 26375 22867 1792281 78.4 | 81.976 % | 67.95/68.04 c | 220399 | 65333 134362 | 29013 23092 1806748 78.2 | 81.976 % | 67.95/68.08 c | 220736 | 65333 134362 | 31914 23429 1824678 77.9 | 81.976 % | 68.05/68.16 c | 221242 | 65333 134362 | 35105 23935 1866744 78.0 | 81.976 % | 68.25/68.34 c | 222002 | 65293 134272 | 38616 24652 1951243 79.2 | 82.055 % | 68.45/68.58 c | 223141 | 65286 134253 | 42478 25787 2104469 81.6 | 82.074 % | 68.95/69.00 c | 224849 | 65180 133992 | 46725 27472 2289235 83.3 | 82.319 % | 69.45/69.52 c | 227411 | 65176 133982 | 51398 30033 2573728 85.7 | 82.328 % | 70.25/70.35 c | 231255 | 65155 133933 | 56538 33873 3074425 90.8 | 82.373 % | 71.35/71.50 c | 237023 | 65155 133933 | 62192 39641 3661660 92.4 | 82.373 % | 73.65/73.76 c | 245672 | 65067 133711 | 68411 48265 4631228 96.0 | 82.585 % | 77.04/77.19 c | 258647 | 65059 133691 | 75252 61219 6278193 102.6 | 82.604 % | 84.04/84.11 c | 278108 | 65021 133594 | 82777 80669 8915752 110.5 | 82.696 % | 95.65/95.73 c | 307300 | 64872 133243 | 91055 25592 1556180 60.8 | 83.017 % | 106.44/106.60 c | 351089 | 64793 133051 | 100161 69306 6528778 94.2 | 83.195 % | 131.03/131.14 c | 416774 | 64788 133040 | 110177 29262 1877462 64.2 | 83.204 % | 160.93/161.02 c | 515301 | 64720 132872 | 121195 127771 12553149 98.2 | 83.363 % | 216.62/216.78 c | 663090 | 64700 132822 | 133314 147436 18558991 125.9 | 83.411 % | 220.51/220.61 c ============================================================================== 220.51/220.61 c [1mFound solution: -42[0m 220.51/220.61 o -42 220.51/220.62 c ---[ 0]---> Sorter-cost: 0 Base: 220.61/220.77 c ==================================[MINISAT+]================================== 220.61/220.77 c | Conflicts | Original | Learnt | Progress | 220.61/220.77 c | | Clauses Literals | Max Clauses Literals LPC | | 220.61/220.77 c ============================================================================== 220.61/220.77 c | 670036 | 64689 132759 | 21563 154239 19193355 124.4 | 83.411 % | 220.92/221.09 c | 670136 | 64689 132759 | 23719 23506 1426254 60.7 | 83.440 % | 221.02/221.12 c | 670286 | 64689 132759 | 26091 23656 1440513 60.9 | 83.440 % | 221.02/221.15 c | 670511 | 64659 132684 | 28700 23877 1445072 60.5 | 83.510 % | 221.11/221.21 c | 670848 | 64658 132681 | 31570 24212 1465492 60.5 | 83.513 % | 221.11/221.28 c | 671354 | 64658 132681 | 34727 24718 1502718 60.8 | 83.513 % | 221.21/221.36 c | 672113 | 64658 132681 | 38200 25477 1533548 60.2 | 83.513 % | 221.41/221.56 c | 673255 | 64658 132681 | 42020 26619 1650269 62.0 | 83.513 % | 221.71/221.82 c | 674963 | 64658 132681 | 46222 28327 1807326 63.8 | 83.513 % | 222.21/222.32 c | 677525 | 64658 132681 | 50844 30889 2146957 69.5 | 83.513 % | 222.91/223.05 c | 681369 | 64658 132681 | 55928 34733 2584151 74.4 | 83.513 % | 224.22/224.33 c | 687138 | 64648 132659 | 61521 40497 3247045 80.2 | 83.532 % | 226.11/226.20 c | 695787 | 64648 132659 | 67673 49146 4023892 81.9 | 83.532 % | 229.51/229.61 c | 708761 | 64645 132652 | 74441 62107 5386055 86.7 | 83.539 % | 235.51/235.64 c | 728222 | 64633 132624 | 81885 81565 7358969 90.2 | 83.564 % | 245.62/245.75 c | 757414 | 64604 132551 | 90074 23856 1501567 62.9 | 83.634 % | 256.02/256.13 c | 801203 | 64518 132341 | 99081 67615 6570911 97.2 | 83.827 % | 283.31/283.49 c | 866887 | 64518 132341 | 108989 29553 2117047 71.6 | 83.827 % | 314.61/314.74 c | 965413 | 64510 132323 | 119888 128074 11626819 90.8 | 83.843 % | 365.99/366.20 c | 1113203 | 64415 132092 | 131877 26090 1094778 42.0 | 84.050 % | 437.08/437.24 c | 1334886 | 64241 131665 | 145065 114643 6905362 60.2 | 84.450 % | 574.46/574.65 c | 1667411 | 64232 131644 | 159571 159066 10730803 67.5 | 84.469 % | 762.43/762.64 c | 2166200 | 64093 131312 | 175528 174452 13918765 79.8 | 84.773 % | 1114.98/1115.30 c | 2914382 | 64065 131244 | 193081 57690 1657077 28.7 | 84.837 % | 1691.50/1691.87 c | 4036656 | 64053 131216 | 212389 63160 2064216 32.7 | 84.862 % | 1800.08/1800.40 c 1800.08/1800.40 c *** TERMINATED *** 1800.08/1800.40 s SATISFIABLE 1800.08/1800.40 v -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -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 -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 -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 -x1
OK -42
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721307-1338554512/watcher-3721307-1338554512 -o /tmp/evaluation-result-3721307-1338554512/solver-3721307-1338554512 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721307-1338554512.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.95 1.71 3/176 22436 /proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=1404 CPUtime=0 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 188 0 0 0 0 0 0 0 20 0 1 0 321576857 1437696 145 33554432000 134512640 135395479 4286954592 4286953424 134618819 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 351 145 74 216 0 133 0 [startup+0.0482339 s] /proc/loadavg: 1.91 1.95 1.71 3/176 22436 /proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=2236 CPUtime=0.04 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 410 0 0 0 4 0 0 0 20 0 1 0 321576857 2289664 367 33554432000 134512640 135395479 4286954592 4286953608 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 559 367 74 216 0 341 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2236 [startup+0.10026 s] /proc/loadavg: 1.91 1.95 1.71 3/176 22436 /proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=3356 CPUtime=0.09 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 684 0 0 0 9 0 0 0 20 0 1 0 321576857 3436544 641 33554432000 134512640 135395479 4286954592 4286953640 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 839 641 74 216 0 621 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3356 [startup+0.300227 s] /proc/loadavg: 1.91 1.95 1.71 3/176 22436 /proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=7544 CPUtime=0.29 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 1735 0 0 0 29 0 0 0 20 0 1 0 321576857 7725056 1692 33554432000 134512640 135395479 4286954592 4286953004 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 1886 1692 74 216 0 1668 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7544 [startup+0.700232 s] /proc/loadavg: 1.91 1.95 1.71 3/176 22436 /proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=17136 CPUtime=0.69 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 4163 0 0 0 66 3 0 0 20 0 1 0 321576857 17547264 4120 33554432000 134512640 135395479 4286954592 4286951548 135005847 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 4284 4120 100 216 0 4066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17136 [startup+1.50024 s] /proc/loadavg: 1.91 1.95 1.71 3/177 22437 /proc/meminfo: memFree=28899716/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=22256 CPUtime=1.49 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 5436 0 0 0 146 3 0 0 20 0 1 0 321576857 22790144 5203 33554432000 134512640 135395479 4286954592 4286952944 134569723 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 5564 5203 110 216 0 5346 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22256 [startup+3.10024 s] /proc/loadavg: 1.91 1.95 1.71 3/177 22437 /proc/meminfo: memFree=28899188/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=22484 CPUtime=3.09 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 5478 0 0 0 306 3 0 0 20 0 1 0 321576857 23023616 5245 33554432000 134512640 135395479 4286954592 4286952944 134569786 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 5621 5245 110 216 0 5403 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22484 [startup+6.30028 s] /proc/loadavg: 1.92 1.95 1.71 3/177 22437 /proc/meminfo: memFree=28899064/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=22644 CPUtime=6.29 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 5500 0 0 0 626 3 0 0 20 0 1 0 321576857 23187456 5267 33554432000 134512640 135395479 4286954592 4286952640 134585936 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 5661 5267 110 216 0 5443 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22644 [startup+12.7003 s] /proc/loadavg: 1.92 1.95 1.71 3/177 22437 /proc/meminfo: memFree=28890036/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=32072 CPUtime=12.69 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 7848 0 0 0 1265 4 0 0 20 0 1 0 321576857 32841728 7615 33554432000 134512640 135395479 4286954592 4286952944 134569806 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 8018 7615 110 216 0 7800 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32072 [startup+25.5003 s] /proc/loadavg: 1.94 1.96 1.72 3/177 22437 /proc/meminfo: memFree=28880612/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=38964 CPUtime=25.48 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 9597 0 0 0 2544 4 0 0 20 0 1 0 321576857 39899136 9364 33554432000 134512640 135395479 4286954592 4286952428 135011021 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 9741 9364 110 216 0 9523 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38964 [startup+51.1003 s] /proc/loadavg: 1.96 1.96 1.73 3/177 22437 /proc/meminfo: memFree=28848284/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=59820 CPUtime=51.07 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 14842 0 0 0 5101 6 0 0 20 0 1 0 321576857 61255680 14604 33554432000 134512640 135395479 4286954592 4286952944 134580916 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 14955 14604 110 216 0 14737 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59820 [startup+102.307 s] /proc/loadavg: 1.98 1.96 1.74 3/177 22437 /proc/meminfo: memFree=28815324/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=74364 CPUtime=102.24 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 18472 0 0 0 10217 7 0 0 20 0 1 0 321576857 76148736 18215 33554432000 134512640 135395479 4286954592 4286952944 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 18591 18215 110 216 0 18373 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 74364 [startup+162.3 s] /proc/loadavg: 1.99 1.97 1.75 3/177 22437 /proc/meminfo: memFree=28795568/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=76984 CPUtime=162.24 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 19125 0 0 0 16216 8 0 0 20 0 1 0 321576857 78831616 18868 33554432000 134512640 135395479 4286954592 4286952492 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 19246 18868 110 216 0 19028 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 76984 [startup+222.3 s] /proc/loadavg: 2.04 1.99 1.77 3/177 22437 /proc/meminfo: memFree=28745832/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102920 CPUtime=222.21 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25588 0 0 0 22211 10 0 0 20 0 1 0 321576857 105390080 25327 33554432000 134512640 135395479 4286954592 4286952944 134581494 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25730 25327 110 216 0 25512 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 102920 [startup+282.3 s] /proc/loadavg: 2.01 1.99 1.78 3/176 22438 /proc/meminfo: memFree=28730112/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102916 CPUtime=282.21 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25588 0 0 0 28210 11 0 0 20 0 1 0 321576857 105385984 25327 33554432000 134512640 135395479 4286954592 4286952944 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25729 25327 110 216 0 25511 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 102916 [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.79 3/177 22439 /proc/meminfo: memFree=28719436/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=342.2 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25588 0 0 0 34209 11 0 0 20 0 1 0 321576857 105365504 25327 33554432000 134512640 135395479 4286954592 4286952944 134580759 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25327 110 216 0 25506 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 102896 [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.80 3/177 22439 /proc/meminfo: memFree=28712352/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=402.19 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25596 0 0 0 40208 11 0 0 20 0 1 0 321576857 105365504 25328 33554432000 134512640 135395479 4286954592 4286952944 134580878 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25328 110 216 0 25506 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 102896 [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.81 3/177 22439 /proc/meminfo: memFree=28712276/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=462.18 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25607 0 0 0 46207 11 0 0 20 0 1 0 321576857 105365504 25339 33554432000 134512640 135395479 4286954592 4286952944 134581028 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25339 110 216 0 25506 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 102896 [startup+522.3 s] /proc/loadavg: 2.00 1.99 1.82 3/178 22442 /proc/meminfo: memFree=28711896/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=522.17 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25615 0 0 0 52206 11 0 0 20 0 1 0 321576857 105365504 25347 33554432000 134512640 135395479 4286954592 4286952944 134580828 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25347 110 216 0 25506 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 102896 [startup+582.3 s] /proc/loadavg: 2.00 1.99 1.83 3/177 22443 /proc/meminfo: memFree=28711904/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=582.16 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25617 0 0 0 58205 11 0 0 20 0 1 0 321576857 105365504 25349 33554432000 134512640 135395479 4286954592 4286952944 134580730 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25349 110 216 0 25506 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 102896 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.02 2.00 1.86 3/177 22443 /proc/meminfo: memFree=28711780/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=822.12 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25644 0 0 0 82201 11 0 0 20 0 1 0 321576857 105365504 25376 33554432000 134512640 135395479 4286954592 4286952944 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25376 110 216 0 25506 0 Current children cumulated CPU time (s) 822.12 Current children cumulated vsize (KiB) 102896 [startup+882.3 s] /proc/loadavg: 2.01 2.00 1.86 3/177 22444 /proc/meminfo: memFree=28711904/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=882.11 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 88200 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952944 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25377 110 216 0 25506 0 Current children cumulated CPU time (s) 882.11 Current children cumulated vsize (KiB) 102896 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 22444 /proc/meminfo: memFree=28711036/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=942.1 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 94199 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952944 134580929 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25377 110 216 0 25506 0 Current children cumulated CPU time (s) 942.1 Current children cumulated vsize (KiB) 102896 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 22444 /proc/meminfo: memFree=28695096/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=1002.09 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 100198 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952944 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25377 110 216 0 25506 0 Current children cumulated CPU time (s) 1002.09 Current children cumulated vsize (KiB) 102896 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 1.88 3/177 22444 /proc/meminfo: memFree=28680960/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=102896 CPUtime=1062.09 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 106198 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952560 134576810 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25724 25377 110 216 0 25506 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 102896 [startup+1122.3 s] /proc/loadavg: 2.11 2.04 1.90 3/178 22447 /proc/meminfo: memFree=28674008/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=103440 CPUtime=1122.08 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25741 0 0 0 112197 11 0 0 20 0 1 0 321576857 105922560 25473 33554432000 134512640 135395479 4286954592 4286952944 134580888 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25860 25473 110 216 0 25642 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 103440 [startup+1182.3 s] /proc/loadavg: 2.04 2.03 1.91 3/178 22470 /proc/meminfo: memFree=28673604/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=103440 CPUtime=1182.07 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25741 0 0 0 118196 11 0 0 20 0 1 0 321576857 105922560 25473 33554432000 134512640 135395479 4286954592 4286952944 134581491 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25860 25473 110 216 0 25642 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 103440 [startup+1242.3 s] /proc/loadavg: 2.08 2.04 1.91 3/177 22470 /proc/meminfo: memFree=28672868/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=103844 CPUtime=1242.06 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25757 0 0 0 124195 11 0 0 20 0 1 0 321576857 106336256 25489 33554432000 134512640 135395479 4286954592 4286952944 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 25961 25489 110 216 0 25743 0 Current children cumulated CPU time (s) 1242.06 Current children cumulated vsize (KiB) 103844 [startup+1302.3 s] /proc/loadavg: 2.03 2.03 1.91 3/177 22470 /proc/meminfo: memFree=28672248/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=104208 CPUtime=1302.06 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25846 0 0 0 130195 11 0 0 20 0 1 0 321576857 106708992 25578 33554432000 134512640 135395479 4286954592 4286952944 134580856 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26052 25578 110 216 0 25834 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 104208 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 1.91 3/177 22470 /proc/meminfo: memFree=28672248/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=104572 CPUtime=1362.04 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25911 0 0 0 136193 11 0 0 20 0 1 0 321576857 107081728 25643 33554432000 134512640 135395479 4286954592 4286952944 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26143 25643 110 216 0 25925 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 104572 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 1.91 3/177 22470 /proc/meminfo: memFree=28671628/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1422.04 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 142193 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25778 110 216 0 26107 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 105300 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.91 3/177 22471 /proc/meminfo: memFree=28671752/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1482.02 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 148191 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952464 134574262 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25778 110 216 0 26107 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 105300 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 22471 /proc/meminfo: memFree=28671752/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1542.01 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 154190 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25778 110 216 0 26107 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 105300 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 22471 /proc/meminfo: memFree=28671628/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1602 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 160189 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952464 134573863 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25778 110 216 0 26107 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 105300 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 22471 /proc/meminfo: memFree=28672124/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1661.99 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 166188 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25778 110 216 0 26107 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 105300 [startup+1722.3 s] /proc/loadavg: 2.10 2.03 1.93 3/178 22523 /proc/meminfo: memFree=28821148/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1721.99 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 172188 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25778 110 216 0 26107 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 105300 [startup+1782.3 s] /proc/loadavg: 2.03 2.02 1.93 3/177 22524 /proc/meminfo: memFree=28810268/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1781.98 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26047 0 0 0 178187 11 0 0 20 0 1 0 321576857 107827200 25779 33554432000 134512640 135395479 4286954592 4286952944 134580801 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25779 110 216 0 26107 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 105300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.02 2.02 1.93 3/177 22524 /proc/meminfo: memFree=28810764/32873844 swapFree=7112/7112 [pid=22436] ppid=22434 vsize=105300 CPUtime=1800.08 cores=1,3,5,7 /proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26066 0 0 0 179997 11 0 0 20 0 1 0 321576857 107827200 25798 33554432000 134512640 135395479 4286954592 4286952916 134580248 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 /proc/22436/statm: 26325 25798 110 216 0 26107 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 105300 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.41 CPU time (s): 1800.09 CPU user time (s): 1799.98 CPU system time (s): 0.111982 CPU usage (%): 99.9822 Max. virtual memory (cumulated for all children) (KiB): 105300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.111982 maximum resident set size= 103200 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26068 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= 47 involuntary context switches= 1854 runsolver used 3.89141 second user time and 9.25359 second system time The end
Begin job on node119 at 2012-06-01 14:41:52 IDJOB=3721307 IDBENCH=2252 IDSOLVER=2306 FILE ID=node119/3721307-1338554512 RUNJOBID= node119-1338552571-22133 PBS_JOBID= 14635865 Free space on /tmp= 70920 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721307-1338554512/watcher-3721307-1338554512 -o /tmp/evaluation-result-3721307-1338554512/solver-3721307-1338554512 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721307-1338554512.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc RANDOM SEED=1274578797 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28920812 kB Buffers: 355552 kB Cached: 2742896 kB SwapCached: 1912 kB Active: 1384528 kB Inactive: 1765044 kB Active(anon): 46576 kB Inactive(anon): 6604 kB Active(file): 1337952 kB Inactive(file): 1758440 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100216 kB Dirty: 3520 kB Writeback: 0 kB AnonPages: 56344 kB Mapped: 12164 kB Shmem: 0 kB Slab: 667672 kB SReclaimable: 109924 kB SUnreclaim: 557748 kB KernelStack: 1464 kB PageTables: 3808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 170600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721307-1338554512.opb Free space on /tmp at the end= 70920 MiB End job on node119 at 2012-06-01 15:11:54