| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.99 | 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.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727881-1338672885.opb. 0.00/0.00 c Instance file HOME/instance-3727881-1338672885.opb 0.00/0.00 c File size is 2492102 bytes. 0.09/0.19 c Cost Offset: -136517 0.09/0.19 c Highest Coefficient sum: 12446 0.09/0.19 c ============================[ Problem Statistics ]============================= 0.09/0.19 c | | 0.09/0.19 c | Parsing time: 0.20 s | 0.09/0.19 c | Number Variables: 40937 | 0.09/0.19 c | Number Clauses: 40882 | 0.09/0.19 c | Number Cardinality: 553 | 0.09/0.19 c | Number PB Constraints: 1 | 0.09/0.19 c | | 0.19/0.23 c | Problem Type: Optimization | 0.19/0.23 c | Objective Function: PB Constraint | 0.19/0.23 c | | 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.23 c | | | value type | expCls impCls Lit/impCl | 0.19/0.23 c =============================================================================== 0.19/0.27 c | 0.27 | 0 | -136515 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | -136513 lb | 0 0 0.00 | 0.29/0.34 c | 0.35 | 0 | -136510 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | -136501 lb | 0 0 0.00 | 0.39/0.41 c | 0.42 | 0 | -136494 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | -136471 lb | 0 0 0.00 | 0.39/0.48 c | 0.49 | 0 | -136457 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | -136455 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | -136440 lb | 0 0 0.00 | 0.49/0.59 c | 0.60 | 0 | -136429 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | -136427 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | -136419 lb | 0 0 0.00 | 0.68/0.71 c | 0.71 | 0 | -136417 lb | 0 0 0.00 | 0.68/0.75 c | 0.75 | 0 | -136415 lb | 0 0 0.00 | 0.68/0.78 c | 0.79 | 0 | -136410 lb | 0 0 0.00 | 0.79/0.82 c | 0.83 | 0 | -136409 lb | 0 0 0.00 | 0.79/0.86 c | 0.87 | 0 | -136402 lb | 0 0 0.00 | 0.89/0.90 c | 0.91 | 0 | -136400 lb | 0 0 0.00 | 0.89/0.94 c | 0.95 | 0 | -136399 lb | 0 0 0.00 | 0.89/0.98 c | 0.99 | 0 | -136396 lb | 0 0 0.00 | 0.99/1.02 c | 1.03 | 0 | -136386 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | -136364 lb | 0 0 0.00 | 1.09/1.11 c | 1.11 | 0 | -136363 lb | 0 0 0.00 | 1.09/1.15 c | 1.15 | 0 | -136345 lb | 0 0 0.00 | 1.09/1.19 c | 1.20 | 0 | -136340 lb | 0 0 0.00 | 1.18/1.23 c | 1.24 | 0 | -136325 lb | 0 0 0.00 | 1.18/1.28 c | 1.28 | 0 | -136319 lb | 0 0 0.00 | 1.28/1.32 c | 1.32 | 0 | -136306 lb | 0 0 0.00 | 1.28/1.36 c | 1.36 | 0 | -136305 lb | 0 0 0.00 | 1.38/1.41 c | 1.41 | 0 | -136302 lb | 0 0 0.00 | 1.38/1.45 c | 1.45 | 0 | -136295 lb | 0 0 0.00 | 1.38/1.49 c | 1.50 | 0 | -136292 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | -136290 lb | 0 0 0.00 | 1.48/1.58 c | 1.59 | 0 | -136283 lb | 0 0 0.00 | 1.59/1.63 c | 1.63 | 0 | -136275 lb | 0 0 0.00 | 1.59/1.67 c | 1.68 | 0 | -136268 lb | 0 0 0.00 | 1.69/1.72 c | 1.72 | 0 | -136255 lb | 0 0 0.00 | 1.69/1.76 c | 1.76 | 0 | -136254 lb | 0 0 0.00 | 1.78/1.81 c | 1.81 | 0 | -136251 lb | 0 0 0.00 | 1.78/1.85 c | 1.86 | 0 | -136250 lb | 0 0 0.00 | 1.88/1.90 c | 1.90 | 0 | -136249 lb | 0 0 0.00 | 1.88/1.94 c | 1.95 | 0 | -136247 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | -136242 lb | 0 0 0.00 | 1.98/2.04 c | 2.04 | 0 | -136241 lb | 0 0 0.00 | 1.98/2.08 c | 2.09 | 0 | -136239 lb | 0 0 0.00 | 2.09/2.13 c | 2.13 | 0 | -136238 lb | 0 0 0.00 | 2.09/2.18 c | 2.18 | 0 | -136225 lb | 0 0 0.00 | 2.19/2.22 c | 2.23 | 0 | -136214 lb | 0 0 0.00 | 2.19/2.27 c | 2.27 | 0 | -136211 lb | 0 0 0.00 | 2.29/2.32 c | 2.32 | 0 | -136209 lb | 0 0 0.00 | 2.29/2.36 c | 2.37 | 0 | -136193 lb | 0 0 0.00 | 2.38/2.41 c | 2.42 | 0 | -136184 lb | 0 0 0.00 | 2.38/2.46 c | 2.46 | 0 | -136167 lb | 0 0 0.00 | 2.48/2.51 c | 2.51 | 0 | -136161 lb | 0 0 0.00 | 2.48/2.56 c | 2.56 | 0 | -136158 lb | 0 0 0.00 | 2.58/2.60 c | 2.61 | 0 | -136157 lb | 0 0 0.00 | 2.58/2.65 c | 2.65 | 0 | -136153 lb | 0 0 0.00 | 2.68/2.70 c | 2.70 | 0 | -136152 lb | 0 0 0.00 | 2.68/2.75 c | 2.75 | 0 | -136145 lb | 0 0 0.00 | 2.79/2.80 c | 2.80 | 0 | -136142 lb | 0 0 0.00 | 2.79/2.85 c | 2.85 | 0 | -136138 lb | 0 0 0.00 | 2.89/2.90 c | 2.90 | 0 | -136132 lb | 0 0 0.00 | 2.89/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.04 c | 3.05 | 0 | -136116 lb | 0 0 0.00 | 3.08/3.10 c | 3.10 | 0 | -136114 lb | 0 0 0.00 | 3.08/3.15 c | 3.15 | 0 | -136108 lb | 0 0 0.00 | 3.08/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.39/3.40 c | 3.40 | 0 | -136086 lb | 0 0 0.00 | 3.39/3.45 c | 3.45 | 0 | -136077 lb | 0 0 0.00 | 3.48/3.50 c | 3.51 | 0 | -136072 lb | 0 0 0.00 | 3.48/3.55 c | 3.56 | 0 | -136067 lb | 0 0 0.00 | 3.58/3.60 c | 3.61 | 0 | -136065 lb | 0 0 0.00 | 3.58/3.65 c | 3.66 | 0 | -136063 lb | 0 0 0.00 | 3.68/3.71 c | 3.71 | 0 | -136052 lb | 0 0 0.00 | 3.68/3.76 c | 3.76 | 0 | -136050 lb | 0 0 0.00 | 3.78/3.81 c | 3.81 | 0 | -136046 lb | 0 0 0.00 | 3.78/3.86 c | 3.87 | 0 | -136044 lb | 0 0 0.00 | 3.88/3.91 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.02 | 0 | -136041 lb | 0 0 0.00 | 3.98/4.07 c | 4.08 | 0 | -136027 lb | 0 0 0.00 | 4.08/4.13 c | 4.13 | 0 | -136023 lb | 0 0 0.00 | 4.08/4.18 c | 4.18 | 0 | -136021 lb | 0 0 0.00 | 4.18/4.23 c | 4.24 | 0 | -136017 lb | 0 0 0.00 | 4.18/4.29 c | 4.29 | 0 | -136014 lb | 0 0 0.00 | 4.28/4.34 c | 4.35 | 0 | -135998 lb | 0 0 0.00 | 4.28/4.40 c | 4.40 | 0 | -135995 lb | 0 0 0.00 | 4.38/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.79 c | 4.73 | 0 | -135971 lb | 0 0 0.00 | 4.69/4.79 c | 4.79 | 0 | -135963 lb | 0 0 0.00 | 4.78/4.84 c | 4.84 | 0 | -135961 lb | 0 0 0.00 | 4.78/4.89 c | 4.90 | 0 | -135960 lb | 0 0 0.00 | 4.88/4.95 c | 4.96 | 0 | -135956 lb | 0 0 0.00 | 4.98/5.01 c | 5.01 | 0 | -135951 lb | 0 0 0.00 | 4.98/5.06 c | 5.07 | 0 | -135939 lb | 0 0 0.00 | 5.08/5.12 c | 5.12 | 0 | -135938 lb | 0 0 0.00 | 5.08/5.18 c | 5.18 | 0 | -135932 lb | 0 0 0.00 | 5.18/5.23 c | 5.24 | 0 | -135920 lb | 0 0 0.00 | 5.18/5.29 c | 5.29 | 0 | -135906 lb | 0 0 0.00 | 5.28/5.34 c | 5.35 | 0 | -135904 lb | 0 0 0.00 | 5.39/5.40 c | 5.41 | 0 | -135902 lb | 0 0 0.00 | 5.39/5.46 c | 5.46 | 0 | -135901 lb | 0 0 0.00 | 5.49/5.52 c | 5.52 | 0 | -135899 lb | 0 0 0.00 | 5.49/5.57 c | 5.58 | 0 | -135898 lb | 0 0 0.00 | 5.58/5.63 c | 5.63 | 0 | -135892 lb | 0 0 0.00 | 5.58/5.69 c | 5.69 | 0 | -135891 lb | 0 0 0.00 | 5.68/5.75 c | 5.75 | 0 | -135890 lb | 0 0 0.00 | 5.78/5.80 c | 5.81 | 0 | -135880 lb | 0 0 0.00 | 5.78/5.86 c | 5.87 | 0 | -135878 lb | 0 0 0.00 | 5.88/5.92 c | 5.92 | 0 | -135876 lb | 0 0 0.00 | 5.88/5.98 c | 5.98 | 0 | -135875 lb | 0 0 0.00 | 5.98/6.04 c | 6.04 | 0 | -135872 lb | 0 0 0.00 | 6.09/6.10 c | 6.10 | 0 | -135871 lb | 0 0 0.00 | 6.09/6.15 c | 6.16 | 0 | -135869 lb | 0 0 0.00 | 6.19/6.21 c | 6.22 | 0 | -135864 lb | 0 0 0.00 | 6.19/6.27 c | 6.27 | 0 | -135858 lb | 0 0 0.00 | 6.29/6.33 c | 6.33 | 0 | -135841 lb | 0 0 0.00 | 6.29/6.39 c | 6.39 | 0 | -135840 lb | 0 0 0.00 | 6.39/6.45 c | 6.45 | 0 | -135837 lb | 0 0 0.00 | 6.49/6.51 c | 6.51 | 0 | -135835 lb | 0 0 0.00 | 6.49/6.57 c | 6.57 | 0 | -135833 lb | 0 0 0.00 | 6.59/6.63 c | 6.63 | 0 | -135827 lb | 0 0 0.00 | 6.59/6.69 c | 6.69 | 0 | -135826 lb | 0 0 0.00 | 6.68/6.75 c | 6.75 | 0 | -135819 lb | 0 0 0.00 | 6.78/6.81 c | 6.81 | 0 | -135812 lb | 0 0 0.00 | 6.78/6.87 c | 6.87 | 0 | -135805 lb | 0 0 0.00 | 6.88/6.93 c | 6.93 | 0 | -135804 lb | 0 0 0.00 | 6.88/6.98 c | 6.99 | 0 | -135799 lb | 0 0 0.00 | 6.98/7.05 c | 7.05 | 0 | -135798 lb | 0 0 0.00 | 7.08/7.11 c | 7.11 | 0 | -135791 lb | 0 0 0.00 | 7.08/7.16 c | 7.17 | 0 | -135789 lb | 0 0 0.00 | 7.19/7.23 c | 7.23 | 0 | -135788 lb | 0 0 0.00 | 7.19/7.29 c | 7.29 | 0 | -135785 lb | 0 0 0.00 | 7.28/7.35 c | 7.35 | 0 | -135782 lb | 0 0 0.00 | 7.38/7.41 c | 7.41 | 0 | -135779 lb | 0 0 0.00 | 7.38/7.47 c | 7.47 | 0 | -135778 lb | 0 0 0.00 | 7.48/7.53 c | 7.53 | 0 | -135770 lb | 0 0 0.00 | 7.48/7.59 c | 7.59 | 0 | -135757 lb | 0 0 0.00 | 7.59/7.65 c | 7.65 | 0 | -135752 lb | 0 0 0.00 | 7.69/7.71 c | 7.72 | 0 | -135748 lb | 0 0 0.00 | 7.69/7.77 c | 7.78 | 0 | -135747 lb | 0 0 0.00 | 7.79/7.84 c | 7.84 | 0 | -135745 lb | 0 0 0.00 | 7.89/7.90 c | 7.90 | 0 | -135736 lb | 0 0 0.00 | 7.89/7.96 c | 7.96 | 0 | -135735 lb | 0 0 0.00 | 7.98/8.02 c | 8.02 | 0 | -135734 lb | 0 0 0.00 | 7.98/8.08 c | 8.09 | 0 | -135732 lb | 0 0 0.00 | 8.08/8.15 c | 8.15 | 0 | -135731 lb | 0 0 0.00 | 8.18/8.22 c | 8.22 | 0 | -135730 lb | 0 0 0.00 | 8.18/8.29 c | 8.30 | 0 | -135729 lb | 0 0 0.00 | 8.28/8.37 c | 8.37 | 0 | -135727 lb | 0 0 0.00 | 8.38/8.44 c | 8.45 | 0 | -135725 lb | 0 0 0.00 | 8.48/8.52 c | 8.53 | 0 | -135724 lb | 0 0 0.00 | 8.58/8.60 c | 8.61 | 0 | -135723 lb | 0 0 0.00 | 8.58/8.69 c | 8.69 | 0 | -135722 lb | 0 0 0.00 | 8.69/8.77 c | 8.77 | 0 | -135721 lb | 0 0 0.00 | 8.79/8.85 c | 8.85 | 0 | -135719 lb | 0 0 0.00 | 8.88/8.93 c | 8.93 | 0 | -135718 lb | 0 0 0.00 | 8.98/9.01 c | 9.02 | 0 | -135716 lb | 0 0 0.00 | 8.98/9.09 c | 9.10 | 0 | -135715 lb | 0 0 0.00 | 9.08/9.18 c | 9.18 | 0 | -135712 lb | 0 0 0.00 | 9.18/9.27 c | 9.27 | 0 | -135711 lb | 0 0 0.00 | 9.28/9.35 c | 9.36 | 0 | -135710 lb | 0 0 0.00 | 9.39/9.44 c | 9.45 | 0 | -135709 lb | 0 0 0.00 | 9.48/9.53 c | 9.53 | 0 | -135708 lb | 0 0 0.00 | 9.58/9.62 c | 9.63 | 0 | -135707 lb | 0 0 0.00 | 9.68/9.72 c | 9.72 | 0 | -135706 lb | 0 0 0.00 | 9.79/9.81 c | 9.81 | 0 | -135704 lb | 0 0 0.00 | 9.89/9.91 c | 9.91 | 0 | -135700 lb | 0 0 0.00 | 9.98/10.00 c | 10.00 | 0 | -135698 lb | 0 0 0.00 | 10.08/10.11 c | 10.11 | 0 | -135697 lb | 0 0 0.00 | 10.18/10.21 c | 10.21 | 0 | -135696 lb | 0 0 0.00 | 10.28/10.31 c | 10.32 | 0 | -135695 lb | 0 0 0.00 | 10.38/10.41 c | 10.42 | 0 | -135694 lb | 0 0 0.00 | 10.48/10.52 c | 10.53 | 0 | -135693 lb | 0 0 0.00 | 10.58/10.63 c | 10.63 | 0 | -135692 lb | 0 0 0.00 | 10.68/10.74 c | 10.74 | 0 | -135691 lb | 0 0 0.00 | 10.78/10.84 c | 10.85 | 0 | -135690 lb | 0 0 0.00 | 10.89/10.95 c | 10.96 | 0 | -135688 lb | 0 0 0.00 | 10.99/11.06 c | 11.06 | 0 | -135687 lb | 0 0 0.00 | 11.08/11.17 c | 11.17 | 0 | -135686 lb | 0 0 0.00 | 11.18/11.27 c | 11.28 | 0 | -135684 lb | 0 0 0.00 | 11.28/11.39 c | 11.39 | 0 | -135683 lb | 0 0 0.00 | 11.48/11.50 c | 11.51 | 0 | -135682 lb | 0 0 0.00 | 11.58/11.62 c | 11.62 | 0 | -135681 lb | 0 0 0.00 | 11.68/11.74 c | 11.74 | 0 | -135680 lb | 0 0 0.00 | 11.78/11.86 c | 11.86 | 0 | -135679 lb | 0 0 0.00 | 11.88/11.98 c | 11.98 | 0 | -135678 lb | 0 0 0.00 | 11.98/12.09 c | 12.10 | 0 | -135677 lb | 0 0 0.00 | 12.18/12.21 c | 12.22 | 0 | -135674 lb | 0 0 0.00 | 12.28/12.33 c | 12.33 | 0 | -135673 lb | 0 0 0.00 | 12.38/12.45 c | 12.46 | 0 | -135672 lb | 0 0 0.00 | 12.48/12.58 c | 12.58 | 0 | -135671 lb | 0 0 0.00 | 12.68/12.70 c | 12.71 | 0 | -135670 lb | 0 0 0.00 | 12.78/12.82 c | 12.83 | 0 | -135667 lb | 0 0 0.00 | 12.88/12.95 c | 12.96 | 0 | -135666 lb | 0 0 0.00 | 12.98/13.08 c | 13.09 | 0 | -135665 lb | 0 0 0.00 | 13.18/13.22 c | 13.22 | 0 | -135664 lb | 0 0 0.00 | 13.28/13.35 c | 13.35 | 0 | -135663 lb | 0 0 0.00 | 13.37/13.48 c | 13.48 | 0 | -135662 lb | 0 0 0.00 | 13.58/13.61 c | 13.61 | 0 | -135661 lb | 0 0 0.00 | 13.68/13.74 c | 13.74 | 0 | -135660 lb | 0 0 0.00 | 13.78/13.87 c | 13.88 | 0 | -135659 lb | 0 0 0.00 | 13.98/14.00 c | 14.01 | 0 | -135658 lb | 0 0 0.00 | 14.08/14.14 c | 14.14 | 0 | -135657 lb | 0 0 0.00 | 14.18/14.27 c | 14.28 | 0 | -135656 lb | 0 0 0.00 | 14.38/14.41 c | 14.41 | 0 | -135655 lb | 0 0 0.00 | 14.48/14.55 c | 14.55 | 0 | -135654 lb | 0 0 0.00 | 14.58/14.68 c | 14.69 | 0 | -135653 lb | 0 0 0.00 | 14.78/14.82 c | 14.82 | 0 | -135652 lb | 0 0 0.00 | 14.88/14.96 c | 14.96 | 0 | -135651 lb | 0 0 0.00 | 15.08/15.10 c | 15.10 | 0 | -135650 lb | 0 0 0.00 | 15.18/15.24 c | 15.24 | 0 | -135649 lb | 0 0 0.00 | 15.28/15.38 c | 15.38 | 0 | -135648 lb | 0 0 0.00 | 15.48/15.52 c | 15.53 | 0 | -135647 lb | 0 0 0.00 | 15.57/15.66 c | 15.67 | 0 | -135646 lb | 0 0 0.00 | 15.77/15.80 c | 15.81 | 0 | -135645 lb | 0 0 0.00 | 15.88/15.94 c | 15.95 | 0 | -135644 lb | 0 0 0.00 | 15.98/16.09 c | 16.09 | 0 | -135643 lb | 0 0 0.00 | 16.18/16.23 c | 16.23 | 0 | -135642 lb | 0 0 0.00 | 16.28/16.37 c | 16.38 | 0 | -135641 lb | 0 0 0.00 | 16.49/16.52 c | 16.52 | 0 | -135640 lb | 0 0 0.00 | 16.58/16.66 c | 16.66 | 0 | -135639 lb | 0 0 0.00 | 16.78/16.81 c | 16.81 | 0 | -135638 lb | 0 0 0.00 | 16.88/16.95 c | 16.96 | 0 | -135637 lb | 0 0 0.00 | 17.08/17.10 c | 17.10 | 0 | -135636 lb | 0 0 0.00 | 17.18/17.24 c | 17.25 | 0 | -135635 lb | 0 0 0.00 | 17.28/17.39 c | 17.39 | 0 | -135634 lb | 0 0 0.00 | 17.48/17.53 c | 17.54 | 0 | -135633 lb | 0 0 0.00 | 17.58/17.68 c | 17.69 | 0 | -135632 lb | 0 0 0.00 | 17.78/17.84 c | 17.84 | 0 | -135631 lb | 0 0 0.00 | 17.87/17.99 c | 17.99 | 0 | -135630 lb | 0 0 0.00 | 18.07/18.14 c | 18.15 | 0 | -135629 lb | 0 0 0.00 | 18.17/18.29 c | 18.29 | 0 | -135628 lb | 0 0 0.00 | 18.38/18.44 c | 18.44 | 0 | -135627 lb | 0 0 0.00 | 18.48/18.59 c | 18.59 | 0 | -135626 lb | 0 0 0.00 | 18.69/18.74 c | 18.74 | 0 | -135625 lb | 0 0 0.00 | 18.78/18.89 c | 18.89 | 0 | -135624 lb | 0 0 0.00 | 18.98/19.04 c | 19.05 | 0 | -135623 lb | 0 0 0.00 | 19.08/19.19 c | 19.20 | 0 | -135622 lb | 0 0 0.00 | 19.28/19.34 c | 19.34 | 0 | -135621 lb | 0 0 0.00 | 19.38/19.49 c | 19.50 | 0 | -135619 lb | 0 0 0.00 | 19.58/19.64 c | 19.65 | 0 | -135618 lb | 0 0 0.00 | 19.68/19.80 c | 19.80 | 0 | -135617 lb | 0 0 0.00 | 19.88/19.97 c | 19.97 | 0 | -135616 lb | 0 0 0.00 | 20.07/20.13 c | 20.14 | 0 | -135615 lb | 0 0 0.00 | 20.17/20.30 c | 20.30 | 0 | -135614 lb | 0 0 0.00 | 20.37/20.46 c | 20.46 | 0 | -135613 lb | 0 0 0.00 | 20.57/20.63 c | 20.63 | 0 | -135612 lb | 0 0 0.00 | 20.78/20.80 c | 20.81 | 0 | -135611 lb | 0 0 0.00 | 20.88/20.98 c | 20.98 | 0 | -135610 lb | 0 0 0.00 | 21.08/21.15 c | 21.16 | 0 | -135609 lb | 0 0 0.00 | 21.28/21.33 c | 21.34 | 0 | -135608 lb | 0 0 0.00 | 21.47/21.51 c | 21.52 | 0 | -135607 lb | 0 0 0.00 | 21.57/21.69 c | 21.70 | 0 | -135606 lb | 0 0 0.00 | 21.77/21.87 c | 21.88 | 0 | -135605 lb | 0 0 0.00 | 21.98/22.06 c | 22.06 | 0 | -135604 lb | 0 0 0.00 | 22.17/22.24 c | 22.25 | 0 | -135603 lb | 0 0 0.00 | 22.38/22.43 c | 22.43 | 0 | -135602 lb | 0 0 0.00 | 22.58/22.62 c | 22.62 | 0 | -135601 lb | 0 0 0.00 | 22.78/22.80 c | 22.81 | 0 | -135600 lb | 0 0 0.00 | 22.88/22.99 c | 22.99 | 0 | -135599 lb | 0 0 0.00 | 23.08/23.18 c | 23.18 | 0 | -135598 lb | 0 0 0.00 | 23.27/23.37 c | 23.37 | 0 | -135597 lb | 0 0 0.00 | 23.47/23.56 c | 23.56 | 0 | -135596 lb | 0 0 0.00 | 23.67/23.75 c | 23.75 | 0 | -135595 lb | 0 0 0.00 | 23.87/23.95 c | 23.95 | 0 | -135594 lb | 0 0 0.00 | 24.08/24.14 c | 24.14 | 0 | -135593 lb | 0 0 0.00 | 24.28/24.34 c | 24.34 | 0 | -135592 lb | 0 0 0.00 | 24.48/24.53 c | 24.53 | 0 | -135591 lb | 0 0 0.00 | 24.67/24.73 c | 24.73 | 0 | -135590 lb | 0 0 0.00 | 24.87/24.93 c | 24.93 | 0 | -135589 lb | 0 0 0.00 | 25.07/25.13 c | 25.13 | 0 | -135588 lb | 0 0 0.00 | 25.28/25.33 c | 25.33 | 0 | -135587 lb | 0 0 0.00 | 25.47/25.52 c | 25.53 | 0 | -135586 lb | 0 0 0.00 | 25.67/25.72 c | 25.72 | 0 | -135585 lb | 0 0 0.00 | 25.87/25.92 c | 25.93 | 0 | -135584 lb | 0 0 0.00 | 26.07/26.13 c | 26.13 | 0 | -135583 lb | 0 0 0.00 | 26.28/26.34 c | 26.34 | 0 | -135582 lb | 0 0 0.00 | 26.47/26.55 c | 26.55 | 0 | -135581 lb | 0 0 0.00 | 26.67/26.76 c | 26.76 | 0 | -135580 lb | 0 0 0.00 | 26.87/26.97 c | 26.98 | 0 | -135579 lb | 0 0 0.00 | 27.07/27.18 c | 27.18 | 0 | -135578 lb | 0 0 0.00 | 27.28/27.39 c | 27.39 | 0 | -135577 lb | 0 0 0.00 | 27.58/27.60 c | 27.61 | 0 | -135576 lb | 0 0 0.00 | 27.78/27.82 c | 27.82 | 0 | -135575 lb | 0 0 0.00 | 27.98/28.04 c | 28.04 | 0 | -135574 lb | 0 0 0.00 | 28.17/28.25 c | 28.26 | 0 | -135573 lb | 0 0 0.00 | 28.37/28.47 c | 28.47 | 0 | -135572 lb | 0 0 0.00 | 28.58/28.68 c | 28.69 | 0 | -135571 lb | 0 0 0.00 | 28.87/28.90 c | 28.90 | 0 | -135570 lb | 0 0 0.00 | 29.07/29.11 c | 29.11 | 0 | -135569 lb | 0 0 0.00 | 29.27/29.32 c | 29.33 | 0 | -135568 lb | 0 0 0.00 | 29.47/29.54 c | 29.54 | 0 | -135567 lb | 0 0 0.00 | 29.67/29.75 c | 29.75 | 0 | -135566 lb | 0 0 0.00 | 29.88/29.97 c | 29.97 | 0 | -135565 lb | 0 0 0.00 | 30.07/30.18 c | 30.19 | 0 | -135564 lb | 0 0 0.00 | 30.37/30.41 c | 30.41 | 0 | -135563 lb | 0 0 0.00 | 30.57/30.63 c | 30.63 | 0 | -135562 lb | 0 0 0.00 | 30.77/30.86 c | 30.86 | 0 | -135561 lb | 0 0 0.00 | 30.96/31.09 c | 31.09 | 0 | -135560 lb | 0 0 0.00 | 31.26/31.31 c | 31.32 | 0 | -135559 lb | 0 0 0.00 | 31.46/31.53 c | 31.54 | 0 | -135558 lb | 0 0 0.00 | 31.66/31.76 c | 31.76 | 0 | -135557 lb | 0 0 0.00 | 31.87/31.99 c | 31.99 | 0 | -135556 lb | 0 0 0.00 | 32.16/32.24 c | 32.24 | 0 | -135555 lb | 0 0 0.00 | 32.36/32.49 c | 32.49 | 0 | -135554 lb | 0 0 0.00 | 32.66/32.73 c | 32.73 | 0 | -135553 lb | 0 0 0.00 | 32.87/32.96 c | 32.97 | 0 | -135552 lb | 0 0 0.00 | 33.17/33.25 c | 33.25 | 0 | -135551 lb | 0 0 0.00 | 33.47/33.53 c | 33.53 | 0 | -135550 lb | 0 0 0.00 | 33.77/33.80 c | 33.80 | 0 | -135549 lb | 0 0 0.00 | 33.97/34.08 c | 34.09 | 0 | -135548 lb | 0 0 0.00 | 34.27/34.36 c | 34.36 | 0 | -135547 lb | 0 0 0.00 | 34.57/34.65 c | 34.66 | 0 | -135546 lb | 0 0 0.00 | 34.87/34.94 c | 34.94 | 0 | -135545 lb | 0 0 0.00 | 35.17/35.23 c | 35.23 | 0 | -135544 lb | 0 0 0.00 | 35.47/35.50 c | 35.51 | 0 | -135543 lb | 0 0 0.00 | 35.66/35.78 c | 35.78 | 0 | -135542 lb | 0 0 0.00 | 35.96/36.05 c | 36.05 | 0 | -135541 lb | 0 0 0.00 | 36.27/36.34 c | 36.34 | 0 | -135540 lb | 0 0 0.00 | 36.56/36.63 c | 36.63 | 0 | -135539 lb | 0 0 0.00 | 36.86/36.93 c | 36.93 | 0 | -135538 lb | 0 0 0.00 | 37.16/37.22 c | 37.23 | 0 | -135537 lb | 0 0 0.00 | 37.47/37.55 c | 37.55 | 0 | -135536 lb | 0 0 0.00 | 37.76/37.85 c | 37.85 | 0 | -135535 lb | 0 0 0.00 | 38.06/38.16 c | 38.16 | 0 | -135534 lb | 0 0 0.00 | 38.37/38.46 c | 38.46 | 0 | -135533 lb | 0 0 0.00 | 38.67/38.76 c | 38.76 | 0 | -135532 lb | 0 0 0.00 | 38.97/39.06 c | 39.06 | 0 | -135531 lb | 0 0 0.00 | 39.27/39.36 c | 39.36 | 0 | -135530 lb | 0 0 0.00 | 39.57/39.66 c | 39.66 | 0 | -135529 lb | 0 0 0.00 | 39.86/39.97 c | 39.97 | 0 | -135528 lb | 0 0 0.00 | 40.16/40.26 c | 40.27 | 0 | -135527 lb | 0 0 0.00 | 40.46/40.55 c | 40.55 | 0 | -135526 lb | 0 0 0.00 | 40.76/40.83 c | 40.84 | 0 | -135525 lb | 0 0 0.00 | 41.05/41.11 c | 41.12 | 0 | -135524 lb | 0 0 0.00 | 41.25/41.39 c | 41.39 | 0 | -135523 lb | 0 0 0.00 | 41.56/41.67 c | 41.67 | 0 | -135522 lb | 0 0 0.00 | 41.86/41.96 c | 41.96 | 0 | -135521 lb | 0 0 0.00 | 42.16/42.25 c | 42.26 | 0 | -135520 lb | 0 0 0.00 | 42.46/42.54 c | 42.54 | 0 | -135519 lb | 0 0 0.00 | 42.77/42.84 c | 42.84 | 0 | -135518 lb | 0 0 0.00 | 43.06/43.12 c | 43.13 | 0 | -135517 lb | 0 0 0.00 | 43.36/43.42 c | 43.43 | 0 | -135516 lb | 0 0 0.00 | 43.66/43.71 c | 43.71 | 0 | -135515 lb | 0 0 0.00 | 43.86/44.00 c | 44.00 | 0 | -135514 lb | 0 0 0.00 | 44.16/44.28 c | 44.28 | 0 | -135513 lb | 0 0 0.00 | 44.46/44.56 c | 44.56 | 0 | -135512 lb | 0 0 0.00 | 44.75/44.85 c | 44.85 | 0 | -135511 lb | 0 0 0.00 | 45.07/45.15 c | 45.16 | 0 | -135510 lb | 0 0 0.00 | 45.36/45.44 c | 45.44 | 0 | -135509 lb | 0 0 0.00 | 45.66/45.72 c | 45.73 | 0 | -135508 lb | 0 0 0.00 | 45.96/46.01 c | 46.01 | 0 | -135507 lb | 0 0 0.00 | 46.17/46.29 c | 46.30 | 0 | -135506 lb | 0 0 0.00 | 46.46/46.57 c | 46.58 | 0 | -135505 lb | 0 0 0.00 | 46.76/46.86 c | 46.86 | 0 | -135504 lb | 0 0 0.00 | 47.06/47.13 c | 47.14 | 0 | -135503 lb | 0 0 0.00 | 47.36/47.42 c | 47.42 | 0 | -135502 lb | 0 0 0.00 | 47.65/47.70 c | 47.70 | 0 | -135501 lb | 0 0 0.00 | 47.86/47.97 c | 47.98 | 0 | -135500 lb | 0 0 0.00 | 48.16/48.26 c | 48.26 | 0 | -135499 lb | 0 0 0.00 | 48.46/48.54 c | 48.55 | 0 | -135498 lb | 0 0 0.00 | 48.76/48.83 c | 48.83 | 0 | -135497 lb | 0 0 0.00 | 49.05/49.10 c | 49.11 | 0 | -135496 lb | 0 0 0.00 | 49.26/49.38 c | 49.38 | 0 | -135495 lb | 0 0 0.00 | 49.56/49.66 c | 49.66 | 0 | -135494 lb | 0 0 0.00 | 49.86/49.94 c | 49.95 | 0 | -135493 lb | 0 0 0.00 | 50.16/50.22 c | 50.23 | 0 | -135492 lb | 0 0 0.00 | 50.46/50.51 c | 50.51 | 0 | -135491 lb | 0 0 0.00 | 50.66/50.78 c | 50.79 | 0 | -135490 lb | 0 0 0.00 | 50.96/51.06 c | 51.06 | 0 | -135489 lb | 0 0 0.00 | 51.26/51.32 c | 51.33 | 0 | -135488 lb | 0 0 0.00 | 51.56/51.60 c | 51.61 | 0 | -135487 lb | 0 0 0.00 | 51.76/51.89 c | 51.89 | 0 | -135486 lb | 0 0 0.00 | 52.05/52.17 c | 52.17 | 0 | -135485 lb | 0 0 0.00 | 52.35/52.45 c | 52.45 | 0 | -135484 lb | 0 0 0.00 | 52.66/52.73 c | 52.74 | 0 | -135483 lb | 0 0 0.00 | 52.95/53.02 c | 53.02 | 0 | -135482 lb | 0 0 0.00 | 53.15/53.29 c | 53.30 | 0 | -135481 lb | 0 0 0.00 | 53.46/53.56 c | 53.56 | 0 | -135480 lb | 0 0 0.00 | 53.76/53.86 c | 53.86 | 0 | -135479 lb | 0 0 0.00 | 54.05/54.16 c | 54.16 | 0 | -135478 lb | 0 0 0.00 | 54.35/54.45 c | 54.45 | 0 | -135477 lb | 0 0 0.00 | 54.66/54.74 c | 54.74 | 0 | -135476 lb | 0 0 0.00 | 54.96/55.03 c | 55.03 | 0 | -135475 lb | 0 0 0.00 | 55.26/55.31 c | 55.32 | 0 | -135474 lb | 0 0 0.00 | 55.56/55.60 c | 55.61 | 0 | -135473 lb | 0 0 0.00 | 55.76/55.88 c | 55.88 | 0 | -135472 lb | 0 0 0.00 | 56.06/56.16 c | 56.17 | 0 | -135471 lb | 0 0 0.00 | 56.35/56.44 c | 56.44 | 0 | -135470 lb | 0 0 0.00 | 56.66/56.72 c | 56.73 | 0 | -135469 lb | 0 0 0.00 | 56.96/57.00 c | 57.01 | 0 | -135468 lb | 0 0 0.00 | 57.25/57.30 c | 57.30 | 0 | -135467 lb | 0 0 0.00 | 57.55/57.60 c | 57.60 | 0 | -135466 lb | 0 0 0.00 | 57.86/57.90 c | 57.90 | 0 | -135465 lb | 0 0 0.00 | 58.06/58.20 c | 58.20 | 0 | -135464 lb | 0 0 0.00 | 58.45/58.51 c | 58.51 | 0 | -135463 lb | 0 0 0.00 | 58.75/58.81 c | 58.81 | 0 | -135462 lb | 0 0 0.00 | 59.06/59.10 c | 59.11 | 0 | -135461 lb | 0 0 0.00 | 59.26/59.40 c | 59.41 | 0 | -135460 lb | 0 0 0.00 | 59.65/59.70 c | 59.70 | 0 | -135459 lb | 0 0 0.00 | 59.85/59.99 c | 59.99 | 0 | -135458 lb | 0 0 0.00 | 60.15/60.27 c | 60.28 | 0 | -135457 lb | 0 0 0.00 | 60.46/60.56 c | 60.56 | 0 | -135456 lb | 0 0 0.00 | 60.75/60.86 c | 60.86 | 0 | -135455 lb | 0 0 0.00 | 61.05/61.14 c | 61.15 | 0 | -135454 lb | 0 0 0.00 | 61.35/61.43 c | 61.43 | 0 | -135453 lb | 0 0 0.00 | 61.65/61.73 c | 61.73 | 0 | -135452 lb | 0 0 0.00 | 61.95/62.01 c | 62.01 | 0 | -135451 lb | 0 0 0.00 | 62.25/62.31 c | 62.31 | 0 | -135450 lb | 0 0 0.00 | 62.45/62.60 c | 62.60 | 0 | -135449 lb | 0 0 0.00 | 62.85/62.90 c | 62.90 | 0 | -135448 lb | 0 0 0.00 | 63.05/63.20 c | 63.20 | 0 | -135447 lb | 0 0 0.00 | 63.35/63.48 c | 63.49 | 0 | -135446 lb | 0 0 0.00 | 63.65/63.78 c | 63.78 | 0 | -135445 lb | 0 0 0.00 | 63.95/64.07 c | 64.07 | 0 | -135444 lb | 0 0 0.00 | 64.25/64.36 c | 64.36 | 0 | -135443 lb | 0 0 0.00 | 64.55/64.65 c | 64.66 | 0 | -135442 lb | 0 0 0.00 | 64.85/64.94 c | 64.94 | 0 | -135441 lb | 0 0 0.00 | 65.15/65.22 c | 65.23 | 0 | -135440 lb | 0 0 0.00 | 65.45/65.51 c | 65.51 | 0 | -135439 lb | 0 0 0.00 | 65.65/65.79 c | 65.80 | 0 | -135438 lb | 0 0 0.00 | 65.96/66.08 c | 66.08 | 0 | -135437 lb | 0 0 0.00 | 66.25/66.37 c | 66.37 | 0 | -135436 lb | 0 0 0.00 | 66.55/66.66 c | 66.67 | 0 | -135435 lb | 0 0 0.00 | 66.85/66.95 c | 66.95 | 0 | -135434 lb | 0 0 0.00 | 67.15/67.24 c | 67.25 | 0 | -135433 lb | 0 0 0.00 | 67.45/67.53 c | 67.53 | 0 | -135432 lb | 0 0 0.00 | 67.75/67.83 c | 67.83 | 0 | -135431 lb | 0 0 0.00 | 68.06/68.12 c | 68.12 | 0 | -135430 lb | 0 0 0.00 | 68.35/68.43 c | 68.43 | 0 | -135429 lb | 0 0 0.00 | 68.65/68.72 c | 68.72 | 0 | -135428 lb | 0 0 0.00 | 68.95/69.02 c | 69.02 | 0 | -135427 lb | 0 0 0.00 | 69.25/69.32 c | 69.33 | 0 | -135426 lb | 0 0 0.00 | 69.55/69.63 c | 69.63 | 0 | -135425 lb | 0 0 0.00 | 69.85/69.93 c | 69.93 | 0 | -135424 lb | 0 0 0.00 | 70.14/70.24 c | 70.24 | 0 | -135423 lb | 0 0 0.00 | 70.44/70.53 c | 70.53 | 0 | -135422 lb | 0 0 0.00 | 70.74/70.83 c | 70.83 | 0 | -135421 lb | 0 0 0.00 | 71.04/71.12 c | 71.12 | 0 | -135420 lb | 0 0 0.00 | 71.35/71.42 c | 71.42 | 0 | -135419 lb | 0 0 0.00 | 71.65/71.71 c | 71.72 | 0 | -135418 lb | 0 0 0.00 | 71.95/72.00 c | 72.00 | 0 | -135417 lb | 0 0 0.00 | 72.14/72.28 c | 72.29 | 0 | -135416 lb | 0 0 0.00 | 72.45/72.58 c | 72.58 | 0 | -135415 lb | 0 0 0.00 | 72.74/72.87 c | 72.87 | 0 | -135414 lb | 0 0 0.00 | 73.04/73.17 c | 73.17 | 0 | -135413 lb | 0 0 0.00 | 73.35/73.47 c | 73.47 | 0 | -135412 lb | 0 0 0.00 | 73.65/73.77 c | 73.77 | 0 | -135411 lb | 0 0 0.00 | 73.95/74.05 c | 74.05 | 0 | -135410 lb | 0 0 0.00 | 74.24/74.34 c | 74.35 | 0 | -135409 lb | 0 0 0.00 | 74.54/74.63 c | 74.64 | 0 | -135408 lb | 0 0 0.00 | 74.84/74.94 c | 74.94 | 0 | -135407 lb | 0 0 0.00 | 75.14/75.24 c | 75.24 | 0 | -135406 lb | 0 0 0.00 | 75.45/75.54 c | 75.54 | 0 | -135405 lb | 0 0 0.00 | 75.75/75.83 c | 75.83 | 0 | -135404 lb | 0 0 0.00 | 76.04/76.13 c | 76.13 | 0 | -135403 lb | 0 0 0.00 | 76.34/76.43 c | 76.43 | 0 | -135402 lb | 0 0 0.00 | 76.64/76.73 c | 76.73 | 0 | -135401 lb | 0 0 0.00 | 76.95/77.02 c | 77.03 | 0 | -135400 lb | 0 0 0.00 | 77.25/77.33 c | 77.33 | 0 | -135399 lb | 0 0 0.00 | 77.54/77.66 c | 77.67 | 0 | -135398 lb | 0 0 0.00 | 77.84/77.99 c | 78.00 | 0 | -135397 lb | 0 0 0.00 | 78.24/78.37 c | 78.37 | 0 | -135396 lb | 0 0 0.00 | 78.64/78.73 c | 78.74 | 0 | -135395 lb | 0 0 0.00 | 79.05/79.10 c | 79.11 | 0 | -135394 lb | 0 0 0.00 | 79.34/79.47 c | 79.47 | 0 | -135393 lb | 0 0 0.00 | 79.74/79.86 c | 79.87 | 0 | -135392 lb | 0 0 0.00 | 80.14/80.25 c | 80.26 | 0 | -135391 lb | 0 0 0.00 | 80.54/80.61 c | 80.61 | 0 | -135390 lb | 0 0 0.00 | 80.94/81.02 c | 81.02 | 0 | -135389 lb | 0 0 0.00 | 81.34/81.49 c | 81.49 | 0 | -135388 lb | 0 0 0.00 | 81.74/81.82 c | 81.83 | 0 | -135387 lb | 0 0 0.00 | 82.24/82.36 c | 82.36 | 0 | -135386 lb | 0 0 0.00 | 82.84/82.90 c | 82.90 | 0 | -135385 lb | 0 0 0.00 | 83.23/83.33 c | 83.34 | 0 | -135384 lb | 0 0 0.00 | 83.63/83.72 c | 83.73 | 0 | -135383 lb | 0 0 0.00 | 84.23/84.32 c | 84.32 | 0 | -135382 lb | 0 0 0.00 | 84.65/84.71 c | 84.71 | 0 | -135381 lb | 0 0 0.00 | 85.04/85.15 c | 85.16 | 0 | -135380 lb | 0 0 0.00 | 87.34/87.43 c | 87.44 | 0 | -135379 lb | 0 0 0.00 | 89.53/89.65 c | 89.65 | 0 | -135378 lb | 0 0 0.00 | 90.04/90.15 c | 90.15 | 0 | -135377 lb | 0 0 0.00 | 94.33/94.41 c | 94.42 | 0 | -135376 lb | 0 0 0.00 | 94.84/94.97 c | 94.98 | 0 | -135375 lb | 0 0 0.00 | 95.44/95.55 c | 95.55 | 0 | -135374 lb | 0 0 0.00 | 96.43/96.51 c | 96.52 | 0 | -135373 lb | 0 0 0.00 | 97.13/97.27 c | 97.27 | 0 | -135372 lb | 0 0 0.00 | 97.64/97.71 c | 97.72 | 0 | -135371 lb | 0 0 0.00 | 98.33/98.45 c | 98.46 | 0 | -135370 lb | 0 0 0.00 | 99.04/99.14 c | 99.14 | 0 | -135369 lb | 0 0 0.00 | 99.54/99.68 c | 99.69 | 0 | -135368 lb | 0 0 0.00 | 100.13/100.22 c | 100.22 | 0 | -135367 lb | 0 0 0.00 | 102.53/102.60 c | 102.61 | 0 | -135366 lb | 0 0 0.00 | 103.13/103.25 c | 103.25 | 0 | -135365 lb | 0 0 0.00 | 104.43/104.59 c | 104.59 | 0 | -135364 lb | 0 0 0.00 | 107.53/107.67 c | 107.68 | 0 | -135363 lb | 0 0 0.00 | 108.74/108.87 c | 108.88 | 0 | -135362 lb | 0 0 0.00 | 110.33/110.40 c | 110.40 | 0 | -135361 lb | 0 0 0.00 | 116.43/116.57 c | 116.57 | 0 | -135360 lb | 0 0 0.00 | 118.23/118.39 c | 118.40 | 0 | -135359 lb | 0 0 0.00 | 118.74/118.84 c | 118.85 | 0 | -135358 lb | 0 0 0.00 | 121.03/121.13 c | 121.13 | 0 | -135357 lb | 0 0 0.00 | 121.94/122.01 c | 122.02 | 0 | -135356 lb | 0 0 0.00 | 126.93/127.04 c | 127.04 | 0 | -135355 lb | 0 0 0.00 | 130.43/130.52 c | 130.53 | 0 | -135354 lb | 0 0 0.00 | 132.13/132.26 c | 132.26 | 0 | -135353 lb | 0 0 0.00 | 137.53/137.64 c | 137.64 | 0 | -135352 lb | 0 0 0.00 | 139.13/139.22 c | 139.22 | 0 | -135351 lb | 0 0 0.00 | 140.53/140.60 c | 140.61 | 0 | -135350 lb | 0 0 0.00 | 143.43/143.50 c | 143.50 | 0 | -135349 lb | 0 0 0.00 | 144.32/144.48 c | 144.48 | 0 | -135348 lb | 0 0 0.00 | 147.02/147.19 c | 147.20 | 0 | -135347 lb | 0 0 0.00 | 149.43/149.51 c | 149.52 | 0 | -135346 lb | 0 0 0.00 | 153.73/153.80 c | 153.81 | 0 | -135345 lb | 0 0 0.00 | 156.22/156.34 c | 156.34 | 0 | -135344 lb | 0 0 0.00 | 163.63/163.73 c | 163.74 | 0 | -135343 lb | 0 0 0.00 | 169.12/169.25 c | 169.26 | 0 | -135342 lb | 0 0 0.00 | 177.42/177.55 c | 177.56 | 0 | -135341 lb | 0 0 0.00 | 356.69/356.88 c | 356.88 | 0 | -135340 lb | 0 0 0.00 | 427.58/427.78 c | 427.78 | 0 | -135339 lb | 0 0 0.00 | 448.17/448.35 c | 448.35 | 0 | -135338 lb | 0 0 0.00 | 717.05/717.21 c | 717.21 | 0 | -135337 lb | 0 0 0.00 | 868.52/868.73 c | 868.73 | 0 | -135336 lb | 0 0 0.00 | 879.12/879.36 c | 879.36 | 0 | -135335 lb | 0 0 0.00 | 1042.28/1042.53 c | 1042.54 | 0 | -135334 lb | 0 0 0.00 | 1061.47/1061.79 c | 1061.80 | 0 | -135333 lb | 0 0 0.00 | 1256.92/1257.27 c | 1257.27 | 0 | -135332 lb | 0 0 0.00 | 1576.15/1576.51 c | 1576.52 | 0 | -135331 lb | 0 0 0.00 | 1605.84/1606.30 c | 1606.30 | 0 | -135330 lb | 0 0 0.00 | 1628.04/1628.47 c | 1628.47 | 0 | -135329 lb | 0 0 0.00 | 1799.61/1800.00 c =============================================================================== 1799.61/1800.00 c Wall Clock Time: 1800.00 s 1799.61/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-3727881-1338672885/watcher-3727881-1338672885 -o /tmp/evaluation-result-3727881-1338672885/solver-3727881-1338672885 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727881-1338672885.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: 2.00 2.00 2.00 3/174 28977 /proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=6312 CPUtime=0 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) R 28973 28977 28198 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 333415528 6463488 458 33554432000 4194304 5964350 140737008278512 140737008276392 4395186 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 1578 459 176 433 0 533 0 [startup+0.0105161 s] /proc/loadavg: 2.00 2.00 2.00 3/174 28977 /proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=6592 CPUtime=0 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) R 28973 28977 28198 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 333415528 6750208 528 33554432000 4194304 5964350 140737008278512 140737008276392 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 1648 529 189 433 0 603 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6592 [startup+0.100302 s] /proc/loadavg: 2.00 2.00 2.00 3/174 28977 /proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=15772 CPUtime=0.09 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) R 28973 28977 28198 0 -1 4202496 3060 0 0 0 9 0 0 0 20 0 1 0 333415528 16150528 2964 33554432000 4194304 5964350 140737008278512 140737008276392 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 3943 2964 479 433 0 2898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15772 [startup+0.300148 s] /proc/loadavg: 2.00 2.00 2.00 3/174 28977 /proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=104056 CPUtime=0.29 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 13967 0 0 0 28 1 0 0 20 0 2 0 333415528 106553344 11999 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 26014 11999 193 433 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104056 [startup+0.700174 s] /proc/loadavg: 2.00 2.00 2.00 3/174 28977 /proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=100036 CPUtime=0.68 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 18695 0 0 0 66 2 0 0 20 0 2 0 333415528 102436864 13633 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 25009 13633 194 433 0 24573 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 100036 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29014 /proc/meminfo: memFree=31378168/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=100036 CPUtime=1.48 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 27388 0 0 0 145 3 0 0 20 0 2 0 333415528 102436864 16339 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 25009 16339 194 433 0 24573 0 [pid=28977/tid=29004] ppid=28973 vsize=100036 CPUtime=1.28 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 21868 0 0 0 125 3 0 0 20 0 2 0 333415548 102436864 16339 33554432000 4194304 5964350 140737008278512 140348488727064 5179513 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100036 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29014 /proc/meminfo: memFree=31295484/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=100036 CPUtime=3.08 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 39390 0 0 0 302 6 0 0 20 0 2 0 333415528 102436864 18629 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 25009 18629 194 433 0 24573 0 [pid=28977/tid=29004] ppid=28973 vsize=100036 CPUtime=2.88 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 33870 0 0 0 282 6 0 0 20 0 2 0 333415548 102436864 18629 33554432000 4194304 5964350 140737008278512 140348488727064 5142429 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 100036 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29015 /proc/meminfo: memFree=30938504/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=165572 CPUtime=6.29 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 59088 0 0 0 620 9 0 0 20 0 2 0 333415528 169545728 23541 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 41393 23541 194 433 0 40957 0 [pid=28977/tid=29004] ppid=28973 vsize=165572 CPUtime=6.08 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 53568 0 0 0 600 8 0 0 20 0 2 0 333415548 169545728 23541 33554432000 4194304 5964350 140737008278512 140348488726872 5139038 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 165572 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29015 /proc/meminfo: memFree=30778544/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=165572 CPUtime=12.68 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 101457 0 0 0 1253 15 0 0 20 0 2 0 333415528 169545728 34251 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 41393 34251 197 433 0 40957 0 [pid=28977/tid=29004] ppid=28973 vsize=165572 CPUtime=12.48 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 95937 0 0 0 1232 16 0 0 20 0 2 0 333415548 169545728 34251 33554432000 4194304 5964350 140737008278512 140348488727368 4403484 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 165572 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/180 29016 /proc/meminfo: memFree=30654636/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=234468 CPUtime=25.47 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 130542 0 0 0 2526 21 0 0 20 0 2 0 333415528 240095232 49378 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 58617 49378 197 433 0 58181 0 [pid=28977/tid=29004] ppid=28973 vsize=234468 CPUtime=25.28 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 125022 0 0 0 2507 21 0 0 20 0 2 0 333415548 240095232 49378 33554432000 4194304 5964350 140737008278512 140348488727064 4335964 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 234468 [startup+51.1003 s] /proc/loadavg: 2.07 2.02 2.00 3/180 29016 /proc/meminfo: memFree=30468076/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=365540 CPUtime=51.06 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 165996 0 0 0 5075 31 0 0 20 0 2 0 333415528 374312960 72536 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 91385 72536 198 433 0 90949 0 [pid=28977/tid=29004] ppid=28973 vsize=365540 CPUtime=50.86 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 160476 0 0 0 5055 31 0 0 20 0 2 0 333415548 374312960 72536 33554432000 4194304 5964350 140737008278512 140348488727064 4444974 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 365540 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/179 29016 /proc/meminfo: memFree=30107160/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=496612 CPUtime=102.24 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 252926 0 0 0 10172 52 0 0 20 0 2 0 333415528 508530688 107454 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 124153 107454 198 433 0 123717 0 [pid=28977/tid=29004] ppid=28973 vsize=496612 CPUtime=102.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 247406 0 0 0 10152 53 0 0 20 0 2 0 333415548 508530688 107454 33554432000 4194304 5964350 140737008278512 140348488727368 4392771 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 496612 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 29017 /proc/meminfo: memFree=29707928/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=578556 CPUtime=162.23 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 269282 0 0 0 16165 58 0 0 20 0 2 0 333415528 592441344 124918 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 144639 124918 198 433 0 144203 0 [pid=28977/tid=29004] ppid=28973 vsize=578556 CPUtime=162.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 263762 0 0 0 16145 60 0 0 20 0 2 0 333415548 592441344 124918 33554432000 4194304 5964350 140737008278512 140348488727368 4392658 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 578556 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29017 /proc/meminfo: memFree=29362376/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=627684 CPUtime=222.22 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 271887 0 0 0 22163 59 0 0 20 0 2 0 333415528 642748416 134552 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 156921 134552 198 433 0 156485 0 [pid=28977/tid=29004] ppid=28973 vsize=627684 CPUtime=222.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 266367 0 0 0 22143 62 0 0 20 0 2 0 333415548 642748416 134552 33554432000 4194304 5964350 140737008278512 140348488726872 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 627684 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29017 /proc/meminfo: memFree=29133024/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=627684 CPUtime=282.2 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 272828 0 0 0 28161 59 0 0 20 0 2 0 333415528 642748416 137026 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 156921 137026 198 433 0 156485 0 [pid=28977/tid=29004] ppid=28973 vsize=627684 CPUtime=282.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 267308 0 0 0 28143 63 0 0 20 0 2 0 333415548 642748416 137026 33554432000 4194304 5964350 140737008278512 140348488726872 4392637 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 627684 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 29020 /proc/meminfo: memFree=28813772/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=693220 CPUtime=342.2 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 280786 0 0 0 34158 62 0 0 20 0 2 0 333415528 709857280 144972 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 173305 144972 198 433 0 172869 0 [pid=28977/tid=29004] ppid=28973 vsize=693220 CPUtime=342.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 275266 0 0 0 34139 67 0 0 20 0 2 0 333415548 709857280 144972 33554432000 4194304 5964350 140737008278512 140348488726328 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 693220 [startup+402.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 29020 /proc/meminfo: memFree=28518048/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=758756 CPUtime=402.18 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 293514 0 0 0 40153 65 0 0 20 0 2 0 333415528 776966144 171352 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 189689 171352 198 433 0 189253 0 [pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=402.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 287994 0 0 0 40134 72 0 0 20 0 2 0 333415548 776966144 171352 33554432000 4194304 5964350 140737008278512 140348488726856 4403639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 758756 [startup+462.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 29021 /proc/meminfo: memFree=28200316/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=758756 CPUtime=462.18 cores=0,2,4,6 ################ # More data... # ################ /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289315 0 0 0 130120 85 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4389084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 758756 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29038 /proc/meminfo: memFree=27042188/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=758756 CPUtime=1361.98 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 136132 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 189689 175735 198 433 0 189253 0 [pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1362.04 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 136118 86 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4389049 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 758756 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29038 /proc/meminfo: memFree=26992844/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=758756 CPUtime=1421.98 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 142132 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 189689 175735 198 433 0 189253 0 [pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1422.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 142118 87 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4403597 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 758756 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29038 /proc/meminfo: memFree=26861372/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=758756 CPUtime=1481.96 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 148130 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 189689 175735 198 433 0 189253 0 [pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1482.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 148117 88 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4389005 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 758756 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 2.00 3/180 29041 /proc/meminfo: memFree=26779580/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=758756 CPUtime=1541.95 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 154129 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 189689 175735 198 433 0 189253 0 [pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1542.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 154116 89 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 758756 [startup+1602.3 s] /proc/loadavg: 2.09 2.03 2.00 3/180 29064 /proc/meminfo: memFree=26785144/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1601.94 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295240 0 0 0 160128 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1602.05 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289720 0 0 0 160115 90 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726856 4400508 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 771920 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 29065 /proc/meminfo: memFree=26625580/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1661.93 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 166127 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1662.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 166115 91 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4403649 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 771920 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 29065 /proc/meminfo: memFree=26664500/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1721.92 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 172126 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1722.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 172114 92 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 771920 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26596472/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1781.91 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 178125 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1782.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 178113 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399921 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 771920 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26585144/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1791.52 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179086 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1791.67 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179074 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (KiB) 771920 [startup+1795.1 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26502788/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1794.72 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179406 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1794.87 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179394 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4389052 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1794.72 Current children cumulated vsize (KiB) 771920 [startup+1798.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1797.91 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179725 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1798.06 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179713 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 771920 [startup+1799.1 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1798.71 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179805 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1798.86 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179793 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (KiB) 771920 [startup+1799.5 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1799.12 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179846 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1799.27 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179834 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.12 Current children cumulated vsize (KiB) 771920 [startup+1799.9 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1799.51 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179885 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1799.66 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179873 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4403530 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (KiB) 771920 [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29065 /proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116 [pid=28977] ppid=28973 vsize=771920 CPUtime=1799.61 cores=0,2,4,6 /proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179895 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/28977/statm: 192980 178687 198 433 0 192544 0 [pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1799.76 cores=0,2,4,6 /proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179883 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4403649 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (KiB) 771920 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.99 CPU user time (s): 1799.04 CPU system time (s): 0.950855 CPU usage (%): 99.9991 Max. virtual memory (cumulated for all children) (KiB): 771920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.04 system time used= 0.950855 maximum resident set size= 716796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 295244 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= 164 involuntary context switches= 2002 runsolver used 2.70559 second user time and 7.14291 second system time The end
Begin job on node111 at 2012-06-02 23:34:46 IDJOB=3727881 IDBENCH=90860 IDSOLVER=2313 FILE ID=node111/3727881-1338672885 RUNJOBID= node111-1338669285-28734 PBS_JOBID= 14636481 Free space on /tmp= 67388 MiB SOLVER NAME= wbo 1.72 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.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727881-1338672885/watcher-3727881-1338672885 -o /tmp/evaluation-result-3727881-1338672885/solver-3727881-1338672885 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727881-1338672885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4555e70390d674ec14d0ef1e0b38ebad RANDOM SEED=1999933858 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: 31475296 kB Buffers: 157924 kB Cached: 450776 kB SwapCached: 1352 kB Active: 137996 kB Inactive: 476388 kB Active(anon): 6680 kB Inactive(anon): 1120 kB Active(file): 131316 kB Inactive(file): 475268 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100048 kB Dirty: 7780 kB Writeback: 0 kB AnonPages: 170756 kB Mapped: 8656 kB Shmem: 0 kB Slab: 644880 kB SReclaimable: 87060 kB SUnreclaim: 557820 kB KernelStack: 1488 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 126728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 159744 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= 67356 MiB End job on node111 at 2012-06-03 00:04:46