| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.96 | 1800.01 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb |
| MD5SUM | 4555e70390d674ec14d0ef1e0b38ebad |
| 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 | -33662 |
| Best CPU time to get the best result obtained on this benchmark | 1800.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 | 998 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 136517 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 998 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 136517 |
| 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-3705580-1338158687.opb. 0.00/0.00 c Instance file HOME/instance-3705580-1338158687.opb 0.00/0.00 c File size is 2492102 bytes. 0.18/0.20 c Cost Offset: -136517 0.18/0.20 c Highest Coefficient sum: 12446 0.18/0.20 c ============================[ Problem Statistics ]============================= 0.18/0.20 c | | 0.18/0.20 c | Parsing time: 0.21 s | 0.18/0.20 c | Number Variables: 40937 | 0.18/0.20 c | Number Clauses: 40882 | 0.18/0.20 c | Number Cardinality: 553 | 0.18/0.20 c | Number PB Constraints: 1 | 0.18/0.20 c | | 0.18/0.24 c | Problem Type: Optimization | 0.18/0.24 c | Objective Function: PB Constraint | 0.18/0.24 c | | 0.18/0.24 c ============================[ Search Statistics ]============================== 0.18/0.24 c | Time (s) | ID | Bound | Shared Clauses | 0.18/0.24 c | | | value type | expCls impCls Lit/impCl | 0.18/0.24 c =============================================================================== 0.18/0.28 c | 0.28 | 0 | -136515 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | -136513 lb | 0 0 0.00 | 0.29/0.35 c | 0.36 | 0 | -136510 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | -136501 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | -136494 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | -136471 lb | 0 0 0.00 | 0.39/0.49 c | 0.50 | 0 | -136457 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | -136455 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | -136440 lb | 0 0 0.00 | 0.59/0.60 c | 0.61 | 0 | -136429 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | -136427 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | -136419 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | -136417 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | -136415 lb | 0 0 0.00 | 0.69/0.79 c | 0.80 | 0 | -136410 lb | 0 0 0.00 | 0.79/0.83 c | 0.84 | 0 | -136409 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | -136402 lb | 0 0 0.00 | 0.89/0.91 c | 0.91 | 0 | -136400 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | -136399 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | -136396 lb | 0 0 0.00 | 1.00/1.03 c | 1.03 | 0 | -136386 lb | 0 0 0.00 | 1.00/1.07 c | 1.07 | 0 | -136364 lb | 0 0 0.00 | 1.10/1.11 c | 1.11 | 0 | -136363 lb | 0 0 0.00 | 1.10/1.15 c | 1.16 | 0 | -136345 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | -136340 lb | 0 0 0.00 | 1.19/1.24 c | 1.24 | 0 | -136325 lb | 0 0 0.00 | 1.19/1.28 c | 1.28 | 0 | -136319 lb | 0 0 0.00 | 1.29/1.32 c | 1.33 | 0 | -136306 lb | 0 0 0.00 | 1.48/1.55 c | 1.37 | 0 | -136305 lb | 0 0 0.00 | 1.48/1.55 c | 1.41 | 0 | -136302 lb | 0 0 0.00 | 1.48/1.55 c | 1.46 | 0 | -136295 lb | 0 0 0.00 | 1.48/1.55 c | 1.50 | 0 | -136292 lb | 0 0 0.00 | 1.48/1.55 c | 1.55 | 0 | -136290 lb | 0 0 0.00 | 1.48/1.59 c | 1.59 | 0 | -136283 lb | 0 0 0.00 | 1.58/1.63 c | 1.64 | 0 | -136275 lb | 0 0 0.00 | 1.58/1.68 c | 1.68 | 0 | -136268 lb | 0 0 0.00 | 1.68/1.72 c | 1.72 | 0 | -136255 lb | 0 0 0.00 | 1.68/1.77 c | 1.77 | 0 | -136254 lb | 0 0 0.00 | 1.79/1.81 c | 1.81 | 0 | -136251 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | -136250 lb | 0 0 0.00 | 1.89/1.90 c | 1.91 | 0 | -136249 lb | 0 0 0.00 | 1.89/1.95 c | 1.95 | 0 | -136247 lb | 0 0 0.00 | 1.89/1.99 c | 2.00 | 0 | -136242 lb | 0 0 0.00 | 1.99/2.04 c | 2.04 | 0 | -136241 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | -136239 lb | 0 0 0.00 | 2.09/2.13 c | 2.14 | 0 | -136238 lb | 0 0 0.00 | 2.09/2.18 c | 2.18 | 0 | -136225 lb | 0 0 0.00 | 2.19/2.23 c | 2.23 | 0 | -136214 lb | 0 0 0.00 | 2.19/2.27 c | 2.28 | 0 | -136211 lb | 0 0 0.00 | 2.29/2.32 c | 2.32 | 0 | -136209 lb | 0 0 0.00 | 2.29/2.37 c | 2.37 | 0 | -136193 lb | 0 0 0.00 | 2.39/2.41 c | 2.42 | 0 | -136184 lb | 0 0 0.00 | 2.39/2.46 c | 2.46 | 0 | -136167 lb | 0 0 0.00 | 2.49/2.51 c | 2.51 | 0 | -136161 lb | 0 0 0.00 | 2.49/2.56 c | 2.56 | 0 | -136158 lb | 0 0 0.00 | 2.59/2.61 c | 2.61 | 0 | -136157 lb | 0 0 0.00 | 2.59/2.65 c | 2.66 | 0 | -136153 lb | 0 0 0.00 | 2.69/2.70 c | 2.71 | 0 | -136152 lb | 0 0 0.00 | 2.69/2.75 c | 2.75 | 0 | -136145 lb | 0 0 0.00 | 2.78/2.80 c | 2.80 | 0 | -136142 lb | 0 0 0.00 | 2.78/2.85 c | 2.85 | 0 | -136138 lb | 0 0 0.00 | 2.88/2.90 c | 2.90 | 0 | -136132 lb | 0 0 0.00 | 2.88/2.95 c | 2.95 | 0 | -136128 lb | 0 0 0.00 | 2.99/3.00 c | 3.00 | 0 | -136124 lb | 0 0 0.00 | 2.99/3.05 c | 3.05 | 0 | -136116 lb | 0 0 0.00 | 3.09/3.10 c | 3.10 | 0 | -136114 lb | 0 0 0.00 | 3.09/3.15 c | 3.15 | 0 | -136108 lb | 0 0 0.00 | 3.09/3.20 c | 3.20 | 0 | -136103 lb | 0 0 0.00 | 3.19/3.25 c | 3.25 | 0 | -136100 lb | 0 0 0.00 | 3.19/3.30 c | 3.30 | 0 | -136096 lb | 0 0 0.00 | 3.29/3.35 c | 3.35 | 0 | -136088 lb | 0 0 0.00 | 3.38/3.40 c | 3.40 | 0 | -136086 lb | 0 0 0.00 | 3.38/3.45 c | 3.46 | 0 | -136077 lb | 0 0 0.00 | 3.49/3.51 c | 3.51 | 0 | -136072 lb | 0 0 0.00 | 3.49/3.56 c | 3.56 | 0 | -136067 lb | 0 0 0.00 | 3.59/3.61 c | 3.61 | 0 | -136065 lb | 0 0 0.00 | 3.59/3.66 c | 3.66 | 0 | -136063 lb | 0 0 0.00 | 3.69/3.71 c | 3.71 | 0 | -136052 lb | 0 0 0.00 | 3.69/3.76 c | 3.76 | 0 | -136050 lb | 0 0 0.00 | 3.79/3.81 c | 3.81 | 0 | -136046 lb | 0 0 0.00 | 3.79/3.86 c | 3.87 | 0 | -136044 lb | 0 0 0.00 | 3.88/3.92 c | 3.92 | 0 | -136043 lb | 0 0 0.00 | 3.88/3.97 c | 3.97 | 0 | -136042 lb | 0 0 0.00 | 3.98/4.02 c | 4.03 | 0 | -136041 lb | 0 0 0.00 | 3.98/4.08 c | 4.08 | 0 | -136027 lb | 0 0 0.00 | 4.09/4.13 c | 4.13 | 0 | -136023 lb | 0 0 0.00 | 4.09/4.18 c | 4.19 | 0 | -136021 lb | 0 0 0.00 | 4.19/4.24 c | 4.24 | 0 | -136017 lb | 0 0 0.00 | 4.19/4.29 c | 4.29 | 0 | -136014 lb | 0 0 0.00 | 4.30/4.34 c | 4.35 | 0 | -135998 lb | 0 0 0.00 | 4.30/4.40 c | 4.40 | 0 | -135995 lb | 0 0 0.00 | 4.40/4.45 c | 4.46 | 0 | -135993 lb | 0 0 0.00 | 4.49/4.51 c | 4.51 | 0 | -135987 lb | 0 0 0.00 | 4.49/4.56 c | 4.56 | 0 | -135986 lb | 0 0 0.00 | 4.59/4.61 c | 4.62 | 0 | -135984 lb | 0 0 0.00 | 4.59/4.67 c | 4.67 | 0 | -135979 lb | 0 0 0.00 | 4.69/4.72 c | 4.73 | 0 | -135971 lb | 0 0 0.00 | 4.69/4.78 c | 4.78 | 0 | -135963 lb | 0 0 0.00 | 4.78/4.83 c | 4.84 | 0 | -135961 lb | 0 0 0.00 | 4.78/4.89 c | 4.89 | 0 | -135960 lb | 0 0 0.00 | 4.88/4.95 c | 4.95 | 0 | -135956 lb | 0 0 0.00 | 4.98/5.00 c | 5.00 | 0 | -135951 lb | 0 0 0.00 | 4.98/5.06 c | 5.06 | 0 | -135939 lb | 0 0 0.00 | 5.08/5.11 c | 5.12 | 0 | -135938 lb | 0 0 0.00 | 5.08/5.17 c | 5.17 | 0 | -135932 lb | 0 0 0.00 | 5.18/5.22 c | 5.23 | 0 | -135920 lb | 0 0 0.00 | 5.18/5.28 c | 5.28 | 0 | -135906 lb | 0 0 0.00 | 5.28/5.33 c | 5.34 | 0 | -135904 lb | 0 0 0.00 | 5.28/5.39 c | 5.39 | 0 | -135902 lb | 0 0 0.00 | 5.40/5.45 c | 5.45 | 0 | -135901 lb | 0 0 0.00 | 5.50/5.50 c | 5.51 | 0 | -135899 lb | 0 0 0.00 | 5.50/5.56 c | 5.56 | 0 | -135898 lb | 0 0 0.00 | 5.59/5.62 c | 5.62 | 0 | -135892 lb | 0 0 0.00 | 5.59/5.67 c | 5.68 | 0 | -135891 lb | 0 0 0.00 | 5.69/5.73 c | 5.74 | 0 | -135890 lb | 0 0 0.00 | 5.69/5.79 c | 5.79 | 0 | -135880 lb | 0 0 0.00 | 5.79/5.84 c | 5.85 | 0 | -135878 lb | 0 0 0.00 | 5.89/5.90 c | 5.90 | 0 | -135876 lb | 0 0 0.00 | 5.89/5.96 c | 5.96 | 0 | -135875 lb | 0 0 0.00 | 5.99/6.02 c | 6.02 | 0 | -135872 lb | 0 0 0.00 | 5.99/6.08 c | 6.08 | 0 | -135871 lb | 0 0 0.00 | 6.09/6.13 c | 6.14 | 0 | -135869 lb | 0 0 0.00 | 6.09/6.19 c | 6.20 | 0 | -135864 lb | 0 0 0.00 | 6.19/6.25 c | 6.25 | 0 | -135858 lb | 0 0 0.00 | 6.29/6.31 c | 6.31 | 0 | -135841 lb | 0 0 0.00 | 6.29/6.37 c | 6.37 | 0 | -135840 lb | 0 0 0.00 | 6.39/6.42 c | 6.43 | 0 | -135837 lb | 0 0 0.00 | 6.39/6.48 c | 6.49 | 0 | -135835 lb | 0 0 0.00 | 6.49/6.54 c | 6.54 | 0 | -135833 lb | 0 0 0.00 | 6.49/6.60 c | 6.60 | 0 | -135827 lb | 0 0 0.00 | 6.59/6.66 c | 6.66 | 0 | -135826 lb | 0 0 0.00 | 6.68/6.72 c | 6.72 | 0 | -135819 lb | 0 0 0.00 | 6.68/6.78 c | 6.78 | 0 | -135812 lb | 0 0 0.00 | 6.78/6.84 c | 6.84 | 0 | -135805 lb | 0 0 0.00 | 6.78/6.89 c | 6.90 | 0 | -135804 lb | 0 0 0.00 | 6.88/6.95 c | 6.96 | 0 | -135799 lb | 0 0 0.00 | 6.99/7.01 c | 7.02 | 0 | -135798 lb | 0 0 0.00 | 6.99/7.07 c | 7.08 | 0 | -135791 lb | 0 0 0.00 | 7.09/7.13 c | 7.13 | 0 | -135789 lb | 0 0 0.00 | 7.09/7.19 c | 7.20 | 0 | -135788 lb | 0 0 0.00 | 7.19/7.25 c | 7.25 | 0 | -135785 lb | 0 0 0.00 | 7.29/7.31 c | 7.31 | 0 | -135782 lb | 0 0 0.00 | 7.29/7.37 c | 7.37 | 0 | -135779 lb | 0 0 0.00 | 7.39/7.43 c | 7.43 | 0 | -135778 lb | 0 0 0.00 | 7.39/7.49 c | 7.49 | 0 | -135770 lb | 0 0 0.00 | 7.48/7.55 c | 7.55 | 0 | -135757 lb | 0 0 0.00 | 7.59/7.61 c | 7.61 | 0 | -135752 lb | 0 0 0.00 | 7.59/7.67 c | 7.68 | 0 | -135748 lb | 0 0 0.00 | 7.70/7.73 c | 7.74 | 0 | -135747 lb | 0 0 0.00 | 7.70/7.79 c | 7.80 | 0 | -135745 lb | 0 0 0.00 | 7.79/7.85 c | 7.86 | 0 | -135736 lb | 0 0 0.00 | 7.88/7.92 c | 7.92 | 0 | -135735 lb | 0 0 0.00 | 7.88/7.98 c | 7.98 | 0 | -135734 lb | 0 0 0.00 | 7.98/8.04 c | 8.04 | 0 | -135732 lb | 0 0 0.00 | 8.09/8.11 c | 8.11 | 0 | -135731 lb | 0 0 0.00 | 8.09/8.17 c | 8.18 | 0 | -135730 lb | 0 0 0.00 | 8.19/8.25 c | 8.25 | 0 | -135729 lb | 0 0 0.00 | 8.29/8.32 c | 8.32 | 0 | -135727 lb | 0 0 0.00 | 8.29/8.39 c | 8.40 | 0 | -135725 lb | 0 0 0.00 | 8.38/8.47 c | 8.48 | 0 | -135724 lb | 0 0 0.00 | 8.48/8.55 c | 8.56 | 0 | -135723 lb | 0 0 0.00 | 8.59/8.64 c | 8.64 | 0 | -135722 lb | 0 0 0.00 | 8.70/8.72 c | 8.72 | 0 | -135721 lb | 0 0 0.00 | 8.70/8.80 c | 8.80 | 0 | -135719 lb | 0 0 0.00 | 8.79/8.88 c | 8.88 | 0 | -135718 lb | 0 0 0.00 | 8.89/8.96 c | 8.96 | 0 | -135716 lb | 0 0 0.00 | 8.99/9.04 c | 9.04 | 0 | -135715 lb | 0 0 0.00 | 9.09/9.12 c | 9.12 | 0 | -135712 lb | 0 0 0.00 | 9.18/9.21 c | 9.21 | 0 | -135711 lb | 0 0 0.00 | 9.28/9.30 c | 9.30 | 0 | -135710 lb | 0 0 0.00 | 9.28/9.39 c | 9.39 | 0 | -135709 lb | 0 0 0.00 | 9.38/9.47 c | 9.48 | 0 | -135708 lb | 0 0 0.00 | 9.49/9.57 c | 9.57 | 0 | -135707 lb | 0 0 0.00 | 9.59/9.66 c | 9.66 | 0 | -135706 lb | 0 0 0.00 | 9.69/9.75 c | 9.76 | 0 | -135704 lb | 0 0 0.00 | 9.79/9.85 c | 9.85 | 0 | -135700 lb | 0 0 0.00 | 9.89/9.94 c | 9.95 | 0 | -135698 lb | 0 0 0.00 | 9.99/10.05 c | 10.05 | 0 | -135697 lb | 0 0 0.00 | 10.09/10.15 c | 10.15 | 0 | -135696 lb | 0 0 0.00 | 10.19/10.25 c | 10.26 | 0 | -135695 lb | 0 0 0.00 | 10.29/10.35 c | 10.36 | 0 | -135694 lb | 0 0 0.00 | 10.38/10.46 c | 10.46 | 0 | -135693 lb | 0 0 0.00 | 10.48/10.57 c | 10.57 | 0 | -135692 lb | 0 0 0.00 | 10.59/10.67 c | 10.68 | 0 | -135691 lb | 0 0 0.00 | 10.69/10.78 c | 10.78 | 0 | -135690 lb | 0 0 0.00 | 10.78/10.89 c | 10.89 | 0 | -135688 lb | 0 0 0.00 | 10.89/10.99 c | 11.00 | 0 | -135687 lb | 0 0 0.00 | 11.08/11.10 c | 11.11 | 0 | -135686 lb | 0 0 0.00 | 11.18/11.21 c | 11.21 | 0 | -135684 lb | 0 0 0.00 | 11.28/11.32 c | 11.32 | 0 | -135683 lb | 0 0 0.00 | 11.38/11.44 c | 11.44 | 0 | -135682 lb | 0 0 0.00 | 11.48/11.55 c | 11.56 | 0 | -135681 lb | 0 0 0.00 | 11.58/11.67 c | 11.67 | 0 | -135680 lb | 0 0 0.00 | 11.68/11.79 c | 11.79 | 0 | -135679 lb | 0 0 0.00 | 11.88/11.91 c | 11.91 | 0 | -135678 lb | 0 0 0.00 | 12.00/12.03 c | 12.03 | 0 | -135677 lb | 0 0 0.00 | 12.10/12.14 c | 12.15 | 0 | -135674 lb | 0 0 0.00 | 12.19/12.26 c | 12.27 | 0 | -135673 lb | 0 0 0.00 | 12.29/12.39 c | 12.39 | 0 | -135672 lb | 0 0 0.00 | 12.49/12.51 c | 12.51 | 0 | -135671 lb | 0 0 0.00 | 12.59/12.63 c | 12.63 | 0 | -135670 lb | 0 0 0.00 | 12.69/12.75 c | 12.76 | 0 | -135667 lb | 0 0 0.00 | 12.79/12.88 c | 12.89 | 0 | -135666 lb | 0 0 0.00 | 12.99/13.01 c | 13.02 | 0 | -135665 lb | 0 0 0.00 | 13.09/13.14 c | 13.15 | 0 | -135664 lb | 0 0 0.00 | 13.19/13.27 c | 13.28 | 0 | -135663 lb | 0 0 0.00 | 13.38/13.40 c | 13.41 | 0 | -135662 lb | 0 0 0.00 | 13.48/13.53 c | 13.54 | 0 | -135661 lb | 0 0 0.00 | 13.58/13.66 c | 13.67 | 0 | -135660 lb | 0 0 0.00 | 13.78/13.80 c | 13.80 | 0 | -135659 lb | 0 0 0.00 | 13.88/13.93 c | 13.93 | 0 | -135658 lb | 0 0 0.00 | 13.99/14.06 c | 14.07 | 0 | -135657 lb | 0 0 0.00 | 14.09/14.20 c | 14.20 | 0 | -135656 lb | 0 0 0.00 | 14.30/14.33 c | 14.34 | 0 | -135655 lb | 0 0 0.00 | 14.39/14.47 c | 14.47 | 0 | -135654 lb | 0 0 0.00 | 14.59/14.61 c | 14.61 | 0 | -135653 lb | 0 0 0.00 | 14.69/14.74 c | 14.75 | 0 | -135652 lb | 0 0 0.00 | 14.79/14.88 c | 14.88 | 0 | -135651 lb | 0 0 0.00 | 14.98/15.02 c | 15.02 | 0 | -135650 lb | 0 0 0.00 | 15.08/15.16 c | 15.16 | 0 | -135649 lb | 0 0 0.00 | 15.18/15.30 c | 15.30 | 0 | -135648 lb | 0 0 0.00 | 15.39/15.44 c | 15.45 | 0 | -135647 lb | 0 0 0.00 | 15.48/15.58 c | 15.59 | 0 | -135646 lb | 0 0 0.00 | 15.68/15.72 c | 15.73 | 0 | -135645 lb | 0 0 0.00 | 15.78/15.86 c | 15.87 | 0 | -135644 lb | 0 0 0.00 | 15.98/16.01 c | 16.01 | 0 | -135643 lb | 0 0 0.00 | 16.08/16.15 c | 16.15 | 0 | -135642 lb | 0 0 0.00 | 16.18/16.29 c | 16.30 | 0 | -135641 lb | 0 0 0.00 | 16.39/16.44 c | 16.44 | 0 | -135640 lb | 0 0 0.00 | 16.49/16.58 c | 16.58 | 0 | -135639 lb | 0 0 0.00 | 16.69/16.73 c | 16.73 | 0 | -135638 lb | 0 0 0.00 | 16.79/16.87 c | 16.87 | 0 | -135637 lb | 0 0 0.00 | 16.99/17.01 c | 17.02 | 0 | -135636 lb | 0 0 0.00 | 17.09/17.16 c | 17.16 | 0 | -135635 lb | 0 0 0.00 | 17.29/17.30 c | 17.30 | 0 | -135634 lb | 0 0 0.00 | 17.39/17.45 c | 17.45 | 0 | -135633 lb | 0 0 0.00 | 17.49/17.59 c | 17.60 | 0 | -135632 lb | 0 0 0.00 | 17.69/17.75 c | 17.75 | 0 | -135631 lb | 0 0 0.00 | 17.89/17.90 c | 17.90 | 0 | -135630 lb | 0 0 0.00 | 17.98/18.05 c | 18.06 | 0 | -135629 lb | 0 0 0.00 | 18.18/18.20 c | 18.20 | 0 | -135628 lb | 0 0 0.00 | 18.28/18.35 c | 18.35 | 0 | -135627 lb | 0 0 0.00 | 18.48/18.50 c | 18.50 | 0 | -135626 lb | 0 0 0.00 | 18.60/18.65 c | 18.65 | 0 | -135625 lb | 0 0 0.00 | 18.79/18.80 c | 18.80 | 0 | -135624 lb | 0 0 0.00 | 18.89/18.95 c | 18.95 | 0 | -135623 lb | 0 0 0.00 | 19.09/19.10 c | 19.10 | 0 | -135622 lb | 0 0 0.00 | 19.19/19.25 c | 19.25 | 0 | -135621 lb | 0 0 0.00 | 19.39/19.40 c | 19.40 | 0 | -135619 lb | 0 0 0.00 | 19.49/19.55 c | 19.55 | 0 | -135618 lb | 0 0 0.00 | 19.69/19.70 c | 19.71 | 0 | -135617 lb | 0 0 0.00 | 19.79/19.87 c | 19.87 | 0 | -135616 lb | 0 0 0.00 | 19.99/20.03 c | 20.03 | 0 | -135615 lb | 0 0 0.00 | 20.08/20.19 c | 20.20 | 0 | -135614 lb | 0 0 0.00 | 20.29/20.36 c | 20.36 | 0 | -135613 lb | 0 0 0.00 | 20.49/20.53 c | 20.54 | 0 | -135612 lb | 0 0 0.00 | 20.69/20.71 c | 20.71 | 0 | -135611 lb | 0 0 0.00 | 20.79/20.88 c | 20.89 | 0 | -135610 lb | 0 0 0.00 | 20.99/21.06 c | 21.06 | 0 | -135609 lb | 0 0 0.00 | 21.18/21.24 c | 21.25 | 0 | -135608 lb | 0 0 0.00 | 21.38/21.42 c | 21.43 | 0 | -135607 lb | 0 0 0.00 | 21.58/21.61 c | 21.61 | 0 | -135606 lb | 0 0 0.00 | 21.68/21.79 c | 21.79 | 0 | -135605 lb | 0 0 0.00 | 21.89/21.97 c | 21.98 | 0 | -135604 lb | 0 0 0.00 | 22.08/22.16 c | 22.16 | 0 | -135603 lb | 0 0 0.00 | 22.29/22.35 c | 22.35 | 0 | -135602 lb | 0 0 0.00 | 22.49/22.54 c | 22.54 | 0 | -135601 lb | 0 0 0.00 | 22.69/22.73 c | 22.73 | 0 | -135600 lb | 0 0 0.00 | 22.89/22.92 c | 22.92 | 0 | -135599 lb | 0 0 0.00 | 23.09/23.11 c | 23.11 | 0 | -135598 lb | 0 0 0.00 | 23.18/23.29 c | 23.30 | 0 | -135597 lb | 0 0 0.00 | 23.39/23.49 c | 23.49 | 0 | -135596 lb | 0 0 0.00 | 23.59/23.68 c | 23.69 | 0 | -135595 lb | 0 0 0.00 | 23.79/23.88 c | 23.88 | 0 | -135594 lb | 0 0 0.00 | 23.99/24.08 c | 24.08 | 0 | -135593 lb | 0 0 0.00 | 24.19/24.28 c | 24.28 | 0 | -135592 lb | 0 0 0.00 | 24.38/24.47 c | 24.47 | 0 | -135591 lb | 0 0 0.00 | 24.58/24.67 c | 24.67 | 0 | -135590 lb | 0 0 0.00 | 24.78/24.87 c | 24.87 | 0 | -135589 lb | 0 0 0.00 | 24.98/25.07 c | 25.08 | 0 | -135588 lb | 0 0 0.00 | 25.19/25.27 c | 25.27 | 0 | -135587 lb | 0 0 0.00 | 25.38/25.47 c | 25.47 | 0 | -135586 lb | 0 0 0.00 | 25.58/25.67 c | 25.67 | 0 | -135585 lb | 0 0 0.00 | 25.78/25.87 c | 25.88 | 0 | -135584 lb | 0 0 0.00 | 25.98/26.08 c | 26.08 | 0 | -135583 lb | 0 0 0.00 | 26.18/26.29 c | 26.30 | 0 | -135582 lb | 0 0 0.00 | 26.48/26.50 c | 26.51 | 0 | -135581 lb | 0 0 0.00 | 26.68/26.72 c | 26.72 | 0 | -135580 lb | 0 0 0.00 | 26.89/26.93 c | 26.93 | 0 | -135579 lb | 0 0 0.00 | 27.09/27.14 c | 27.14 | 0 | -135578 lb | 0 0 0.00 | 27.29/27.35 c | 27.35 | 0 | -135577 lb | 0 0 0.00 | 27.49/27.57 c | 27.57 | 0 | -135576 lb | 0 0 0.00 | 27.69/27.78 c | 27.79 | 0 | -135575 lb | 0 0 0.00 | 27.99/28.00 c | 28.01 | 0 | -135574 lb | 0 0 0.00 | 28.18/28.22 c | 28.23 | 0 | -135573 lb | 0 0 0.00 | 28.38/28.44 c | 28.44 | 0 | -135572 lb | 0 0 0.00 | 28.59/28.66 c | 28.66 | 0 | -135571 lb | 0 0 0.00 | 28.78/28.87 c | 28.87 | 0 | -135570 lb | 0 0 0.00 | 28.98/29.09 c | 29.09 | 0 | -135569 lb | 0 0 0.00 | 29.28/29.30 c | 29.30 | 0 | -135568 lb | 0 0 0.00 | 29.48/29.52 c | 29.52 | 0 | -135567 lb | 0 0 0.00 | 29.69/29.73 c | 29.73 | 0 | -135566 lb | 0 0 0.00 | 29.89/29.95 c | 29.95 | 0 | -135565 lb | 0 0 0.00 | 30.09/30.16 c | 30.16 | 0 | -135564 lb | 0 0 0.00 | 30.29/30.39 c | 30.39 | 0 | -135563 lb | 0 0 0.00 | 30.58/30.61 c | 30.62 | 0 | -135562 lb | 0 0 0.00 | 30.79/30.85 c | 30.85 | 0 | -135561 lb | 0 0 0.00 | 30.98/31.08 c | 31.08 | 0 | -135560 lb | 0 0 0.00 | 31.28/31.31 c | 31.31 | 0 | -135559 lb | 0 0 0.00 | 31.48/31.54 c | 31.54 | 0 | -135558 lb | 0 0 0.00 | 31.68/31.76 c | 31.76 | 0 | -135557 lb | 0 0 0.00 | 31.98/32.00 c | 32.00 | 0 | -135556 lb | 0 0 0.00 | 32.18/32.25 c | 32.26 | 0 | -135555 lb | 0 0 0.00 | 32.48/32.51 c | 32.51 | 0 | -135554 lb | 0 0 0.00 | 32.68/32.75 c | 32.76 | 0 | -135553 lb | 0 0 0.00 | 32.89/32.98 c | 32.99 | 0 | -135552 lb | 0 0 0.00 | 33.18/33.27 c | 33.27 | 0 | -135551 lb | 0 0 0.00 | 33.48/33.56 c | 33.56 | 0 | -135550 lb | 0 0 0.00 | 33.78/33.84 c | 33.84 | 0 | -135549 lb | 0 0 0.00 | 34.09/34.12 c | 34.12 | 0 | -135548 lb | 0 0 0.00 | 34.39/34.40 c | 34.41 | 0 | -135547 lb | 0 0 0.00 | 34.69/34.70 c | 34.70 | 0 | -135546 lb | 0 0 0.00 | 34.89/34.99 c | 34.99 | 0 | -135545 lb | 0 0 0.00 | 35.19/35.28 c | 35.28 | 0 | -135544 lb | 0 0 0.00 | 35.49/35.56 c | 35.56 | 0 | -135543 lb | 0 0 0.00 | 35.78/35.83 c | 35.84 | 0 | -135542 lb | 0 0 0.00 | 36.08/36.10 c | 36.11 | 0 | -135541 lb | 0 0 0.00 | 36.29/36.39 c | 36.40 | 0 | -135540 lb | 0 0 0.00 | 36.58/36.68 c | 36.68 | 0 | -135539 lb | 0 0 0.00 | 36.88/36.98 c | 36.98 | 0 | -135538 lb | 0 0 0.00 | 37.18/37.28 c | 37.28 | 0 | -135537 lb | 0 0 0.00 | 37.58/37.60 c | 37.60 | 0 | -135536 lb | 0 0 0.00 | 37.88/37.90 c | 37.91 | 0 | -135535 lb | 0 0 0.00 | 38.18/38.21 c | 38.21 | 0 | -135534 lb | 0 0 0.00 | 38.49/38.51 c | 38.52 | 0 | -135533 lb | 0 0 0.00 | 38.78/38.81 c | 38.81 | 0 | -135532 lb | 0 0 0.00 | 39.08/39.11 c | 39.11 | 0 | -135531 lb | 0 0 0.00 | 39.38/39.41 c | 39.41 | 0 | -135530 lb | 0 0 0.00 | 39.68/39.71 c | 39.72 | 0 | -135529 lb | 0 0 0.00 | 39.98/40.02 c | 40.02 | 0 | -135528 lb | 0 0 0.00 | 40.28/40.31 c | 40.31 | 0 | -135527 lb | 0 0 0.00 | 40.48/40.59 c | 40.59 | 0 | -135526 lb | 0 0 0.00 | 40.79/40.88 c | 40.88 | 0 | -135525 lb | 0 0 0.00 | 41.08/41.16 c | 41.16 | 0 | -135524 lb | 0 0 0.00 | 41.38/41.44 c | 41.44 | 0 | -135523 lb | 0 0 0.00 | 41.69/41.72 c | 41.72 | 0 | -135522 lb | 0 0 0.00 | 41.98/42.01 c | 42.01 | 0 | -135521 lb | 0 0 0.00 | 42.28/42.31 c | 42.31 | 0 | -135520 lb | 0 0 0.00 | 42.48/42.59 c | 42.60 | 0 | -135519 lb | 0 0 0.00 | 42.79/42.89 c | 42.90 | 0 | -135518 lb | 0 0 0.00 | 43.08/43.18 c | 43.19 | 0 | -135517 lb | 0 0 0.00 | 43.38/43.48 c | 43.49 | 0 | -135516 lb | 0 0 0.00 | 43.68/43.77 c | 43.77 | 0 | -135515 lb | 0 0 0.00 | 43.99/44.06 c | 44.06 | 0 | -135514 lb | 0 0 0.00 | 44.28/44.35 c | 44.35 | 0 | -135513 lb | 0 0 0.00 | 44.58/44.63 c | 44.63 | 0 | -135512 lb | 0 0 0.00 | 44.88/44.92 c | 44.92 | 0 | -135511 lb | 0 0 0.00 | 45.18/45.22 c | 45.22 | 0 | -135510 lb | 0 0 0.00 | 45.48/45.51 c | 45.51 | 0 | -135509 lb | 0 0 0.00 | 45.68/45.79 c | 45.79 | 0 | -135508 lb | 0 0 0.00 | 45.98/46.08 c | 46.08 | 0 | -135507 lb | 0 0 0.00 | 46.28/46.36 c | 46.37 | 0 | -135506 lb | 0 0 0.00 | 46.58/46.64 c | 46.65 | 0 | -135505 lb | 0 0 0.00 | 46.88/46.93 c | 46.93 | 0 | -135504 lb | 0 0 0.00 | 47.19/47.21 c | 47.21 | 0 | -135503 lb | 0 0 0.00 | 47.38/47.49 c | 47.49 | 0 | -135502 lb | 0 0 0.00 | 47.68/47.77 c | 47.77 | 0 | -135501 lb | 0 0 0.00 | 47.98/48.04 c | 48.05 | 0 | -135500 lb | 0 0 0.00 | 48.29/48.33 c | 48.34 | 0 | -135499 lb | 0 0 0.00 | 48.58/48.62 c | 48.62 | 0 | -135498 lb | 0 0 0.00 | 48.88/48.90 c | 48.90 | 0 | -135497 lb | 0 0 0.00 | 49.08/49.18 c | 49.18 | 0 | -135496 lb | 0 0 0.00 | 49.39/49.45 c | 49.45 | 0 | -135495 lb | 0 0 0.00 | 49.68/49.73 c | 49.74 | 0 | -135494 lb | 0 0 0.00 | 49.98/50.02 c | 50.02 | 0 | -135493 lb | 0 0 0.00 | 50.18/50.29 c | 50.30 | 0 | -135492 lb | 0 0 0.00 | 50.49/50.58 c | 50.58 | 0 | -135491 lb | 0 0 0.00 | 50.78/50.85 c | 50.86 | 0 | -135490 lb | 0 0 0.00 | 51.08/51.13 c | 51.14 | 0 | -135489 lb | 0 0 0.00 | 51.28/51.39 c | 51.40 | 0 | -135488 lb | 0 0 0.00 | 51.59/51.67 c | 51.68 | 0 | -135487 lb | 0 0 0.00 | 51.88/51.96 c | 51.96 | 0 | -135486 lb | 0 0 0.00 | 52.18/52.24 c | 52.24 | 0 | -135485 lb | 0 0 0.00 | 52.48/52.52 c | 52.52 | 0 | -135484 lb | 0 0 0.00 | 52.78/52.81 c | 52.81 | 0 | -135483 lb | 0 0 0.00 | 52.98/53.09 c | 53.09 | 0 | -135482 lb | 0 0 0.00 | 53.28/53.36 c | 53.37 | 0 | -135481 lb | 0 0 0.00 | 53.58/53.64 c | 53.64 | 0 | -135480 lb | 0 0 0.00 | 53.89/53.93 c | 53.94 | 0 | -135479 lb | 0 0 0.00 | 54.18/54.23 c | 54.23 | 0 | -135478 lb | 0 0 0.00 | 54.48/54.53 c | 54.53 | 0 | -135477 lb | 0 0 0.00 | 54.78/54.81 c | 54.82 | 0 | -135476 lb | 0 0 0.00 | 55.08/55.10 c | 55.11 | 0 | -135475 lb | 0 0 0.00 | 55.28/55.39 c | 55.39 | 0 | -135474 lb | 0 0 0.00 | 55.58/55.67 c | 55.68 | 0 | -135473 lb | 0 0 0.00 | 55.88/55.95 c | 55.95 | 0 | -135472 lb | 0 0 0.00 | 56.18/56.24 c | 56.24 | 0 | -135471 lb | 0 0 0.00 | 56.48/56.52 c | 56.52 | 0 | -135470 lb | 0 0 0.00 | 56.77/56.80 c | 56.80 | 0 | -135469 lb | 0 0 0.00 | 56.98/57.08 c | 57.08 | 0 | -135468 lb | 0 0 0.00 | 57.28/57.38 c | 57.38 | 0 | -135467 lb | 0 0 0.00 | 57.58/57.67 c | 57.68 | 0 | -135466 lb | 0 0 0.00 | 57.88/57.97 c | 57.98 | 0 | -135465 lb | 0 0 0.00 | 58.19/58.27 c | 58.28 | 0 | -135464 lb | 0 0 0.00 | 58.48/58.58 c | 58.59 | 0 | -135463 lb | 0 0 0.00 | 58.77/58.88 c | 58.88 | 0 | -135462 lb | 0 0 0.00 | 59.07/59.17 c | 59.18 | 0 | -135461 lb | 0 0 0.00 | 59.39/59.47 c | 59.48 | 0 | -135460 lb | 0 0 0.00 | 59.68/59.77 c | 59.77 | 0 | -135459 lb | 0 0 0.00 | 59.97/60.06 c | 60.06 | 0 | -135458 lb | 0 0 0.00 | 60.28/60.35 c | 60.35 | 0 | -135457 lb | 0 0 0.00 | 60.58/60.63 c | 60.64 | 0 | -135456 lb | 0 0 0.00 | 60.88/60.93 c | 60.93 | 0 | -135455 lb | 0 0 0.00 | 61.17/61.22 c | 61.22 | 0 | -135454 lb | 0 0 0.00 | 61.48/61.50 c | 61.51 | 0 | -135453 lb | 0 0 0.00 | 61.78/61.80 c | 61.80 | 0 | -135452 lb | 0 0 0.00 | 61.98/62.08 c | 62.09 | 0 | -135451 lb | 0 0 0.00 | 62.28/62.38 c | 62.38 | 0 | -135450 lb | 0 0 0.00 | 62.59/62.67 c | 62.67 | 0 | -135449 lb | 0 0 0.00 | 62.87/62.97 c | 62.97 | 0 | -135448 lb | 0 0 0.00 | 63.17/63.27 c | 63.27 | 0 | -135447 lb | 0 0 0.00 | 63.47/63.56 c | 63.56 | 0 | -135446 lb | 0 0 0.00 | 63.78/63.86 c | 63.86 | 0 | -135445 lb | 0 0 0.00 | 64.08/64.15 c | 64.15 | 0 | -135444 lb | 0 0 0.00 | 64.38/64.44 c | 64.44 | 0 | -135443 lb | 0 0 0.00 | 64.68/64.73 c | 64.74 | 0 | -135442 lb | 0 0 0.00 | 64.98/65.02 c | 65.02 | 0 | -135441 lb | 0 0 0.00 | 65.28/65.30 c | 65.30 | 0 | -135440 lb | 0 0 0.00 | 65.48/65.59 c | 65.59 | 0 | -135439 lb | 0 0 0.00 | 65.78/65.87 c | 65.87 | 0 | -135438 lb | 0 0 0.00 | 66.08/66.16 c | 66.16 | 0 | -135437 lb | 0 0 0.00 | 66.38/66.45 c | 66.45 | 0 | -135436 lb | 0 0 0.00 | 66.68/66.74 c | 66.74 | 0 | -135435 lb | 0 0 0.00 | 66.99/67.03 c | 67.03 | 0 | -135434 lb | 0 0 0.00 | 67.28/67.32 c | 67.32 | 0 | -135433 lb | 0 0 0.00 | 67.58/67.60 c | 67.61 | 0 | -135432 lb | 0 0 0.00 | 67.88/67.90 c | 67.91 | 0 | -135431 lb | 0 0 0.00 | 68.08/68.20 c | 68.20 | 0 | -135430 lb | 0 0 0.00 | 68.48/68.50 c | 68.50 | 0 | -135429 lb | 0 0 0.00 | 68.67/68.79 c | 68.80 | 0 | -135428 lb | 0 0 0.00 | 68.97/69.09 c | 69.10 | 0 | -135427 lb | 0 0 0.00 | 69.28/69.39 c | 69.40 | 0 | -135426 lb | 0 0 0.00 | 69.68/69.70 c | 69.70 | 0 | -135425 lb | 0 0 0.00 | 69.98/70.00 c | 70.00 | 0 | -135424 lb | 0 0 0.00 | 70.28/70.30 c | 70.31 | 0 | -135423 lb | 0 0 0.00 | 70.58/70.60 c | 70.60 | 0 | -135422 lb | 0 0 0.00 | 70.87/70.90 c | 70.91 | 0 | -135421 lb | 0 0 0.00 | 71.07/71.19 c | 71.19 | 0 | -135420 lb | 0 0 0.00 | 71.38/71.49 c | 71.49 | 0 | -135419 lb | 0 0 0.00 | 71.67/71.78 c | 71.78 | 0 | -135418 lb | 0 0 0.00 | 71.97/72.07 c | 72.07 | 0 | -135417 lb | 0 0 0.00 | 72.27/72.35 c | 72.36 | 0 | -135416 lb | 0 0 0.00 | 72.57/72.65 c | 72.65 | 0 | -135415 lb | 0 0 0.00 | 72.87/72.93 c | 72.94 | 0 | -135414 lb | 0 0 0.00 | 73.17/73.24 c | 73.24 | 0 | -135413 lb | 0 0 0.00 | 73.47/73.54 c | 73.54 | 0 | -135412 lb | 0 0 0.00 | 73.77/73.83 c | 73.83 | 0 | -135411 lb | 0 0 0.00 | 74.07/74.11 c | 74.11 | 0 | -135410 lb | 0 0 0.00 | 74.37/74.41 c | 74.41 | 0 | -135409 lb | 0 0 0.00 | 74.57/74.70 c | 74.70 | 0 | -135408 lb | 0 0 0.00 | 74.97/75.00 c | 75.01 | 0 | -135407 lb | 0 0 0.00 | 75.26/75.30 c | 75.30 | 0 | -135406 lb | 0 0 0.00 | 75.57/75.60 c | 75.60 | 0 | -135405 lb | 0 0 0.00 | 75.78/75.89 c | 75.89 | 0 | -135404 lb | 0 0 0.00 | 76.07/76.19 c | 76.19 | 0 | -135403 lb | 0 0 0.00 | 76.37/76.49 c | 76.49 | 0 | -135402 lb | 0 0 0.00 | 76.66/76.79 c | 76.79 | 0 | -135401 lb | 0 0 0.00 | 76.98/77.07 c | 77.08 | 0 | -135400 lb | 0 0 0.00 | 77.27/77.39 c | 77.39 | 0 | -135399 lb | 0 0 0.00 | 77.67/77.71 c | 77.71 | 0 | -135398 lb | 0 0 0.00 | 77.97/78.04 c | 78.05 | 0 | -135397 lb | 0 0 0.00 | 78.37/78.41 c | 78.42 | 0 | -135396 lb | 0 0 0.00 | 78.67/78.78 c | 78.78 | 0 | -135395 lb | 0 0 0.00 | 79.07/79.15 c | 79.16 | 0 | -135394 lb | 0 0 0.00 | 79.46/79.51 c | 79.52 | 0 | -135393 lb | 0 0 0.00 | 79.86/79.91 c | 79.92 | 0 | -135392 lb | 0 0 0.00 | 80.18/80.29 c | 80.30 | 0 | -135391 lb | 0 0 0.00 | 80.57/80.65 c | 80.66 | 0 | -135390 lb | 0 0 0.00 | 80.96/81.06 c | 81.07 | 0 | -135389 lb | 0 0 0.00 | 81.46/81.54 c | 81.54 | 0 | -135388 lb | 0 0 0.00 | 81.76/81.87 c | 81.87 | 0 | -135387 lb | 0 0 0.00 | 82.37/82.40 c | 82.41 | 0 | -135386 lb | 0 0 0.00 | 82.86/82.94 c | 82.94 | 0 | -135385 lb | 0 0 0.00 | 83.26/83.38 c | 83.39 | 0 | -135384 lb | 0 0 0.00 | 83.66/83.77 c | 83.77 | 0 | -135383 lb | 0 0 0.00 | 84.27/84.37 c | 84.37 | 0 | -135382 lb | 0 0 0.00 | 84.67/84.76 c | 84.76 | 0 | -135381 lb | 0 0 0.00 | 85.16/85.20 c | 85.20 | 0 | -135380 lb | 0 0 0.00 | 87.36/87.46 c | 87.46 | 0 | -135379 lb | 0 0 0.00 | 89.56/89.67 c | 89.67 | 0 | -135378 lb | 0 0 0.00 | 90.07/90.17 c | 90.17 | 0 | -135377 lb | 0 0 0.00 | 94.36/94.40 c | 94.41 | 0 | -135376 lb | 0 0 0.00 | 94.86/94.96 c | 94.96 | 0 | -135375 lb | 0 0 0.00 | 95.46/95.53 c | 95.54 | 0 | -135374 lb | 0 0 0.00 | 96.46/96.50 c | 96.50 | 0 | -135373 lb | 0 0 0.00 | 97.16/97.24 c | 97.24 | 0 | -135372 lb | 0 0 0.00 | 97.55/97.68 c | 97.69 | 0 | -135371 lb | 0 0 0.00 | 98.35/98.42 c | 98.42 | 0 | -135370 lb | 0 0 0.00 | 99.06/99.10 c | 99.10 | 0 | -135369 lb | 0 0 0.00 | 99.56/99.64 c | 99.64 | 0 | -135368 lb | 0 0 0.00 | 100.06/100.17 c | 100.17 | 0 | -135367 lb | 0 0 0.00 | 102.45/102.55 c | 102.55 | 0 | -135366 lb | 0 0 0.00 | 103.05/103.19 c | 103.19 | 0 | -135365 lb | 0 0 0.00 | 104.46/104.52 c | 104.52 | 0 | -135364 lb | 0 0 0.00 | 107.45/107.56 c | 107.56 | 0 | -135363 lb | 0 0 0.00 | 108.65/108.75 c | 108.75 | 0 | -135362 lb | 0 0 0.00 | 110.15/110.25 c | 110.26 | 0 | -135361 lb | 0 0 0.00 | 116.25/116.38 c | 116.38 | 0 | -135360 lb | 0 0 0.00 | 118.05/118.17 c | 118.17 | 0 | -135359 lb | 0 0 0.00 | 118.54/118.62 c | 118.62 | 0 | -135358 lb | 0 0 0.00 | 120.74/120.88 c | 120.88 | 0 | -135357 lb | 0 0 0.00 | 121.64/121.75 c | 121.76 | 0 | -135356 lb | 0 0 0.00 | 126.64/126.75 c | 126.75 | 0 | -135355 lb | 0 0 0.00 | 130.14/130.20 c | 130.20 | 0 | -135354 lb | 0 0 0.00 | 131.84/131.92 c | 131.92 | 0 | -135353 lb | 0 0 0.00 | 137.13/137.24 c | 137.25 | 0 | -135352 lb | 0 0 0.00 | 138.73/138.80 c | 138.81 | 0 | -135351 lb | 0 0 0.00 | 140.03/140.17 c | 140.18 | 0 | -135350 lb | 0 0 0.00 | 142.93/143.04 c | 143.04 | 0 | -135349 lb | 0 0 0.00 | 143.93/144.01 c | 144.01 | 0 | -135348 lb | 0 0 0.00 | 146.63/146.71 c | 146.72 | 0 | -135347 lb | 0 0 0.00 | 148.93/149.01 c | 149.01 | 0 | -135346 lb | 0 0 0.00 | 153.12/153.24 c | 153.24 | 0 | -135345 lb | 0 0 0.00 | 155.61/155.74 c | 155.74 | 0 | -135344 lb | 0 0 0.00 | 162.91/163.05 c | 163.05 | 0 | -135343 lb | 0 0 0.00 | 168.31/168.49 c | 168.50 | 0 | -135342 lb | 0 0 0.00 | 176.50/176.67 c | 176.68 | 0 | -135341 lb | 0 0 0.00 | 349.63/349.80 c | 349.81 | 0 | -135340 lb | 0 0 0.00 | 417.61/417.84 c | 417.84 | 0 | -135339 lb | 0 0 0.00 | 437.71/437.98 c | 437.98 | 0 | -135338 lb | 0 0 0.00 | 689.73/690.08 c | 690.09 | 0 | -135337 lb | 0 0 0.00 | 830.81/831.19 c | 831.19 | 0 | -135336 lb | 0 0 0.00 | 841.12/841.45 c | 841.46 | 0 | -135335 lb | 0 0 0.00 | 994.39/994.70 c | 994.70 | 0 | -135334 lb | 0 0 0.00 | 1013.19/1013.58 c | 1013.59 | 0 | -135333 lb | 0 0 0.00 | 1201.26/1201.62 c | 1201.62 | 0 | -135332 lb | 0 0 0.00 | 1515.11/1515.50 c | 1515.51 | 0 | -135331 lb | 0 0 0.00 | 1544.81/1545.29 c | 1545.29 | 0 | -135330 lb | 0 0 0.00 | 1566.80/1567.21 c | 1567.21 | 0 | -135329 lb | 0 0 0.00 | 1799.57/1800.00 c =============================================================================== 1799.57/1800.00 c Wall Clock Time: 1800.00 s 1799.57/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-3705580-1338158687/watcher-3705580-1338158687 -o /tmp/evaluation-result-3705580-1338158687/solver-3705580-1338158687 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705580-1338158687.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 2.04 2.00 3/175 22690 /proc/meminfo: memFree=30435536/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=5984 CPUtime=0 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) R 22686 22690 22647 0 -1 4202496 420 0 0 0 0 0 0 0 20 0 1 0 281995695 6127616 373 33554432000 4194304 5963574 140733625258560 140734031398232 4866493 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 1496 374 171 432 0 452 0 [startup+0.0830059 s] /proc/loadavg: 1.91 2.04 2.00 3/175 22690 /proc/meminfo: memFree=30435536/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=13876 CPUtime=0.07 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) R 22686 22690 22647 0 -1 4202496 2372 0 0 0 7 0 0 0 20 0 1 0 281995695 14209024 2325 33554432000 4194304 5963574 140733625258560 140734031398232 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 3469 2325 415 432 0 2425 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13876 [startup+0.10025 s] /proc/loadavg: 1.91 2.04 2.00 3/175 22690 /proc/meminfo: memFree=30435536/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=14860 CPUtime=0.09 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) R 22686 22690 22647 0 -1 4202496 2879 0 0 0 9 0 0 0 20 0 1 0 281995695 15216640 2783 33554432000 4194304 5963574 140733625258560 140734031398232 4338933 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 3715 2783 464 432 0 2671 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14860 [startup+0.300278 s] /proc/loadavg: 1.91 2.04 2.00 3/175 22690 /proc/meminfo: memFree=30435536/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=104052 CPUtime=0.29 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 13177 0 0 0 27 2 0 0 20 0 2 0 281995695 106549248 11209 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 26013 11212 195 432 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104052 [startup+0.700289 s] /proc/loadavg: 1.91 2.04 2.00 3/175 22690 /proc/meminfo: memFree=30435536/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=100032 CPUtime=0.69 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 18697 0 0 0 66 3 0 0 20 0 2 0 281995695 102432768 13635 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 25008 13635 196 432 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100032 [startup+1.50037 s] /proc/loadavg: 1.91 2.04 2.00 4/179 22694 /proc/meminfo: memFree=30323912/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=100032 CPUtime=1.48 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 27390 0 0 0 144 4 0 0 20 0 2 0 281995695 102432768 16341 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 25008 16341 196 432 0 24573 0 [pid=22690/tid=22694] ppid=22686 vsize=100032 CPUtime=1.28 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 21870 0 0 0 124 4 0 0 20 0 2 0 281995716 102432768 16341 33554432000 4194304 5963574 140733625258560 140131946076504 5141661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100032 [startup+3.10037 s] /proc/loadavg: 1.91 2.04 2.00 4/179 22694 /proc/meminfo: memFree=30312132/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=100032 CPUtime=3.09 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 39392 0 0 0 303 6 0 0 20 0 2 0 281995695 102432768 18631 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 25008 18631 196 432 0 24573 0 [pid=22690/tid=22694] ppid=22686 vsize=100032 CPUtime=2.88 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 33872 0 0 0 282 6 0 0 20 0 2 0 281995716 102432768 18631 33554432000 4194304 5963574 140733625258560 140131946076696 5130053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100032 [startup+6.30033 s] /proc/loadavg: 1.91 2.04 2.00 4/179 22694 /proc/meminfo: memFree=30280712/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=165568 CPUtime=6.29 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 59090 0 0 0 619 10 0 0 20 0 2 0 281995695 169541632 23543 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 41392 23543 196 432 0 40957 0 [pid=22690/tid=22694] ppid=22686 vsize=165568 CPUtime=6.08 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 53570 0 0 0 598 10 0 0 20 0 2 0 281995716 169541632 23543 33554432000 4194304 5963574 140733625258560 140131946076696 5121510 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 165568 [startup+12.7003 s] /proc/loadavg: 1.93 2.03 2.00 4/179 22694 /proc/meminfo: memFree=30234484/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=165568 CPUtime=12.69 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 101715 0 0 0 1251 18 0 0 20 0 2 0 281995695 169541632 34345 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 41392 34345 198 432 0 40957 0 [pid=22690/tid=22694] ppid=22686 vsize=165568 CPUtime=12.48 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 96195 0 0 0 1230 18 0 0 20 0 2 0 281995716 169541632 34345 33554432000 4194304 5963574 140733625258560 140131946076504 5121588 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 165568 [startup+25.5003 s] /proc/loadavg: 1.94 2.03 2.00 4/179 22694 /proc/meminfo: memFree=30153068/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=234464 CPUtime=25.48 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 130545 0 0 0 2524 24 0 0 20 0 2 0 281995695 240091136 49292 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 58616 49292 198 432 0 58181 0 [pid=22690/tid=22694] ppid=22686 vsize=234464 CPUtime=25.28 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 125025 0 0 0 2504 24 0 0 20 0 2 0 281995716 240091136 49292 33554432000 4194304 5963574 140733625258560 140131946076696 4444863 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 234464 [startup+51.1003 s] /proc/loadavg: 2.07 2.06 2.01 4/179 22694 /proc/meminfo: memFree=30025876/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=365536 CPUtime=51.08 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 166172 0 0 0 5074 34 0 0 20 0 2 0 281995695 374308864 72519 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 91384 72519 199 432 0 90949 0 [pid=22690/tid=22694] ppid=22686 vsize=365536 CPUtime=50.88 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 160652 0 0 0 5054 34 0 0 20 0 2 0 281995716 374308864 72519 33554432000 4194304 5963574 140733625258560 140131946077000 4403255 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 365536 [startup+102.307 s] /proc/loadavg: 2.03 2.05 2.00 4/179 22694 /proc/meminfo: memFree=29839832/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=496608 CPUtime=102.26 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 252854 0 0 0 10171 55 0 0 20 0 2 0 281995695 508526592 107564 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 124152 107564 199 432 0 123717 0 [pid=22690/tid=22694] ppid=22686 vsize=496608 CPUtime=102.07 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 247334 0 0 0 10151 56 0 0 20 0 2 0 281995716 508526592 107564 33554432000 4194304 5963574 140733625258560 140131946077000 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 496608 [startup+162.3 s] /proc/loadavg: 2.01 2.04 2.00 4/179 22694 /proc/meminfo: memFree=29736360/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=578552 CPUtime=162.21 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 269278 0 0 0 16160 61 0 0 20 0 2 0 281995695 592437248 125022 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 144638 125022 199 432 0 144203 0 [pid=22690/tid=22694] ppid=22686 vsize=578552 CPUtime=162.03 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 263758 0 0 0 16140 63 0 0 20 0 2 0 281995716 592437248 125022 33554432000 4194304 5963574 140733625258560 140131946077000 4403234 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 578552 [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.00 4/179 22694 /proc/meminfo: memFree=29693048/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=627680 CPUtime=222.17 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 271915 0 0 0 22155 62 0 0 20 0 2 0 281995695 642744320 134662 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 156920 134662 199 432 0 156485 0 [pid=22690/tid=22694] ppid=22686 vsize=627680 CPUtime=222 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 266395 0 0 0 22135 65 0 0 20 0 2 0 281995716 642744320 134662 33554432000 4194304 5963574 140733625258560 140131946076504 4388636 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 627680 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 4/179 22695 /proc/meminfo: memFree=29643004/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=627680 CPUtime=282.14 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 272879 0 0 0 28152 62 0 0 20 0 2 0 281995695 642744320 137145 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 156920 137145 199 432 0 156485 0 [pid=22690/tid=22694] ppid=22686 vsize=627680 CPUtime=281.99 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 267359 0 0 0 28133 66 0 0 20 0 2 0 281995716 642744320 137145 33554432000 4194304 5963574 140733625258560 140131946076504 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 627680 [startup+342.3 s] /proc/loadavg: 2.08 2.03 2.01 4/180 22698 /proc/meminfo: memFree=29533744/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=693216 CPUtime=342.12 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 282052 0 0 0 34147 65 0 0 20 0 2 0 281995695 709853184 146779 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 173304 146779 199 432 0 172869 0 [pid=22690/tid=22694] ppid=22686 vsize=693216 CPUtime=341.99 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 276532 0 0 0 34129 70 0 0 20 0 2 0 281995716 709853184 146779 33554432000 4194304 5963574 140733625258560 140131946075960 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 693216 [startup+402.3 s] /proc/loadavg: 2.03 2.02 2.00 4/179 22698 /proc/meminfo: memFree=29427024/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=758752 CPUtime=402.11 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 293569 0 0 0 40142 69 0 0 20 0 2 0 281995695 776962048 171949 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 189688 171949 199 432 0 189253 0 [pid=22690/tid=22694] ppid=22686 vsize=758752 CPUtime=401.99 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 288049 0 0 0 40124 75 0 0 20 0 2 0 281995716 776962048 171949 33554432000 4194304 5963574 140733625258560 140131946076488 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 758752 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.00 4/179 22698 /proc/meminfo: memFree=29380340/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=758752 CPUtime=462.11 cores=0,2,4,6 ################ # More data... # ################ /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 288876 0 0 0 130112 89 0 0 20 0 2 0 281995716 776962048 175941 33554432000 4194304 5963574 140733625258560 140131946076696 4402845 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 758752 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 22727 /proc/meminfo: memFree=28665908/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=758752 CPUtime=1361.94 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294396 0 0 0 136124 70 0 0 20 0 2 0 281995695 776962048 175941 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 189688 175941 199 432 0 189253 0 [pid=22690/tid=22694] ppid=22686 vsize=758752 CPUtime=1362.01 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 288876 0 0 0 136111 90 0 0 20 0 2 0 281995716 776962048 175941 33554432000 4194304 5963574 140733625258560 140131946076696 4392454 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 758752 [startup+1422.31 s] /proc/loadavg: 2.07 2.03 2.01 4/179 22727 /proc/meminfo: memFree=28665968/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=758752 CPUtime=1421.94 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294397 0 0 0 142124 70 0 0 20 0 2 0 281995695 776962048 175941 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 189688 175941 199 432 0 189253 0 [pid=22690/tid=22694] ppid=22686 vsize=758752 CPUtime=1422.01 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 288877 0 0 0 142110 91 0 0 20 0 2 0 281995716 776962048 175941 33554432000 4194304 5963574 140733625258560 140131946076696 4403067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 758752 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 4/179 22728 /proc/meminfo: memFree=28666092/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=758752 CPUtime=1481.92 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294397 0 0 0 148122 70 0 0 20 0 2 0 281995695 776962048 175941 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 189688 175941 199 432 0 189253 0 [pid=22690/tid=22694] ppid=22686 vsize=758752 CPUtime=1482.01 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 288877 0 0 0 148109 92 0 0 20 0 2 0 281995716 776962048 175941 33554432000 4194304 5963574 140733625258560 140131946076696 4392243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 758752 [startup+1542.3 s] /proc/loadavg: 2.01 2.01 2.00 4/180 22731 /proc/meminfo: memFree=28654108/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1541.91 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294787 0 0 0 154121 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1542.02 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289267 0 0 0 154109 93 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076488 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 771916 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 4/179 22731 /proc/meminfo: memFree=28641840/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1601.9 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 160120 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1602.02 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 160108 94 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4392521 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 771916 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 22731 /proc/meminfo: memFree=28616048/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1661.89 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 166119 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1662.02 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 166107 95 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4400012 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 771916 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 4/179 22731 /proc/meminfo: memFree=28611460/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1721.88 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 172118 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1722.03 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 172107 96 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4399511 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 771916 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609616/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1781.87 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 178117 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1782.03 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 178106 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 771916 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609864/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1791.47 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179077 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1791.64 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179067 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 771916 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609864/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1794.67 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179397 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1794.84 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179387 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4388683 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 771916 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609864/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1797.87 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179717 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1798.03 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179706 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 771916 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609740/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1798.67 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179797 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1798.83 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179786 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (KiB) 771916 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609740/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1799.07 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179837 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1799.24 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179827 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.07 Current children cumulated vsize (KiB) 771916 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609740/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1799.47 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179877 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1799.63 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179866 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 771916 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22732 /proc/meminfo: memFree=28609740/32873844 swapFree=7108/7108 [pid=22690] ppid=22686 vsize=771916 CPUtime=1799.57 cores=0,2,4,6 /proc/22690/stat : 22690 (wbo1.7) S 22686 22690 22647 0 -1 4202496 294789 0 0 0 179887 70 0 0 20 0 2 0 281995695 790441984 178884 33554432000 4194304 5963574 140733625258560 140733625258080 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22690/statm: 192979 178884 199 432 0 192544 0 [pid=22690/tid=22694] ppid=22686 vsize=771916 CPUtime=1799.73 cores=0,2,4,6 /proc/22690/task/22694/stat : 22694 (wbo1.7) R 22686 22690 22647 0 -1 4202560 289269 0 0 0 179876 97 0 0 20 0 2 0 281995716 790441984 178884 33554432000 4194304 5963574 140733625258560 140131946076424 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 771916 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.96 CPU user time (s): 1798.96 CPU system time (s): 0.994848 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 771916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.96 system time used= 0.994848 maximum resident set size= 717584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294789 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= 163 involuntary context switches= 1845 runsolver used 5.74613 second user time and 11.9542 second system time The end
Begin job on node111 at 2012-05-28 00:44:47 IDJOB=3705580 IDBENCH=90860 IDSOLVER=2283 FILE ID=node111/3705580-1338158687 RUNJOBID= node111-1338158687-22663 PBS_JOBID= 14624545 Free space on /tmp= 71676 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705580-1338158687/watcher-3705580-1338158687 -o /tmp/evaluation-result-3705580-1338158687/solver-3705580-1338158687 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705580-1338158687.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4555e70390d674ec14d0ef1e0b38ebad RANDOM SEED=1610006344 node111.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.152 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 : 5332.30 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.152 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.152 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 : 2666.152 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.152 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.152 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.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30436700 kB Buffers: 501204 kB Cached: 1079132 kB SwapCached: 1668 kB Active: 675424 kB Inactive: 915240 kB Active(anon): 2392 kB Inactive(anon): 9132 kB Active(file): 673032 kB Inactive(file): 906108 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67105320 kB Dirty: 15568 kB Writeback: 0 kB AnonPages: 14740 kB Mapped: 13596 kB Shmem: 8 kB Slab: 707648 kB SReclaimable: 149840 kB SUnreclaim: 557808 kB KernelStack: 1376 kB PageTables: 3728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71664 MiB End job on node111 at 2012-05-28 01:14:47