| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.56 | 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705556-1338118857.opb. 0.00/0.00 c Instance file HOME/instance-3705556-1338118857.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.18/0.23 c | Problem Type: Optimization | 0.18/0.23 c | Objective Function: Cardinality Constraint | 0.18/0.23 c | | 0.18/0.23 c ============================[ Search Statistics ]============================== 0.18/0.23 c | Time (s) | ID | Bound | Shared Clauses | 0.18/0.23 c | | | value type | expCls impCls Lit/impCl | 0.18/0.23 c =============================================================================== 0.18/0.28 c | 0.28 | 0 | -250771 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | -250770 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | -250769 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | -250767 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | -250764 lb | 0 0 0.00 | 0.39/0.47 c | 0.48 | 0 | -250759 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | -250751 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | -250738 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | -250717 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | -250683 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | -250628 lb | 0 0 0.00 | 0.68/0.72 c | 0.73 | 0 | -250539 lb | 0 0 0.00 | 0.68/0.77 c | 0.77 | 0 | -250395 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | -250162 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | -249785 lb | 0 0 0.00 | 0.88/0.91 c | 0.91 | 0 | -249784 lb | 0 0 0.00 | 0.88/0.97 c | 0.97 | 0 | -249783 lb | 0 0 0.00 | 0.98/1.02 c | 1.02 | 0 | -249782 lb | 0 0 0.00 | 0.98/1.08 c | 1.08 | 0 | -249781 lb | 0 0 0.00 | 1.08/1.14 c | 1.14 | 0 | -249780 lb | 0 0 0.00 | 1.08/1.19 c | 1.20 | 0 | -249779 lb | 0 0 0.00 | 1.18/1.25 c | 1.25 | 0 | -249778 lb | 0 0 0.00 | 1.28/1.31 c | 1.31 | 0 | -249777 lb | 0 0 0.00 | 1.28/1.37 c | 1.37 | 0 | -249776 lb | 0 0 0.00 | 1.38/1.43 c | 1.43 | 0 | -249774 lb | 0 0 0.00 | 1.38/1.49 c | 1.49 | 0 | -249773 lb | 0 0 0.00 | 1.48/1.55 c | 1.55 | 0 | -249772 lb | 0 0 0.00 | 1.58/1.61 c | 1.61 | 0 | -249771 lb | 0 0 0.00 | 1.58/1.67 c | 1.68 | 0 | -249770 lb | 0 0 0.00 | 1.68/1.74 c | 1.74 | 0 | -249769 lb | 0 0 0.00 | 1.78/1.80 c | 1.80 | 0 | -249767 lb | 0 0 0.00 | 1.78/1.86 c | 1.86 | 0 | -249766 lb | 0 0 0.00 | 1.88/1.92 c | 1.93 | 0 | -249764 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | -249763 lb | 0 0 0.00 | 1.98/2.05 c | 2.05 | 0 | -249762 lb | 0 0 0.00 | 2.08/2.12 c | 2.12 | 0 | -249761 lb | 0 0 0.00 | 2.08/2.18 c | 2.18 | 0 | -249760 lb | 0 0 0.00 | 2.18/2.25 c | 2.25 | 0 | -249759 lb | 0 0 0.00 | 2.28/2.32 c | 2.32 | 0 | -249758 lb | 0 0 0.00 | 2.28/2.38 c | 2.39 | 0 | -249757 lb | 0 0 0.00 | 2.38/2.45 c | 2.46 | 0 | -249756 lb | 0 0 0.00 | 2.48/2.53 c | 2.53 | 0 | -249755 lb | 0 0 0.00 | 2.58/2.60 c | 2.60 | 0 | -249754 lb | 0 0 0.00 | 2.58/2.67 c | 2.67 | 0 | -249753 lb | 0 0 0.00 | 2.68/2.74 c | 2.74 | 0 | -249752 lb | 0 0 0.00 | 2.78/2.80 c | 2.81 | 0 | -249751 lb | 0 0 0.00 | 2.78/2.88 c | 2.88 | 0 | -249750 lb | 0 0 0.00 | 2.87/2.95 c | 2.95 | 0 | -249748 lb | 0 0 0.00 | 2.97/3.02 c | 3.02 | 0 | -249747 lb | 0 0 0.00 | 2.97/3.09 c | 3.09 | 0 | -249746 lb | 0 0 0.00 | 3.07/3.16 c | 3.16 | 0 | -249745 lb | 0 0 0.00 | 3.17/3.23 c | 3.24 | 0 | -249743 lb | 0 0 0.00 | 3.27/3.31 c | 3.31 | 0 | -249742 lb | 0 0 0.00 | 3.27/3.38 c | 3.38 | 0 | -249741 lb | 0 0 0.00 | 3.37/3.45 c | 3.46 | 0 | -249740 lb | 0 0 0.00 | 3.47/3.53 c | 3.54 | 0 | -249739 lb | 0 0 0.00 | 3.57/3.61 c | 3.62 | 0 | -249738 lb | 0 0 0.00 | 3.67/3.70 c | 3.70 | 0 | -249737 lb | 0 0 0.00 | 3.67/3.78 c | 3.78 | 0 | -249736 lb | 0 0 0.00 | 3.77/3.86 c | 3.86 | 0 | -249735 lb | 0 0 0.00 | 3.87/3.94 c | 3.94 | 0 | -249734 lb | 0 0 0.00 | 3.97/4.02 c | 4.03 | 0 | -249733 lb | 0 0 0.00 | 4.07/4.11 c | 4.11 | 0 | -249732 lb | 0 0 0.00 | 4.07/4.19 c | 4.19 | 0 | -249731 lb | 0 0 0.00 | 4.17/4.27 c | 4.28 | 0 | -249730 lb | 0 0 0.00 | 4.28/4.36 c | 4.36 | 0 | -249729 lb | 0 0 0.00 | 4.38/4.44 c | 4.45 | 0 | -249726 lb | 0 0 0.00 | 4.47/4.53 c | 4.53 | 0 | -249725 lb | 0 0 0.00 | 4.57/4.62 c | 4.62 | 0 | -249722 lb | 0 0 0.00 | 4.67/4.70 c | 4.71 | 0 | -249718 lb | 0 0 0.00 | 4.67/4.79 c | 4.79 | 0 | -249717 lb | 0 0 0.00 | 4.76/4.88 c | 4.88 | 0 | -249714 lb | 0 0 0.00 | 4.86/4.96 c | 4.96 | 0 | -249707 lb | 0 0 0.00 | 4.97/5.05 c | 5.05 | 0 | -249706 lb | 0 0 0.00 | 5.07/5.14 c | 5.14 | 0 | -249705 lb | 0 0 0.00 | 5.17/5.23 c | 5.23 | 0 | -249704 lb | 0 0 0.00 | 5.27/5.32 c | 5.32 | 0 | -249702 lb | 0 0 0.00 | 5.38/5.41 c | 5.41 | 0 | -249701 lb | 0 0 0.00 | 5.38/5.49 c | 5.50 | 0 | -249700 lb | 0 0 0.00 | 5.47/5.58 c | 5.59 | 0 | -249699 lb | 0 0 0.00 | 5.57/5.67 c | 5.67 | 0 | -249698 lb | 0 0 0.00 | 5.67/5.76 c | 5.76 | 0 | -249697 lb | 0 0 0.00 | 5.77/5.85 c | 5.85 | 0 | -249696 lb | 0 0 0.00 | 5.87/5.94 c | 5.94 | 0 | -249695 lb | 0 0 0.00 | 5.97/6.03 c | 6.03 | 0 | -249690 lb | 0 0 0.00 | 6.06/6.12 c | 6.13 | 0 | -249688 lb | 0 0 0.00 | 6.17/6.22 c | 6.22 | 0 | -249687 lb | 0 0 0.00 | 6.27/6.31 c | 6.31 | 0 | -249686 lb | 0 0 0.00 | 6.37/6.40 c | 6.40 | 0 | -249685 lb | 0 0 0.00 | 6.37/6.49 c | 6.50 | 0 | -249684 lb | 0 0 0.00 | 6.48/6.59 c | 6.59 | 0 | -249683 lb | 0 0 0.00 | 6.58/6.68 c | 6.68 | 0 | -249681 lb | 0 0 0.00 | 6.67/6.77 c | 6.77 | 0 | -249680 lb | 0 0 0.00 | 6.77/6.86 c | 6.87 | 0 | -249679 lb | 0 0 0.00 | 6.87/6.96 c | 6.96 | 0 | -249678 lb | 0 0 0.00 | 6.97/7.05 c | 7.05 | 0 | -249677 lb | 0 0 0.00 | 7.07/7.14 c | 7.14 | 0 | -249673 lb | 0 0 0.00 | 7.17/7.24 c | 7.24 | 0 | -249670 lb | 0 0 0.00 | 7.27/7.33 c | 7.33 | 0 | -249669 lb | 0 0 0.00 | 7.37/7.42 c | 7.43 | 0 | -249668 lb | 0 0 0.00 | 7.46/7.52 c | 7.52 | 0 | -249666 lb | 0 0 0.00 | 7.57/7.61 c | 7.61 | 0 | -249665 lb | 0 0 0.00 | 7.57/7.70 c | 7.70 | 0 | -249662 lb | 0 0 0.00 | 7.68/7.78 c | 7.78 | 0 | -249659 lb | 0 0 0.00 | 7.77/7.87 c | 7.87 | 0 | -249655 lb | 0 0 0.00 | 7.87/7.96 c | 7.96 | 0 | -249654 lb | 0 0 0.00 | 7.97/8.04 c | 8.05 | 0 | -249651 lb | 0 0 0.00 | 8.07/8.14 c | 8.14 | 0 | -249650 lb | 0 0 0.00 | 8.17/8.23 c | 8.23 | 0 | -249649 lb | 0 0 0.00 | 8.27/8.32 c | 8.32 | 0 | -249647 lb | 0 0 0.00 | 8.37/8.41 c | 8.41 | 0 | -249645 lb | 0 0 0.00 | 8.37/8.49 c | 8.49 | 0 | -249644 lb | 0 0 0.00 | 8.47/8.58 c | 8.59 | 0 | -249637 lb | 0 0 0.00 | 8.57/8.67 c | 8.68 | 0 | -249636 lb | 0 0 0.00 | 8.67/8.76 c | 8.77 | 0 | -249631 lb | 0 0 0.00 | 8.77/8.85 c | 8.85 | 0 | -249618 lb | 0 0 0.00 | 8.87/8.94 c | 8.94 | 0 | -249617 lb | 0 0 0.00 | 8.97/9.03 c | 9.03 | 0 | -249616 lb | 0 0 0.00 | 9.07/9.12 c | 9.12 | 0 | -249607 lb | 0 0 0.00 | 9.17/9.21 c | 9.21 | 0 | -249598 lb | 0 0 0.00 | 9.27/9.30 c | 9.30 | 0 | -249579 lb | 0 0 0.00 | 9.27/9.39 c | 9.39 | 0 | -249578 lb | 0 0 0.00 | 9.36/9.49 c | 9.49 | 0 | -249577 lb | 0 0 0.00 | 9.46/9.58 c | 9.58 | 0 | -249576 lb | 0 0 0.00 | 9.57/9.66 c | 9.67 | 0 | -249574 lb | 0 0 0.00 | 9.67/9.76 c | 9.76 | 0 | -249572 lb | 0 0 0.00 | 9.78/9.85 c | 9.85 | 0 | -249568 lb | 0 0 0.00 | 9.88/9.94 c | 9.94 | 0 | -249566 lb | 0 0 0.00 | 9.97/10.03 c | 10.04 | 0 | -249563 lb | 0 0 0.00 | 10.07/10.13 c | 10.13 | 0 | -249558 lb | 0 0 0.00 | 10.17/10.23 c | 10.23 | 0 | -249553 lb | 0 0 0.00 | 10.27/10.33 c | 10.33 | 0 | -249552 lb | 0 0 0.00 | 10.37/10.43 c | 10.43 | 0 | -249547 lb | 0 0 0.00 | 10.47/10.53 c | 10.53 | 0 | -249542 lb | 0 0 0.00 | 10.56/10.63 c | 10.64 | 0 | -249437 lb | 0 0 0.00 | 10.66/10.73 c | 10.73 | 0 | -249436 lb | 0 0 0.00 | 10.76/10.82 c | 10.82 | 0 | -249435 lb | 0 0 0.00 | 10.88/10.91 c | 10.92 | 0 | -249433 lb | 0 0 0.00 | 10.98/11.01 c | 11.01 | 0 | -249432 lb | 0 0 0.00 | 11.07/11.10 c | 11.10 | 0 | -249430 lb | 0 0 0.00 | 11.07/11.19 c | 11.20 | 0 | -249426 lb | 0 0 0.00 | 11.17/11.29 c | 11.29 | 0 | -249423 lb | 0 0 0.00 | 11.27/11.38 c | 11.38 | 0 | -249422 lb | 0 0 0.00 | 11.37/11.47 c | 11.47 | 0 | -249421 lb | 0 0 0.00 | 11.47/11.56 c | 11.57 | 0 | -249419 lb | 0 0 0.00 | 11.57/11.66 c | 11.66 | 0 | -249418 lb | 0 0 0.00 | 11.67/11.75 c | 11.75 | 0 | -249417 lb | 0 0 0.00 | 11.77/11.85 c | 11.85 | 0 | -249416 lb | 0 0 0.00 | 11.86/11.93 c | 11.94 | 0 | -249408 lb | 0 0 0.00 | 11.97/12.04 c | 12.04 | 0 | -249406 lb | 0 0 0.00 | 12.08/12.14 c | 12.14 | 0 | -249400 lb | 0 0 0.00 | 12.17/12.24 c | 12.24 | 0 | -249382 lb | 0 0 0.00 | 12.27/12.34 c | 12.35 | 0 | -249356 lb | 0 0 0.00 | 12.37/12.45 c | 12.45 | 0 | -249336 lb | 0 0 0.00 | 12.47/12.55 c | 12.55 | 0 | -249319 lb | 0 0 0.00 | 12.57/12.65 c | 12.65 | 0 | -249318 lb | 0 0 0.00 | 12.67/12.77 c | 12.77 | 0 | -249317 lb | 0 0 0.00 | 12.76/12.88 c | 12.88 | 0 | -249316 lb | 0 0 0.00 | 12.96/13.00 c | 13.00 | 0 | -249315 lb | 0 0 0.00 | 13.08/13.12 c | 13.12 | 0 | -249314 lb | 0 0 0.00 | 13.18/13.24 c | 13.24 | 0 | -249309 lb | 0 0 0.00 | 13.27/13.35 c | 13.35 | 0 | -249293 lb | 0 0 0.00 | 13.37/13.47 c | 13.47 | 0 | -249264 lb | 0 0 0.00 | 13.47/13.59 c | 13.59 | 0 | -249256 lb | 0 0 0.00 | 13.66/13.71 c | 13.72 | 0 | -249220 lb | 0 0 0.00 | 13.77/13.83 c | 13.83 | 0 | -249212 lb | 0 0 0.00 | 13.87/13.95 c | 13.95 | 0 | -249202 lb | 0 0 0.00 | 13.97/14.07 c | 14.07 | 0 | -249197 lb | 0 0 0.00 | 14.07/14.19 c | 14.19 | 0 | -249196 lb | 0 0 0.00 | 14.27/14.31 c | 14.31 | 0 | -249187 lb | 0 0 0.00 | 14.36/14.44 c | 14.44 | 0 | -249186 lb | 0 0 0.00 | 14.46/14.56 c | 14.56 | 0 | -249185 lb | 0 0 0.00 | 14.56/14.69 c | 14.69 | 0 | -249184 lb | 0 0 0.00 | 14.77/14.83 c | 14.83 | 0 | -249183 lb | 0 0 0.00 | 14.87/14.96 c | 14.96 | 0 | -249182 lb | 0 0 0.00 | 15.07/15.10 c | 15.10 | 0 | -249181 lb | 0 0 0.00 | 15.17/15.23 c | 15.23 | 0 | -249180 lb | 0 0 0.00 | 15.28/15.35 c | 15.36 | 0 | -249179 lb | 0 0 0.00 | 15.47/15.52 c | 15.53 | 0 | -249178 lb | 0 0 0.00 | 15.57/15.65 c | 15.65 | 0 | -249177 lb | 0 0 0.00 | 15.77/15.80 c | 15.80 | 0 | -249176 lb | 0 0 0.00 | 15.97/16.09 c | 16.10 | 0 | -249175 lb | 0 0 0.00 | 16.27/16.39 c | 16.39 | 0 | -249174 lb | 0 0 0.00 | 16.57/16.62 c | 16.62 | 0 | -249173 lb | 0 0 0.00 | 16.76/16.87 c | 16.88 | 0 | -249172 lb | 0 0 0.00 | 17.06/17.14 c | 17.14 | 0 | -249171 lb | 0 0 0.00 | 17.37/17.42 c | 17.43 | 0 | -249170 lb | 0 0 0.00 | 17.67/17.71 c | 17.71 | 0 | -249169 lb | 0 0 0.00 | 17.87/17.99 c | 17.99 | 0 | -249168 lb | 0 0 0.00 | 18.07/18.16 c | 18.16 | 0 | -249167 lb | 0 0 0.00 | 18.37/18.45 c | 18.45 | 0 | -249166 lb | 0 0 0.00 | 18.67/18.75 c | 18.75 | 0 | -249165 lb | 0 0 0.00 | 18.97/19.07 c | 19.07 | 0 | -249164 lb | 0 0 0.00 | 19.37/19.44 c | 19.44 | 0 | -249163 lb | 0 0 0.00 | 19.67/19.71 c | 19.71 | 0 | -249162 lb | 0 0 0.00 | 19.86/19.92 c | 19.92 | 0 | -249161 lb | 0 0 0.00 | 20.06/20.13 c | 20.13 | 0 | -249160 lb | 0 0 0.00 | 20.27/20.31 c | 20.31 | 0 | -249159 lb | 0 0 0.00 | 20.37/20.49 c | 20.50 | 0 | -249158 lb | 0 0 0.00 | 20.78/20.82 c | 20.82 | 0 | -249157 lb | 0 0 0.00 | 20.97/21.02 c | 21.03 | 0 | -249156 lb | 0 0 0.00 | 21.17/21.22 c | 21.22 | 0 | -249155 lb | 0 0 0.00 | 21.47/21.52 c | 21.52 | 0 | -249154 lb | 0 0 0.00 | 21.66/21.78 c | 21.78 | 0 | -249153 lb | 0 0 0.00 | 21.97/22.09 c | 22.09 | 0 | -249152 lb | 0 0 0.00 | 22.27/22.37 c | 22.37 | 0 | -249151 lb | 0 0 0.00 | 22.57/22.64 c | 22.65 | 0 | -249150 lb | 0 0 0.00 | 22.87/22.91 c | 22.91 | 0 | -249149 lb | 0 0 0.00 | 23.08/23.13 c | 23.13 | 0 | -249148 lb | 0 0 0.00 | 23.26/23.38 c | 23.38 | 0 | -249147 lb | 0 0 0.00 | 23.56/23.62 c | 23.62 | 0 | -249146 lb | 0 0 0.00 | 23.76/23.82 c | 23.82 | 0 | -249145 lb | 0 0 0.00 | 23.96/24.05 c | 24.05 | 0 | -249144 lb | 0 0 0.00 | 24.18/24.29 c | 24.29 | 0 | -249143 lb | 0 0 0.00 | 24.47/24.53 c | 24.53 | 0 | -249142 lb | 0 0 0.00 | 24.66/24.73 c | 24.73 | 0 | -249141 lb | 0 0 0.00 | 24.86/24.94 c | 24.94 | 0 | -249140 lb | 0 0 0.00 | 25.06/25.15 c | 25.15 | 0 | -249139 lb | 0 0 0.00 | 25.36/25.43 c | 25.43 | 0 | -249138 lb | 0 0 0.00 | 25.56/25.62 c | 25.62 | 0 | -249137 lb | 0 0 0.00 | 25.77/25.80 c | 25.81 | 0 | -249136 lb | 0 0 0.00 | 25.97/26.01 c | 26.01 | 0 | -249135 lb | 0 0 0.00 | 26.27/26.32 c | 26.32 | 0 | -249134 lb | 0 0 0.00 | 26.47/26.55 c | 26.56 | 0 | -249133 lb | 0 0 0.00 | 26.77/26.83 c | 26.83 | 0 | -249132 lb | 0 0 0.00 | 26.96/27.02 c | 27.03 | 0 | -249131 lb | 0 0 0.00 | 27.16/27.28 c | 27.28 | 0 | -249130 lb | 0 0 0.00 | 27.47/27.51 c | 27.52 | 0 | -249129 lb | 0 0 0.00 | 27.57/27.67 c | 27.68 | 0 | -249128 lb | 0 0 0.00 | 27.86/27.91 c | 27.91 | 0 | -249127 lb | 0 0 0.00 | 28.06/28.13 c | 28.13 | 0 | -249126 lb | 0 0 0.00 | 28.26/28.34 c | 28.34 | 0 | -249125 lb | 0 0 0.00 | 28.47/28.55 c | 28.55 | 0 | -249124 lb | 0 0 0.00 | 28.66/28.74 c | 28.74 | 0 | -249123 lb | 0 0 0.00 | 28.97/29.00 c | 29.00 | 0 | -249122 lb | 0 0 0.00 | 29.17/29.25 c | 29.25 | 0 | -249121 lb | 0 0 0.00 | 29.47/29.53 c | 29.53 | 0 | -249120 lb | 0 0 0.00 | 29.67/29.76 c | 29.76 | 0 | -249119 lb | 0 0 0.00 | 29.96/30.01 c | 30.01 | 0 | -249118 lb | 0 0 0.00 | 30.16/30.25 c | 30.25 | 0 | -249117 lb | 0 0 0.00 | 30.36/30.47 c | 30.47 | 0 | -249116 lb | 0 0 0.00 | 30.67/30.71 c | 30.71 | 0 | -249115 lb | 0 0 0.00 | 30.87/30.91 c | 30.91 | 0 | -249114 lb | 0 0 0.00 | 31.07/31.10 c | 31.11 | 0 | -249113 lb | 0 0 0.00 | 31.27/31.33 c | 31.33 | 0 | -249112 lb | 0 0 0.00 | 31.46/31.56 c | 31.56 | 0 | -249111 lb | 0 0 0.00 | 31.66/31.79 c | 31.79 | 0 | -249110 lb | 0 0 0.00 | 31.96/32.03 c | 32.04 | 0 | -249109 lb | 0 0 0.00 | 32.16/32.27 c | 32.27 | 0 | -249108 lb | 0 0 0.00 | 32.36/32.46 c | 32.46 | 0 | -249107 lb | 0 0 0.00 | 32.67/32.71 c | 32.71 | 0 | -249106 lb | 0 0 0.00 | 32.87/32.99 c | 32.99 | 0 | -249105 lb | 0 0 0.00 | 33.16/33.23 c | 33.23 | 0 | -249104 lb | 0 0 0.00 | 33.36/33.49 c | 33.49 | 0 | -249103 lb | 0 0 0.00 | 33.66/33.72 c | 33.73 | 0 | -249102 lb | 0 0 0.00 | 33.86/33.95 c | 33.95 | 0 | -249101 lb | 0 0 0.00 | 34.16/34.20 c | 34.21 | 0 | -249100 lb | 0 0 0.00 | 34.36/34.47 c | 34.47 | 0 | -249099 lb | 0 0 0.00 | 34.56/34.65 c | 34.65 | 0 | -249098 lb | 0 0 0.00 | 34.76/34.89 c | 34.89 | 0 | -249097 lb | 0 0 0.00 | 35.06/35.11 c | 35.12 | 0 | -249096 lb | 0 0 0.00 | 35.27/35.35 c | 35.35 | 0 | -249095 lb | 0 0 0.00 | 35.46/35.52 c | 35.52 | 0 | -249094 lb | 0 0 0.00 | 35.66/35.78 c | 35.78 | 0 | -249093 lb | 0 0 0.00 | 35.96/36.02 c | 36.02 | 0 | -249092 lb | 0 0 0.00 | 36.17/36.25 c | 36.25 | 0 | -249091 lb | 0 0 0.00 | 36.46/36.50 c | 36.51 | 0 | -249090 lb | 0 0 0.00 | 36.67/36.71 c | 36.71 | 0 | -249089 lb | 0 0 0.00 | 36.87/36.93 c | 36.93 | 0 | -249088 lb | 0 0 0.00 | 37.06/37.19 c | 37.19 | 0 | -249087 lb | 0 0 0.00 | 37.37/37.44 c | 37.44 | 0 | -249086 lb | 0 0 0.00 | 37.66/37.71 c | 37.71 | 0 | -249085 lb | 0 0 0.00 | 37.86/37.90 c | 37.90 | 0 | -249084 lb | 0 0 0.00 | 38.06/38.11 c | 38.12 | 0 | -249083 lb | 0 0 0.00 | 38.26/38.35 c | 38.35 | 0 | -249082 lb | 0 0 0.00 | 38.47/38.56 c | 38.57 | 0 | -249081 lb | 0 0 0.00 | 38.66/38.78 c | 38.78 | 0 | -249075 lb | 0 0 0.00 | 38.96/39.01 c | 39.02 | 0 | -249074 lb | 0 0 0.00 | 39.16/39.24 c | 39.25 | 0 | -249073 lb | 0 0 0.00 | 39.47/39.54 c | 39.54 | 0 | -249072 lb | 0 0 0.00 | 39.66/39.75 c | 39.76 | 0 | -249071 lb | 0 0 0.00 | 39.96/40.02 c | 40.02 | 0 | -249070 lb | 0 0 0.00 | 40.16/40.24 c | 40.24 | 0 | -249069 lb | 0 0 0.00 | 40.36/40.48 c | 40.48 | 0 | -249068 lb | 0 0 0.00 | 40.67/40.73 c | 40.73 | 0 | -249067 lb | 0 0 0.00 | 40.87/40.95 c | 40.95 | 0 | -249066 lb | 0 0 0.00 | 41.17/41.22 c | 41.23 | 0 | -249065 lb | 0 0 0.00 | 41.46/41.52 c | 41.53 | 0 | -249064 lb | 0 0 0.00 | 41.67/41.74 c | 41.74 | 0 | -249054 lb | 0 0 0.00 | 41.86/41.96 c | 41.96 | 0 | -249053 lb | 0 0 0.00 | 42.06/42.18 c | 42.18 | 0 | -249052 lb | 0 0 0.00 | 42.26/42.39 c | 42.39 | 0 | -249051 lb | 0 0 0.00 | 42.56/42.61 c | 42.62 | 0 | -249050 lb | 0 0 0.00 | 42.77/42.85 c | 42.85 | 0 | -249049 lb | 0 0 0.00 | 43.06/43.11 c | 43.11 | 0 | -249047 lb | 0 0 0.00 | 43.26/43.34 c | 43.34 | 0 | -249046 lb | 0 0 0.00 | 43.46/43.56 c | 43.57 | 0 | -249045 lb | 0 0 0.00 | 43.67/43.79 c | 43.79 | 0 | -249044 lb | 0 0 0.00 | 43.97/44.05 c | 44.06 | 0 | -249043 lb | 0 0 0.00 | 44.26/44.32 c | 44.32 | 0 | -249042 lb | 0 0 0.00 | 44.46/44.53 c | 44.53 | 0 | -249041 lb | 0 0 0.00 | 44.66/44.74 c | 44.74 | 0 | -249040 lb | 0 0 0.00 | 44.86/45.00 c | 45.00 | 0 | -249039 lb | 0 0 0.00 | 45.16/45.27 c | 45.27 | 0 | -249038 lb | 0 0 0.00 | 45.46/45.53 c | 45.54 | 0 | -249037 lb | 0 0 0.00 | 45.66/45.79 c | 45.79 | 0 | -249036 lb | 0 0 0.00 | 45.96/46.02 c | 46.03 | 0 | -249035 lb | 0 0 0.00 | 46.17/46.25 c | 46.25 | 0 | -249034 lb | 0 0 0.00 | 46.36/46.49 c | 46.49 | 0 | -249033 lb | 0 0 0.00 | 46.66/46.73 c | 46.73 | 0 | -249032 lb | 0 0 0.00 | 46.86/46.95 c | 46.96 | 0 | -249031 lb | 0 0 0.00 | 47.06/47.20 c | 47.20 | 0 | -249030 lb | 0 0 0.00 | 47.36/47.46 c | 47.46 | 0 | -249029 lb | 0 0 0.00 | 47.66/47.71 c | 47.71 | 0 | -249028 lb | 0 0 0.00 | 47.86/47.98 c | 47.98 | 0 | -249027 lb | 0 0 0.00 | 48.16/48.22 c | 48.22 | 0 | -249026 lb | 0 0 0.00 | 48.36/48.45 c | 48.45 | 0 | -249025 lb | 0 0 0.00 | 48.66/48.75 c | 48.75 | 0 | -249024 lb | 0 0 0.00 | 48.96/49.05 c | 49.05 | 0 | -249023 lb | 0 0 0.00 | 49.26/49.31 c | 49.31 | 0 | -249022 lb | 0 0 0.00 | 49.56/49.61 c | 49.61 | 0 | -249021 lb | 0 0 0.00 | 49.76/49.89 c | 49.89 | 0 | -249020 lb | 0 0 0.00 | 50.16/50.22 c | 50.23 | 0 | -249019 lb | 0 0 0.00 | 50.36/50.49 c | 50.49 | 0 | -249018 lb | 0 0 0.00 | 50.66/50.74 c | 50.74 | 0 | -249017 lb | 0 0 0.00 | 50.86/50.98 c | 50.98 | 0 | -249016 lb | 0 0 0.00 | 51.16/51.25 c | 51.25 | 0 | -249015 lb | 0 0 0.00 | 51.46/51.52 c | 51.52 | 0 | -249014 lb | 0 0 0.00 | 51.76/51.80 c | 51.80 | 0 | -249013 lb | 0 0 0.00 | 52.06/52.10 c | 52.10 | 0 | -249012 lb | 0 0 0.00 | 52.26/52.38 c | 52.38 | 0 | -249011 lb | 0 0 0.00 | 52.56/52.64 c | 52.65 | 0 | -249010 lb | 0 0 0.00 | 52.86/52.90 c | 52.91 | 0 | -249009 lb | 0 0 0.00 | 53.16/53.22 c | 53.22 | 0 | -249008 lb | 0 0 0.00 | 53.36/53.48 c | 53.48 | 0 | -249007 lb | 0 0 0.00 | 53.66/53.70 c | 53.70 | 0 | -249006 lb | 0 0 0.00 | 53.87/53.93 c | 53.93 | 0 | -249005 lb | 0 0 0.00 | 54.06/54.16 c | 54.17 | 0 | -249004 lb | 0 0 0.00 | 54.36/54.40 c | 54.40 | 0 | -249003 lb | 0 0 0.00 | 54.56/54.66 c | 54.66 | 0 | -249002 lb | 0 0 0.00 | 54.86/54.91 c | 54.91 | 0 | -249001 lb | 0 0 0.00 | 55.06/55.17 c | 55.18 | 0 | -249000 lb | 0 0 0.00 | 55.36/55.41 c | 55.41 | 0 | -248999 lb | 0 0 0.00 | 55.56/55.66 c | 55.66 | 0 | -248998 lb | 0 0 0.00 | 55.86/55.90 c | 55.91 | 0 | -248997 lb | 0 0 0.00 | 56.06/56.17 c | 56.17 | 0 | -248996 lb | 0 0 0.00 | 56.46/56.53 c | 56.54 | 0 | -248995 lb | 0 0 0.00 | 56.76/56.82 c | 56.82 | 0 | -248994 lb | 0 0 0.00 | 56.96/57.09 c | 57.09 | 0 | -248993 lb | 0 0 0.00 | 57.26/57.39 c | 57.39 | 0 | -248992 lb | 0 0 0.00 | 57.56/57.68 c | 57.69 | 0 | -248991 lb | 0 0 0.00 | 57.86/57.98 c | 57.98 | 0 | -248990 lb | 0 0 0.00 | 58.16/58.28 c | 58.28 | 0 | -248989 lb | 0 0 0.00 | 58.46/58.57 c | 58.57 | 0 | -248988 lb | 0 0 0.00 | 58.76/58.87 c | 58.88 | 0 | -248987 lb | 0 0 0.00 | 59.06/59.15 c | 59.15 | 0 | -248986 lb | 0 0 0.00 | 59.27/59.39 c | 59.40 | 0 | -248985 lb | 0 0 0.00 | 59.66/59.71 c | 59.71 | 0 | -248984 lb | 0 0 0.00 | 59.95/60.04 c | 60.05 | 0 | -248983 lb | 0 0 0.00 | 60.26/60.39 c | 60.39 | 0 | -248982 lb | 0 0 0.00 | 60.56/60.67 c | 60.67 | 0 | -248981 lb | 0 0 0.00 | 60.86/60.95 c | 60.95 | 0 | -248980 lb | 0 0 0.00 | 62.06/62.13 c | 62.13 | 0 | -248979 lb | 0 0 0.00 | 63.46/63.58 c | 63.58 | 0 | -248978 lb | 0 0 0.00 | 63.77/63.87 c | 63.88 | 0 | -248977 lb | 0 0 0.00 | 64.06/64.15 c | 64.15 | 0 | -248976 lb | 0 0 0.00 | 64.46/64.53 c | 64.53 | 0 | -248975 lb | 0 0 0.00 | 64.76/64.88 c | 64.88 | 0 | -248974 lb | 0 0 0.00 | 65.16/65.26 c | 65.26 | 0 | -248973 lb | 0 0 0.00 | 65.46/65.55 c | 65.56 | 0 | -248972 lb | 0 0 0.00 | 65.76/65.86 c | 65.86 | 0 | -248971 lb | 0 0 0.00 | 66.16/66.22 c | 66.22 | 0 | -248970 lb | 0 0 0.00 | 66.45/66.52 c | 66.53 | 0 | -248969 lb | 0 0 0.00 | 66.76/66.84 c | 66.84 | 0 | -248968 lb | 0 0 0.00 | 67.06/67.17 c | 67.17 | 0 | -248967 lb | 0 0 0.00 | 67.46/67.55 c | 67.55 | 0 | -248966 lb | 0 0 0.00 | 67.76/67.88 c | 67.88 | 0 | -248965 lb | 0 0 0.00 | 68.17/68.24 c | 68.24 | 0 | -248964 lb | 0 0 0.00 | 68.56/68.60 c | 68.60 | 0 | -248963 lb | 0 0 0.00 | 68.86/68.92 c | 68.93 | 0 | -248962 lb | 0 0 0.00 | 69.16/69.23 c | 69.23 | 0 | -248961 lb | 0 0 0.00 | 69.65/69.70 c | 69.70 | 0 | -248960 lb | 0 0 0.00 | 69.96/70.02 c | 70.03 | 0 | -248959 lb | 0 0 0.00 | 70.26/70.31 c | 70.31 | 0 | -248958 lb | 0 0 0.00 | 70.55/70.65 c | 70.65 | 0 | -248957 lb | 0 0 0.00 | 70.85/70.96 c | 70.96 | 0 | -248956 lb | 0 0 0.00 | 71.25/71.31 c | 71.31 | 0 | -248954 lb | 0 0 0.00 | 71.55/71.60 c | 71.60 | 0 | -248953 lb | 0 0 0.00 | 71.86/71.92 c | 71.92 | 0 | -248952 lb | 0 0 0.00 | 72.16/72.25 c | 72.25 | 0 | -248951 lb | 0 0 0.00 | 72.46/72.53 c | 72.53 | 0 | -248950 lb | 0 0 0.00 | 72.76/72.88 c | 72.89 | 0 | -248949 lb | 0 0 0.00 | 73.16/73.22 c | 73.22 | 0 | -248948 lb | 0 0 0.00 | 73.46/73.57 c | 73.57 | 0 | -248947 lb | 0 0 0.00 | 73.86/73.90 c | 73.90 | 0 | -248946 lb | 0 0 0.00 | 74.16/74.28 c | 74.28 | 0 | -248942 lb | 0 0 0.00 | 74.56/74.66 c | 74.66 | 0 | -248941 lb | 0 0 0.00 | 74.85/74.97 c | 74.97 | 0 | -248940 lb | 0 0 0.00 | 75.25/75.32 c | 75.32 | 0 | -248939 lb | 0 0 0.00 | 75.65/75.70 c | 75.70 | 0 | -248938 lb | 0 0 0.00 | 76.05/76.14 c | 76.14 | 0 | -248937 lb | 0 0 0.00 | 76.45/76.52 c | 76.52 | 0 | -248936 lb | 0 0 0.00 | 76.75/76.87 c | 76.88 | 0 | -248935 lb | 0 0 0.00 | 77.15/77.25 c | 77.25 | 0 | -248934 lb | 0 0 0.00 | 77.46/77.58 c | 77.59 | 0 | -248933 lb | 0 0 0.00 | 77.86/77.93 c | 77.93 | 0 | -248932 lb | 0 0 0.00 | 78.15/78.26 c | 78.26 | 0 | -248931 lb | 0 0 0.00 | 78.55/78.64 c | 78.64 | 0 | -248930 lb | 0 0 0.00 | 78.95/79.01 c | 79.01 | 0 | -248929 lb | 0 0 0.00 | 79.25/79.33 c | 79.33 | 0 | -248928 lb | 0 0 0.00 | 79.55/79.68 c | 79.69 | 0 | -248927 lb | 0 0 0.00 | 79.95/80.03 c | 80.03 | 0 | -248926 lb | 0 0 0.00 | 80.35/80.40 c | 80.40 | 0 | -248925 lb | 0 0 0.00 | 80.55/80.69 c | 80.70 | 0 | -248924 lb | 0 0 0.00 | 81.04/81.18 c | 81.18 | 0 | -248923 lb | 0 0 0.00 | 81.44/81.54 c | 81.54 | 0 | -248922 lb | 0 0 0.00 | 81.74/81.89 c | 81.89 | 0 | -248921 lb | 0 0 0.00 | 82.14/82.27 c | 82.27 | 0 | -248920 lb | 0 0 0.00 | 82.55/82.61 c | 82.61 | 0 | -248919 lb | 0 0 0.00 | 82.85/82.95 c | 82.95 | 0 | -248918 lb | 0 0 0.00 | 83.15/83.27 c | 83.27 | 0 | -248917 lb | 0 0 0.00 | 83.55/83.65 c | 83.65 | 0 | -248916 lb | 0 0 0.00 | 83.95/84.00 c | 84.00 | 0 | -248915 lb | 0 0 0.00 | 84.25/84.38 c | 84.38 | 0 | -248914 lb | 0 0 0.00 | 84.65/84.73 c | 84.73 | 0 | -248913 lb | 0 0 0.00 | 84.94/85.07 c | 85.07 | 0 | -248912 lb | 0 0 0.00 | 85.34/85.43 c | 85.43 | 0 | -248911 lb | 0 0 0.00 | 85.66/85.78 c | 85.79 | 0 | -248910 lb | 0 0 0.00 | 86.05/86.16 c | 86.17 | 0 | -248909 lb | 0 0 0.00 | 86.35/86.43 c | 86.44 | 0 | -248908 lb | 0 0 0.00 | 86.65/86.76 c | 86.76 | 0 | -248907 lb | 0 0 0.00 | 87.05/87.14 c | 87.14 | 0 | -248906 lb | 0 0 0.00 | 87.55/87.60 c | 87.60 | 0 | -248905 lb | 0 0 0.00 | 87.95/88.07 c | 88.07 | 0 | -248904 lb | 0 0 0.00 | 88.35/88.42 c | 88.42 | 0 | -248903 lb | 0 0 0.00 | 88.74/88.81 c | 88.82 | 0 | -248902 lb | 0 0 0.00 | 89.15/89.27 c | 89.27 | 0 | -248901 lb | 0 0 0.00 | 89.54/89.65 c | 89.65 | 0 | -248900 lb | 0 0 0.00 | 89.84/89.98 c | 89.99 | 0 | -248899 lb | 0 0 0.00 | 90.24/90.33 c | 90.33 | 0 | -248898 lb | 0 0 0.00 | 90.64/90.71 c | 90.71 | 0 | -248897 lb | 0 0 0.00 | 91.04/91.11 c | 91.11 | 0 | -248896 lb | 0 0 0.00 | 91.44/91.53 c | 91.54 | 0 | -248895 lb | 0 0 0.00 | 91.84/91.93 c | 91.94 | 0 | -248894 lb | 0 0 0.00 | 92.35/92.48 c | 92.48 | 0 | -248893 lb | 0 0 0.00 | 92.94/93.06 c | 93.06 | 0 | -248892 lb | 0 0 0.00 | 93.74/93.81 c | 93.81 | 0 | -248891 lb | 0 0 0.00 | 94.34/94.40 c | 94.40 | 0 | -248890 lb | 0 0 0.00 | 94.84/94.90 c | 94.90 | 0 | -248889 lb | 0 0 0.00 | 95.24/95.38 c | 95.38 | 0 | -248888 lb | 0 0 0.00 | 95.94/96.05 c | 96.05 | 0 | -248887 lb | 0 0 0.00 | 96.54/96.67 c | 96.68 | 0 | -248886 lb | 0 0 0.00 | 97.04/97.16 c | 97.16 | 0 | -248885 lb | 0 0 0.00 | 97.64/97.75 c | 97.75 | 0 | -248884 lb | 0 0 0.00 | 98.14/98.29 c | 98.29 | 0 | -248883 lb | 0 0 0.00 | 98.64/98.79 c | 98.80 | 0 | -248882 lb | 0 0 0.00 | 99.43/99.51 c | 99.51 | 0 | -248881 lb | 0 0 0.00 | 99.94/100.02 c | 100.02 | 0 | -248880 lb | 0 0 0.00 | 100.73/100.80 c | 100.80 | 0 | -248879 lb | 0 0 0.00 | 101.14/101.26 c | 101.27 | 0 | -248878 lb | 0 0 0.00 | 101.64/101.76 c | 101.76 | 0 | -248877 lb | 0 0 0.00 | 102.43/102.54 c | 102.54 | 0 | -248876 lb | 0 0 0.00 | 103.03/103.19 c | 103.19 | 0 | -248875 lb | 0 0 0.00 | 103.63/103.73 c | 103.73 | 0 | -248874 lb | 0 0 0.00 | 104.13/104.24 c | 104.24 | 0 | -248873 lb | 0 0 0.00 | 104.63/104.73 c | 104.73 | 0 | -248872 lb | 0 0 0.00 | 105.13/105.26 c | 105.26 | 0 | -248871 lb | 0 0 0.00 | 105.74/105.81 c | 105.81 | 0 | -248870 lb | 0 0 0.00 | 106.24/106.34 c | 106.34 | 0 | -248869 lb | 0 0 0.00 | 106.64/106.78 c | 106.78 | 0 | -248868 lb | 0 0 0.00 | 107.64/107.73 c | 107.73 | 0 | -248867 lb | 0 0 0.00 | 108.13/108.28 c | 108.28 | 0 | -248866 lb | 0 0 0.00 | 108.84/108.91 c | 108.92 | 0 | -248865 lb | 0 0 0.00 | 109.43/109.53 c | 109.53 | 0 | -248864 lb | 0 0 0.00 | 109.93/110.07 c | 110.08 | 0 | -248863 lb | 0 0 0.00 | 110.43/110.56 c | 110.56 | 0 | -248862 lb | 0 0 0.00 | 111.13/111.21 c | 111.21 | 0 | -248861 lb | 0 0 0.00 | 111.73/111.80 c | 111.80 | 0 | -248860 lb | 0 0 0.00 | 112.23/112.32 c | 112.32 | 0 | -248859 lb | 0 0 0.00 | 112.93/113.08 c | 113.08 | 0 | -248858 lb | 0 0 0.00 | 113.73/113.85 c | 113.85 | 0 | -248857 lb | 0 0 0.00 | 114.84/114.90 c | 114.90 | 0 | -248856 lb | 0 0 0.00 | 115.34/115.47 c | 115.47 | 0 | -248855 lb | 0 0 0.00 | 116.23/116.32 c | 116.32 | 0 | -248854 lb | 0 0 0.00 | 116.93/117.03 c | 117.04 | 0 | -248853 lb | 0 0 0.00 | 117.53/117.60 c | 117.61 | 0 | -248852 lb | 0 0 0.00 | 117.93/118.09 c | 118.09 | 0 | -248851 lb | 0 0 0.00 | 118.83/118.94 c | 118.94 | 0 | -248850 lb | 0 0 0.00 | 120.22/120.34 c | 120.34 | 0 | -248849 lb | 0 0 0.00 | 122.12/122.20 c | 122.21 | 0 | -248848 lb | 0 0 0.00 | 123.04/123.18 c | 123.19 | 0 | -248847 lb | 0 0 0.00 | 123.73/123.82 c | 123.82 | 0 | -248846 lb | 0 0 0.00 | 124.33/124.42 c | 124.42 | 0 | -248845 lb | 0 0 0.00 | 125.03/125.11 c | 125.11 | 0 | -248844 lb | 0 0 0.00 | 125.73/125.89 c | 125.90 | 0 | -248843 lb | 0 0 0.00 | 127.23/127.33 c | 127.34 | 0 | -248842 lb | 0 0 0.00 | 127.62/127.72 c | 127.72 | 0 | -248841 lb | 0 0 0.00 | 128.22/128.34 c | 128.34 | 0 | -248840 lb | 0 0 0.00 | 129.02/129.13 c | 129.13 | 0 | -248839 lb | 0 0 0.00 | 130.02/130.15 c | 130.15 | 0 | -248838 lb | 0 0 0.00 | 130.83/130.96 c | 130.97 | 0 | -248837 lb | 0 0 0.00 | 132.42/132.50 c | 132.50 | 0 | -248836 lb | 0 0 0.00 | 133.62/133.70 c | 133.70 | 0 | -248835 lb | 0 0 0.00 | 134.32/134.40 c | 134.41 | 0 | -248834 lb | 0 0 0.00 | 135.63/135.76 c | 135.76 | 0 | -248833 lb | 0 0 0.00 | 136.03/136.15 c | 136.15 | 0 | -248832 lb | 0 0 0.00 | 136.43/136.55 c | 136.55 | 0 | -248831 lb | 0 0 0.00 | 137.12/137.25 c | 137.25 | 0 | -248830 lb | 0 0 0.00 | 137.92/138.06 c | 138.06 | 0 | -248829 lb | 0 0 0.00 | 139.32/139.46 c | 139.46 | 0 | -248828 lb | 0 0 0.00 | 140.02/140.12 c | 140.12 | 0 | -248827 lb | 0 0 0.00 | 141.22/141.36 c | 141.36 | 0 | -248826 lb | 0 0 0.00 | 143.02/143.11 c | 143.11 | 0 | -248825 lb | 0 0 0.00 | 147.42/147.59 c | 147.59 | 0 | -248824 lb | 0 0 0.00 | 148.92/149.05 c | 149.05 | 0 | -248823 lb | 0 0 0.00 | 150.21/150.31 c | 150.31 | 0 | -248822 lb | 0 0 0.00 | 150.91/151.05 c | 151.05 | 0 | -248821 lb | 0 0 0.00 | 152.02/152.13 c | 152.13 | 0 | -248820 lb | 0 0 0.00 | 152.91/153.05 c | 153.05 | 0 | -248819 lb | 0 0 0.00 | 155.81/155.99 c | 156.00 | 0 | -248818 lb | 0 0 0.00 | 156.51/156.67 c | 156.68 | 0 | -248817 lb | 0 0 0.00 | 157.92/158.05 c | 158.06 | 0 | -248816 lb | 0 0 0.00 | 158.61/158.73 c | 158.73 | 0 | -248815 lb | 0 0 0.00 | 161.91/162.02 c | 162.02 | 0 | -248814 lb | 0 0 0.00 | 166.20/166.39 c | 166.39 | 0 | -248813 lb | 0 0 0.00 | 166.81/166.91 c | 166.91 | 0 | -248812 lb | 0 0 0.00 | 170.31/170.43 c | 170.44 | 0 | -248811 lb | 0 0 0.00 | 170.90/171.04 c | 171.04 | 0 | -248810 lb | 0 0 0.00 | 173.80/173.99 c | 173.99 | 0 | -248809 lb | 0 0 0.00 | 180.89/181.09 c | 181.09 | 0 | -248808 lb | 0 0 0.00 | 181.99/182.13 c | 182.13 | 0 | -248807 lb | 0 0 0.00 | 183.50/183.64 c | 183.65 | 0 | -248806 lb | 0 0 0.00 | 188.39/188.50 c | 188.50 | 0 | -248805 lb | 0 0 0.00 | 190.58/190.71 c | 190.71 | 0 | -248804 lb | 0 0 0.00 | 193.28/193.49 c | 193.50 | 0 | -248803 lb | 0 0 0.00 | 197.49/197.65 c | 197.65 | 0 | -248802 lb | 0 0 0.00 | 199.78/199.95 c | 199.95 | 0 | -248801 lb | 0 0 0.00 | 202.58/202.74 c | 202.74 | 0 | -248800 lb | 0 0 0.00 | 204.27/204.40 c | 204.41 | 0 | -248799 lb | 0 0 0.00 | 208.37/208.54 c | 208.54 | 0 | -248798 lb | 0 0 0.00 | 212.27/212.40 c | 212.40 | 0 | -248797 lb | 0 0 0.00 | 224.66/224.84 c | 224.84 | 0 | -248796 lb | 0 0 0.00 | 232.75/232.99 c | 232.99 | 0 | -248795 lb | 0 0 0.00 | 233.45/233.69 c | 233.69 | 0 | -248794 lb | 0 0 0.00 | 255.84/256.05 c | 256.05 | 0 | -248793 lb | 0 0 0.00 | 259.74/259.90 c | 259.90 | 0 | -248792 lb | 0 0 0.00 | 261.84/262.07 c | 262.07 | 0 | -248791 lb | 0 0 0.00 | 264.94/265.12 c | 265.13 | 0 | -248790 lb | 0 0 0.00 | 274.74/274.97 c | 274.97 | 0 | -248789 lb | 0 0 0.00 | 285.53/285.76 c | 285.77 | 0 | -248788 lb | 0 0 0.00 | 322.92/323.18 c | 323.18 | 0 | -248787 lb | 0 0 0.00 | 410.01/410.25 c | 410.25 | 0 | -248786 lb | 0 0 0.00 | 565.28/565.54 c | 565.54 | 0 | -248785 lb | 0 0 0.00 | 570.58/570.87 c | 570.87 | 0 | -248784 lb | 0 0 0.00 | 589.18/589.44 c | 589.44 | 0 | -248783 lb | 0 0 0.00 | 798.34/798.61 c | 798.61 | 0 | -248782 lb | 0 0 0.00 | 1799.56/1800.00 c =============================================================================== 1799.56/1800.00 c Wall Clock Time: 1800.00 s 1799.56/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-3705556-1338118857/watcher-3705556-1338118857 -o /tmp/evaluation-result-3705556-1338118857/solver-3705556-1338118857 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705556-1338118857.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.04 2.03 2.00 3/178 19922 /proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=6116 CPUtime=0 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) R 19920 19922 16265 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 278010097 6262784 402 33554432000 4194304 5963574 140734215685616 140735907831448 4394802 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 1529 402 174 432 0 485 0 [startup+0.0486899 s] /proc/loadavg: 2.04 2.03 2.00 3/178 19922 /proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=9828 CPUtime=0.04 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) R 19920 19922 16265 0 -1 4202496 1487 0 0 0 4 0 0 0 20 0 1 0 278010097 10063872 1439 33554432000 4194304 5963574 140734215685616 140735907831448 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 2457 1440 318 432 0 1413 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9828 [startup+0.100323 s] /proc/loadavg: 2.04 2.03 2.00 3/178 19922 /proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=15768 CPUtime=0.09 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) R 19920 19922 16265 0 -1 4202496 3075 0 0 0 9 0 0 0 20 0 1 0 278010097 16146432 2978 33554432000 4194304 5963574 140734215685616 140735907831448 4419071 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 3942 2979 482 432 0 2898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15768 [startup+0.300175 s] /proc/loadavg: 2.04 2.03 2.00 3/178 19922 /proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=104052 CPUtime=0.29 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 13276 0 0 0 27 2 0 0 20 0 2 0 278010097 106549248 11307 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 26013 11307 195 432 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104052 [startup+0.700228 s] /proc/loadavg: 2.04 2.03 2.00 3/178 19922 /proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=100032 CPUtime=0.68 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 17517 0 0 0 65 3 0 0 20 0 2 0 278010097 102432768 13670 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 25008 13670 196 432 0 24573 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 100032 [startup+1.50035 s] /proc/loadavg: 2.04 2.03 2.00 3/180 19924 /proc/meminfo: memFree=30396244/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=102196 CPUtime=1.48 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 24563 0 0 0 144 4 0 0 20 0 2 0 278010097 104648704 15770 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 25549 15770 197 432 0 25114 0 [pid=19922/tid=19924] ppid=19920 vsize=102196 CPUtime=1.28 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 19043 0 0 0 124 4 0 0 20 0 2 0 278010117 104648704 15770 33554432000 4194304 5963574 140734215685616 139737894449472 5130146 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) 102196 [startup+3.10025 s] /proc/loadavg: 2.04 2.03 2.00 3/180 19924 /proc/meminfo: memFree=30387060/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=100032 CPUtime=3.07 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 30964 0 0 0 302 5 0 0 20 0 2 0 278010097 102432768 18199 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 25008 18199 197 432 0 24573 0 [pid=19922/tid=19924] ppid=19920 vsize=100032 CPUtime=2.87 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 25444 0 0 0 282 5 0 0 20 0 2 0 278010117 102432768 18199 33554432000 4194304 5963574 140734215685616 139737894459928 4445074 0 0 4096 16387 0 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 100032 [startup+6.30036 s] /proc/loadavg: 2.11 2.04 2.01 3/179 19924 /proc/meminfo: memFree=30369700/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=100032 CPUtime=6.27 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 42547 0 0 0 619 8 0 0 20 0 2 0 278010097 102432768 20738 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 25008 20738 198 432 0 24573 0 [pid=19922/tid=19924] ppid=19920 vsize=100032 CPUtime=6.06 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 37027 0 0 0 599 7 0 0 20 0 2 0 278010117 102432768 20738 33554432000 4194304 5963574 140734215685616 139737894459800 5138270 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 100032 [startup+12.7004 s] /proc/loadavg: 2.10 2.04 2.00 3/179 19924 /proc/meminfo: memFree=30344852/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=165568 CPUtime=12.67 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 63415 0 0 0 1255 12 0 0 20 0 2 0 278010097 169541632 27759 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 41392 27759 198 432 0 40957 0 [pid=19922/tid=19924] ppid=19920 vsize=165568 CPUtime=12.44 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 57895 0 0 0 1233 11 0 0 20 0 2 0 278010117 169541632 27759 33554432000 4194304 5963574 140734215685616 139737894459928 4418823 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 165568 [startup+25.5004 s] /proc/loadavg: 2.08 2.04 2.00 3/179 19924 /proc/meminfo: memFree=30303252/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=231104 CPUtime=25.46 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 96499 0 0 0 2527 19 0 0 20 0 2 0 278010097 236650496 37276 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 57776 37276 199 432 0 57341 0 [pid=19922/tid=19924] ppid=19920 vsize=231104 CPUtime=25.21 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 90979 0 0 0 2503 18 0 0 20 0 2 0 278010117 236650496 37276 33554432000 4194304 5963574 140734215685616 139737894459800 5130146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 231104 [startup+51.1004 s] /proc/loadavg: 2.05 2.03 2.00 3/179 19924 /proc/meminfo: memFree=30233220/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=296760 CPUtime=51.06 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 142202 0 0 0 5076 30 0 0 20 0 2 0 278010097 303882240 54588 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 74190 54588 199 432 0 73755 0 [pid=19922/tid=19924] ppid=19920 vsize=296760 CPUtime=50.74 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 136682 0 0 0 5045 29 0 0 20 0 2 0 278010117 303882240 54588 33554432000 4194304 5963574 140734215685616 139737894459736 5141661 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) 296760 [startup+102.307 s] /proc/loadavg: 2.02 2.03 2.00 3/179 19924 /proc/meminfo: memFree=30127028/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=362296 CPUtime=102.24 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 211864 0 0 0 10176 48 0 0 20 0 2 0 278010097 370991104 75720 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 90574 75720 199 432 0 90139 0 [pid=19922/tid=19924] ppid=19920 vsize=362296 CPUtime=101.79 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 206344 0 0 0 10131 48 0 0 20 0 2 0 278010117 370991104 75720 33554432000 4194304 5963574 140734215685616 139737894459800 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 362296 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 19924 /proc/meminfo: memFree=30068272/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=427832 CPUtime=162.2 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 261878 0 0 0 16160 60 0 0 20 0 2 0 278010097 438099968 91764 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 106958 91764 199 432 0 106523 0 [pid=19922/tid=19924] ppid=19920 vsize=427832 CPUtime=161.6 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 256358 0 0 0 16099 61 0 0 20 0 2 0 278010117 438099968 91764 33554432000 4194304 5963574 140734215685616 139737894459928 4373060 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) 427832 [startup+222.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 19925 /proc/meminfo: memFree=30025388/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=427832 CPUtime=222.16 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 272662 0 0 0 22153 63 0 0 20 0 2 0 278010097 438099968 99074 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 106958 99074 199 432 0 106523 0 [pid=19922/tid=19924] ppid=19920 vsize=427832 CPUtime=221.41 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 267142 0 0 0 22076 65 0 0 20 0 2 0 278010117 438099968 99074 33554432000 4194304 5963574 140734215685616 139737894459928 4399595 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 427832 [startup+282.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 19925 /proc/meminfo: memFree=30013648/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=493368 CPUtime=282.14 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 277902 0 0 0 28149 65 0 0 20 0 2 0 278010097 505208832 101881 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 123342 101881 199 432 0 122907 0 [pid=19922/tid=19924] ppid=19920 vsize=493368 CPUtime=281.23 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 272382 0 0 0 28055 68 0 0 20 0 2 0 278010117 505208832 101881 33554432000 4194304 5963574 140734215685616 139737894459688 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 493368 [startup+342.3 s] /proc/loadavg: 2.06 2.03 2.00 3/179 19925 /proc/meminfo: memFree=30007064/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=493368 CPUtime=342.12 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 281135 0 0 0 34146 66 0 0 20 0 2 0 278010097 505208832 102439 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 123342 102439 199 432 0 122907 0 [pid=19922/tid=19924] ppid=19920 vsize=493368 CPUtime=341.07 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 275615 0 0 0 34037 70 0 0 20 0 2 0 278010117 505208832 102439 33554432000 4194304 5963574 140734215685616 139737894459720 4392274 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 493368 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 19925 /proc/meminfo: memFree=29996912/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=493368 CPUtime=402.1 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 281146 0 0 0 40144 66 0 0 20 0 2 0 278010097 505208832 103176 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 123342 103176 199 432 0 122907 0 [pid=19922/tid=19924] ppid=19920 vsize=493368 CPUtime=400.9 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 275626 0 0 0 40019 71 0 0 20 0 2 0 278010117 505208832 103176 33554432000 4194304 5963574 140734215685616 139737894459720 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 493368 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 19925 /proc/meminfo: memFree=29956788/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=493368 CPUtime=462.1 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/179 19957 /proc/meminfo: memFree=29646484/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1421.93 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 310221 0 0 0 142115 78 0 0 20 0 2 0 278010097 639426560 138791 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 138791 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1418.26 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 304701 0 0 0 141728 98 0 0 20 0 2 0 278010117 639426560 138791 33554432000 4194304 5963574 140734215685616 139737894459384 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 624440 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 19958 /proc/meminfo: memFree=29637432/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1481.92 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 310221 0 0 0 148114 78 0 0 20 0 2 0 278010097 639426560 138791 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 138791 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1478.1 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 304701 0 0 0 147711 99 0 0 20 0 2 0 278010117 639426560 138791 33554432000 4194304 5963574 140734215685616 139737894459384 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 624440 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 19958 /proc/meminfo: memFree=29628140/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1541.91 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 310226 0 0 0 154113 78 0 0 20 0 2 0 278010097 639426560 138796 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 138796 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1537.95 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 304706 0 0 0 153695 100 0 0 20 0 2 0 278010117 639426560 138796 33554432000 4194304 5963574 140734215685616 139737894459384 4388621 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 624440 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19958 /proc/meminfo: memFree=29611668/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1601.9 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313608 0 0 0 160110 80 0 0 20 0 2 0 278010097 639426560 142178 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142178 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1597.8 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308088 0 0 0 159677 103 0 0 20 0 2 0 278010117 639426560 142178 33554432000 4194304 5963574 140734215685616 139737894459432 4388668 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 624440 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19958 /proc/meminfo: memFree=29610428/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1661.89 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313638 0 0 0 166109 80 0 0 20 0 2 0 278010097 639426560 142208 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142208 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1657.65 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308118 0 0 0 165661 104 0 0 20 0 2 0 278010117 639426560 142208 33554432000 4194304 5963574 140734215685616 139737894459192 4399474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 624440 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19958 /proc/meminfo: memFree=29607884/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1721.88 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313697 0 0 0 172108 80 0 0 20 0 2 0 278010097 639426560 142267 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142267 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1717.49 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308177 0 0 0 171644 105 0 0 20 0 2 0 278010117 639426560 142267 33554432000 4194304 5963574 140734215685616 139737894459192 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 624440 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29606836/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1781.86 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313778 0 0 0 178106 80 0 0 20 0 2 0 278010097 639426560 142545 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142545 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1777.33 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308258 0 0 0 177627 106 0 0 20 0 2 0 278010117 639426560 142545 33554432000 4194304 5963574 140734215685616 139737894459192 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 624440 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29570308/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1791.46 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313798 0 0 0 179066 80 0 0 20 0 2 0 278010097 639426560 142565 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142565 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1786.91 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308278 0 0 0 178585 106 0 0 20 0 2 0 278010117 639426560 142565 33554432000 4194304 5963574 140734215685616 139737894459192 4381496 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 624440 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29559640/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1794.66 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179386 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142567 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1790.11 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 178905 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 624440 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29552260/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1797.86 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179706 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142567 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1793.29 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179223 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 624440 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29550772/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1798.66 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179786 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142567 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.09 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179303 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4388708 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 624440 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29540848/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1799.06 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179826 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142567 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.5 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179344 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4392274 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.06 Current children cumulated vsize (KiB) 624440 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29540848/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1799.46 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179866 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142567 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.89 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179383 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (KiB) 624440 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/180 20001 /proc/meminfo: memFree=29540848/32873844 swapFree=7388/7388 [pid=19922] ppid=19920 vsize=624440 CPUtime=1799.56 cores=1,3,5,7 /proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179876 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/19922/statm: 156110 142567 199 432 0 155675 0 [pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.99 cores=1,3,5,7 /proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179393 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (KiB) 624440 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 19922 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=125251 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=79835 # CPU time returned by wait4() is 1795.21 # while last known CPU time is 1799.56 # # 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.56 CPU user time (s): 1798.76 CPU system time (s): 0.8 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 624440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.13 system time used= 1.07984 maximum resident set size= 570268 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 313800 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= 155 involuntary context switches= 2882 runsolver used 3.01754 second user time and 7.77582 second system time The end
Begin job on node147 at 2012-05-27 13:40:57 IDJOB=3705556 IDBENCH=90353 IDSOLVER=2283 FILE ID=node147/3705556-1338118857 RUNJOBID= node147-1338087982-16282 PBS_JOBID= 14624451 Free space on /tmp= 71664 MiB SOLVER NAME= wbo 1.7 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.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705556-1338118857/watcher-3705556-1338118857 -o /tmp/evaluation-result-3705556-1338118857/solver-3705556-1338118857 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705556-1338118857.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e8a9709ab0638484b49ff5cae7622ac RANDOM SEED=1314721039 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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 : 2666.951 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 : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30460636 kB Buffers: 332276 kB Cached: 1182856 kB SwapCached: 5068 kB Active: 645036 kB Inactive: 949120 kB Active(anon): 73468 kB Inactive(anon): 7584 kB Active(file): 571568 kB Inactive(file): 941536 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67098668 kB Dirty: 7832 kB Writeback: 0 kB AnonPages: 81996 kB Mapped: 10516 kB Shmem: 0 kB Slab: 678676 kB SReclaimable: 119876 kB SUnreclaim: 558800 kB KernelStack: 1480 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 159420 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 63488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71660 MiB End job on node147 at 2012-05-27 14:10:57