| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.97 | 1800.01 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
| MD5SUM | c3720ea5d84e92b781414b36064971fe |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 43606 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 46478 |
| Optimality of the best value was proved | NO |
| Number of variables | 1344 |
| Total number of constraints | 16096 |
| Number of constraints which are clauses | 8208 |
| Number of constraints which are cardinality constraints (but not clauses) | 496 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 448 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 279536 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 279536 |
| Number of bits of the biggest sum of numbers | 19 |
| 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-3727385-1338655122.opb. 0.00/0.00 c Instance file HOME/instance-3727385-1338655122.opb 0.00/0.00 c File size is 913860 bytes. 0.00/0.06 c Cost Offset: 0 0.00/0.06 c Highest Coefficient sum: 60 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.07 s | 0.00/0.06 c | Number Variables: 1344 | 0.00/0.06 c | Number Clauses: 8488 | 0.00/0.06 c | Number Cardinality: 496 | 0.00/0.06 c | Number PB Constraints: 7392 | 0.00/0.06 c | | 0.00/0.07 c | Problem Type: Optimization | 0.00/0.07 c | Objective Function: PB Constraint | 0.00/0.07 c | | 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Time (s) | ID | Bound | Shared Clauses | 0.00/0.07 c | | | value type | expCls impCls Lit/impCl | 0.00/0.07 c =============================================================================== 0.00/0.08 c | 0.08 | 0 | 370 lb | 0 0 0.00 | 0.08/0.09 c | 0.09 | 0 | 450 lb | 0 0 0.00 | 0.08/0.10 c | 0.10 | 0 | 530 lb | 0 0 0.00 | 0.08/0.10 c | 0.11 | 0 | 867 lb | 0 0 0.00 | 0.08/0.11 c | 0.12 | 0 | 1472 lb | 0 0 0.00 | 0.08/0.12 c | 0.12 | 0 | 1725 lb | 0 0 0.00 | 0.08/0.13 c | 0.13 | 0 | 1975 lb | 0 0 0.00 | 0.08/0.14 c | 0.14 | 0 | 2225 lb | 0 0 0.00 | 0.08/0.14 c | 0.15 | 0 | 2595 lb | 0 0 0.00 | 0.08/0.15 c | 0.16 | 0 | 2675 lb | 0 0 0.00 | 0.08/0.16 c | 0.17 | 0 | 2755 lb | 0 0 0.00 | 0.08/0.17 c | 0.17 | 0 | 3092 lb | 0 0 0.00 | 0.08/0.18 c | 0.18 | 0 | 3697 lb | 0 0 0.00 | 0.08/0.19 c | 0.19 | 0 | 3950 lb | 0 0 0.00 | 0.18/0.20 c | 0.20 | 0 | 4200 lb | 0 0 0.00 | 0.18/0.21 c | 0.21 | 0 | 4450 lb | 0 0 0.00 | 0.18/0.21 c | 0.22 | 0 | 4530 lb | 0 0 0.00 | 0.18/0.22 c | 0.23 | 0 | 4610 lb | 0 0 0.00 | 0.18/0.23 c | 0.23 | 0 | 4947 lb | 0 0 0.00 | 0.18/0.24 c | 0.24 | 0 | 5182 lb | 0 0 0.00 | 0.18/0.25 c | 0.25 | 0 | 5333 lb | 0 0 0.00 | 0.18/0.26 c | 0.26 | 0 | 5550 lb | 0 0 0.00 | 0.18/0.27 c | 0.27 | 0 | 5920 lb | 0 0 0.00 | 0.18/0.28 c | 0.28 | 0 | 6177 lb | 0 0 0.00 | 0.18/0.29 c | 0.29 | 0 | 6782 lb | 0 0 0.00 | 0.18/0.29 c | 0.30 | 0 | 7017 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 7267 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 7517 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 7887 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 8187 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 8792 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 8969 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 9219 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 9469 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 9839 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 9882 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 10487 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 10558 lb | 0 0 0.00 | 0.39/0.41 c | 0.42 | 0 | 10808 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 11058 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 11138 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 11218 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 11555 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 11808 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 12058 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 12308 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 12576 lb | 0 0 0.00 | 0.48/0.50 c | 0.50 | 0 | 12638 lb | 0 0 0.00 | 0.48/0.51 c | 0.51 | 0 | 12642 lb | 0 0 0.00 | 0.48/0.52 c | 0.52 | 0 | 12797 lb | 0 0 0.00 | 0.48/0.53 c | 0.53 | 0 | 13402 lb | 0 0 0.00 | 0.48/0.54 c | 0.54 | 0 | 13559 lb | 0 0 0.00 | 0.48/0.55 c | 0.55 | 0 | 13679 lb | 0 0 0.00 | 0.48/0.56 c | 0.56 | 0 | 13759 lb | 0 0 0.00 | 0.48/0.57 c | 0.57 | 0 | 13839 lb | 0 0 0.00 | 0.48/0.58 c | 0.58 | 0 | 14176 lb | 0 0 0.00 | 0.48/0.59 c | 0.59 | 0 | 14781 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 14784 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 15121 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 15201 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 15281 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | 15618 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | 16223 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 16383 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | 16426 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | 16454 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 16683 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 16918 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 16946 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 17163 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 17336 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 17571 lb | 0 0 0.00 | 0.69/0.75 c | 0.75 | 0 | 17574 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 17722 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | 17953 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 18188 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | 18191 lb | 0 0 0.00 | 0.79/0.80 c | 0.80 | 0 | 18296 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 18339 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 18574 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | 18577 lb | 0 0 0.00 | 0.79/0.84 c | 0.85 | 0 | 18645 lb | 0 0 0.00 | 0.79/0.85 c | 0.86 | 0 | 18688 lb | 0 0 0.00 | 0.79/0.86 c | 0.87 | 0 | 18716 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 18871 lb | 0 0 0.00 | 0.79/0.88 c | 0.89 | 0 | 18933 lb | 0 0 0.00 | 0.79/0.89 c | 0.90 | 0 | 18937 lb | 0 0 0.00 | 0.89/0.90 c | 0.91 | 0 | 19092 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 19429 lb | 0 0 0.00 | 0.89/0.93 c | 0.93 | 0 | 19586 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | 19621 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 19878 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | 19886 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 20371 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 20374 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 20417 lb | 0 0 0.00 | 0.99/1.00 c | 1.01 | 0 | 20433 lb | 0 0 0.00 | 0.99/1.01 c | 1.02 | 0 | 20674 lb | 0 0 0.00 | 0.99/1.02 c | 1.03 | 0 | 20942 lb | 0 0 0.00 | 0.99/1.03 c | 1.04 | 0 | 20954 lb | 0 0 0.00 | 0.99/1.05 c | 1.05 | 0 | 20961 lb | 0 0 0.00 | 0.99/1.06 c | 1.06 | 0 | 21045 lb | 0 0 0.00 | 0.99/1.07 c | 1.07 | 0 | 21114 lb | 0 0 0.00 | 0.99/1.08 c | 1.08 | 0 | 21466 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | 21519 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 21529 lb | 0 0 0.00 | 1.09/1.11 c | 1.11 | 0 | 21593 lb | 0 0 0.00 | 1.09/1.12 c | 1.12 | 0 | 21597 lb | 0 0 0.00 | 1.09/1.13 c | 1.14 | 0 | 21599 lb | 0 0 0.00 | 1.09/1.14 c | 1.15 | 0 | 21706 lb | 0 0 0.00 | 1.09/1.15 c | 1.16 | 0 | 21847 lb | 0 0 0.00 | 1.09/1.16 c | 1.17 | 0 | 21854 lb | 0 0 0.00 | 1.09/1.17 c | 1.18 | 0 | 21956 lb | 0 0 0.00 | 1.09/1.18 c | 1.19 | 0 | 22000 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | 22040 lb | 0 0 0.00 | 1.19/1.21 c | 1.21 | 0 | 22073 lb | 0 0 0.00 | 1.19/1.22 c | 1.22 | 0 | 22196 lb | 0 0 0.00 | 1.19/1.23 c | 1.24 | 0 | 22340 lb | 0 0 0.00 | 1.19/1.24 c | 1.25 | 0 | 22347 lb | 0 0 0.00 | 1.19/1.26 c | 1.26 | 0 | 22410 lb | 0 0 0.00 | 1.19/1.27 c | 1.27 | 0 | 22428 lb | 0 0 0.00 | 1.19/1.28 c | 1.29 | 0 | 22432 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | 22437 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 22490 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 22527 lb | 0 0 0.00 | 1.29/1.34 c | 1.34 | 0 | 22566 lb | 0 0 0.00 | 1.29/1.35 c | 1.35 | 0 | 22570 lb | 0 0 0.00 | 1.29/1.36 c | 1.36 | 0 | 22607 lb | 0 0 0.00 | 1.29/1.37 c | 1.38 | 0 | 22713 lb | 0 0 0.00 | 1.29/1.39 c | 1.39 | 0 | 22752 lb | 0 0 0.00 | 1.39/1.40 c | 1.41 | 0 | 22811 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | 22814 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | 22848 lb | 0 0 0.00 | 1.39/1.44 c | 1.45 | 0 | 22864 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 22951 lb | 0 0 0.00 | 1.39/1.47 c | 1.47 | 0 | 22959 lb | 0 0 0.00 | 1.39/1.48 c | 1.49 | 0 | 23218 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | 23232 lb | 0 0 0.00 | 1.48/1.51 c | 1.51 | 0 | 23311 lb | 0 0 0.00 | 1.48/1.53 c | 1.53 | 0 | 23338 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | 23351 lb | 0 0 0.00 | 1.48/1.56 c | 1.56 | 0 | 23371 lb | 0 0 0.00 | 1.48/1.57 c | 1.57 | 0 | 23453 lb | 0 0 0.00 | 1.48/1.58 c | 1.59 | 0 | 23478 lb | 0 0 0.00 | 1.58/1.60 c | 1.60 | 0 | 23499 lb | 0 0 0.00 | 1.58/1.61 c | 1.62 | 0 | 23588 lb | 0 0 0.00 | 1.58/1.63 c | 1.63 | 0 | 23678 lb | 0 0 0.00 | 1.58/1.64 c | 1.65 | 0 | 23681 lb | 0 0 0.00 | 1.58/1.66 c | 1.66 | 0 | 23687 lb | 0 0 0.00 | 1.58/1.68 c | 1.68 | 0 | 23736 lb | 0 0 0.00 | 1.58/1.69 c | 1.69 | 0 | 23777 lb | 0 0 0.00 | 1.69/1.71 c | 1.71 | 0 | 23788 lb | 0 0 0.00 | 1.69/1.72 c | 1.72 | 0 | 23814 lb | 0 0 0.00 | 1.69/1.74 c | 1.74 | 0 | 23822 lb | 0 0 0.00 | 1.69/1.75 c | 1.75 | 0 | 23838 lb | 0 0 0.00 | 1.69/1.77 c | 1.77 | 0 | 23982 lb | 0 0 0.00 | 1.69/1.78 c | 1.79 | 0 | 24017 lb | 0 0 0.00 | 1.79/1.80 c | 1.80 | 0 | 24062 lb | 0 0 0.00 | 1.79/1.81 c | 1.82 | 0 | 24208 lb | 0 0 0.00 | 1.79/1.83 c | 1.83 | 0 | 24288 lb | 0 0 0.00 | 1.79/1.84 c | 1.85 | 0 | 24368 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | 24488 lb | 0 0 0.00 | 1.79/1.87 c | 1.88 | 0 | 24594 lb | 0 0 0.00 | 1.79/1.89 c | 1.89 | 0 | 24615 lb | 0 0 0.00 | 1.88/1.91 c | 1.91 | 0 | 24689 lb | 0 0 0.00 | 1.88/1.92 c | 1.93 | 0 | 24753 lb | 0 0 0.00 | 1.88/1.94 c | 1.94 | 0 | 24762 lb | 0 0 0.00 | 1.88/1.96 c | 1.96 | 0 | 24787 lb | 0 0 0.00 | 1.88/1.97 c | 1.98 | 0 | 24871 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | 24940 lb | 0 0 0.00 | 1.98/2.00 c | 2.01 | 0 | 24948 lb | 0 0 0.00 | 1.98/2.02 c | 2.02 | 0 | 24956 lb | 0 0 0.00 | 1.98/2.04 c | 2.04 | 0 | 24963 lb | 0 0 0.00 | 1.98/2.06 c | 2.06 | 0 | 25027 lb | 0 0 0.00 | 1.98/2.07 c | 2.08 | 0 | 25030 lb | 0 0 0.00 | 1.98/2.09 c | 2.09 | 0 | 25046 lb | 0 0 0.00 | 2.08/2.11 c | 2.11 | 0 | 25061 lb | 0 0 0.00 | 2.08/2.13 c | 2.13 | 0 | 25062 lb | 0 0 0.00 | 2.08/2.14 c | 2.15 | 0 | 25065 lb | 0 0 0.00 | 2.08/2.16 c | 2.16 | 0 | 25067 lb | 0 0 0.00 | 2.08/2.18 c | 2.18 | 0 | 25073 lb | 0 0 0.00 | 2.08/2.19 c | 2.20 | 0 | 25084 lb | 0 0 0.00 | 2.18/2.21 c | 2.21 | 0 | 25098 lb | 0 0 0.00 | 2.18/2.23 c | 2.23 | 0 | 25134 lb | 0 0 0.00 | 2.18/2.25 c | 2.25 | 0 | 25142 lb | 0 0 0.00 | 2.18/2.26 c | 2.27 | 0 | 25186 lb | 0 0 0.00 | 2.18/2.28 c | 2.29 | 0 | 25212 lb | 0 0 0.00 | 2.28/2.30 c | 2.30 | 0 | 25219 lb | 0 0 0.00 | 2.28/2.32 c | 2.32 | 0 | 25223 lb | 0 0 0.00 | 2.28/2.34 c | 2.34 | 0 | 25230 lb | 0 0 0.00 | 2.28/2.35 c | 2.36 | 0 | 25239 lb | 0 0 0.00 | 2.28/2.37 c | 2.38 | 0 | 25252 lb | 0 0 0.00 | 2.28/2.39 c | 2.39 | 0 | 25255 lb | 0 0 0.00 | 2.37/2.41 c | 2.41 | 0 | 25272 lb | 0 0 0.00 | 2.37/2.43 c | 2.43 | 0 | 25276 lb | 0 0 0.00 | 2.37/2.44 c | 2.45 | 0 | 25278 lb | 0 0 0.00 | 2.37/2.46 c | 2.46 | 0 | 25281 lb | 0 0 0.00 | 2.37/2.48 c | 2.48 | 0 | 25284 lb | 0 0 0.00 | 2.48/2.50 c | 2.50 | 0 | 25328 lb | 0 0 0.00 | 2.48/2.52 c | 2.52 | 0 | 25407 lb | 0 0 0.00 | 2.48/2.54 c | 2.54 | 0 | 25427 lb | 0 0 0.00 | 2.48/2.55 c | 2.56 | 0 | 25438 lb | 0 0 0.00 | 2.48/2.57 c | 2.58 | 0 | 25445 lb | 0 0 0.00 | 2.48/2.59 c | 2.59 | 0 | 25465 lb | 0 0 0.00 | 2.58/2.61 c | 2.61 | 0 | 25472 lb | 0 0 0.00 | 2.58/2.63 c | 2.63 | 0 | 25478 lb | 0 0 0.00 | 2.58/2.65 c | 2.65 | 0 | 25550 lb | 0 0 0.00 | 2.58/2.66 c | 2.67 | 0 | 25585 lb | 0 0 0.00 | 2.58/2.68 c | 2.69 | 0 | 25588 lb | 0 0 0.00 | 2.68/2.70 c | 2.70 | 0 | 25598 lb | 0 0 0.00 | 2.68/2.72 c | 2.72 | 0 | 25601 lb | 0 0 0.00 | 2.68/2.74 c | 2.74 | 0 | 25622 lb | 0 0 0.00 | 2.68/2.76 c | 2.76 | 0 | 25702 lb | 0 0 0.00 | 2.68/2.77 c | 2.78 | 0 | 25724 lb | 0 0 0.00 | 2.68/2.79 c | 2.80 | 0 | 25734 lb | 0 0 0.00 | 2.78/2.81 c | 2.82 | 0 | 25742 lb | 0 0 0.00 | 2.78/2.83 c | 2.83 | 0 | 25750 lb | 0 0 0.00 | 2.78/2.85 c | 2.85 | 0 | 25767 lb | 0 0 0.00 | 2.78/2.87 c | 2.87 | 0 | 25797 lb | 0 0 0.00 | 2.78/2.89 c | 2.89 | 0 | 25812 lb | 0 0 0.00 | 2.88/2.91 c | 2.91 | 0 | 25822 lb | 0 0 0.00 | 2.88/2.93 c | 2.93 | 0 | 25826 lb | 0 0 0.00 | 2.88/2.94 c | 2.95 | 0 | 25828 lb | 0 0 0.00 | 2.88/2.96 c | 2.97 | 0 | 25837 lb | 0 0 0.00 | 2.88/2.98 c | 2.99 | 0 | 25961 lb | 0 0 0.00 | 2.98/3.00 c | 3.01 | 0 | 25975 lb | 0 0 0.00 | 2.98/3.02 c | 3.02 | 0 | 25979 lb | 0 0 0.00 | 2.98/3.04 c | 3.04 | 0 | 25987 lb | 0 0 0.00 | 2.98/3.06 c | 3.06 | 0 | 25989 lb | 0 0 0.00 | 2.98/3.08 c | 3.08 | 0 | 25990 lb | 0 0 0.00 | 3.07/3.10 c | 3.10 | 0 | 25994 lb | 0 0 0.00 | 3.07/3.12 c | 3.12 | 0 | 25995 lb | 0 0 0.00 | 3.07/3.14 c | 3.14 | 0 | 26024 lb | 0 0 0.00 | 3.07/3.16 c | 3.16 | 0 | 26054 lb | 0 0 0.00 | 3.07/3.18 c | 3.18 | 0 | 26059 lb | 0 0 0.00 | 3.07/3.20 c | 3.20 | 0 | 26203 lb | 0 0 0.00 | 3.19/3.22 c | 3.22 | 0 | 26210 lb | 0 0 0.00 | 3.19/3.24 c | 3.24 | 0 | 26214 lb | 0 0 0.00 | 3.19/3.26 c | 3.26 | 0 | 26418 lb | 0 0 0.00 | 3.19/3.28 c | 3.28 | 0 | 26421 lb | 0 0 0.00 | 3.19/3.30 c | 3.30 | 0 | 26445 lb | 0 0 0.00 | 3.29/3.32 c | 3.32 | 0 | 26584 lb | 0 0 0.00 | 3.29/3.34 c | 3.34 | 0 | 26616 lb | 0 0 0.00 | 3.29/3.36 c | 3.36 | 0 | 26640 lb | 0 0 0.00 | 3.29/3.38 c | 3.38 | 0 | 26661 lb | 0 0 0.00 | 3.38/3.40 c | 3.40 | 0 | 26675 lb | 0 0 0.00 | 3.38/3.42 c | 3.42 | 0 | 26686 lb | 0 0 0.00 | 3.38/3.44 c | 3.44 | 0 | 26688 lb | 0 0 0.00 | 3.38/3.46 c | 3.46 | 0 | 26695 lb | 0 0 0.00 | 3.38/3.48 c | 3.48 | 0 | 26719 lb | 0 0 0.00 | 3.48/3.50 c | 3.50 | 0 | 26738 lb | 0 0 0.00 | 3.48/3.52 c | 3.52 | 0 | 26743 lb | 0 0 0.00 | 3.48/3.54 c | 3.54 | 0 | 26775 lb | 0 0 0.00 | 3.48/3.56 c | 3.56 | 0 | 26777 lb | 0 0 0.00 | 3.48/3.58 c | 3.58 | 0 | 26785 lb | 0 0 0.00 | 3.58/3.60 c | 3.60 | 0 | 26786 lb | 0 0 0.00 | 3.58/3.62 c | 3.62 | 0 | 26789 lb | 0 0 0.00 | 3.58/3.64 c | 3.64 | 0 | 26797 lb | 0 0 0.00 | 3.58/3.66 c | 3.66 | 0 | 26798 lb | 0 0 0.00 | 3.58/3.68 c | 3.68 | 0 | 26799 lb | 0 0 0.00 | 3.67/3.70 c | 3.71 | 0 | 26804 lb | 0 0 0.00 | 3.67/3.72 c | 3.73 | 0 | 26836 lb | 0 0 0.00 | 3.67/3.74 c | 3.75 | 0 | 26840 lb | 0 0 0.00 | 3.67/3.76 c | 3.77 | 0 | 26848 lb | 0 0 0.00 | 3.67/3.78 c | 3.79 | 0 | 26855 lb | 0 0 0.00 | 3.78/3.80 c | 3.81 | 0 | 26856 lb | 0 0 0.00 | 3.78/3.82 c | 3.83 | 0 | 26857 lb | 0 0 0.00 | 3.78/3.84 c | 3.85 | 0 | 26933 lb | 0 0 0.00 | 3.78/3.87 c | 3.87 | 0 | 26935 lb | 0 0 0.00 | 3.78/3.89 c | 3.89 | 0 | 26938 lb | 0 0 0.00 | 3.88/3.91 c | 3.91 | 0 | 26963 lb | 0 0 0.00 | 3.88/3.93 c | 3.93 | 0 | 26964 lb | 0 0 0.00 | 3.88/3.95 c | 3.95 | 0 | 26981 lb | 0 0 0.00 | 3.88/3.97 c | 3.97 | 0 | 27004 lb | 0 0 0.00 | 3.88/3.99 c | 3.99 | 0 | 27014 lb | 0 0 0.00 | 3.98/4.01 c | 4.01 | 0 | 27019 lb | 0 0 0.00 | 3.98/4.03 c | 4.04 | 0 | 27323 lb | 0 0 0.00 | 3.98/4.05 c | 4.06 | 0 | 27334 lb | 0 0 0.00 | 3.98/4.08 c | 4.08 | 0 | 27337 lb | 0 0 0.00 | 4.08/4.10 c | 4.10 | 0 | 27345 lb | 0 0 0.00 | 4.08/4.12 c | 4.12 | 0 | 27346 lb | 0 0 0.00 | 4.08/4.14 c | 4.14 | 0 | 27353 lb | 0 0 0.00 | 4.08/4.16 c | 4.16 | 0 | 27358 lb | 0 0 0.00 | 4.08/4.18 c | 4.18 | 0 | 27359 lb | 0 0 0.00 | 4.18/4.20 c | 4.21 | 0 | 27363 lb | 0 0 0.00 | 4.18/4.22 c | 4.23 | 0 | 27365 lb | 0 0 0.00 | 4.18/4.25 c | 4.25 | 0 | 27378 lb | 0 0 0.00 | 4.18/4.27 c | 4.27 | 0 | 27384 lb | 0 0 0.00 | 4.18/4.29 c | 4.29 | 0 | 27385 lb | 0 0 0.00 | 4.28/4.31 c | 4.32 | 0 | 27389 lb | 0 0 0.00 | 4.28/4.33 c | 4.34 | 0 | 27397 lb | 0 0 0.00 | 4.28/4.36 c | 4.36 | 0 | 27401 lb | 0 0 0.00 | 4.28/4.38 c | 4.38 | 0 | 27404 lb | 0 0 0.00 | 4.28/4.40 c | 4.40 | 0 | 27411 lb | 0 0 0.00 | 4.38/4.42 c | 4.42 | 0 | 27419 lb | 0 0 0.00 | 4.38/4.44 c | 4.45 | 0 | 27454 lb | 0 0 0.00 | 4.38/4.47 c | 4.47 | 0 | 27457 lb | 0 0 0.00 | 4.38/4.49 c | 4.49 | 0 | 27462 lb | 0 0 0.00 | 4.48/4.51 c | 4.51 | 0 | 27467 lb | 0 0 0.00 | 4.48/4.53 c | 4.54 | 0 | 27468 lb | 0 0 0.00 | 4.48/4.56 c | 4.56 | 0 | 27469 lb | 0 0 0.00 | 4.48/4.58 c | 4.58 | 0 | 27500 lb | 0 0 0.00 | 4.58/4.60 c | 4.61 | 0 | 27504 lb | 0 0 0.00 | 4.58/4.63 c | 4.63 | 0 | 27508 lb | 0 0 0.00 | 4.58/4.65 c | 4.65 | 0 | 27513 lb | 0 0 0.00 | 4.58/4.67 c | 4.68 | 0 | 27518 lb | 0 0 0.00 | 4.58/4.70 c | 4.70 | 0 | 27521 lb | 0 0 0.00 | 4.68/4.72 c | 4.72 | 0 | 27522 lb | 0 0 0.00 | 4.68/4.74 c | 4.75 | 0 | 27523 lb | 0 0 0.00 | 4.68/4.77 c | 4.77 | 0 | 27524 lb | 0 0 0.00 | 4.88/4.99 c | 4.79 | 0 | 27525 lb | 0 0 0.00 | 4.88/4.99 c | 4.82 | 0 | 27540 lb | 0 0 0.00 | 4.88/4.99 c | 4.84 | 0 | 27541 lb | 0 0 0.00 | 4.88/4.99 c | 4.86 | 0 | 27542 lb | 0 0 0.00 | 4.88/4.99 c | 4.89 | 0 | 27543 lb | 0 0 0.00 | 4.88/4.99 c | 4.91 | 0 | 27545 lb | 0 0 0.00 | 4.88/4.99 c | 4.93 | 0 | 27546 lb | 0 0 0.00 | 4.88/4.99 c | 4.96 | 0 | 27548 lb | 0 0 0.00 | 4.88/4.99 c | 4.98 | 0 | 27556 lb | 0 0 0.00 | 4.98/5.01 c | 5.01 | 0 | 27557 lb | 0 0 0.00 | 4.98/5.03 c | 5.03 | 0 | 27564 lb | 0 0 0.00 | 4.98/5.06 c | 5.06 | 0 | 27566 lb | 0 0 0.00 | 4.98/5.08 c | 5.08 | 0 | 27582 lb | 0 0 0.00 | 5.08/5.10 c | 5.11 | 0 | 27583 lb | 0 0 0.00 | 5.08/5.13 c | 5.13 | 0 | 27613 lb | 0 0 0.00 | 5.08/5.15 c | 5.16 | 0 | 27620 lb | 0 0 0.00 | 5.08/5.18 c | 5.18 | 0 | 27634 lb | 0 0 0.00 | 5.17/5.20 c | 5.21 | 0 | 27635 lb | 0 0 0.00 | 5.17/5.23 c | 5.23 | 0 | 27648 lb | 0 0 0.00 | 5.17/5.25 c | 5.25 | 0 | 27665 lb | 0 0 0.00 | 5.17/5.27 c | 5.28 | 0 | 27667 lb | 0 0 0.00 | 5.28/5.30 c | 5.30 | 0 | 27669 lb | 0 0 0.00 | 5.28/5.32 c | 5.33 | 0 | 27670 lb | 0 0 0.00 | 5.28/5.35 c | 5.35 | 0 | 27671 lb | 0 0 0.00 | 5.28/5.37 c | 5.37 | 0 | 27675 lb | 0 0 0.00 | 5.28/5.39 c | 5.40 | 0 | 27676 lb | 0 0 0.00 | 5.39/5.42 c | 5.42 | 0 | 27681 lb | 0 0 0.00 | 5.39/5.44 c | 5.45 | 0 | 27682 lb | 0 0 0.00 | 5.39/5.47 c | 5.47 | 0 | 27759 lb | 0 0 0.00 | 5.39/5.49 c | 5.50 | 0 | 27762 lb | 0 0 0.00 | 5.49/5.52 c | 5.52 | 0 | 27765 lb | 0 0 0.00 | 5.49/5.54 c | 5.55 | 0 | 27766 lb | 0 0 0.00 | 5.49/5.57 c | 5.57 | 0 | 27767 lb | 0 0 0.00 | 5.49/5.59 c | 5.59 | 0 | 27768 lb | 0 0 0.00 | 5.58/5.62 c | 5.62 | 0 | 27769 lb | 0 0 0.00 | 5.58/5.64 c | 5.65 | 0 | 27770 lb | 0 0 0.00 | 5.58/5.67 c | 5.67 | 0 | 27773 lb | 0 0 0.00 | 5.58/5.69 c | 5.70 | 0 | 27774 lb | 0 0 0.00 | 5.68/5.72 c | 5.72 | 0 | 27776 lb | 0 0 0.00 | 5.68/5.75 c | 5.75 | 0 | 27777 lb | 0 0 0.00 | 5.68/5.77 c | 5.77 | 0 | 27779 lb | 0 0 0.00 | 5.68/5.80 c | 5.80 | 0 | 27802 lb | 0 0 0.00 | 5.78/5.82 c | 5.83 | 0 | 27803 lb | 0 0 0.00 | 5.78/5.85 c | 5.85 | 0 | 27804 lb | 0 0 0.00 | 5.78/5.88 c | 5.88 | 0 | 27813 lb | 0 0 0.00 | 5.88/5.90 c | 5.91 | 0 | 27814 lb | 0 0 0.00 | 5.88/5.93 c | 5.93 | 0 | 27823 lb | 0 0 0.00 | 5.88/5.95 c | 5.96 | 0 | 27838 lb | 0 0 0.00 | 5.88/5.98 c | 5.98 | 0 | 27846 lb | 0 0 0.00 | 5.98/6.01 c | 6.01 | 0 | 27847 lb | 0 0 0.00 | 5.98/6.04 c | 6.04 | 0 | 27848 lb | 0 0 0.00 | 5.98/6.06 c | 6.07 | 0 | 27849 lb | 0 0 0.00 | 5.98/6.09 c | 6.09 | 0 | 27921 lb | 0 0 0.00 | 6.07/6.11 c | 6.12 | 0 | 27931 lb | 0 0 0.00 | 6.07/6.14 c | 6.14 | 0 | 27937 lb | 0 0 0.00 | 6.07/6.16 c | 6.17 | 0 | 27939 lb | 0 0 0.00 | 6.07/6.19 c | 6.19 | 0 | 27940 lb | 0 0 0.00 | 6.18/6.22 c | 6.22 | 0 | 27943 lb | 0 0 0.00 | 6.18/6.24 c | 6.24 | 0 | 27950 lb | 0 0 0.00 | 6.18/6.27 c | 6.27 | 0 | 27955 lb | 0 0 0.00 | 6.18/6.29 c | 6.30 | 0 | 27957 lb | 0 0 0.00 | 6.28/6.32 c | 6.32 | 0 | 27959 lb | 0 0 0.00 | 6.28/6.35 c | 6.35 | 0 | 27960 lb | 0 0 0.00 | 6.28/6.37 c | 6.38 | 0 | 27962 lb | 0 0 0.00 | 6.38/6.40 c | 6.40 | 0 | 28069 lb | 0 0 0.00 | 6.38/6.43 c | 6.43 | 0 | 28072 lb | 0 0 0.00 | 6.38/6.45 c | 6.46 | 0 | 28074 lb | 0 0 0.00 | 6.38/6.48 c | 6.48 | 0 | 28075 lb | 0 0 0.00 | 6.49/6.50 c | 6.51 | 0 | 28077 lb | 0 0 0.00 | 6.49/6.53 c | 6.53 | 0 | 28106 lb | 0 0 0.00 | 6.49/6.56 c | 6.56 | 0 | 28107 lb | 0 0 0.00 | 6.49/6.58 c | 6.59 | 0 | 28109 lb | 0 0 0.00 | 6.59/6.61 c | 6.61 | 0 | 28110 lb | 0 0 0.00 | 6.59/6.64 c | 6.64 | 0 | 28111 lb | 0 0 0.00 | 6.59/6.66 c | 6.67 | 0 | 28112 lb | 0 0 0.00 | 6.59/6.69 c | 6.69 | 0 | 28113 lb | 0 0 0.00 | 6.68/6.72 c | 6.72 | 0 | 28114 lb | 0 0 0.00 | 6.68/6.75 c | 6.75 | 0 | 28115 lb | 0 0 0.00 | 6.68/6.78 c | 6.78 | 0 | 28132 lb | 0 0 0.00 | 6.78/6.80 c | 6.81 | 0 | 28133 lb | 0 0 0.00 | 6.78/6.83 c | 6.83 | 0 | 28136 lb | 0 0 0.00 | 6.78/6.86 c | 6.86 | 0 | 28138 lb | 0 0 0.00 | 6.78/6.88 c | 6.89 | 0 | 28139 lb | 0 0 0.00 | 6.88/6.91 c | 6.91 | 0 | 28140 lb | 0 0 0.00 | 6.88/6.94 c | 6.94 | 0 | 28143 lb | 0 0 0.00 | 6.88/6.97 c | 6.97 | 0 | 28144 lb | 0 0 0.00 | 6.97/7.00 c | 7.00 | 0 | 28145 lb | 0 0 0.00 | 6.97/7.02 c | 7.03 | 0 | 28147 lb | 0 0 0.00 | 6.97/7.05 c | 7.05 | 0 | 28152 lb | 0 0 0.00 | 6.97/7.08 c | 7.08 | 0 | 28153 lb | 0 0 0.00 | 7.08/7.10 c | 7.11 | 0 | 28161 lb | 0 0 0.00 | 7.08/7.13 c | 7.14 | 0 | 28162 lb | 0 0 0.00 | 7.08/7.16 c | 7.16 | 0 | 28165 lb | 0 0 0.00 | 7.08/7.19 c | 7.19 | 0 | 28166 lb | 0 0 0.00 | 7.18/7.22 c | 7.22 | 0 | 28167 lb | 0 0 0.00 | 7.18/7.25 c | 7.25 | 0 | 28171 lb | 0 0 0.00 | 7.18/7.28 c | 7.28 | 0 | 28172 lb | 0 0 0.00 | 7.28/7.30 c | 7.31 | 0 | 28178 lb | 0 0 0.00 | 7.28/7.33 c | 7.33 | 0 | 28179 lb | 0 0 0.00 | 7.28/7.36 c | 7.36 | 0 | 28180 lb | 0 0 0.00 | 7.28/7.39 c | 7.39 | 0 | 28181 lb | 0 0 0.00 | 7.38/7.42 c | 7.42 | 0 | 28183 lb | 0 0 0.00 | 7.38/7.45 c | 7.45 | 0 | 28184 lb | 0 0 0.00 | 7.38/7.48 c | 7.48 | 0 | 28185 lb | 0 0 0.00 | 7.48/7.51 c | 7.51 | 0 | 28186 lb | 0 0 0.00 | 7.48/7.54 c | 7.54 | 0 | 28188 lb | 0 0 0.00 | 7.48/7.56 c | 7.57 | 0 | 28193 lb | 0 0 0.00 | 7.48/7.59 c | 7.60 | 0 | 28260 lb | 0 0 0.00 | 7.59/7.63 c | 7.63 | 0 | 28261 lb | 0 0 0.00 | 7.59/7.66 c | 7.66 | 0 | 28262 lb | 0 0 0.00 | 7.59/7.68 c | 7.69 | 0 | 28263 lb | 0 0 0.00 | 7.69/7.71 c | 7.72 | 0 | 28265 lb | 0 0 0.00 | 7.69/7.74 c | 7.74 | 0 | 28266 lb | 0 0 0.00 | 7.69/7.77 c | 7.78 | 0 | 28267 lb | 0 0 0.00 | 7.78/7.80 c | 7.81 | 0 | 28268 lb | 0 0 0.00 | 7.78/7.83 c | 7.83 | 0 | 28269 lb | 0 0 0.00 | 7.78/7.86 c | 7.86 | 0 | 28270 lb | 0 0 0.00 | 7.78/7.89 c | 7.89 | 0 | 28271 lb | 0 0 0.00 | 7.88/7.92 c | 7.92 | 0 | 28272 lb | 0 0 0.00 | 7.88/7.95 c | 7.96 | 0 | 28273 lb | 0 0 0.00 | 7.88/7.98 c | 7.99 | 0 | 28274 lb | 0 0 0.00 | 7.98/8.01 c | 8.02 | 0 | 28277 lb | 0 0 0.00 | 7.98/8.04 c | 8.05 | 0 | 28278 lb | 0 0 0.00 | 7.98/8.07 c | 8.08 | 0 | 28279 lb | 0 0 0.00 | 8.08/8.10 c | 8.11 | 0 | 28280 lb | 0 0 0.00 | 8.08/8.13 c | 8.14 | 0 | 28281 lb | 0 0 0.00 | 8.08/8.16 c | 8.17 | 0 | 28287 lb | 0 0 0.00 | 8.08/8.19 c | 8.20 | 0 | 28288 lb | 0 0 0.00 | 8.18/8.22 c | 8.22 | 0 | 28289 lb | 0 0 0.00 | 8.18/8.25 c | 8.26 | 0 | 28290 lb | 0 0 0.00 | 8.18/8.28 c | 8.29 | 0 | 28294 lb | 0 0 0.00 | 8.28/8.31 c | 8.32 | 0 | 28295 lb | 0 0 0.00 | 8.28/8.35 c | 8.35 | 0 | 28296 lb | 0 0 0.00 | 8.28/8.38 c | 8.38 | 0 | 28298 lb | 0 0 0.00 | 8.38/8.41 c | 8.41 | 0 | 28299 lb | 0 0 0.00 | 8.38/8.44 c | 8.45 | 0 | 28300 lb | 0 0 0.00 | 8.38/8.48 c | 8.48 | 0 | 28301 lb | 0 0 0.00 | 8.48/8.51 c | 8.51 | 0 | 28303 lb | 0 0 0.00 | 8.48/8.54 c | 8.54 | 0 | 28304 lb | 0 0 0.00 | 8.48/8.57 c | 8.57 | 0 | 28307 lb | 0 0 0.00 | 8.58/8.60 c | 8.61 | 0 | 28308 lb | 0 0 0.00 | 8.58/8.63 c | 8.64 | 0 | 28309 lb | 0 0 0.00 | 8.58/8.66 c | 8.67 | 0 | 28315 lb | 0 0 0.00 | 8.58/8.70 c | 8.70 | 0 | 28316 lb | 0 0 0.00 | 8.68/8.73 c | 8.73 | 0 | 28320 lb | 0 0 0.00 | 8.68/8.77 c | 8.77 | 0 | 28321 lb | 0 0 0.00 | 8.68/8.80 c | 8.80 | 0 | 28322 lb | 0 0 0.00 | 8.78/8.83 c | 8.83 | 0 | 28323 lb | 0 0 0.00 | 8.78/8.86 c | 8.86 | 0 | 28324 lb | 0 0 0.00 | 8.78/8.89 c | 8.90 | 0 | 28325 lb | 0 0 0.00 | 8.88/8.93 c | 8.93 | 0 | 28326 lb | 0 0 0.00 | 8.88/8.96 c | 8.96 | 0 | 28341 lb | 0 0 0.00 | 8.88/8.99 c | 8.99 | 0 | 28342 lb | 0 0 0.00 | 8.98/9.02 c | 9.03 | 0 | 28343 lb | 0 0 0.00 | 8.98/9.05 c | 9.06 | 0 | 28345 lb | 0 0 0.00 | 8.98/9.09 c | 9.09 | 0 | 28346 lb | 0 0 0.00 | 9.08/9.12 c | 9.12 | 0 | 28347 lb | 0 0 0.00 | 9.08/9.16 c | 9.16 | 0 | 28348 lb | 0 0 0.00 | 9.08/9.19 c | 9.19 | 0 | 28352 lb | 0 0 0.00 | 9.18/9.22 c | 9.22 | 0 | 28353 lb | 0 0 0.00 | 9.18/9.25 c | 9.25 | 0 | 28355 lb | 0 0 0.00 | 9.18/9.28 c | 9.29 | 0 | 28358 lb | 0 0 0.00 | 9.28/9.31 c | 9.32 | 0 | 28359 lb | 0 0 0.00 | 9.28/9.35 c | 9.35 | 0 | 28360 lb | 0 0 0.00 | 9.28/9.38 c | 9.39 | 0 | 28361 lb | 0 0 0.00 | 9.38/9.42 c | 9.42 | 0 | 28362 lb | 0 0 0.00 | 9.38/9.45 c | 9.46 | 0 | 28363 lb | 0 0 0.00 | 9.38/9.49 c | 9.49 | 0 | 28364 lb | 0 0 0.00 | 9.48/9.53 c | 9.53 | 0 | 28365 lb | 0 0 0.00 | 9.48/9.56 c | 9.57 | 0 | 28366 lb | 0 0 0.00 | 9.58/9.60 c | 9.60 | 0 | 28368 lb | 0 0 0.00 | 9.58/9.64 c | 9.64 | 0 | 28369 lb | 0 0 0.00 | 9.58/9.67 c | 9.67 | 0 | 28370 lb | 0 0 0.00 | 9.68/9.71 c | 9.71 | 0 | 28371 lb | 0 0 0.00 | 9.68/9.74 c | 9.75 | 0 | 28373 lb | 0 0 0.00 | 9.68/9.78 c | 9.78 | 0 | 28374 lb | 0 0 0.00 | 9.78/9.81 c | 9.81 | 0 | 28375 lb | 0 0 0.00 | 9.78/9.85 c | 9.85 | 0 | 28376 lb | 0 0 0.00 | 9.78/9.88 c | 9.88 | 0 | 28378 lb | 0 0 0.00 | 9.89/9.92 c | 9.92 | 0 | 28379 lb | 0 0 0.00 | 9.89/9.95 c | 9.95 | 0 | 28380 lb | 0 0 0.00 | 9.89/9.98 c | 9.98 | 0 | 28404 lb | 0 0 0.00 | 9.98/10.02 c | 10.02 | 0 | 28405 lb | 0 0 0.00 | 9.98/10.05 c | 10.05 | 0 | 28406 lb | 0 0 0.00 | 9.98/10.09 c | 10.09 | 0 | 28407 lb | 0 0 0.00 | 10.08/10.12 c | 10.13 | 0 | 28408 lb | 0 0 0.00 | 10.08/10.16 c | 10.17 | 0 | 28409 lb | 0 0 0.00 | 10.18/10.20 c | 10.20 | 0 | 28410 lb | 0 0 0.00 | 10.18/10.23 c | 10.24 | 0 | 28411 lb | 0 0 0.00 | 10.18/10.27 c | 10.27 | 0 | 28412 lb | 0 0 0.00 | 10.28/10.30 c | 10.31 | 0 | 28414 lb | 0 0 0.00 | 10.28/10.34 c | 10.34 | 0 | 28415 lb | 0 0 0.00 | 10.28/10.38 c | 10.38 | 0 | 28416 lb | 0 0 0.00 | 10.38/10.41 c | 10.42 | 0 | 28417 lb | 0 0 0.00 | 10.38/10.45 c | 10.45 | 0 | 28418 lb | 0 0 0.00 | 10.38/10.49 c | 10.49 | 0 | 28422 lb | 0 0 0.00 | 10.48/10.52 c | 10.53 | 0 | 28423 lb | 0 0 0.00 | 10.48/10.56 c | 10.56 | 0 | 28424 lb | 0 0 0.00 | 10.48/10.59 c | 10.60 | 0 | 28425 lb | 0 0 0.00 | 10.57/10.64 c | 10.64 | 0 | 28426 lb | 0 0 0.00 | 10.57/10.68 c | 10.68 | 0 | 28427 lb | 0 0 0.00 | 10.67/10.71 c | 10.71 | 0 | 28428 lb | 0 0 0.00 | 10.67/10.74 c | 10.75 | 0 | 28430 lb | 0 0 0.00 | 10.67/10.78 c | 10.78 | 0 | 28431 lb | 0 0 0.00 | 10.77/10.82 c | 10.82 | 0 | 28432 lb | 0 0 0.00 | 10.77/10.86 c | 10.86 | 0 | 28433 lb | 0 0 0.00 | 10.77/10.90 c | 10.90 | 0 | 28434 lb | 0 0 0.00 | 10.88/10.93 c | 10.93 | 0 | 28435 lb | 0 0 0.00 | 10.88/10.97 c | 10.98 | 0 | 28436 lb | 0 0 0.00 | 10.99/11.01 c | 11.02 | 0 | 28437 lb | 0 0 0.00 | 10.99/11.05 c | 11.05 | 0 | 28438 lb | 0 0 0.00 | 10.99/11.08 c | 11.08 | 0 | 28441 lb | 0 0 0.00 | 11.08/11.11 c | 11.12 | 0 | 28442 lb | 0 0 0.00 | 11.08/11.15 c | 11.16 | 0 | 28443 lb | 0 0 0.00 | 11.08/11.19 c | 11.19 | 0 | 28444 lb | 0 0 0.00 | 11.18/11.23 c | 11.23 | 0 | 28445 lb | 0 0 0.00 | 11.18/11.27 c | 11.27 | 0 | 28446 lb | 0 0 0.00 | 11.28/11.30 c | 11.31 | 0 | 28447 lb | 0 0 0.00 | 11.28/11.34 c | 11.34 | 0 | 28454 lb | 0 0 0.00 | 11.28/11.38 c | 11.38 | 0 | 28455 lb | 0 0 0.00 | 11.38/11.42 c | 11.42 | 0 | 28456 lb | 0 0 0.00 | 11.38/11.46 c | 11.46 | 0 | 28457 lb | 0 0 0.00 | 11.48/11.50 c | 11.50 | 0 | 28458 lb | 0 0 0.00 | 11.48/11.54 c | 11.54 | 0 | 28459 lb | 0 0 0.00 | 11.48/11.58 c | 11.58 | 0 | 28460 lb | 0 0 0.00 | 11.58/11.61 c | 11.62 | 0 | 28462 lb | 0 0 0.00 | 11.58/11.66 c | 11.66 | 0 | 28463 lb | 0 0 0.00 | 11.68/11.70 c | 11.71 | 0 | 28464 lb | 0 0 0.00 | 11.68/11.74 c | 11.74 | 0 | 28466 lb | 0 0 0.00 | 11.68/11.78 c | 11.78 | 0 | 28483 lb | 0 0 0.00 | 11.78/11.82 c | 11.82 | 0 | 28484 lb | 0 0 0.00 | 11.78/11.86 c | 11.86 | 0 | 28485 lb | 0 0 0.00 | 11.78/11.89 c | 11.90 | 0 | 28492 lb | 0 0 0.00 | 11.88/11.94 c | 11.94 | 0 | 28493 lb | 0 0 0.00 | 11.88/11.98 c | 11.98 | 0 | 28494 lb | 0 0 0.00 | 11.98/12.02 c | 12.02 | 0 | 28495 lb | 0 0 0.00 | 11.98/12.05 c | 12.05 | 0 | 28496 lb | 0 0 0.00 | 11.98/12.09 c | 12.09 | 0 | 28499 lb | 0 0 0.00 | 12.08/12.12 c | 12.13 | 0 | 28500 lb | 0 0 0.00 | 12.08/12.16 c | 12.16 | 0 | 28501 lb | 0 0 0.00 | 12.18/12.20 c | 12.21 | 0 | 28502 lb | 0 0 0.00 | 12.18/12.24 c | 12.24 | 0 | 28503 lb | 0 0 0.00 | 12.18/12.29 c | 12.29 | 0 | 28504 lb | 0 0 0.00 | 12.27/12.33 c | 12.33 | 0 | 28505 lb | 0 0 0.00 | 12.27/12.38 c | 12.38 | 0 | 28506 lb | 0 0 0.00 | 12.37/12.42 c | 12.42 | 0 | 28507 lb | 0 0 0.00 | 12.37/12.46 c | 12.46 | 0 | 28508 lb | 0 0 0.00 | 12.48/12.51 c | 12.51 | 0 | 28509 lb | 0 0 0.00 | 12.48/12.54 c | 12.55 | 0 | 28515 lb | 0 0 0.00 | 12.48/12.58 c | 12.59 | 0 | 28517 lb | 0 0 0.00 | 12.58/12.63 c | 12.63 | 0 | 28518 lb | 0 0 0.00 | 12.58/12.68 c | 12.68 | 0 | 28519 lb | 0 0 0.00 | 12.68/12.72 c | 12.72 | 0 | 28520 lb | 0 0 0.00 | 12.68/12.77 c | 12.77 | 0 | 28521 lb | 0 0 0.00 | 12.78/12.81 c | 12.81 | 0 | 28522 lb | 0 0 0.00 | 12.78/12.85 c | 12.85 | 0 | 28523 lb | 0 0 0.00 | 12.78/12.89 c | 12.89 | 0 | 28525 lb | 0 0 0.00 | 12.88/12.92 c | 12.93 | 0 | 28531 lb | 0 0 0.00 | 12.88/12.96 c | 12.97 | 0 | 28532 lb | 0 0 0.00 | 12.98/13.01 c | 13.01 | 0 | 28533 lb | 0 0 0.00 | 12.98/13.05 c | 13.05 | 0 | 28534 lb | 0 0 0.00 | 12.98/13.09 c | 13.10 | 0 | 28535 lb | 0 0 0.00 | 13.09/13.14 c | 13.14 | 0 | 28536 lb | 0 0 0.00 | 13.09/13.18 c | 13.19 | 0 | 28537 lb | 0 0 0.00 | 13.19/13.22 c | 13.23 | 0 | 28539 lb | 0 0 0.00 | 13.19/13.27 c | 13.27 | 0 | 28540 lb | 0 0 0.00 | 13.28/13.31 c | 13.31 | 0 | 28542 lb | 0 0 0.00 | 13.28/13.35 c | 13.36 | 0 | 28543 lb | 0 0 0.00 | 13.28/13.39 c | 13.40 | 0 | 28544 lb | 0 0 0.00 | 13.37/13.44 c | 13.44 | 0 | 28545 lb | 0 0 0.00 | 13.37/13.49 c | 13.49 | 0 | 28546 lb | 0 0 0.00 | 13.47/13.53 c | 13.53 | 0 | 28557 lb | 0 0 0.00 | 13.47/13.58 c | 13.59 | 0 | 28558 lb | 0 0 0.00 | 13.57/13.67 c | 13.68 | 0 | 28559 lb | 0 0 0.00 | 13.67/13.72 c | 13.72 | 0 | 28560 lb | 0 0 0.00 | 13.67/13.77 c | 13.77 | 0 | 28561 lb | 0 0 0.00 | 13.77/13.82 c | 13.83 | 0 | 28562 lb | 0 0 0.00 | 13.77/13.87 c | 13.87 | 0 | 28563 lb | 0 0 0.00 | 13.87/13.91 c | 13.92 | 0 | 28564 lb | 0 0 0.00 | 13.87/13.96 c | 13.96 | 0 | 28565 lb | 0 0 0.00 | 13.98/14.01 c | 14.01 | 0 | 28566 lb | 0 0 0.00 | 13.98/14.06 c | 14.07 | 0 | 28567 lb | 0 0 0.00 | 14.08/14.11 c | 14.12 | 0 | 28568 lb | 0 0 0.00 | 14.08/14.16 c | 14.16 | 0 | 28569 lb | 0 0 0.00 | 14.78/14.80 c | 14.80 | 0 | 28570 lb | 0 0 0.00 | 14.78/14.85 c | 14.85 | 0 | 28571 lb | 0 0 0.00 | 14.78/14.89 c | 14.89 | 0 | 28573 lb | 0 0 0.00 | 14.88/14.94 c | 14.94 | 0 | 28574 lb | 0 0 0.00 | 14.88/14.99 c | 14.99 | 0 | 28575 lb | 0 0 0.00 | 14.98/15.03 c | 15.04 | 0 | 28577 lb | 0 0 0.00 | 14.98/15.09 c | 15.09 | 0 | 28578 lb | 0 0 0.00 | 16.77/16.85 c | 16.86 | 0 | 28579 lb | 0 0 0.00 | 16.87/16.91 c | 16.91 | 0 | 28581 lb | 0 0 0.00 | 16.87/16.96 c | 16.96 | 0 | 28582 lb | 0 0 0.00 | 16.97/17.00 c | 17.01 | 0 | 28583 lb | 0 0 0.00 | 16.97/17.05 c | 17.05 | 0 | 28584 lb | 0 0 0.00 | 17.07/17.10 c | 17.10 | 0 | 28585 lb | 0 0 0.00 | 17.07/17.15 c | 17.15 | 0 | 28586 lb | 0 0 0.00 | 17.17/17.22 c | 17.22 | 0 | 28587 lb | 0 0 0.00 | 17.17/17.28 c | 17.28 | 0 | 28588 lb | 0 0 0.00 | 17.27/17.32 c | 17.33 | 0 | 28589 lb | 0 0 0.00 | 17.27/17.37 c | 17.37 | 0 | 28592 lb | 0 0 0.00 | 17.37/17.41 c | 17.41 | 0 | 28593 lb | 0 0 0.00 | 17.37/17.48 c | 17.48 | 0 | 28594 lb | 0 0 0.00 | 17.48/17.52 c | 17.53 | 0 | 28598 lb | 0 0 0.00 | 17.48/17.57 c | 17.57 | 0 | 28602 lb | 0 0 0.00 | 17.58/17.62 c | 17.62 | 0 | 28603 lb | 0 0 0.00 | 17.58/17.67 c | 17.67 | 0 | 28604 lb | 0 0 0.00 | 17.68/17.72 c | 17.72 | 0 | 28605 lb | 0 0 0.00 | 17.68/17.77 c | 17.78 | 0 | 28606 lb | 0 0 0.00 | 17.78/17.82 c | 17.82 | 0 | 28607 lb | 0 0 0.00 | 17.78/17.87 c | 17.88 | 0 | 28608 lb | 0 0 0.00 | 17.88/17.93 c | 17.93 | 0 | 28609 lb | 0 0 0.00 | 17.88/17.98 c | 17.98 | 0 | 28610 lb | 0 0 0.00 | 17.98/18.03 c | 18.04 | 0 | 28611 lb | 0 0 0.00 | 22.27/22.32 c | 22.32 | 0 | 28612 lb | 0 0 0.00 | 22.37/22.40 c | 22.40 | 0 | 28613 lb | 0 0 0.00 | 22.37/22.44 c | 22.44 | 0 | 28614 lb | 0 0 0.00 | 22.37/22.50 c | 22.50 | 0 | 28615 lb | 0 0 0.00 | 22.47/22.55 c | 22.55 | 0 | 28616 lb | 0 0 0.00 | 22.57/22.60 c | 22.60 | 0 | 28619 lb | 0 0 0.00 | 22.57/22.65 c | 22.65 | 0 | 28621 lb | 0 0 0.00 | 22.67/22.70 c | 22.70 | 0 | 28623 lb | 0 0 0.00 | 22.87/23.00 c | 23.00 | 0 | 28624 lb | 0 0 0.00 | 22.98/23.05 c | 23.06 | 0 | 28625 lb | 0 0 0.00 | 23.08/23.10 c | 23.11 | 0 | 28626 lb | 0 0 0.00 | 52.85/52.99 c | 52.99 | 0 | 28627 lb | 0 0 0.00 | 53.06/53.11 c | 53.11 | 0 | 28628 lb | 0 0 0.00 | 53.06/53.16 c | 53.17 | 0 | 28629 lb | 0 0 0.00 | 73.24/73.34 c | 73.35 | 0 | 28630 lb | 0 0 0.00 | 91.14/91.25 c | 91.25 | 0 | 28631 lb | 0 0 0.00 | 91.24/91.36 c | 91.36 | 0 | 28632 lb | 0 0 0.00 | 91.33/91.43 c | 91.43 | 0 | 28633 lb | 0 0 0.00 | 91.43/91.50 c | 91.50 | 0 | 28641 lb | 0 0 0.00 | 91.43/91.55 c | 91.56 | 0 | 28642 lb | 0 0 0.00 | 91.53/91.64 c | 91.64 | 0 | 28643 lb | 0 0 0.00 | 91.63/91.71 c | 91.71 | 0 | 28644 lb | 0 0 0.00 | 91.63/91.78 c | 91.78 | 0 | 28645 lb | 0 0 0.00 | 91.73/91.84 c | 91.85 | 0 | 28646 lb | 0 0 0.00 | 91.83/91.91 c | 91.92 | 0 | 28647 lb | 0 0 0.00 | 91.83/91.98 c | 91.98 | 0 | 28648 lb | 0 0 0.00 | 91.93/92.05 c | 92.06 | 0 | 28649 lb | 0 0 0.00 | 155.62/155.72 c | 155.73 | 0 | 28650 lb | 0 0 0.00 | 155.82/155.91 c | 155.91 | 0 | 28651 lb | 0 0 0.00 | 427.83/428.03 c | 428.03 | 0 | 28652 lb | 0 0 0.00 | 428.22/428.47 c | 428.47 | 0 | 28653 lb | 0 0 0.00 | 428.32/428.52 c | 428.52 | 0 | 28657 lb | 0 0 0.00 | 436.62/436.83 c | 436.84 | 0 | 28658 lb | 0 0 0.00 | 437.62/437.86 c | 437.86 | 0 | 28659 lb | 0 0 0.00 | 437.72/437.92 c | 437.93 | 0 | 28660 lb | 0 0 0.00 | 437.72/437.99 c | 438.00 | 0 | 28661 lb | 0 0 0.00 | 437.82/438.05 c | 438.06 | 0 | 28662 lb | 0 0 0.00 | 437.92/438.12 c | 438.13 | 0 | 28663 lb | 0 0 0.00 | 437.92/438.19 c | 438.20 | 0 | 28664 lb | 0 0 0.00 | 438.02/438.25 c | 438.26 | 0 | 28665 lb | 0 0 0.00 | 438.12/438.32 c | 438.32 | 0 | 28666 lb | 0 0 0.00 | 1240.50/1240.85 c | 1240.86 | 0 | 28667 lb | 0 0 0.00 | 1241.19/1241.59 c | 1241.59 | 0 | 28668 lb | 0 0 0.00 | 1377.97/1378.34 c | 1378.34 | 0 | 28669 lb | 0 0 0.00 | 1378.26/1378.61 c | 1378.62 | 0 | 28670 lb | 0 0 0.00 | 1378.26/1378.67 c | 1378.67 | 0 | 28671 lb | 0 0 0.00 | 1378.36/1378.75 c | 1378.75 | 0 | 28672 lb | 0 0 0.00 | 1378.46/1378.82 c | 1378.83 | 0 | 28673 lb | 0 0 0.00 | 1378.56/1378.90 c | 1378.90 | 0 | 28674 lb | 0 0 0.00 | 1378.56/1378.96 c | 1378.96 | 0 | 28675 lb | 0 0 0.00 | 1378.66/1379.03 c | 1379.03 | 0 | 28676 lb | 0 0 0.00 | 1378.66/1379.09 c | 1379.09 | 0 | 28677 lb | 0 0 0.00 | 1383.16/1383.54 c | 1383.54 | 0 | 28678 lb | 0 0 0.00 | 1383.26/1383.63 c | 1383.63 | 0 | 28679 lb | 0 0 0.00 | 1383.26/1383.70 c | 1383.70 | 0 | 28680 lb | 0 0 0.00 | 1383.37/1383.76 c | 1383.77 | 0 | 28681 lb | 0 0 0.00 | 1383.47/1383.84 c | 1383.84 | 0 | 28682 lb | 0 0 0.00 | 1383.56/1383.92 c | 1383.92 | 0 | 28683 lb | 0 0 0.00 | 1383.56/1383.99 c | 1383.99 | 0 | 28684 lb | 0 0 0.00 | 1383.66/1384.06 c | 1384.07 | 0 | 28685 lb | 0 0 0.00 | 1383.76/1384.15 c | 1384.15 | 0 | 28686 lb | 0 0 0.00 | 1383.86/1384.22 c | 1384.22 | 0 | 28687 lb | 0 0 0.00 | 1383.86/1384.29 c | 1384.30 | 0 | 28688 lb | 0 0 0.00 | 1383.96/1384.36 c | 1384.36 | 0 | 28689 lb | 0 0 0.00 | 1384.06/1384.42 c | 1384.42 | 0 | 28690 lb | 0 0 0.00 | 1384.06/1384.49 c | 1384.50 | 0 | 28691 lb | 0 0 0.00 | 1384.16/1384.56 c | 1384.56 | 0 | 28692 lb | 0 0 0.00 | 1384.26/1384.63 c | 1384.63 | 0 | 28693 lb | 0 0 0.00 | 1384.26/1384.69 c | 1384.69 | 0 | 28694 lb | 0 0 0.00 | 1384.36/1384.75 c | 1384.76 | 0 | 28695 lb | 0 0 0.00 | 1384.47/1384.82 c | 1384.82 | 0 | 28696 lb | 0 0 0.00 | 1384.47/1384.88 c | 1384.88 | 0 | 28697 lb | 0 0 0.00 | 1434.45/1434.83 c | 1434.84 | 0 | 28698 lb | 0 0 0.00 | 1434.65/1435.01 c | 1435.01 | 0 | 28699 lb | 0 0 0.00 | 1434.65/1435.06 c | 1435.07 | 0 | 28700 lb | 0 0 0.00 | 1434.75/1435.14 c | 1435.14 | 0 | 28701 lb | 0 0 0.00 | 1434.85/1435.20 c | 1435.20 | 0 | 28702 lb | 0 0 0.00 | 1434.85/1435.27 c | 1435.28 | 0 | 28703 lb | 0 0 0.00 | 1434.95/1435.34 c | 1435.34 | 0 | 28705 lb | 0 0 0.00 | 1435.06/1435.41 c | 1435.41 | 0 | 28706 lb | 0 0 0.00 | 1435.06/1435.48 c | 1435.48 | 0 | 28707 lb | 0 0 0.00 | 1435.16/1435.55 c | 1435.56 | 0 | 28708 lb | 0 0 0.00 | 1435.25/1435.61 c | 1435.62 | 0 | 28709 lb | 0 0 0.00 | 1435.25/1435.68 c | 1435.68 | 0 | 28710 lb | 0 0 0.00 | 1435.35/1435.74 c | 1435.74 | 0 | 28711 lb | 0 0 0.00 | 1435.45/1435.82 c | 1435.82 | 0 | 28712 lb | 0 0 0.00 | 1435.45/1435.88 c | 1435.89 | 0 | 28713 lb | 0 0 0.00 | 1435.55/1435.95 c | 1435.96 | 0 | 28714 lb | 0 0 0.00 | 1435.65/1436.03 c | 1436.03 | 0 | 28715 lb | 0 0 0.00 | 1435.75/1436.11 c | 1436.11 | 0 | 28716 lb | 0 0 0.00 | 1435.75/1436.18 c | 1436.18 | 0 | 28717 lb | 0 0 0.00 | 1435.85/1436.29 c | 1436.30 | 0 | 28718 lb | 0 0 0.00 | 1435.95/1436.38 c | 1436.39 | 0 | 28719 lb | 0 0 0.00 | 1436.05/1436.46 c | 1436.46 | 0 | 28722 lb | 0 0 0.00 | 1436.16/1436.53 c | 1436.54 | 0 | 28723 lb | 0 0 0.00 | 1436.26/1436.61 c | 1436.62 | 0 | 28724 lb | 0 0 0.00 | 1436.26/1436.69 c | 1436.69 | 0 | 28725 lb | 0 0 0.00 | 1436.35/1436.75 c | 1436.75 | 0 | 28726 lb | 0 0 0.00 | 1460.15/1460.56 c | 1460.56 | 0 | 28727 lb | 0 0 0.00 | 1479.65/1480.05 c | 1480.05 | 0 | 28728 lb | 0 0 0.00 | 1479.75/1480.18 c | 1480.18 | 0 | 28729 lb | 0 0 0.00 | 1479.85/1480.25 c | 1480.25 | 0 | 28730 lb | 0 0 0.00 | 1492.64/1493.03 c | 1493.03 | 0 | 28731 lb | 0 0 0.00 | 1492.74/1493.15 c | 1493.15 | 0 | 28732 lb | 0 0 0.00 | 1492.84/1493.21 c | 1493.21 | 0 | 28734 lb | 0 0 0.00 | 1492.84/1493.29 c | 1493.29 | 0 | 28735 lb | 0 0 0.00 | 1492.94/1493.36 c | 1493.37 | 0 | 28736 lb | 0 0 0.00 | 1493.04/1493.46 c | 1493.46 | 0 | 28737 lb | 0 0 0.00 | 1493.14/1493.52 c | 1493.53 | 0 | 28759 lb | 0 0 0.00 | 1493.24/1493.61 c | 1493.61 | 0 | 28760 lb | 0 0 0.00 | 1493.24/1493.69 c | 1493.69 | 0 | 28761 lb | 0 0 0.00 | 1493.35/1493.76 c | 1493.77 | 0 | 28762 lb | 0 0 0.00 | 1493.45/1493.84 c | 1493.85 | 0 | 28763 lb | 0 0 0.00 | 1493.54/1493.91 c | 1493.91 | 0 | 28765 lb | 0 0 0.00 | 1493.54/1493.97 c | 1493.98 | 0 | 28766 lb | 0 0 0.00 | 1493.64/1494.04 c | 1494.04 | 0 | 28768 lb | 0 0 0.00 | 1505.45/1505.88 c | 1505.88 | 0 | 28769 lb | 0 0 0.00 | 1505.64/1506.00 c | 1506.01 | 0 | 28770 lb | 0 0 0.00 | 1505.64/1506.07 c | 1506.08 | 0 | 28771 lb | 0 0 0.00 | 1505.74/1506.16 c | 1506.16 | 0 | 28772 lb | 0 0 0.00 | 1505.84/1506.24 c | 1506.24 | 0 | 28773 lb | 0 0 0.00 | 1505.94/1506.33 c | 1506.33 | 0 | 28774 lb | 0 0 0.00 | 1506.04/1506.40 c | 1506.40 | 0 | 28775 lb | 0 0 0.00 | 1506.04/1506.48 c | 1506.49 | 0 | 28776 lb | 0 0 0.00 | 1506.15/1506.55 c | 1506.56 | 0 | 28778 lb | 0 0 0.00 | 1506.25/1506.64 c | 1506.64 | 0 | 28779 lb | 0 0 0.00 | 1506.35/1506.71 c | 1506.71 | 0 | 28780 lb | 0 0 0.00 | 1506.35/1506.79 c | 1506.79 | 0 | 28781 lb | 0 0 0.00 | 1506.45/1506.86 c | 1506.86 | 0 | 28782 lb | 0 0 0.00 | 1506.56/1506.93 c | 1506.93 | 0 | 28783 lb | 0 0 0.00 | 1506.56/1507.00 c | 1507.00 | 0 | 28784 lb | 0 0 0.00 | 1506.66/1507.08 c | 1507.08 | 0 | 28785 lb | 0 0 0.00 | 1506.75/1507.15 c | 1507.15 | 0 | 28786 lb | 0 0 0.00 | 1506.85/1507.22 c | 1507.22 | 0 | 28787 lb | 0 0 0.00 | 1506.85/1507.28 c | 1507.29 | 0 | 28789 lb | 0 0 0.00 | 1602.62/1603.06 c | 1603.06 | 0 | 28790 lb | 0 0 0.00 | 1651.31/1651.79 c | 1651.79 | 0 | 28791 lb | 0 0 0.00 | 1651.51/1651.99 c | 1651.99 | 0 | 28792 lb | 0 0 0.00 | 1651.61/1652.08 c | 1652.08 | 0 | 28793 lb | 0 0 0.00 | 1651.71/1652.17 c | 1652.17 | 0 | 28794 lb | 0 0 0.00 | 1651.81/1652.25 c | 1652.25 | 0 | 28796 lb | 0 0 0.00 | 1651.91/1652.34 c | 1652.34 | 0 | 28797 lb | 0 0 0.00 | 1652.01/1652.41 c | 1652.41 | 0 | 28798 lb | 0 0 0.00 | 1652.11/1652.50 c | 1652.50 | 0 | 28799 lb | 0 0 0.00 | 1652.11/1652.58 c | 1652.58 | 0 | 28800 lb | 0 0 0.00 | 1652.21/1652.65 c | 1652.66 | 0 | 28801 lb | 0 0 0.00 | 1652.31/1652.73 c | 1652.73 | 0 | 28802 lb | 0 0 0.00 | 1652.41/1652.82 c | 1652.82 | 0 | 28803 lb | 0 0 0.00 | 1799.59/1800.00 c =============================================================================== 1799.59/1800.00 c Wall Clock Time: 1800.00 s 1799.59/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-3727385-1338655122/watcher-3727385-1338655122 -o /tmp/evaluation-result-3727385-1338655122/solver-3727385-1338655122 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727385-1338655122.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.01 1.92 3/177 21641 /proc/meminfo: memFree=26462056/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=4440 CPUtime=0 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) R 21639 21641 19663 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 1 0 331639618 4546560 362 33554432000 4194304 5964350 140735280439824 140734786407384 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 1110 363 171 433 0 450 0 [startup+0.0924809 s] /proc/loadavg: 2.05 2.01 1.92 3/177 21641 /proc/meminfo: memFree=26462056/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=88924 CPUtime=0.08 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 3522 0 0 0 8 0 0 0 20 0 2 0 331639618 91058176 3218 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 22231 3218 193 433 0 21795 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 88924 [startup+0.100205 s] /proc/loadavg: 2.05 2.01 1.92 3/177 21641 /proc/meminfo: memFree=26462056/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=88780 CPUtime=0.08 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 3665 0 0 0 8 0 0 0 20 0 2 0 331639618 90910720 3328 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 22195 3328 193 433 0 21759 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 88780 [startup+0.300158 s] /proc/loadavg: 2.05 2.01 1.92 3/177 21641 /proc/meminfo: memFree=26462056/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=88780 CPUtime=0.29 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 5958 0 0 0 28 1 0 0 20 0 2 0 331639618 90910720 5621 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 22195 5621 193 433 0 21759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 88780 [startup+0.700167 s] /proc/loadavg: 2.05 2.01 1.92 3/177 21641 /proc/meminfo: memFree=26462056/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=88780 CPUtime=0.69 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 10047 0 0 0 67 2 0 0 20 0 2 0 331639618 90910720 9710 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 22195 9710 193 433 0 21759 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 88780 [startup+1.50031 s] /proc/loadavg: 2.05 2.01 1.92 3/179 21643 /proc/meminfo: memFree=26413060/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=88996 CPUtime=1.48 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 17459 0 0 0 145 3 0 0 20 0 2 0 331639618 91131904 17122 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 22249 17122 193 433 0 21813 0 [pid=21641/tid=21643] ppid=21639 vsize=88996 CPUtime=1.41 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 15236 0 0 0 138 3 0 0 20 0 2 0 331639625 91131904 17122 33554432000 4194304 5964350 140735280439824 139947531972928 5130914 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 88996 [startup+3.10031 s] /proc/loadavg: 2.05 2.01 1.92 3/179 21643 /proc/meminfo: memFree=26378712/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=154316 CPUtime=3.07 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 27462 0 0 0 302 5 0 0 20 0 2 0 331639618 158019584 27041 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 38579 27041 195 433 0 38143 0 [pid=21641/tid=21643] ppid=21639 vsize=154316 CPUtime=3.01 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 25239 0 0 0 295 6 0 0 20 0 2 0 331639625 158019584 27041 33554432000 4194304 5964350 140735280439824 139947531983192 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 154316 [startup+6.30031 s] /proc/loadavg: 2.05 2.01 1.92 3/179 21682 /proc/meminfo: memFree=27087696/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=221136 CPUtime=6.28 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 43230 0 0 0 618 10 0 0 20 0 2 0 331639618 226443264 42543 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 55284 42543 197 433 0 54848 0 [pid=21641/tid=21643] ppid=21639 vsize=221136 CPUtime=6.21 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 41007 0 0 0 611 10 0 0 20 0 2 0 331639625 226443264 42543 33554432000 4194304 5964350 140735280439824 139947531983192 4444974 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 221136 [startup+12.7003 s] /proc/loadavg: 2.04 2.01 1.92 3/179 21682 /proc/meminfo: memFree=26981700/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=285256 CPUtime=12.68 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 71411 0 0 0 1254 14 0 0 20 0 2 0 331639618 292102144 65564 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 71314 65564 197 433 0 70878 0 [pid=21641/tid=21643] ppid=21639 vsize=285256 CPUtime=12.61 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 69188 0 0 0 1247 14 0 0 20 0 2 0 331639625 292102144 65564 33554432000 4194304 5964350 140735280439824 139947531983384 5139086 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 285256 [startup+25.5002 s] /proc/loadavg: 2.03 2.01 1.92 3/179 21682 /proc/meminfo: memFree=26904352/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=350792 CPUtime=25.48 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 89127 0 0 0 2531 17 0 0 20 0 2 0 331639618 359211008 77567 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 87698 77567 197 433 0 87262 0 [pid=21641/tid=21643] ppid=21639 vsize=350792 CPUtime=25.41 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 86904 0 0 0 2524 17 0 0 20 0 2 0 331639625 359211008 77567 33554432000 4194304 5964350 140735280439824 139947531983384 4389067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 350792 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 1.92 3/179 21682 /proc/meminfo: memFree=26862516/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=416328 CPUtime=51.05 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 95928 0 0 0 5086 19 0 0 20 0 2 0 331639618 426319872 84349 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 104082 84349 197 433 0 103646 0 [pid=21641/tid=21643] ppid=21639 vsize=416328 CPUtime=51 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 93705 0 0 0 5080 20 0 0 20 0 2 0 331639625 426319872 84349 33554432000 4194304 5964350 140735280439824 139947531982648 4400448 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 416328 [startup+102.307 s] /proc/loadavg: 2.01 2.00 1.92 3/180 21685 /proc/meminfo: memFree=26844888/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=416328 CPUtime=102.24 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 97417 0 0 0 10204 20 0 0 20 0 2 0 331639618 426319872 85029 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 104082 85029 197 433 0 103646 0 [pid=21641/tid=21643] ppid=21639 vsize=416328 CPUtime=102.18 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 95194 0 0 0 10197 21 0 0 20 0 2 0 331639625 426319872 85029 33554432000 4194304 5964350 140735280439824 139947531983384 4379072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 416328 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.92 3/179 21685 /proc/meminfo: memFree=26762980/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=416328 CPUtime=162.22 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 104894 0 0 0 16200 22 0 0 20 0 2 0 331639618 426319872 92502 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 104082 92502 197 433 0 103646 0 [pid=21641/tid=21643] ppid=21639 vsize=416328 CPUtime=162.18 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 102671 0 0 0 16193 25 0 0 20 0 2 0 331639625 426319872 92502 33554432000 4194304 5964350 140735280439824 139947531983384 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 416328 [startup+222.3 s] /proc/loadavg: 2.04 2.01 1.93 3/179 21685 /proc/meminfo: memFree=26721168/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=416328 CPUtime=222.21 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 104986 0 0 0 22199 22 0 0 20 0 2 0 331639618 426319872 93095 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 104082 93095 197 433 0 103646 0 [pid=21641/tid=21643] ppid=21639 vsize=416328 CPUtime=222.18 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 102763 0 0 0 22192 26 0 0 20 0 2 0 331639625 426319872 93095 33554432000 4194304 5964350 140735280439824 139947531983384 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 416328 [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.93 3/179 21685 /proc/meminfo: memFree=26656284/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=482948 CPUtime=282.2 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 113553 0 0 0 28191 29 0 0 20 0 2 0 331639618 494538752 101661 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 120737 101661 197 433 0 120301 0 [pid=21641/tid=21643] ppid=21639 vsize=482948 CPUtime=282.18 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 111330 0 0 0 28184 34 0 0 20 0 2 0 331639625 494538752 101661 33554432000 4194304 5964350 140735280439824 139947531982840 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 482948 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21686 /proc/meminfo: memFree=26597632/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=483488 CPUtime=342.19 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 118578 0 0 0 34184 35 0 0 20 0 2 0 331639618 495091712 106681 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 120872 106681 197 433 0 120436 0 [pid=21641/tid=21643] ppid=21639 vsize=483488 CPUtime=342.19 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 116355 0 0 0 34179 40 0 0 20 0 2 0 331639625 495091712 106681 33554432000 4194304 5964350 140735280439824 139947531982648 5142878 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 483488 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21686 /proc/meminfo: memFree=26535496/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=483488 CPUtime=402.15 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 126349 0 0 0 40173 42 0 0 20 0 2 0 331639618 495091712 114639 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 120872 114639 197 433 0 120436 0 [pid=21641/tid=21643] ppid=21639 vsize=483488 CPUtime=402.15 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 124126 0 0 0 40166 49 0 0 20 0 2 0 331639625 495091712 114639 33554432000 4194304 5964350 140735280439824 139947531982648 4400342 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 483488 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 21686 /proc/meminfo: memFree=26499288/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=547400 CPUtime=462.11 cores=1,3,5,7 ################ # More data... # ################ /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 163967 0 0 0 130129 89 0 0 20 0 2 0 331639625 627646464 148473 33554432000 4194304 5964350 140735280439824 139947531983688 4399832 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 612936 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 21718 /proc/meminfo: memFree=26104884/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1361.97 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166197 0 0 0 136128 69 0 0 20 0 2 0 331639618 627646464 148480 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 148480 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1362.17 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 163974 0 0 0 136127 90 0 0 20 0 2 0 331639625 627646464 148480 33554432000 4194304 5964350 140735280439824 139947531983688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 612936 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21718 /proc/meminfo: memFree=26103732/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1421.96 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166249 0 0 0 142127 69 0 0 20 0 2 0 331639618 627646464 148532 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 148532 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1422.18 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164026 0 0 0 142127 91 0 0 20 0 2 0 331639625 627646464 148532 33554432000 4194304 5964350 140735280439824 139947531983384 4389067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 612936 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21718 /proc/meminfo: memFree=26093192/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1481.95 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166250 0 0 0 148126 69 0 0 20 0 2 0 331639618 627646464 148533 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 148533 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1482.18 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164027 0 0 0 148126 92 0 0 20 0 2 0 331639625 627646464 148533 33554432000 4194304 5964350 140735280439824 139947531983384 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 612936 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21719 /proc/meminfo: memFree=26065008/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1541.94 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166262 0 0 0 154124 70 0 0 20 0 2 0 331639618 627646464 149032 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149032 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1542.17 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164039 0 0 0 154124 93 0 0 20 0 2 0 331639625 627646464 149032 33554432000 4194304 5964350 140735280439824 139947531983384 4400448 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 612936 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21719 /proc/meminfo: memFree=26043628/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1601.92 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166285 0 0 0 160122 70 0 0 20 0 2 0 331639618 627646464 149279 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149279 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1602.16 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164062 0 0 0 160122 94 0 0 20 0 2 0 331639625 627646464 149279 33554432000 4194304 5964350 140735280439824 139947531983384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 612936 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/178 21719 /proc/meminfo: memFree=26043976/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1661.91 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 166121 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1662.16 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 166121 95 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4399904 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 612936 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26020124/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1721.9 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 172120 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1722.17 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 172121 96 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 612936 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26012932/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1781.89 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 178119 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1782.17 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 178120 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 612936 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26008840/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1791.49 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179079 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1791.78 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179081 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (KiB) 612936 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26008096/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1794.69 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179399 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1794.98 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179401 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 612936 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26006484/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1797.89 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179719 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1798.17 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179720 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4400003 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 612936 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26005740/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1798.69 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179799 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1798.97 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179800 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (KiB) 612936 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26005120/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1799.09 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179839 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1799.38 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179841 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.09 Current children cumulated vsize (KiB) 612936 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26005120/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1799.49 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179879 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1799.77 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179880 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (KiB) 612936 [startup+1800 s] /proc/loadavg: 2.00 2.00 1.94 3/179 21720 /proc/meminfo: memFree=26005120/32873648 swapFree=7120/7120 [pid=21641] ppid=21639 vsize=612936 CPUtime=1799.59 cores=1,3,5,7 /proc/21641/stat : 21641 (wbo1.72) S 21639 21641 19663 0 -1 4202496 166286 0 0 0 179889 70 0 0 20 0 2 0 331639618 627646464 149280 33554432000 4194304 5964350 140735280439824 140735280439344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/21641/statm: 153234 149280 197 433 0 152798 0 [pid=21641/tid=21643] ppid=21639 vsize=612936 CPUtime=1799.87 cores=1,3,5,7 /proc/21641/task/21643/stat : 21643 (wbo1.72) R 21639 21641 19663 0 -1 4202560 164063 0 0 0 179890 97 0 0 20 0 2 0 331639625 627646464 149280 33554432000 4194304 5964350 140735280439824 139947531983384 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 612936 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.97 CPU user time (s): 1798.98 CPU system time (s): 0.986849 CPU usage (%): 99.9977 Max. virtual memory (cumulated for all children) (KiB): 682120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 0.986849 maximum resident set size= 617036 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166288 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= 168 involuntary context switches= 1905 runsolver used 3.50147 second user time and 8.72967 second system time The end
Begin job on node114 at 2012-06-02 18:38:43 IDJOB=3727385 IDBENCH=2008 IDSOLVER=2313 FILE ID=node114/3727385-1338655122 RUNJOBID= node114-1338651437-21207 PBS_JOBID= 14636466 Free space on /tmp= 70452 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727385-1338655122/watcher-3727385-1338655122 -o /tmp/evaluation-result-3727385-1338655122/solver-3727385-1338655122 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727385-1338655122.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED=1820835451 node114.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.242 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.48 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.242 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.242 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 : 5451.90 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.242 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.242 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.242 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.242 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.242 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26462964 kB Buffers: 881448 kB Cached: 3771596 kB SwapCached: 2312 kB Active: 2983756 kB Inactive: 2470892 kB Active(anon): 787548 kB Inactive(anon): 8448 kB Active(file): 2196208 kB Inactive(file): 2462444 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67103580 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 892844 kB Mapped: 11784 kB Shmem: 104 kB Slab: 814788 kB SReclaimable: 259136 kB SUnreclaim: 555652 kB KernelStack: 1488 kB PageTables: 5748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 146040 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 751616 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70444 MiB End job on node114 at 2012-06-02 19:08:43