Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.72 | ? | 1799.46 | 1800.01 |
Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb |
MD5SUM | 8e8a9709ab0638484b49ff5cae7622ac |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -94333 |
Best CPU time to get the best result obtained on this benchmark | 1797.03 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 40937 |
Total number of constraints | 41436 |
Number of constraints which are clauses | 40882 |
Number of constraints which are cardinality constraints (but not clauses) | 67 |
Number of constraints which are nor clauses,nor cardinality constraints | 487 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 8416 |
Number of terms in the objective function | 243 |
Biggest coefficient in the objective function | 6765 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 250772 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 6765 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 250772 |
Number of bits of the biggest sum of numbers | 18 |
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 ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727857-1338671171.opb. 0.00/0.00 c Instance file HOME/instance-3727857-1338671171.opb 0.00/0.00 c File size is 2491997 bytes. 0.09/0.19 c Cost Offset: -250772 0.09/0.19 c Highest Coefficient sum: 12352 0.09/0.19 c ============================[ Problem Statistics ]============================= 0.09/0.19 c | | 0.09/0.19 c | Parsing time: 0.20 s | 0.09/0.19 c | Number Variables: 40937 | 0.09/0.19 c | Number Clauses: 40882 | 0.09/0.19 c | Number Cardinality: 553 | 0.09/0.19 c | Number PB Constraints: 1 | 0.09/0.19 c | | 0.19/0.22 c | Problem Type: Optimization | 0.19/0.22 c | Objective Function: Cardinality Constraint | 0.19/0.22 c | | 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.22 c | | | value type | expCls impCls Lit/impCl | 0.19/0.22 c =============================================================================== 0.19/0.27 c | 0.27 | 0 | -250771 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | -250770 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | -250769 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | -250767 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | -250764 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | -250759 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | -250751 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | -250738 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | -250717 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | -250683 lb | 0 0 0.00 | 0.59/0.62 c | 0.63 | 0 | -250628 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | -250539 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | -250395 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | -250162 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | -249785 lb | 0 0 0.00 | 0.79/0.82 c | 0.83 | 0 | -249784 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | -249783 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | -249782 lb | 0 0 0.00 | 0.89/0.96 c | 0.97 | 0 | -249781 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | -249780 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | -249779 lb | 0 0 0.00 | 1.09/1.11 c | 1.12 | 0 | -249778 lb | 0 0 0.00 | 1.09/1.16 c | 1.17 | 0 | -249777 lb | 0 0 0.00 | 1.19/1.21 c | 1.22 | 0 | -249776 lb | 0 0 0.00 | 1.19/1.26 c | 1.26 | 0 | -249774 lb | 0 0 0.00 | 1.28/1.31 c | 1.32 | 0 | -249773 lb | 0 0 0.00 | 1.28/1.36 c | 1.37 | 0 | -249772 lb | 0 0 0.00 | 1.38/1.41 c | 1.42 | 0 | -249771 lb | 0 0 0.00 | 1.38/1.47 c | 1.47 | 0 | -249770 lb | 0 0 0.00 | 1.48/1.52 c | 1.52 | 0 | -249769 lb | 0 0 0.00 | 1.48/1.57 c | 1.57 | 0 | -249767 lb | 0 0 0.00 | 1.58/1.62 c | 1.63 | 0 | -249766 lb | 0 0 0.00 | 1.58/1.67 c | 1.68 | 0 | -249764 lb | 0 0 0.00 | 1.69/1.73 c | 1.73 | 0 | -249763 lb | 0 0 0.00 | 1.69/1.78 c | 1.79 | 0 | -249762 lb | 0 0 0.00 | 1.79/1.83 c | 1.84 | 0 | -249761 lb | 0 0 0.00 | 1.79/1.89 c | 1.89 | 0 | -249760 lb | 0 0 0.00 | 1.89/1.95 c | 1.95 | 0 | -249759 lb | 0 0 0.00 | 1.99/2.00 c | 2.01 | 0 | -249758 lb | 0 0 0.00 | 1.99/2.06 c | 2.06 | 0 | -249757 lb | 0 0 0.00 | 2.09/2.12 c | 2.12 | 0 | -249756 lb | 0 0 0.00 | 2.09/2.18 c | 2.18 | 0 | -249755 lb | 0 0 0.00 | 2.19/2.23 c | 2.24 | 0 | -249754 lb | 0 0 0.00 | 2.19/2.29 c | 2.29 | 0 | -249753 lb | 0 0 0.00 | 2.28/2.35 c | 2.35 | 0 | -249752 lb | 0 0 0.00 | 2.38/2.41 c | 2.41 | 0 | -249751 lb | 0 0 0.00 | 2.38/2.46 c | 2.47 | 0 | -249750 lb | 0 0 0.00 | 2.48/2.52 c | 2.52 | 0 | -249748 lb | 0 0 0.00 | 2.48/2.58 c | 2.58 | 0 | -249747 lb | 0 0 0.00 | 2.59/2.64 c | 2.64 | 0 | -249746 lb | 0 0 0.00 | 2.59/2.70 c | 2.70 | 0 | -249745 lb | 0 0 0.00 | 2.69/2.75 c | 2.76 | 0 | -249743 lb | 0 0 0.00 | 2.79/2.81 c | 2.82 | 0 | -249742 lb | 0 0 0.00 | 2.79/2.87 c | 2.88 | 0 | -249741 lb | 0 0 0.00 | 2.89/2.93 c | 2.94 | 0 | -249740 lb | 0 0 0.00 | 2.99/3.00 c | 3.00 | 0 | -249739 lb | 0 0 0.00 | 2.99/3.07 c | 3.07 | 0 | -249738 lb | 0 0 0.00 | 3.08/3.13 c | 3.14 | 0 | -249737 lb | 0 0 0.00 | 3.08/3.20 c | 3.21 | 0 | -249736 lb | 0 0 0.00 | 3.19/3.27 c | 3.27 | 0 | -249735 lb | 0 0 0.00 | 3.29/3.34 c | 3.34 | 0 | -249734 lb | 0 0 0.00 | 3.38/3.40 c | 3.41 | 0 | -249733 lb | 0 0 0.00 | 3.38/3.47 c | 3.48 | 0 | -249732 lb | 0 0 0.00 | 3.48/3.54 c | 3.54 | 0 | -249731 lb | 0 0 0.00 | 3.58/3.61 c | 3.61 | 0 | -249730 lb | 0 0 0.00 | 3.58/3.68 c | 3.68 | 0 | -249729 lb | 0 0 0.00 | 3.68/3.75 c | 3.75 | 0 | -249726 lb | 0 0 0.00 | 3.79/3.82 c | 3.82 | 0 | -249725 lb | 0 0 0.00 | 3.79/3.89 c | 3.89 | 0 | -249722 lb | 0 0 0.00 | 3.89/3.96 c | 3.96 | 0 | -249718 lb | 0 0 0.00 | 3.98/4.03 c | 4.03 | 0 | -249717 lb | 0 0 0.00 | 4.08/4.10 c | 4.10 | 0 | -249714 lb | 0 0 0.00 | 4.08/4.17 c | 4.17 | 0 | -249707 lb | 0 0 0.00 | 4.18/4.24 c | 4.25 | 0 | -249706 lb | 0 0 0.00 | 4.29/4.31 c | 4.32 | 0 | -249705 lb | 0 0 0.00 | 4.29/4.39 c | 4.39 | 0 | -249704 lb | 0 0 0.00 | 4.39/4.46 c | 4.46 | 0 | -249702 lb | 0 0 0.00 | 4.48/4.53 c | 4.54 | 0 | -249701 lb | 0 0 0.00 | 4.58/4.60 c | 4.61 | 0 | -249700 lb | 0 0 0.00 | 4.58/4.68 c | 4.68 | 0 | -249699 lb | 0 0 0.00 | 4.68/4.75 c | 4.75 | 0 | -249698 lb | 0 0 0.00 | 4.78/4.82 c | 4.82 | 0 | -249697 lb | 0 0 0.00 | 4.78/4.89 c | 4.90 | 0 | -249696 lb | 0 0 0.00 | 4.88/4.97 c | 4.97 | 0 | -249695 lb | 0 0 0.00 | 4.99/5.04 c | 5.04 | 0 | -249690 lb | 0 0 0.00 | 5.09/5.12 c | 5.12 | 0 | -249688 lb | 0 0 0.00 | 5.09/5.19 c | 5.20 | 0 | -249687 lb | 0 0 0.00 | 5.19/5.27 c | 5.27 | 0 | -249686 lb | 0 0 0.00 | 5.29/5.34 c | 5.34 | 0 | -249685 lb | 0 0 0.00 | 5.39/5.42 c | 5.42 | 0 | -249684 lb | 0 0 0.00 | 5.39/5.49 c | 5.50 | 0 | -249683 lb | 0 0 0.00 | 5.49/5.57 c | 5.57 | 0 | -249681 lb | 0 0 0.00 | 5.58/5.64 c | 5.64 | 0 | -249680 lb | 0 0 0.00 | 5.68/5.71 c | 5.72 | 0 | -249679 lb | 0 0 0.00 | 5.68/5.79 c | 5.79 | 0 | -249678 lb | 0 0 0.00 | 5.78/5.87 c | 5.87 | 0 | -249677 lb | 0 0 0.00 | 5.88/5.94 c | 5.95 | 0 | -249673 lb | 0 0 0.00 | 5.98/6.02 c | 6.02 | 0 | -249670 lb | 0 0 0.00 | 5.98/6.09 c | 6.10 | 0 | -249669 lb | 0 0 0.00 | 6.08/6.17 c | 6.17 | 0 | -249668 lb | 0 0 0.00 | 6.18/6.25 c | 6.25 | 0 | -249666 lb | 0 0 0.00 | 6.28/6.32 c | 6.32 | 0 | -249665 lb | 0 0 0.00 | 6.28/6.39 c | 6.39 | 0 | -249662 lb | 0 0 0.00 | 6.38/6.46 c | 6.46 | 0 | -249659 lb | 0 0 0.00 | 6.48/6.53 c | 6.53 | 0 | -249655 lb | 0 0 0.00 | 6.48/6.60 c | 6.60 | 0 | -249654 lb | 0 0 0.00 | 6.58/6.67 c | 6.67 | 0 | -249651 lb | 0 0 0.00 | 6.68/6.75 c | 6.75 | 0 | -249650 lb | 0 0 0.00 | 6.78/6.82 c | 6.82 | 0 | -249649 lb | 0 0 0.00 | 6.78/6.89 c | 6.89 | 0 | -249647 lb | 0 0 0.00 | 6.89/6.96 c | 6.97 | 0 | -249645 lb | 0 0 0.00 | 6.99/7.03 c | 7.04 | 0 | -249644 lb | 0 0 0.00 | 7.08/7.11 c | 7.11 | 0 | -249637 lb | 0 0 0.00 | 7.08/7.18 c | 7.18 | 0 | -249636 lb | 0 0 0.00 | 7.18/7.25 c | 7.25 | 0 | -249631 lb | 0 0 0.00 | 7.28/7.32 c | 7.33 | 0 | -249618 lb | 0 0 0.00 | 7.28/7.39 c | 7.40 | 0 | -249617 lb | 0 0 0.00 | 7.38/7.47 c | 7.47 | 0 | -249616 lb | 0 0 0.00 | 7.48/7.54 c | 7.54 | 0 | -249607 lb | 0 0 0.00 | 7.58/7.61 c | 7.62 | 0 | -249598 lb | 0 0 0.00 | 7.58/7.69 c | 7.69 | 0 | -249579 lb | 0 0 0.00 | 7.69/7.76 c | 7.76 | 0 | -249578 lb | 0 0 0.00 | 7.79/7.83 c | 7.84 | 0 | -249577 lb | 0 0 0.00 | 7.89/7.91 c | 7.91 | 0 | -249576 lb | 0 0 0.00 | 7.89/7.98 c | 7.98 | 0 | -249574 lb | 0 0 0.00 | 7.98/8.05 c | 8.06 | 0 | -249572 lb | 0 0 0.00 | 8.08/8.13 c | 8.13 | 0 | -249568 lb | 0 0 0.00 | 8.18/8.20 c | 8.21 | 0 | -249566 lb | 0 0 0.00 | 8.18/8.28 c | 8.28 | 0 | -249563 lb | 0 0 0.00 | 8.28/8.35 c | 8.36 | 0 | -249558 lb | 0 0 0.00 | 8.38/8.43 c | 8.44 | 0 | -249553 lb | 0 0 0.00 | 8.48/8.51 c | 8.52 | 0 | -249552 lb | 0 0 0.00 | 8.58/8.60 c | 8.60 | 0 | -249547 lb | 0 0 0.00 | 8.58/8.68 c | 8.68 | 0 | -249542 lb | 0 0 0.00 | 8.68/8.76 c | 8.77 | 0 | -249437 lb | 0 0 0.00 | 8.79/8.84 c | 8.84 | 0 | -249436 lb | 0 0 0.00 | 8.89/8.91 c | 8.91 | 0 | -249435 lb | 0 0 0.00 | 8.89/8.99 c | 8.99 | 0 | -249433 lb | 0 0 0.00 | 8.98/9.06 c | 9.06 | 0 | -249432 lb | 0 0 0.00 | 9.08/9.14 c | 9.14 | 0 | -249430 lb | 0 0 0.00 | 9.18/9.21 c | 9.21 | 0 | -249426 lb | 0 0 0.00 | 9.18/9.28 c | 9.29 | 0 | -249423 lb | 0 0 0.00 | 9.28/9.36 c | 9.36 | 0 | -249422 lb | 0 0 0.00 | 9.38/9.43 c | 9.44 | 0 | -249421 lb | 0 0 0.00 | 9.48/9.51 c | 9.51 | 0 | -249419 lb | 0 0 0.00 | 9.48/9.58 c | 9.59 | 0 | -249418 lb | 0 0 0.00 | 9.58/9.66 c | 9.66 | 0 | -249417 lb | 0 0 0.00 | 9.68/9.73 c | 9.74 | 0 | -249416 lb | 0 0 0.00 | 9.79/9.80 c | 9.81 | 0 | -249408 lb | 0 0 0.00 | 9.79/9.89 c | 9.89 | 0 | -249406 lb | 0 0 0.00 | 9.89/9.97 c | 9.97 | 0 | -249400 lb | 0 0 0.00 | 9.98/10.05 c | 10.05 | 0 | -249382 lb | 0 0 0.00 | 10.08/10.13 c | 10.14 | 0 | -249356 lb | 0 0 0.00 | 10.19/10.22 c | 10.22 | 0 | -249336 lb | 0 0 0.00 | 10.19/10.29 c | 10.30 | 0 | -249319 lb | 0 0 0.00 | 10.29/10.38 c | 10.38 | 0 | -249318 lb | 0 0 0.00 | 10.38/10.47 c | 10.48 | 0 | -249317 lb | 0 0 0.00 | 10.48/10.56 c | 10.57 | 0 | -249316 lb | 0 0 0.00 | 10.58/10.66 c | 10.66 | 0 | -249315 lb | 0 0 0.00 | 10.68/10.75 c | 10.76 | 0 | -249314 lb | 0 0 0.00 | 10.78/10.85 c | 10.85 | 0 | -249309 lb | 0 0 0.00 | 10.88/10.94 c | 10.94 | 0 | -249293 lb | 0 0 0.00 | 10.99/11.03 c | 11.04 | 0 | -249264 lb | 0 0 0.00 | 11.08/11.13 c | 11.13 | 0 | -249256 lb | 0 0 0.00 | 11.18/11.22 c | 11.23 | 0 | -249220 lb | 0 0 0.00 | 11.28/11.32 c | 11.32 | 0 | -249212 lb | 0 0 0.00 | 11.38/11.41 c | 11.42 | 0 | -249202 lb | 0 0 0.00 | 11.48/11.51 c | 11.51 | 0 | -249197 lb | 0 0 0.00 | 11.58/11.60 c | 11.61 | 0 | -249196 lb | 0 0 0.00 | 11.58/11.70 c | 11.70 | 0 | -249187 lb | 0 0 0.00 | 11.78/11.80 c | 11.80 | 0 | -249186 lb | 0 0 0.00 | 11.88/11.90 c | 11.90 | 0 | -249185 lb | 0 0 0.00 | 11.88/12.00 c | 12.00 | 0 | -249184 lb | 0 0 0.00 | 12.09/12.11 c | 12.12 | 0 | -249183 lb | 0 0 0.00 | 12.18/12.22 c | 12.22 | 0 | -249182 lb | 0 0 0.00 | 12.28/12.33 c | 12.34 | 0 | -249181 lb | 0 0 0.00 | 12.38/12.43 c | 12.44 | 0 | -249180 lb | 0 0 0.00 | 12.48/12.54 c | 12.54 | 0 | -249179 lb | 0 0 0.00 | 12.58/12.68 c | 12.68 | 0 | -249178 lb | 0 0 0.00 | 12.68/12.78 c | 12.78 | 0 | -249177 lb | 0 0 0.00 | 12.88/12.90 c | 12.90 | 0 | -249176 lb | 0 0 0.00 | 13.09/13.16 c | 13.17 | 0 | -249175 lb | 0 0 0.00 | 13.38/13.42 c | 13.43 | 0 | -249174 lb | 0 0 0.00 | 13.58/13.62 c | 13.62 | 0 | -249173 lb | 0 0 0.00 | 13.78/13.83 c | 13.84 | 0 | -249172 lb | 0 0 0.00 | 13.98/14.06 c | 14.06 | 0 | -249171 lb | 0 0 0.00 | 14.28/14.31 c | 14.31 | 0 | -249170 lb | 0 0 0.00 | 14.48/14.55 c | 14.56 | 0 | -249169 lb | 0 0 0.00 | 14.68/14.79 c | 14.79 | 0 | -249168 lb | 0 0 0.00 | 14.88/14.93 c | 14.93 | 0 | -249167 lb | 0 0 0.00 | 15.08/15.18 c | 15.19 | 0 | -249166 lb | 0 0 0.00 | 15.39/15.43 c | 15.44 | 0 | -249165 lb | 0 0 0.00 | 15.68/15.71 c | 15.71 | 0 | -249164 lb | 0 0 0.00 | 15.98/16.04 c | 16.04 | 0 | -249163 lb | 0 0 0.00 | 16.18/16.27 c | 16.27 | 0 | -249162 lb | 0 0 0.00 | 16.39/16.45 c | 16.45 | 0 | -249161 lb | 0 0 0.00 | 16.58/16.62 c | 16.62 | 0 | -249160 lb | 0 0 0.00 | 16.68/16.77 c | 16.77 | 0 | -249159 lb | 0 0 0.00 | 16.88/16.92 c | 16.93 | 0 | -249158 lb | 0 0 0.00 | 17.18/17.20 c | 17.20 | 0 | -249157 lb | 0 0 0.00 | 17.28/17.37 c | 17.37 | 0 | -249156 lb | 0 0 0.00 | 17.49/17.53 c | 17.54 | 0 | -249155 lb | 0 0 0.00 | 17.68/17.78 c | 17.79 | 0 | -249154 lb | 0 0 0.00 | 17.98/18.01 c | 18.01 | 0 | -249153 lb | 0 0 0.00 | 18.18/18.26 c | 18.27 | 0 | -249152 lb | 0 0 0.00 | 18.48/18.50 c | 18.50 | 0 | -249151 lb | 0 0 0.00 | 18.69/18.73 c | 18.74 | 0 | -249150 lb | 0 0 0.00 | 18.88/18.96 c | 18.96 | 0 | -249149 lb | 0 0 0.00 | 19.08/19.14 c | 19.14 | 0 | -249148 lb | 0 0 0.00 | 19.28/19.35 c | 19.35 | 0 | -249147 lb | 0 0 0.00 | 19.48/19.55 c | 19.55 | 0 | -249146 lb | 0 0 0.00 | 19.69/19.71 c | 19.72 | 0 | -249145 lb | 0 0 0.00 | 19.88/19.90 c | 19.90 | 0 | -249144 lb | 0 0 0.00 | 20.08/20.10 c | 20.10 | 0 | -249143 lb | 0 0 0.00 | 20.17/20.29 c | 20.30 | 0 | -249142 lb | 0 0 0.00 | 20.37/20.46 c | 20.46 | 0 | -249141 lb | 0 0 0.00 | 20.58/20.63 c | 20.64 | 0 | -249140 lb | 0 0 0.00 | 20.79/20.80 c | 20.81 | 0 | -249139 lb | 0 0 0.00 | 20.98/21.03 c | 21.04 | 0 | -249138 lb | 0 0 0.00 | 21.08/21.19 c | 21.20 | 0 | -249137 lb | 0 0 0.00 | 21.28/21.34 c | 21.34 | 0 | -249136 lb | 0 0 0.00 | 21.48/21.50 c | 21.51 | 0 | -249135 lb | 0 0 0.00 | 21.68/21.77 c | 21.77 | 0 | -249134 lb | 0 0 0.00 | 21.88/21.96 c | 21.97 | 0 | -249133 lb | 0 0 0.00 | 22.07/22.19 c | 22.19 | 0 | -249132 lb | 0 0 0.00 | 22.28/22.34 c | 22.35 | 0 | -249131 lb | 0 0 0.00 | 22.48/22.55 c | 22.55 | 0 | -249130 lb | 0 0 0.00 | 22.68/22.74 c | 22.74 | 0 | -249129 lb | 0 0 0.00 | 22.78/22.86 c | 22.87 | 0 | -249128 lb | 0 0 0.00 | 22.98/23.05 c | 23.06 | 0 | -249127 lb | 0 0 0.00 | 23.17/23.22 c | 23.23 | 0 | -249126 lb | 0 0 0.00 | 23.27/23.39 c | 23.39 | 0 | -249125 lb | 0 0 0.00 | 23.48/23.56 c | 23.56 | 0 | -249124 lb | 0 0 0.00 | 23.68/23.71 c | 23.71 | 0 | -249123 lb | 0 0 0.00 | 23.88/23.91 c | 23.92 | 0 | -249122 lb | 0 0 0.00 | 24.09/24.11 c | 24.11 | 0 | -249121 lb | 0 0 0.00 | 24.28/24.34 c | 24.35 | 0 | -249120 lb | 0 0 0.00 | 24.48/24.52 c | 24.52 | 0 | -249119 lb | 0 0 0.00 | 24.67/24.73 c | 24.73 | 0 | -249118 lb | 0 0 0.00 | 24.87/24.92 c | 24.92 | 0 | -249117 lb | 0 0 0.00 | 24.98/25.09 c | 25.10 | 0 | -249116 lb | 0 0 0.00 | 25.19/25.28 c | 25.28 | 0 | -249115 lb | 0 0 0.00 | 25.38/25.44 c | 25.44 | 0 | -249114 lb | 0 0 0.00 | 25.48/25.59 c | 25.59 | 0 | -249113 lb | 0 0 0.00 | 25.68/25.77 c | 25.77 | 0 | -249112 lb | 0 0 0.00 | 25.87/25.95 c | 25.95 | 0 | -249111 lb | 0 0 0.00 | 26.08/26.13 c | 26.14 | 0 | -249110 lb | 0 0 0.00 | 26.29/26.33 c | 26.33 | 0 | -249109 lb | 0 0 0.00 | 26.48/26.51 c | 26.52 | 0 | -249108 lb | 0 0 0.00 | 26.58/26.66 c | 26.67 | 0 | -249107 lb | 0 0 0.00 | 26.78/26.86 c | 26.86 | 0 | -249106 lb | 0 0 0.00 | 26.97/27.08 c | 27.09 | 0 | -249105 lb | 0 0 0.00 | 27.17/27.27 c | 27.28 | 0 | -249104 lb | 0 0 0.00 | 27.38/27.47 c | 27.48 | 0 | -249103 lb | 0 0 0.00 | 27.58/27.66 c | 27.66 | 0 | -249102 lb | 0 0 0.00 | 27.77/27.84 c | 27.84 | 0 | -249101 lb | 0 0 0.00 | 27.97/28.04 c | 28.05 | 0 | -249100 lb | 0 0 0.00 | 28.17/28.25 c | 28.26 | 0 | -249099 lb | 0 0 0.00 | 28.37/28.40 c | 28.40 | 0 | -249098 lb | 0 0 0.00 | 28.49/28.59 c | 28.59 | 0 | -249097 lb | 0 0 0.00 | 28.68/28.76 c | 28.76 | 0 | -249096 lb | 0 0 0.00 | 28.88/28.94 c | 28.95 | 0 | -249095 lb | 0 0 0.00 | 28.98/29.08 c | 29.08 | 0 | -249094 lb | 0 0 0.00 | 29.18/29.28 c | 29.29 | 0 | -249093 lb | 0 0 0.00 | 29.38/29.47 c | 29.47 | 0 | -249092 lb | 0 0 0.00 | 29.58/29.65 c | 29.65 | 0 | -249091 lb | 0 0 0.00 | 29.78/29.85 c | 29.86 | 0 | -249090 lb | 0 0 0.00 | 29.98/30.01 c | 30.02 | 0 | -249089 lb | 0 0 0.00 | 30.08/30.19 c | 30.19 | 0 | -249088 lb | 0 0 0.00 | 30.28/30.39 c | 30.39 | 0 | -249087 lb | 0 0 0.00 | 30.48/30.58 c | 30.59 | 0 | -249086 lb | 0 0 0.00 | 30.68/30.80 c | 30.80 | 0 | -249085 lb | 0 0 0.00 | 30.88/30.95 c | 30.95 | 0 | -249084 lb | 0 0 0.00 | 31.08/31.11 c | 31.11 | 0 | -249083 lb | 0 0 0.00 | 31.17/31.29 c | 31.30 | 0 | -249082 lb | 0 0 0.00 | 31.37/31.46 c | 31.46 | 0 | -249081 lb | 0 0 0.00 | 31.57/31.63 c | 31.63 | 0 | -249075 lb | 0 0 0.00 | 31.78/31.80 c | 31.81 | 0 | -249074 lb | 0 0 0.00 | 31.88/31.99 c | 31.99 | 0 | -249073 lb | 0 0 0.00 | 32.17/32.22 c | 32.22 | 0 | -249072 lb | 0 0 0.00 | 32.27/32.38 c | 32.39 | 0 | -249071 lb | 0 0 0.00 | 32.47/32.59 c | 32.59 | 0 | -249070 lb | 0 0 0.00 | 32.67/32.76 c | 32.76 | 0 | -249069 lb | 0 0 0.00 | 32.88/32.94 c | 32.94 | 0 | -249068 lb | 0 0 0.00 | 33.07/33.13 c | 33.13 | 0 | -249067 lb | 0 0 0.00 | 33.27/33.30 c | 33.30 | 0 | -249066 lb | 0 0 0.00 | 33.47/33.51 c | 33.52 | 0 | -249065 lb | 0 0 0.00 | 33.67/33.75 c | 33.75 | 0 | -249064 lb | 0 0 0.00 | 33.87/33.92 c | 33.92 | 0 | -249054 lb | 0 0 0.00 | 33.97/34.08 c | 34.08 | 0 | -249053 lb | 0 0 0.00 | 34.17/34.24 c | 34.25 | 0 | -249052 lb | 0 0 0.00 | 34.37/34.41 c | 34.41 | 0 | -249051 lb | 0 0 0.00 | 34.46/34.58 c | 34.58 | 0 | -249050 lb | 0 0 0.00 | 34.66/34.76 c | 34.76 | 0 | -249049 lb | 0 0 0.00 | 34.86/34.96 c | 34.96 | 0 | -249047 lb | 0 0 0.00 | 35.07/35.14 c | 35.14 | 0 | -249046 lb | 0 0 0.00 | 35.27/35.31 c | 35.31 | 0 | -249045 lb | 0 0 0.00 | 35.37/35.48 c | 35.48 | 0 | -249044 lb | 0 0 0.00 | 35.57/35.69 c | 35.69 | 0 | -249043 lb | 0 0 0.00 | 35.77/35.89 c | 35.89 | 0 | -249042 lb | 0 0 0.00 | 35.97/36.05 c | 36.05 | 0 | -249041 lb | 0 0 0.00 | 36.18/36.21 c | 36.22 | 0 | -249040 lb | 0 0 0.00 | 36.37/36.41 c | 36.42 | 0 | -249039 lb | 0 0 0.00 | 36.57/36.63 c | 36.63 | 0 | -249038 lb | 0 0 0.00 | 36.77/36.82 c | 36.83 | 0 | -249037 lb | 0 0 0.00 | 36.97/37.02 c | 37.02 | 0 | -249036 lb | 0 0 0.00 | 37.17/37.20 c | 37.20 | 0 | -249035 lb | 0 0 0.00 | 37.27/37.36 c | 37.37 | 0 | -249034 lb | 0 0 0.00 | 37.47/37.55 c | 37.55 | 0 | -249033 lb | 0 0 0.00 | 37.67/37.73 c | 37.73 | 0 | -249032 lb | 0 0 0.00 | 37.87/37.90 c | 37.90 | 0 | -249031 lb | 0 0 0.00 | 37.97/38.08 c | 38.09 | 0 | -249030 lb | 0 0 0.00 | 38.17/38.28 c | 38.29 | 0 | -249029 lb | 0 0 0.00 | 38.37/38.47 c | 38.48 | 0 | -249028 lb | 0 0 0.00 | 38.57/38.68 c | 38.69 | 0 | -249027 lb | 0 0 0.00 | 38.77/38.86 c | 38.86 | 0 | -249026 lb | 0 0 0.00 | 38.97/39.04 c | 39.04 | 0 | -249025 lb | 0 0 0.00 | 39.17/39.27 c | 39.27 | 0 | -249024 lb | 0 0 0.00 | 39.36/39.49 c | 39.50 | 0 | -249023 lb | 0 0 0.00 | 39.58/39.69 c | 39.70 | 0 | -249022 lb | 0 0 0.00 | 39.87/39.93 c | 39.93 | 0 | -249021 lb | 0 0 0.00 | 40.07/40.14 c | 40.15 | 0 | -249020 lb | 0 0 0.00 | 40.37/40.40 c | 40.41 | 0 | -249019 lb | 0 0 0.00 | 40.58/40.61 c | 40.61 | 0 | -249018 lb | 0 0 0.00 | 40.68/40.79 c | 40.80 | 0 | -249017 lb | 0 0 0.00 | 40.87/40.98 c | 40.98 | 0 | -249016 lb | 0 0 0.00 | 41.07/41.19 c | 41.19 | 0 | -249015 lb | 0 0 0.00 | 41.27/41.39 c | 41.40 | 0 | -249014 lb | 0 0 0.00 | 41.57/41.61 c | 41.61 | 0 | -249013 lb | 0 0 0.00 | 41.77/41.84 c | 41.85 | 0 | -249012 lb | 0 0 0.00 | 41.96/42.06 c | 42.07 | 0 | -249011 lb | 0 0 0.00 | 42.16/42.26 c | 42.27 | 0 | -249010 lb | 0 0 0.00 | 42.36/42.46 c | 42.47 | 0 | -249009 lb | 0 0 0.00 | 42.66/42.71 c | 42.71 | 0 | -249008 lb | 0 0 0.00 | 42.87/42.91 c | 42.91 | 0 | -249007 lb | 0 0 0.00 | 42.97/43.07 c | 43.08 | 0 | -249006 lb | 0 0 0.00 | 43.17/43.24 c | 43.25 | 0 | -249005 lb | 0 0 0.00 | 43.37/43.42 c | 43.42 | 0 | -249004 lb | 0 0 0.00 | 43.46/43.60 c | 43.60 | 0 | -249003 lb | 0 0 0.00 | 43.66/43.78 c | 43.79 | 0 | -249002 lb | 0 0 0.00 | 43.87/43.97 c | 43.97 | 0 | -249001 lb | 0 0 0.00 | 44.07/44.16 c | 44.17 | 0 | -249000 lb | 0 0 0.00 | 44.26/44.34 c | 44.34 | 0 | -248999 lb | 0 0 0.00 | 44.46/44.52 c | 44.52 | 0 | -248998 lb | 0 0 0.00 | 44.66/44.71 c | 44.71 | 0 | -248997 lb | 0 0 0.00 | 44.86/44.91 c | 44.91 | 0 | -248996 lb | 0 0 0.00 | 45.07/45.19 c | 45.19 | 0 | -248995 lb | 0 0 0.00 | 45.37/45.40 c | 45.40 | 0 | -248994 lb | 0 0 0.00 | 45.56/45.60 c | 45.60 | 0 | -248993 lb | 0 0 0.00 | 45.76/45.83 c | 45.83 | 0 | -248992 lb | 0 0 0.00 | 45.96/46.05 c | 46.05 | 0 | -248991 lb | 0 0 0.00 | 46.17/46.27 c | 46.27 | 0 | -248990 lb | 0 0 0.00 | 46.46/46.50 c | 46.50 | 0 | -248989 lb | 0 0 0.00 | 46.66/46.72 c | 46.72 | 0 | -248988 lb | 0 0 0.00 | 46.86/46.95 c | 46.96 | 0 | -248987 lb | 0 0 0.00 | 47.06/47.16 c | 47.17 | 0 | -248986 lb | 0 0 0.00 | 47.27/47.34 c | 47.35 | 0 | -248985 lb | 0 0 0.00 | 47.47/47.58 c | 47.59 | 0 | -248984 lb | 0 0 0.00 | 47.77/47.84 c | 47.85 | 0 | -248983 lb | 0 0 0.00 | 48.06/48.11 c | 48.12 | 0 | -248982 lb | 0 0 0.00 | 48.27/48.33 c | 48.33 | 0 | -248981 lb | 0 0 0.00 | 48.47/48.54 c | 48.55 | 0 | -248980 lb | 0 0 0.00 | 49.56/49.60 c | 49.61 | 0 | -248979 lb | 0 0 0.00 | 50.76/50.89 c | 50.90 | 0 | -248978 lb | 0 0 0.00 | 51.06/51.11 c | 51.12 | 0 | -248977 lb | 0 0 0.00 | 51.26/51.32 c | 51.32 | 0 | -248976 lb | 0 0 0.00 | 51.56/51.61 c | 51.62 | 0 | -248975 lb | 0 0 0.00 | 51.77/51.88 c | 51.88 | 0 | -248974 lb | 0 0 0.00 | 52.06/52.16 c | 52.17 | 0 | -248973 lb | 0 0 0.00 | 52.26/52.39 c | 52.40 | 0 | -248972 lb | 0 0 0.00 | 52.56/52.62 c | 52.63 | 0 | -248971 lb | 0 0 0.00 | 52.86/52.90 c | 52.90 | 0 | -248970 lb | 0 0 0.00 | 53.06/53.14 c | 53.14 | 0 | -248969 lb | 0 0 0.00 | 53.26/53.38 c | 53.38 | 0 | -248968 lb | 0 0 0.00 | 53.56/53.63 c | 53.63 | 0 | -248967 lb | 0 0 0.00 | 53.87/53.91 c | 53.92 | 0 | -248966 lb | 0 0 0.00 | 54.06/54.16 c | 54.17 | 0 | -248965 lb | 0 0 0.00 | 54.36/54.42 c | 54.43 | 0 | -248964 lb | 0 0 0.00 | 54.66/54.71 c | 54.71 | 0 | -248963 lb | 0 0 0.00 | 54.86/54.96 c | 54.97 | 0 | -248962 lb | 0 0 0.00 | 55.06/55.19 c | 55.19 | 0 | -248961 lb | 0 0 0.00 | 55.46/55.56 c | 55.57 | 0 | -248960 lb | 0 0 0.00 | 55.75/55.81 c | 55.81 | 0 | -248959 lb | 0 0 0.00 | 55.96/56.03 c | 56.03 | 0 | -248958 lb | 0 0 0.00 | 56.16/56.28 c | 56.29 | 0 | -248957 lb | 0 0 0.00 | 56.46/56.52 c | 56.52 | 0 | -248956 lb | 0 0 0.00 | 56.66/56.79 c | 56.80 | 0 | -248954 lb | 0 0 0.00 | 56.96/57.02 c | 57.02 | 0 | -248953 lb | 0 0 0.00 | 57.17/57.26 c | 57.26 | 0 | -248952 lb | 0 0 0.00 | 57.46/57.51 c | 57.51 | 0 | -248951 lb | 0 0 0.00 | 57.66/57.73 c | 57.73 | 0 | -248950 lb | 0 0 0.00 | 57.96/58.00 c | 58.01 | 0 | -248949 lb | 0 0 0.00 | 58.17/58.26 c | 58.26 | 0 | -248948 lb | 0 0 0.00 | 58.46/58.53 c | 58.53 | 0 | -248947 lb | 0 0 0.00 | 58.66/58.78 c | 58.78 | 0 | -248946 lb | 0 0 0.00 | 58.96/59.06 c | 59.07 | 0 | -248942 lb | 0 0 0.00 | 59.26/59.35 c | 59.35 | 0 | -248941 lb | 0 0 0.00 | 59.46/59.58 c | 59.58 | 0 | -248940 lb | 0 0 0.00 | 59.75/59.84 c | 59.85 | 0 | -248939 lb | 0 0 0.00 | 60.05/60.12 c | 60.13 | 0 | -248938 lb | 0 0 0.00 | 60.36/60.46 c | 60.46 | 0 | -248937 lb | 0 0 0.00 | 60.65/60.75 c | 60.75 | 0 | -248936 lb | 0 0 0.00 | 60.96/61.02 c | 61.02 | 0 | -248935 lb | 0 0 0.00 | 61.26/61.30 c | 61.31 | 0 | -248934 lb | 0 0 0.00 | 61.47/61.55 c | 61.55 | 0 | -248933 lb | 0 0 0.00 | 61.76/61.81 c | 61.81 | 0 | -248932 lb | 0 0 0.00 | 61.96/62.07 c | 62.07 | 0 | -248931 lb | 0 0 0.00 | 62.26/62.36 c | 62.36 | 0 | -248930 lb | 0 0 0.00 | 62.56/62.64 c | 62.64 | 0 | -248929 lb | 0 0 0.00 | 62.75/62.88 c | 62.88 | 0 | -248928 lb | 0 0 0.00 | 63.05/63.15 c | 63.15 | 0 | -248927 lb | 0 0 0.00 | 63.35/63.42 c | 63.42 | 0 | -248926 lb | 0 0 0.00 | 63.55/63.70 c | 63.70 | 0 | -248925 lb | 0 0 0.00 | 63.85/63.92 c | 63.93 | 0 | -248924 lb | 0 0 0.00 | 64.25/64.33 c | 64.33 | 0 | -248923 lb | 0 0 0.00 | 64.55/64.61 c | 64.61 | 0 | -248922 lb | 0 0 0.00 | 64.76/64.88 c | 64.88 | 0 | -248921 lb | 0 0 0.00 | 65.05/65.17 c | 65.18 | 0 | -248920 lb | 0 0 0.00 | 65.35/65.42 c | 65.42 | 0 | -248919 lb | 0 0 0.00 | 65.55/65.68 c | 65.68 | 0 | -248918 lb | 0 0 0.00 | 65.86/65.91 c | 65.92 | 0 | -248917 lb | 0 0 0.00 | 66.15/66.20 c | 66.21 | 0 | -248916 lb | 0 0 0.00 | 66.35/66.48 c | 66.48 | 0 | -248915 lb | 0 0 0.00 | 66.66/66.77 c | 66.77 | 0 | -248914 lb | 0 0 0.00 | 66.96/67.03 c | 67.04 | 0 | -248913 lb | 0 0 0.00 | 67.25/67.30 c | 67.30 | 0 | -248912 lb | 0 0 0.00 | 67.45/67.57 c | 67.58 | 0 | -248911 lb | 0 0 0.00 | 67.75/67.84 c | 67.84 | 0 | -248910 lb | 0 0 0.00 | 68.06/68.14 c | 68.14 | 0 | -248909 lb | 0 0 0.00 | 68.25/68.34 c | 68.34 | 0 | -248908 lb | 0 0 0.00 | 68.45/68.59 c | 68.60 | 0 | -248907 lb | 0 0 0.00 | 68.75/68.88 c | 68.88 | 0 | -248906 lb | 0 0 0.00 | 69.16/69.24 c | 69.24 | 0 | -248905 lb | 0 0 0.00 | 69.55/69.61 c | 69.61 | 0 | -248904 lb | 0 0 0.00 | 69.75/69.87 c | 69.88 | 0 | -248903 lb | 0 0 0.00 | 70.05/70.17 c | 70.18 | 0 | -248902 lb | 0 0 0.00 | 70.45/70.51 c | 70.52 | 0 | -248901 lb | 0 0 0.00 | 70.75/70.81 c | 70.81 | 0 | -248900 lb | 0 0 0.00 | 70.95/71.07 c | 71.07 | 0 | -248899 lb | 0 0 0.00 | 71.25/71.34 c | 71.34 | 0 | -248898 lb | 0 0 0.00 | 71.55/71.64 c | 71.64 | 0 | -248897 lb | 0 0 0.00 | 71.86/71.97 c | 71.97 | 0 | -248896 lb | 0 0 0.00 | 72.25/72.30 c | 72.30 | 0 | -248895 lb | 0 0 0.00 | 72.55/72.61 c | 72.62 | 0 | -248894 lb | 0 0 0.00 | 72.94/73.05 c | 73.05 | 0 | -248893 lb | 0 0 0.00 | 73.44/73.50 c | 73.50 | 0 | -248892 lb | 0 0 0.00 | 74.04/74.13 c | 74.14 | 0 | -248891 lb | 0 0 0.00 | 74.54/74.61 c | 74.61 | 0 | -248890 lb | 0 0 0.00 | 74.94/75.01 c | 75.02 | 0 | -248889 lb | 0 0 0.00 | 75.24/75.39 c | 75.40 | 0 | -248888 lb | 0 0 0.00 | 75.85/75.95 c | 75.95 | 0 | -248887 lb | 0 0 0.00 | 76.34/76.45 c | 76.45 | 0 | -248886 lb | 0 0 0.00 | 76.74/76.83 c | 76.83 | 0 | -248885 lb | 0 0 0.00 | 77.25/77.30 c | 77.31 | 0 | -248884 lb | 0 0 0.00 | 77.65/77.74 c | 77.74 | 0 | -248883 lb | 0 0 0.00 | 78.05/78.13 c | 78.13 | 0 | -248882 lb | 0 0 0.00 | 78.65/78.72 c | 78.72 | 0 | -248881 lb | 0 0 0.00 | 79.05/79.11 c | 79.12 | 0 | -248880 lb | 0 0 0.00 | 79.64/79.79 c | 79.79 | 0 | -248879 lb | 0 0 0.00 | 80.04/80.14 c | 80.15 | 0 | -248878 lb | 0 0 0.00 | 80.45/80.54 c | 80.55 | 0 | -248877 lb | 0 0 0.00 | 81.04/81.19 c | 81.19 | 0 | -248876 lb | 0 0 0.00 | 81.64/81.72 c | 81.73 | 0 | -248875 lb | 0 0 0.00 | 82.03/82.16 c | 82.17 | 0 | -248874 lb | 0 0 0.00 | 82.44/82.57 c | 82.57 | 0 | -248873 lb | 0 0 0.00 | 82.83/82.95 c | 82.95 | 0 | -248872 lb | 0 0 0.00 | 83.24/83.38 c | 83.38 | 0 | -248871 lb | 0 0 0.00 | 83.74/83.80 c | 83.81 | 0 | -248870 lb | 0 0 0.00 | 84.14/84.23 c | 84.24 | 0 | -248869 lb | 0 0 0.00 | 84.43/84.59 c | 84.59 | 0 | -248868 lb | 0 0 0.00 | 85.23/85.38 c | 85.39 | 0 | -248867 lb | 0 0 0.00 | 85.75/85.85 c | 85.86 | 0 | -248866 lb | 0 0 0.00 | 86.24/86.37 c | 86.37 | 0 | -248865 lb | 0 0 0.00 | 86.74/86.88 c | 86.89 | 0 | -248864 lb | 0 0 0.00 | 87.24/87.32 c | 87.32 | 0 | -248863 lb | 0 0 0.00 | 87.64/87.70 c | 87.71 | 0 | -248862 lb | 0 0 0.00 | 88.13/88.24 c | 88.24 | 0 | -248861 lb | 0 0 0.00 | 88.63/88.72 c | 88.73 | 0 | -248860 lb | 0 0 0.00 | 89.04/89.13 c | 89.13 | 0 | -248859 lb | 0 0 0.00 | 89.63/89.74 c | 89.74 | 0 | -248858 lb | 0 0 0.00 | 90.24/90.37 c | 90.37 | 0 | -248857 lb | 0 0 0.00 | 91.14/91.26 c | 91.26 | 0 | -248856 lb | 0 0 0.00 | 91.64/91.72 c | 91.73 | 0 | -248855 lb | 0 0 0.00 | 92.33/92.42 c | 92.42 | 0 | -248854 lb | 0 0 0.00 | 92.83/92.99 c | 93.00 | 0 | -248853 lb | 0 0 0.00 | 93.33/93.44 c | 93.44 | 0 | -248852 lb | 0 0 0.00 | 93.72/93.81 c | 93.81 | 0 | -248851 lb | 0 0 0.00 | 94.33/94.48 c | 94.48 | 0 | -248850 lb | 0 0 0.00 | 95.53/95.66 c | 95.67 | 0 | -248849 lb | 0 0 0.00 | 97.22/97.32 c | 97.32 | 0 | -248848 lb | 0 0 0.00 | 98.03/98.13 c | 98.14 | 0 | -248847 lb | 0 0 0.00 | 98.53/98.64 c | 98.65 | 0 | -248846 lb | 0 0 0.00 | 99.03/99.11 c | 99.12 | 0 | -248845 lb | 0 0 0.00 | 99.53/99.67 c | 99.68 | 0 | -248844 lb | 0 0 0.00 | 100.23/100.30 c | 100.31 | 0 | -248843 lb | 0 0 0.00 | 101.42/101.52 c | 101.52 | 0 | -248842 lb | 0 0 0.00 | 101.62/101.79 c | 101.79 | 0 | -248841 lb | 0 0 0.00 | 102.13/102.28 c | 102.28 | 0 | -248840 lb | 0 0 0.00 | 102.82/102.91 c | 102.92 | 0 | -248839 lb | 0 0 0.00 | 103.62/103.75 c | 103.75 | 0 | -248838 lb | 0 0 0.00 | 104.33/104.44 c | 104.44 | 0 | -248837 lb | 0 0 0.00 | 105.62/105.79 c | 105.79 | 0 | -248836 lb | 0 0 0.00 | 106.72/106.80 c | 106.81 | 0 | -248835 lb | 0 0 0.00 | 107.22/107.38 c | 107.38 | 0 | -248834 lb | 0 0 0.00 | 108.42/108.55 c | 108.55 | 0 | -248833 lb | 0 0 0.00 | 108.72/108.83 c | 108.83 | 0 | -248832 lb | 0 0 0.00 | 109.02/109.13 c | 109.14 | 0 | -248831 lb | 0 0 0.00 | 109.52/109.69 c | 109.69 | 0 | -248830 lb | 0 0 0.00 | 110.22/110.33 c | 110.33 | 0 | -248829 lb | 0 0 0.00 | 111.32/111.49 c | 111.49 | 0 | -248828 lb | 0 0 0.00 | 111.92/112.01 c | 112.02 | 0 | -248827 lb | 0 0 0.00 | 112.92/113.09 c | 113.09 | 0 | -248826 lb | 0 0 0.00 | 114.52/114.62 c | 114.62 | 0 | -248825 lb | 0 0 0.00 | 118.51/118.69 c | 118.69 | 0 | -248824 lb | 0 0 0.00 | 119.83/119.96 c | 119.97 | 0 | -248823 lb | 0 0 0.00 | 120.93/121.01 c | 121.01 | 0 | -248822 lb | 0 0 0.00 | 121.52/121.60 c | 121.61 | 0 | -248821 lb | 0 0 0.00 | 122.32/122.48 c | 122.48 | 0 | -248820 lb | 0 0 0.00 | 123.12/123.22 c | 123.22 | 0 | -248819 lb | 0 0 0.00 | 125.72/125.86 c | 125.87 | 0 | -248818 lb | 0 0 0.00 | 126.22/126.39 c | 126.40 | 0 | -248817 lb | 0 0 0.00 | 127.43/127.58 c | 127.59 | 0 | -248816 lb | 0 0 0.00 | 128.02/128.10 c | 128.11 | 0 | -248815 lb | 0 0 0.00 | 130.82/130.94 c | 130.94 | 0 | -248814 lb | 0 0 0.00 | 134.91/135.02 c | 135.02 | 0 | -248813 lb | 0 0 0.00 | 135.31/135.45 c | 135.45 | 0 | -248812 lb | 0 0 0.00 | 138.42/138.58 c | 138.58 | 0 | -248811 lb | 0 0 0.00 | 138.91/139.06 c | 139.07 | 0 | -248810 lb | 0 0 0.00 | 141.61/141.73 c | 141.74 | 0 | -248809 lb | 0 0 0.00 | 148.41/148.56 c | 148.56 | 0 | -248808 lb | 0 0 0.00 | 149.30/149.45 c | 149.45 | 0 | -248807 lb | 0 0 0.00 | 150.61/150.79 c | 150.79 | 0 | -248806 lb | 0 0 0.00 | 155.21/155.37 c | 155.37 | 0 | -248805 lb | 0 0 0.00 | 157.21/157.34 c | 157.35 | 0 | -248804 lb | 0 0 0.00 | 159.81/159.97 c | 159.98 | 0 | -248803 lb | 0 0 0.00 | 163.71/163.89 c | 163.90 | 0 | -248802 lb | 0 0 0.00 | 165.91/166.04 c | 166.04 | 0 | -248801 lb | 0 0 0.00 | 168.40/168.58 c | 168.58 | 0 | -248800 lb | 0 0 0.00 | 169.90/170.06 c | 170.07 | 0 | -248799 lb | 0 0 0.00 | 173.80/173.97 c | 173.97 | 0 | -248798 lb | 0 0 0.00 | 177.50/177.67 c | 177.68 | 0 | -248797 lb | 0 0 0.00 | 189.20/189.36 c | 189.37 | 0 | -248796 lb | 0 0 0.00 | 197.00/197.19 c | 197.19 | 0 | -248795 lb | 0 0 0.00 | 197.59/197.77 c | 197.77 | 0 | -248794 lb | 0 0 0.00 | 219.39/219.51 c | 219.51 | 0 | -248793 lb | 0 0 0.00 | 222.89/223.06 c | 223.06 | 0 | -248792 lb | 0 0 0.00 | 224.98/225.14 c | 225.14 | 0 | -248791 lb | 0 0 0.00 | 227.99/228.10 c | 228.10 | 0 | -248790 lb | 0 0 0.00 | 237.69/237.89 c | 237.89 | 0 | -248789 lb | 0 0 0.00 | 248.28/248.49 c | 248.50 | 0 | -248788 lb | 0 0 0.00 | 285.17/285.37 c | 285.37 | 0 | -248787 lb | 0 0 0.00 | 369.44/369.66 c | 369.67 | 0 | -248786 lb | 0 0 0.00 | 521.96/522.26 c | 522.26 | 0 | -248785 lb | 0 0 0.00 | 526.96/527.26 c | 527.27 | 0 | -248784 lb | 0 0 0.00 | 544.75/545.04 c | 545.05 | 0 | -248783 lb | 0 0 0.00 | 738.70/739.02 c | 739.03 | 0 | -248782 lb | 0 0 0.00 | 1799.46/1800.00 c =============================================================================== 1799.46/1800.00 c Wall Clock Time: 1800.00 s 1799.46/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727857-1338671171/watcher-3727857-1338671171 -o /tmp/evaluation-result-3727857-1338671171/solver-3727857-1338671171 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727857-1338671171.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.20 3/175 4982 /proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=6120 CPUtime=0 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) R 4980 4982 4521 0 -1 4202496 454 0 0 0 0 0 0 0 20 0 1 0 333242576 6266880 406 33554432000 4194304 5964350 140733723100912 140733723098792 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 1530 406 174 433 0 485 0 [startup+0.0437971 s] /proc/loadavg: 2.00 2.01 2.20 3/175 4982 /proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=9700 CPUtime=0.04 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) R 4980 4982 4521 0 -1 4202496 1385 0 0 0 4 0 0 0 20 0 1 0 333242576 9932800 1337 33554432000 4194304 5964350 140733723100912 140733723098792 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 2425 1338 305 433 0 1380 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9700 [startup+0.100236 s] /proc/loadavg: 2.00 2.01 2.20 3/175 4982 /proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=15772 CPUtime=0.09 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) R 4980 4982 4521 0 -1 4202496 3080 0 0 0 9 0 0 0 20 0 1 0 333242576 16150528 2983 33554432000 4194304 5964350 140733723100912 140733723098792 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 3943 2984 482 433 0 2898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15772 [startup+0.300152 s] /proc/loadavg: 2.00 2.01 2.20 3/175 4982 /proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=104056 CPUtime=0.29 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 14135 0 0 0 28 1 0 0 20 0 2 0 333242576 106553344 12166 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 26014 12166 194 433 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104056 [startup+0.700174 s] /proc/loadavg: 2.00 2.01 2.20 3/175 4982 /proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=100036 CPUtime=0.69 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 18638 0 0 0 67 2 0 0 20 0 2 0 333242576 102436864 14152 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 25009 14152 194 433 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100036 [startup+1.50027 s] /proc/loadavg: 2.00 2.01 2.20 3/177 4984 /proc/meminfo: memFree=26977568/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=100036 CPUtime=1.48 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 25664 0 0 0 145 3 0 0 20 0 2 0 333242576 102436864 16506 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 25009 16506 196 433 0 24573 0 [pid=4982/tid=4984] ppid=4980 vsize=100036 CPUtime=1.28 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 20144 0 0 0 125 3 0 0 20 0 2 0 333242595 102436864 16506 33554432000 4194304 5964350 140733723100912 140005501497664 4429837 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100036 [startup+3.10028 s] /proc/loadavg: 2.00 2.01 2.20 3/177 4984 /proc/meminfo: memFree=26963276/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=100036 CPUtime=3.08 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 32701 0 0 0 303 5 0 0 20 0 2 0 333242576 102436864 18767 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 25009 18767 196 433 0 24573 0 [pid=4982/tid=4984] ppid=4980 vsize=100036 CPUtime=2.87 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 27181 0 0 0 283 4 0 0 20 0 2 0 333242595 102436864 18767 33554432000 4194304 5964350 140733723100912 140005501508120 5134703 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 100036 [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.20 3/177 4984 /proc/meminfo: memFree=26944756/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=165572 CPUtime=6.28 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 47265 0 0 0 621 7 0 0 20 0 2 0 333242576 169545728 23199 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 41393 23199 197 433 0 40957 0 [pid=4982/tid=4984] ppid=4980 vsize=165572 CPUtime=6.07 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 41745 0 0 0 600 7 0 0 20 0 2 0 333242595 169545728 23199 33554432000 4194304 5964350 140733723100912 140005501508424 4375144 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 165572 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.20 3/177 4984 /proc/meminfo: memFree=26907092/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=165572 CPUtime=12.68 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 74321 0 0 0 1256 12 0 0 20 0 2 0 333242576 169545728 31805 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 41393 31805 197 433 0 40957 0 [pid=4982/tid=4984] ppid=4980 vsize=165572 CPUtime=12.45 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 68801 0 0 0 1233 12 0 0 20 0 2 0 333242595 169545728 31805 33554432000 4194304 5964350 140733723100912 140005501508120 5135577 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 165572 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.19 3/177 4984 /proc/meminfo: memFree=26860380/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=231228 CPUtime=25.48 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 110939 0 0 0 2528 20 0 0 20 0 2 0 333242576 236777472 41270 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 57807 41270 198 433 0 57371 0 [pid=4982/tid=4984] ppid=4980 vsize=231228 CPUtime=25.21 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 105419 0 0 0 2502 19 0 0 20 0 2 0 333242595 236777472 41270 33554432000 4194304 5964350 140733723100912 140005501508424 4380783 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231228 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.19 3/177 4984 /proc/meminfo: memFree=26775468/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=296764 CPUtime=51.06 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 169760 0 0 0 5073 33 0 0 20 0 2 0 333242576 303886336 58051 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 74191 58051 198 433 0 73755 0 [pid=4982/tid=4984] ppid=4980 vsize=296764 CPUtime=50.73 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 164240 0 0 0 5041 32 0 0 20 0 2 0 333242595 303886336 58051 33554432000 4194304 5964350 140733723100912 140005501508120 4388461 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 296764 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.17 3/177 4985 /proc/meminfo: memFree=26645508/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=427836 CPUtime=102.23 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 240263 0 0 0 10176 47 0 0 20 0 2 0 333242576 438104064 87975 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 106959 87975 198 433 0 106523 0 [pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=101.78 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 234743 0 0 0 10130 48 0 0 20 0 2 0 333242595 438104064 87975 33554432000 4194304 5964350 140733723100912 140005501508120 5135577 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 427836 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.16 3/177 5024 /proc/meminfo: memFree=26369632/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=427836 CPUtime=162.2 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 270869 0 0 0 16166 54 0 0 20 0 2 0 333242576 438104064 95847 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 106959 95847 198 433 0 106523 0 [pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=161.61 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 265349 0 0 0 16106 55 0 0 20 0 2 0 333242595 438104064 95847 33554432000 4194304 5964350 140733723100912 140005501508424 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 427836 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.15 3/177 5024 /proc/meminfo: memFree=26160168/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=427836 CPUtime=222.19 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 274904 0 0 0 22164 55 0 0 20 0 2 0 333242576 438104064 99352 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 106959 99352 198 433 0 106523 0 [pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=221.45 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 269384 0 0 0 22087 58 0 0 20 0 2 0 333242595 438104064 99352 33554432000 4194304 5964350 140733723100912 140005501508120 4387856 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 427836 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.14 3/178 5027 /proc/meminfo: memFree=25969444/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=427836 CPUtime=282.17 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 278779 0 0 0 28161 56 0 0 20 0 2 0 333242576 438104064 96154 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 106959 96154 198 433 0 106523 0 [pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=281.28 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 273259 0 0 0 28068 60 0 0 20 0 2 0 333242595 438104064 96154 33554432000 4194304 5964350 140733723100912 140005501508424 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 427836 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.13 3/177 5027 /proc/meminfo: memFree=25797288/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=493372 CPUtime=342.15 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 282023 0 0 0 34158 57 0 0 20 0 2 0 333242576 505212928 102853 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 123343 102853 198 433 0 122907 0 [pid=4982/tid=4984] ppid=4980 vsize=493372 CPUtime=341.12 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 276503 0 0 0 34051 61 0 0 20 0 2 0 333242595 505212928 102853 33554432000 4194304 5964350 140733723100912 140005501507912 4392783 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 493372 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.11 3/177 5028 /proc/meminfo: memFree=25650292/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=493372 CPUtime=402.12 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 283506 0 0 0 40154 58 0 0 20 0 2 0 333242576 505212928 107198 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 123343 107198 198 433 0 122907 0 [pid=4982/tid=4984] ppid=4980 vsize=493372 CPUtime=400.94 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 277986 0 0 0 40031 63 0 0 20 0 2 0 333242595 505212928 107198 33554432000 4194304 5964350 140733723100912 140005501507912 4387871 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 493372 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.10 3/177 5028 /proc/meminfo: memFree=25467048/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=493372 CPUtime=462.08 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.03 3/177 5035 /proc/meminfo: memFree=24703416/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1421.85 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 312174 0 0 0 142118 67 0 0 20 0 2 0 333242576 639430656 138803 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 138803 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1418.21 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 306654 0 0 0 141734 87 0 0 20 0 2 0 333242595 639430656 138803 33554432000 4194304 5964350 140733723100912 140005501507576 4389020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 624444 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.03 3/178 5038 /proc/meminfo: memFree=24669476/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1481.83 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 312223 0 0 0 148116 67 0 0 20 0 2 0 333242576 639430656 139021 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 139021 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1478.05 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 306703 0 0 0 147717 88 0 0 20 0 2 0 333242595 639430656 139021 33554432000 4194304 5964350 140733723100912 140005501507384 4381880 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 624444 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.02 3/177 5038 /proc/meminfo: memFree=24672960/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1541.8 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315600 0 0 0 154112 68 0 0 20 0 2 0 333242576 639430656 142371 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 142371 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1537.87 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310080 0 0 0 153697 90 0 0 20 0 2 0 333242595 639430656 142371 33554432000 4194304 5964350 140733723100912 140005501507384 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 624444 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.02 3/177 5038 /proc/meminfo: memFree=24620120/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1601.79 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315627 0 0 0 160111 68 0 0 20 0 2 0 333242576 639430656 142398 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 142398 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1597.72 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310107 0 0 0 159681 91 0 0 20 0 2 0 333242595 639430656 142398 33554432000 4194304 5964350 140733723100912 140005501507384 4389030 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 624444 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.01 3/177 5039 /proc/meminfo: memFree=24620616/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1661.78 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315685 0 0 0 166110 68 0 0 20 0 2 0 333242576 639430656 142456 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 142456 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1657.56 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310165 0 0 0 165664 92 0 0 20 0 2 0 333242595 639430656 142456 33554432000 4194304 5964350 140733723100912 140005501507384 4381458 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 624444 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24619876/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1721.77 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315777 0 0 0 172109 68 0 0 20 0 2 0 333242576 639430656 142548 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 142548 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1717.4 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310257 0 0 0 171647 93 0 0 20 0 2 0 333242595 639430656 142548 33554432000 4194304 5964350 140733723100912 140005501507384 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 624444 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24536560/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1781.76 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 320764 0 0 0 178106 70 0 0 20 0 2 0 333242576 639430656 147535 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 147535 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1777.25 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 315244 0 0 0 177628 97 0 0 20 0 2 0 333242595 639430656 147535 33554432000 4194304 5964350 140733723100912 140005501507384 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 624444 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24531476/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1791.36 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 321939 0 0 0 179065 71 0 0 20 0 2 0 333242576 639430656 148710 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 148710 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1786.83 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 316419 0 0 0 178586 97 0 0 20 0 2 0 333242595 639430656 148710 33554432000 4194304 5964350 140733723100912 140005501507576 4389020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 624444 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24528684/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=624444 CPUtime=1794.56 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 322395 0 0 0 179385 71 0 0 20 0 2 0 333242576 639430656 149166 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 156111 149166 198 433 0 155675 0 [pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1790.02 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 316875 0 0 0 178904 98 0 0 20 0 2 0 333242595 639430656 149166 33554432000 4194304 5964350 140733723100912 140005501507576 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 624444 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24527196/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=689980 CPUtime=1797.76 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 322922 0 0 0 179704 72 0 0 20 0 2 0 333242576 706539520 149693 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 172495 149693 198 433 0 172059 0 [pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1793.21 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317402 0 0 0 179223 98 0 0 20 0 2 0 333242595 706539520 149693 33554432000 4194304 5964350 140733723100912 140005501507576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.76 Current children cumulated vsize (KiB) 689980 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24526700/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=689980 CPUtime=1798.56 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 322988 0 0 0 179784 72 0 0 20 0 2 0 333242576 706539520 149759 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 172495 149759 198 433 0 172059 0 [pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.01 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317468 0 0 0 179303 98 0 0 20 0 2 0 333242595 706539520 149759 33554432000 4194304 5964350 140733723100912 140005501507576 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (KiB) 689980 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24526576/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=689980 CPUtime=1798.96 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 323042 0 0 0 179824 72 0 0 20 0 2 0 333242576 706539520 149813 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 172495 149813 198 433 0 172059 0 [pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.41 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317522 0 0 0 179343 98 0 0 20 0 2 0 333242595 706539520 149813 33554432000 4194304 5964350 140733723100912 140005501507576 4399895 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.96 Current children cumulated vsize (KiB) 689980 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24526576/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=689980 CPUtime=1799.36 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 323083 0 0 0 179864 72 0 0 20 0 2 0 333242576 706539520 149854 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 172495 149854 198 433 0 172059 0 [pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.8 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317563 0 0 0 179382 98 0 0 20 0 2 0 333242595 706539520 149854 33554432000 4194304 5964350 140733723100912 140005501507624 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.36 Current children cumulated vsize (KiB) 689980 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5039 /proc/meminfo: memFree=24526576/32873624 swapFree=7112/7112 [pid=4982] ppid=4980 vsize=689980 CPUtime=1799.46 cores=1,3,5,7 /proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 323102 0 0 0 179874 72 0 0 20 0 2 0 333242576 706539520 149873 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4982/statm: 172495 149873 198 433 0 172059 0 [pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.9 cores=1,3,5,7 /proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317582 0 0 0 179392 98 0 0 20 0 2 0 333242595 706539520 149873 33554432000 4194304 5964350 140733723100912 140005501507624 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (KiB) 689980 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4982 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=127251 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=847 # CPU time returned by wait4() is 1795.13 # while last known CPU time is 1799.46 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.01 CPU time (s): 1799.46 CPU user time (s): 1798.74 CPU system time (s): 0.72 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 689980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.13 system time used= 1.00085 maximum resident set size= 599500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 323104 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= 170 involuntary context switches= 3095 runsolver used 2.76158 second user time and 7.19291 second system time The end
Begin job on node121 at 2012-06-02 23:06:11 IDJOB=3727857 IDBENCH=90353 IDSOLVER=2313 FILE ID=node121/3727857-1338671171 RUNJOBID= node121-1338669323-4721 PBS_JOBID= 14636507 Free space on /tmp= 71252 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727857-1338671171/watcher-3727857-1338671171 -o /tmp/evaluation-result-3727857-1338671171/solver-3727857-1338671171 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727857-1338671171.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8a9709ab0638484b49ff5cae7622ac RANDOM SEED=17883636 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873624 kB MemFree: 27034500 kB Buffers: 597352 kB Cached: 4308852 kB SwapCached: 0 kB Active: 1733932 kB Inactive: 3236232 kB Active(anon): 51460 kB Inactive(anon): 10772 kB Active(file): 1682472 kB Inactive(file): 3225460 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 7712 kB Writeback: 0 kB AnonPages: 70632 kB Mapped: 14884 kB Shmem: 200 kB Slab: 732992 kB SReclaimable: 177052 kB SUnreclaim: 555940 kB KernelStack: 1440 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 132904 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 43008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71244 MiB End job on node121 at 2012-06-02 23:36:11