Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -42 | 1800.09 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
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 | 58579 |
Number of constraints which are clauses | 58579 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.39/1.49 c Converting 58579 PB-constraints to clauses... 1.39/1.50 c -- Unit propagations: (none) 1.39/1.50 c -- Detecting intervals from adjacent constraints: (none) 1.49/1.50 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.59/1.63 c ==================================[MINISAT+]================================== 1.59/1.63 c | Conflicts | Original | Learnt | Progress | 1.59/1.63 c | | Clauses Literals | Max Clauses Literals LPC | | 1.59/1.63 c ============================================================================== 1.59/1.63 c | 0 | 58579 117158 | 19526 0 0 nan | 0.000 % | 1.59/1.63 c ============================================================================== 1.59/1.63 c [1mFound solution: -33[0m 1.59/1.63 o -33 1.59/1.64 c ---[ 0]---> Sorter-cost:44290 Base: 1.69/1.74 c ==================================[MINISAT+]================================== 1.69/1.74 c | Conflicts | Original | Learnt | Progress | 1.69/1.74 c | | Clauses Literals | Max Clauses Literals LPC | | 1.69/1.74 c ============================================================================== 1.69/1.74 c | 0 | 104196 224283 | 34732 0 0 nan | 0.000 % | 1.89/1.92 c | 100 | 103520 222871 | 38205 71 845 11.9 | 1.183 % | 2.09/2.15 c | 250 | 102504 220679 | 42025 183 4767 26.0 | 3.068 % | 2.29/2.39 c | 475 | 101590 218699 | 46228 350 8146 23.3 | 4.776 % | 2.69/2.70 c | 813 | 100165 215558 | 50851 632 11243 17.8 | 7.527 % | 3.09/3.17 c | 1320 | 98462 211789 | 55936 1027 17710 17.2 | 10.838 % | 3.89/3.95 c | 2079 | 95481 205142 | 61529 1566 24481 15.6 | 16.713 % | 4.99/5.06 c | 3218 | 90546 193957 | 67682 2295 35299 15.4 | 26.714 % | 6.39/6.47 c | 4926 | 84660 180407 | 74451 3424 47764 13.9 | 38.683 % | 8.18/8.23 c | 7488 | 77958 164680 | 81896 5317 75539 14.2 | 52.819 % | 9.98/10.08 c | 11332 | 72480 151676 | 90085 7993 127336 15.9 | 64.644 % | 10.18/10.21 c ============================================================================== 10.18/10.21 c [1mFound solution: -34[0m 10.18/10.21 o -34 10.18/10.22 c ---[ 0]---> Sorter-cost: 0 Base: 10.18/10.27 c ==================================[MINISAT+]================================== 10.18/10.27 c | Conflicts | Original | Learnt | Progress | 10.18/10.27 c | | Clauses Literals | Max Clauses Literals LPC | | 10.18/10.27 c ============================================================================== 10.18/10.27 c | 11631 | 72262 151156 | 24087 8188 132126 16.1 | 64.644 % | 10.28/10.37 c | 11731 | 71790 150037 | 26495 8190 132316 16.2 | 66.159 % | 10.38/10.44 c | 11881 | 71669 149766 | 29145 8301 134293 16.2 | 66.400 % | 10.48/10.53 c | 12106 | 71556 149491 | 32059 8486 137274 16.2 | 66.650 % | 10.58/10.67 c | 12444 | 71318 148917 | 35265 8727 141189 16.2 | 67.179 % | 10.78/10.84 c | 12950 | 71120 148440 | 38792 9155 154159 16.8 | 67.618 % | 11.08/11.10 c | 13709 | 70835 147758 | 42671 9738 167491 17.2 | 68.239 % | 11.38/11.42 c | 14848 | 70356 146641 | 46938 10734 199805 18.6 | 69.236 % | 11.99/12.03 c | 16556 | 69392 144296 | 51632 12131 261545 21.6 | 71.384 % | 12.58/12.67 c ============================================================================== 12.58/12.67 c [1mFound solution: -35[0m 12.58/12.67 o -35 12.58/12.68 c ---[ 0]---> Sorter-cost: 0 Base: 12.68/12.74 c ==================================[MINISAT+]================================== 12.68/12.74 c | Conflicts | Original | Learnt | Progress | 12.68/12.74 c | | Clauses Literals | Max Clauses Literals LPC | | 12.68/12.74 c ============================================================================== 12.68/12.74 c | 18254 | 68786 142907 | 22928 13556 396919 29.3 | 71.384 % | 12.68/12.76 c | 18354 | 68786 142907 | 25220 13656 397935 29.1 | 72.836 % | 12.78/12.81 c | 18505 | 68746 142819 | 27742 13744 400828 29.2 | 72.913 % | 12.78/12.88 c | 18730 | 68746 142819 | 30517 13969 414502 29.7 | 72.913 % | 12.98/13.10 c | 19067 | 68440 142073 | 33568 14192 420207 29.6 | 73.606 % | 13.19/13.29 c ============================================================================== 13.19/13.29 c [1mFound solution: -36[0m 13.19/13.29 o -36 13.28/13.30 c ---[ 0]---> Sorter-cost: 0 Base: 13.28/13.36 c ==================================[MINISAT+]================================== 13.28/13.36 c | Conflicts | Original | Learnt | Progress | 13.28/13.36 c | | Clauses Literals | Max Clauses Literals LPC | | 13.28/13.36 c ============================================================================== 13.28/13.36 c | 19471 | 68221 141542 | 22740 14460 433715 30.0 | 73.606 % | 13.38/13.40 c | 19571 | 68218 141535 | 25014 14558 436494 30.0 | 74.099 % | 13.38/13.45 c | 19721 | 68215 141528 | 27515 14705 441753 30.0 | 74.106 % | 13.48/13.53 c | 19946 | 68209 141514 | 30266 14866 447573 30.1 | 74.119 % | 13.58/13.62 c | 20284 | 68096 141240 | 33293 15135 454576 30.0 | 74.374 % | 13.78/13.81 c | 20790 | 67967 140930 | 36622 15584 471882 30.3 | 74.655 % | 13.98/14.08 c | 21550 | 67737 140372 | 40285 16262 499377 30.7 | 75.169 % | 14.49/14.54 c | 22689 | 67420 139604 | 44313 17090 536134 31.4 | 75.875 % | 14.99/15.05 c | 24397 | 67334 139396 | 48745 18762 638169 34.0 | 76.070 % | 15.59/15.68 c ============================================================================== 15.59/15.68 c [1mFound solution: -37[0m 15.59/15.68 o -37 15.59/15.69 c ---[ 0]---> Sorter-cost: 0 Base: 15.69/15.75 c ==================================[MINISAT+]================================== 15.69/15.75 c | Conflicts | Original | Learnt | Progress | 15.69/15.75 c | | Clauses Literals | Max Clauses Literals LPC | | 15.69/15.75 c ============================================================================== 15.69/15.75 c | 25824 | 66748 138007 | 22249 19773 713991 36.1 | 76.070 % | 15.69/15.79 c | 25926 | 66748 138007 | 24473 19875 721526 36.3 | 77.398 % | 15.79/15.86 c | 26076 | 66701 137889 | 26921 19988 725709 36.3 | 77.500 % | 15.89/15.95 c | 26304 | 66691 137865 | 29613 20188 742795 36.8 | 77.522 % | 15.99/16.08 c | 26641 | 66684 137848 | 32574 20505 764659 37.3 | 77.538 % | 16.19/16.27 c | 27147 | 66610 137670 | 35832 20966 795602 37.9 | 77.701 % | 16.49/16.52 c | 27906 | 66557 137538 | 39415 21695 840079 38.7 | 77.822 % | 16.89/16.96 c | 29045 | 66377 137118 | 43357 22659 906159 40.0 | 78.202 % | 17.49/17.51 c | 30753 | 66179 136641 | 47692 24049 979559 40.7 | 78.626 % | 18.49/18.54 c | 33315 | 66156 136582 | 52461 26592 1256078 47.2 | 78.684 % | 20.08/20.10 c | 37159 | 66080 136394 | 57708 30405 1639687 53.9 | 78.862 % | 23.09/23.16 c | 42926 | 65943 136061 | 63478 36065 2387802 66.2 | 79.169 % | 26.88/26.91 c ============================================================================== 26.88/26.91 c [1mFound solution: -38[0m 26.88/26.91 o -38 26.88/26.92 c ---[ 0]---> Sorter-cost: 0 Base: 26.98/27.01 c ==================================[MINISAT+]================================== 26.98/27.01 c | Conflicts | Original | Learnt | Progress | 26.98/27.01 c | | Clauses Literals | Max Clauses Literals LPC | | 26.98/27.01 c ============================================================================== 26.98/27.01 c | 49021 | 65679 135390 | 21893 41853 3046899 72.8 | 79.169 % | 27.08/27.18 c | 49121 | 65630 135269 | 24082 41903 3047090 72.7 | 79.865 % | 27.18/27.28 c | 49274 | 65630 135269 | 26490 42056 3057594 72.7 | 79.865 % | 27.28/27.39 c | 49499 | 65629 135266 | 29139 42276 3063604 72.5 | 79.869 % | 27.48/27.59 c | 49837 | 65629 135266 | 32053 42614 3083440 72.4 | 79.869 % | 27.88/27.92 c | 50343 | 65606 135209 | 35258 43116 3115471 72.3 | 79.920 % | 28.28/28.38 c | 51103 | 65606 135209 | 38784 43876 3179341 72.5 | 79.920 % | 28.98/29.05 c | 52243 | 65603 135202 | 42663 45015 3258321 72.4 | 79.926 % | 30.18/30.26 c | 53951 | 65539 135048 | 46929 46676 3413313 73.1 | 80.070 % | 31.88/31.98 c | 56513 | 65539 135048 | 51622 49238 3666917 74.5 | 80.070 % | 34.58/34.66 c | 60357 | 65472 134879 | 56784 52868 4089603 77.4 | 80.232 % | 38.88/38.94 c | 66123 | 65472 134879 | 62463 58634 4702227 80.2 | 80.232 % | 46.08/46.17 c ============================================================================== 46.08/46.17 c [1mFound solution: -39[0m 46.08/46.17 o -39 46.08/46.19 c ---[ 0]---> Sorter-cost: 0 Base: 46.27/46.31 c ==================================[MINISAT+]================================== 46.27/46.31 c | Conflicts | Original | Learnt | Progress | 46.27/46.31 c | | Clauses Literals | Max Clauses Literals LPC | | 46.27/46.31 c ============================================================================== 46.27/46.31 c | 74242 | 65424 134793 | 21808 66575 5682677 85.4 | 80.232 % | 46.37/46.45 c | 74342 | 65424 134793 | 23988 20814 1496451 71.9 | 80.407 % | 46.47/46.51 c | 74492 | 65424 134793 | 26387 20964 1504397 71.8 | 80.407 % | 46.47/46.58 c | 74717 | 65424 134793 | 29026 21189 1515936 71.5 | 80.407 % | 46.67/46.75 c | 75054 | 65424 134793 | 31929 21526 1554455 72.2 | 80.407 % | 46.87/46.98 c | 75560 | 65424 134793 | 35122 22032 1597367 72.5 | 80.407 % | 47.28/47.34 c | 76319 | 65401 134738 | 38634 22787 1659051 72.8 | 80.458 % | 47.77/47.87 c | 77458 | 65316 134534 | 42497 23897 1771616 74.1 | 80.645 % | 48.67/48.70 c | 79166 | 65306 134512 | 46747 25597 1907763 74.5 | 80.664 % | 49.87/49.99 c | 81728 | 65202 134254 | 51422 28146 2157205 76.6 | 80.903 % | 51.77/51.84 c | 85572 | 65193 134233 | 56564 31985 2530523 79.1 | 80.922 % | 55.27/55.32 c | 91338 | 65193 134233 | 62220 37751 3122150 82.7 | 80.922 % | 61.37/61.47 c | 99987 | 65123 134064 | 68442 46388 4220348 91.0 | 81.078 % | 74.07/74.13 c | 112962 | 65112 134039 | 75287 59336 5908485 99.6 | 81.100 % | 94.66/94.73 c | 132424 | 65098 134005 | 82815 78794 8817211 111.9 | 81.132 % | 133.95/134.06 c | 161617 | 65022 133819 | 91097 107974 12083003 111.9 | 81.297 % | 154.85/154.95 c ============================================================================== 154.85/154.95 c [1mFound solution: -40[0m 154.85/154.95 o -40 154.85/154.96 c ---[ 0]---> Sorter-cost: 0 Base: 154.95/155.05 c ==================================[MINISAT+]================================== 154.95/155.05 c | Conflicts | Original | Learnt | Progress | 154.95/155.05 c | | Clauses Literals | Max Clauses Literals LPC | | 154.95/155.05 c ============================================================================== 154.95/155.05 c | 180293 | 64927 133578 | 21642 31533 3240241 102.8 | 81.297 % | 155.05/155.13 c | 180393 | 64927 133578 | 23806 31633 3247194 102.7 | 81.511 % | 155.14/155.21 c | 180543 | 64927 133578 | 26186 31783 3252928 102.3 | 81.511 % | 155.24/155.38 c | 180768 | 64897 133504 | 28805 32002 3271201 102.2 | 81.581 % | 155.54/155.60 c | 181105 | 64897 133504 | 31686 32339 3303052 102.1 | 81.581 % | 155.94/156.00 c | 181611 | 64870 133439 | 34854 32828 3344803 101.9 | 81.641 % | 156.34/156.45 c | 182370 | 64870 133439 | 38340 33587 3402298 101.3 | 81.641 % | 157.15/157.20 c | 183510 | 64831 133342 | 42174 34709 3497246 100.8 | 81.734 % | 158.35/158.42 c | 185218 | 64831 133342 | 46391 36417 3743711 102.8 | 81.734 % | 160.14/160.22 c | 187780 | 64831 133342 | 51030 38979 4036614 103.6 | 81.734 % | 162.84/162.95 c | 191624 | 64795 133255 | 56133 42814 4428110 103.4 | 81.813 % | 167.84/167.95 c | 197390 | 64795 133255 | 61747 48580 5334245 109.8 | 81.813 % | 175.74/175.84 c | 206042 | 64693 133013 | 67921 57199 6439905 112.6 | 82.035 % | 188.73/188.82 c | 219017 | 64610 132809 | 74714 70080 7853073 112.1 | 82.226 % | 213.42/213.59 c | 238478 | 64559 132679 | 82185 89486 9966107 111.4 | 82.347 % | 246.41/246.56 c | 267670 | 64534 132616 | 90404 31903 2477608 77.7 | 82.407 % | 286.10/286.24 c | 311459 | 64455 132423 | 99444 75666 9108779 120.4 | 82.589 % | 373.68/373.87 c | 377143 | 64408 132304 | 109388 32855 4312812 131.3 | 82.703 % | 487.94/488.19 c | 475669 | 64333 132129 | 120327 131363 18001673 137.0 | 82.862 % | 673.69/673.99 c | 623458 | 64170 131733 | 132360 25685 2105544 82.0 | 83.224 % | 689.98/690.27 c ============================================================================== 689.98/690.27 c [1mFound solution: -41[0m 689.98/690.27 o -41 689.98/690.28 c ---[ 0]---> Sorter-cost: 0 Base: 690.08/690.40 c ==================================[MINISAT+]================================== 690.08/690.40 c | Conflicts | Original | Learnt | Progress | 690.08/690.40 c | | Clauses Literals | Max Clauses Literals LPC | | 690.08/690.40 c ============================================================================== 690.08/690.40 c | 646037 | 64175 131752 | 21391 48258 5124350 106.2 | 83.224 % | 690.28/690.55 c | 646138 | 64175 131752 | 23530 21020 1626183 77.4 | 83.231 % | 690.38/690.62 c | 646288 | 64175 131752 | 25883 21170 1638594 77.4 | 83.231 % | 690.49/690.75 c | 646513 | 64171 131742 | 28471 21389 1655910 77.4 | 83.240 % | 690.59/690.89 c | 646850 | 64171 131742 | 31318 21726 1678965 77.3 | 83.240 % | 690.88/691.10 c | 647356 | 64171 131742 | 34450 22232 1713758 77.1 | 83.240 % | 691.18/691.45 c | 648116 | 64171 131742 | 37895 22992 1781925 77.5 | 83.240 % | 691.68/691.99 c | 649256 | 64171 131742 | 41685 24132 1914498 79.3 | 83.240 % | 692.48/692.78 c | 650964 | 64143 131674 | 45853 25833 2055128 79.6 | 83.304 % | 693.88/694.16 c | 653526 | 64134 131651 | 50438 28391 2339487 82.4 | 83.326 % | 696.08/696.34 c | 657370 | 64134 131651 | 55482 32235 2762600 85.7 | 83.326 % | 699.68/699.95 c | 663137 | 64130 131641 | 61031 38001 3462906 91.1 | 83.335 % | 706.07/706.32 c | 671787 | 64117 131610 | 67134 46643 4461808 95.7 | 83.364 % | 719.07/719.35 c | 684761 | 64079 131516 | 73847 59607 6169334 103.5 | 83.453 % | 740.76/741.09 c | 704223 | 64073 131500 | 81232 79068 8467714 107.1 | 83.469 % | 771.56/771.83 c ============================================================================== 771.56/771.83 c [1mFound solution: -42[0m 771.56/771.83 o -42 771.56/771.84 c ---[ 0]---> Sorter-cost: 0 Base: 771.76/772.02 c ==================================[MINISAT+]================================== 771.76/772.02 c | Conflicts | Original | Learnt | Progress | 771.76/772.02 c | | Clauses Literals | Max Clauses Literals LPC | | 771.76/772.02 c ============================================================================== 771.76/772.02 c | 725272 | 64059 131434 | 21353 100015 11458430 114.6 | 83.469 % | 772.06/772.35 c | 725373 | 64059 131434 | 23488 21491 1934355 90.0 | 83.505 % | 772.16/772.42 c | 725523 | 64059 131434 | 25837 21641 1945689 89.9 | 83.505 % | 772.26/772.52 c | 725748 | 64059 131434 | 28420 21866 1961529 89.7 | 83.505 % | 772.36/772.64 c | 726085 | 64059 131434 | 31262 22203 1975572 89.0 | 83.505 % | 772.56/772.85 c | 726593 | 64059 131434 | 34389 22711 2021285 89.0 | 83.505 % | 772.85/773.17 c | 727352 | 64059 131434 | 37828 23470 2086403 88.9 | 83.505 % | 773.35/773.62 c | 728491 | 64059 131434 | 41610 24609 2174498 88.4 | 83.505 % | 774.05/774.38 c | 730200 | 64034 131375 | 45772 26238 2278420 86.8 | 83.559 % | 775.26/775.53 c | 732762 | 64034 131375 | 50349 28800 2505499 87.0 | 83.559 % | 777.05/777.36 c | 736606 | 64034 131375 | 55384 32644 2835290 86.9 | 83.559 % | 780.65/780.92 c | 742373 | 64016 131333 | 60922 38406 3425605 89.2 | 83.597 % | 786.95/787.27 c | 751022 | 64016 131333 | 67014 47055 4587518 97.5 | 83.597 % | 798.15/798.50 c | 763998 | 64016 131333 | 73716 60031 5983514 99.7 | 83.597 % | 820.54/820.86 c | 783459 | 63975 131236 | 81087 79483 8087358 101.7 | 83.686 % | 857.73/858.02 c | 812652 | 63921 131102 | 89196 108502 10922824 100.7 | 83.813 % | 900.41/900.73 c | 856441 | 63921 131102 | 98116 60024 5274545 87.9 | 83.813 % | 989.98/990.33 c | 922125 | 63921 131102 | 107928 125708 10002682 79.6 | 83.813 % | 1118.36/1118.76 c | 1020651 | 63919 131098 | 118720 112750 6021400 53.4 | 83.816 % | 1317.40/1317.89 c | 1168440 | 63917 131094 | 130593 137660 14347739 104.2 | 83.819 % | 1600.81/1601.36 c | 1390123 | 63855 130950 | 143652 90204 6291642 69.7 | 83.949 % | 1800.07/1800.61 c 1800.07/1800.61 c *** TERMINATED *** 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 x927 -x926 -x925 1800.07/1800.61 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 1800.07/1800.61 v -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 1800.07/1800.61 v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 1800.07/1800.61 v -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 1800.07/1800.61 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 1800.07/1800.61 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 1800.07/1800.61 v -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 1800.07/1800.61 v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 1800.07/1800.61 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 1800.07/1800.61 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1800.07/1800.61 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1800.07/1800.61 v -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 1800.07/1800.61 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 1800.07/1800.61 v -x651 -x650 -x649 -x648 -x647 -x646 x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 1800.07/1800.61 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 1800.07/1800.61 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 1800.07/1800.61 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 1800.07/1800.61 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 1800.07/1800.61 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 1800.07/1800.61 v -x525 -x524 -x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 1800.07/1800.61 v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 1800.07/1800.61 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 -x467 -x466 -x465 -x464 -x463 1800.07/1800.61 v -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 1800.07/1800.61 v -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 1800.07/1800.61 v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 1800.07/1800.61 v -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 1800.07/1800.61 v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 1800.07/1800.61 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 1800.07/1800.61 v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 1800.07/1800.61 v -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 1800.07/1800.61 v -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 1800.07/1800.61 v -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 1800.07/1800.61 v -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 1800.07/1800.61 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 1800.07/1800.61 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 1800.07/1800.61 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 1800.07/1800.61 v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 1800.07/1800.61 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 1800.07/1800.61 v -x126 -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 1800.07/1800.61 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 1800.07/1800.61 v -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 1800.07/1800.61 v -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 1800.07/1800.61 v -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
/tmp/evaluation/353585-1176670098/instance-353585-1176670098.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-353585-1176670098 -o ROOT/results/node4/solver-353585-1176670098 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353585-1176670098/minisat+ /tmp/evaluation/353585-1176670098/instance-353585-1176670098.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11953 /proc/meminfo: memFree=1804632/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=1180 CPUtime=0 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 151 0 0 0 0 0 0 0 18 0 1 0 143047535 1208320 136 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005357 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 295 137 74 215 0 77 0 [startup+0.0769059 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11953 /proc/meminfo: memFree=1804632/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=1872 CPUtime=0.07 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 310 0 0 0 7 0 0 0 18 0 1 0 143047535 1916928 295 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005894 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 468 295 74 215 0 250 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1872 [startup+0.101869 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11953 /proc/meminfo: memFree=1804632/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=2008 CPUtime=0.1 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 365 0 0 0 10 0 0 0 18 0 1 0 143047535 2056192 350 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530452 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 502 350 74 215 0 284 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2008 [startup+0.301887 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11953 /proc/meminfo: memFree=1804632/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=3820 CPUtime=0.29 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 811 0 0 0 29 0 0 0 19 0 1 0 143047535 3911680 796 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 955 796 74 215 0 737 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3820 [startup+0.701926 s] /proc/loadavg: 0.92 0.98 0.99 3/77 11953 /proc/meminfo: memFree=1804632/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=7460 CPUtime=0.69 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 1693 0 0 0 69 0 0 0 23 0 1 0 143047535 7639040 1678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809896 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 1865 1678 74 215 0 1647 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7460 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1795664/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=14664 CPUtime=1.49 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 3539 0 0 0 147 2 0 0 25 0 1 0 143047535 15015936 3524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134644471 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 3666 3524 83 215 0 3448 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14664 [startup+3.10116 s] /proc/loadavg: 0.92 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1784208/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=22072 CPUtime=3.09 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 5334 0 0 0 301 8 0 0 25 0 1 0 143047535 22601728 5159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581327 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 5518 5159 110 215 0 5300 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22072 [startup+6.30246 s] /proc/loadavg: 0.93 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1784080/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=22072 CPUtime=6.29 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 5334 0 0 0 621 8 0 0 25 0 1 0 143047535 22601728 5159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582034 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 5518 5159 110 215 0 5300 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22072 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1783888/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=22300 CPUtime=12.68 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 5376 0 0 0 1260 8 0 0 25 0 1 0 143047535 22835200 5201 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005920 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 5575 5201 110 215 0 5357 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22300 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1776976/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=29700 CPUtime=25.48 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 7245 0 0 0 2538 10 0 0 25 0 1 0 143047535 30412800 7070 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 7425 7070 110 215 0 7207 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29700 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1763728/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=42708 CPUtime=51.07 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 10472 0 0 0 5094 13 0 0 25 0 1 0 143047535 43732992 10297 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 10677 10297 110 215 0 10459 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42708 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1747344/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=59028 CPUtime=102.26 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 14567 0 0 0 10208 18 0 0 25 0 1 0 143047535 60444672 14392 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577398 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 14757 14392 110 215 0 14539 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59028 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1730000/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=76420 CPUtime=162.24 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 18881 0 0 0 16201 23 0 0 25 0 1 0 143047535 78254080 18706 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572935 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 19105 18706 110 215 0 18887 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 76420 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1729936/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=76420 CPUtime=222.22 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 18881 0 0 0 22199 23 0 0 25 0 1 0 143047535 78254080 18706 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 19105 18706 110 215 0 18887 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 76420 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1729872/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=76420 CPUtime=282.21 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 18881 0 0 0 28198 23 0 0 25 0 1 0 143047535 78254080 18706 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 19105 18706 110 215 0 18887 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 76420 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1723344/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=83124 CPUtime=342.19 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 20577 0 0 0 34195 24 0 0 25 0 1 0 143047535 85118976 20402 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 20781 20402 110 215 0 20563 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 83124 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1713808/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=92512 CPUtime=402.17 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 22911 0 0 0 40191 26 0 0 25 0 1 0 143047535 94732288 22736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 23128 22736 110 215 0 22910 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 92512 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1713744/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=92512 CPUtime=462.14 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 22911 0 0 0 46187 27 0 0 25 0 1 0 143047535 94732288 22736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 23128 22736 110 215 0 22910 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 92512 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1700624/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105864 CPUtime=522.13 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 52183 30 0 0 25 0 1 0 143047535 108404736 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26466 26028 110 215 0 26248 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 105864 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1700560/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105864 CPUtime=582.11 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 58181 30 0 0 25 0 1 0 143047535 108404736 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26466 26028 110 215 0 26248 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 105864 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 11954 /proc/meminfo: memFree=1700496/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105864 CPUtime=642.1 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 64180 30 0 0 25 0 1 0 143047535 108404736 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26466 26028 110 215 0 26248 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 105864 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1699984/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=822.04 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 82161 43 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 105788 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700112/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=882.02 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 88159 43 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 105788 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700112/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=942 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 94157 43 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 105788 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700240/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1001.98 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 100155 43 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 105788 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700240/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1061.97 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 106153 44 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 105788 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700304/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1121.95 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 112151 44 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 105788 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700304/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1181.93 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 118149 44 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 105788 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700240/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1241.92 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 124148 44 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 105788 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700240/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1301.9 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26203 0 0 0 130146 44 0 0 25 0 1 0 143047535 108326912 26028 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26028 110 215 0 26229 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 105788 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 12152 /proc/meminfo: memFree=1700240/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1361.88 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26213 0 0 0 136144 44 0 0 25 0 1 0 143047535 108326912 26038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26038 110 215 0 26229 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 105788 [startup+1422.31 s] /proc/loadavg: 1.04 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700176/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1421.86 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26213 0 0 0 142142 44 0 0 25 0 1 0 143047535 108326912 26038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26038 110 215 0 26229 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 105788 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700112/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1481.85 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26213 0 0 0 148140 45 0 0 25 0 1 0 143047535 108326912 26038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26038 110 215 0 26229 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 105788 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700176/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1541.83 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26213 0 0 0 154138 45 0 0 25 0 1 0 143047535 108326912 26038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26038 110 215 0 26229 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 105788 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700112/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1601.81 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26213 0 0 0 160136 45 0 0 25 0 1 0 143047535 108326912 26038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26038 110 215 0 26229 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 105788 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700176/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1661.79 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26213 0 0 0 166134 45 0 0 25 0 1 0 143047535 108326912 26038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26038 110 215 0 26229 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 105788 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700176/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1721.78 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26225 0 0 0 172132 46 0 0 25 0 1 0 143047535 108326912 26050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26050 110 215 0 26229 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 105788 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700048/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1781.76 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26225 0 0 0 178130 46 0 0 25 0 1 0 143047535 108326912 26050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26050 110 215 0 26229 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 105788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12152 /proc/meminfo: memFree=1700048/2055920 swapFree=4153972/4192956 [pid=11953] ppid=11951 vsize=105788 CPUtime=1800.07 /proc/11953/stat : 11953 (minisat+) R 11951 11953 10915 0 -1 4194304 26225 0 0 0 179961 46 0 0 25 0 1 0 143047535 108326912 26050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 0 0 0 /proc/11953/statm: 26447 26050 110 215 0 26229 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 105788 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.63 CPU time (s): 1800.09 CPU user time (s): 1799.61 CPU system time (s): 0.478927 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 105864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.478927 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26227 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= 347 involuntary context switches= 4368 runsolver used 1.64175 second user time and 5.05523 second system time The end
Begin job on node4 on Sun Apr 15 20:48:18 UTC 2007 IDJOB= 353585 IDBENCH= 2254 IDSOLVER= 156 FILE ID= node4/353585-1176670098 PBS_JOBID= 4559371 Free space on /tmp= 66556 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= /tmp/evaluation/353585-1176670098/minisat+ /tmp/evaluation/353585-1176670098/instance-353585-1176670098.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-353585-1176670098 -o ROOT/results/node4/conversion-353585-1176670098 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353585-1176670098/instance-353585-1176670098.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-353585-1176670098 -o ROOT/results/node4/solver-353585-1176670098 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353585-1176670098/minisat+ /tmp/evaluation/353585-1176670098/instance-353585-1176670098.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED= 611905555 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1805104 kB Buffers: 35708 kB Cached: 138512 kB SwapCached: 2172 kB Active: 105044 kB Inactive: 93076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1805104 kB SwapTotal: 4192956 kB SwapFree: 4153972 kB Dirty: 3740 kB Writeback: 0 kB Mapped: 31908 kB Slab: 38172 kB Committed_AS: 4669120 kB PageTables: 1824 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66556 MiB End job on node4 on Sun Apr 15 21:18:21 UTC 2007