Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1799.77 | 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705084-1338090873.opb. 0.00/0.00 c Instance file HOME/instance-3705084-1338090873.opb 0.00/0.00 c File size is 913860 bytes. 0.03/0.06 c Cost Offset: 0 0.03/0.06 c Highest Coefficient sum: 60 0.03/0.06 c ============================[ Problem Statistics ]============================= 0.03/0.06 c | | 0.03/0.06 c | Parsing time: 0.07 s | 0.03/0.06 c | Number Variables: 1344 | 0.03/0.06 c | Number Clauses: 8488 | 0.03/0.06 c | Number Cardinality: 496 | 0.03/0.06 c | Number PB Constraints: 7392 | 0.03/0.06 c | | 0.03/0.07 c | Problem Type: Optimization | 0.03/0.07 c | Objective Function: PB Constraint | 0.03/0.07 c | | 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Time (s) | ID | Bound | Shared Clauses | 0.03/0.07 c | | | value type | expCls impCls Lit/impCl | 0.03/0.07 c =============================================================================== 0.03/0.08 c | 0.08 | 0 | 370 lb | 0 0 0.00 | 0.03/0.09 c | 0.09 | 0 | 450 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 530 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 867 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 1472 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 1725 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 1975 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2225 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2595 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2675 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2755 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 3092 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 3697 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 3950 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 4200 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 4450 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 4530 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 4610 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 4947 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 5182 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 5333 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 5550 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 5920 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 6177 lb | 0 0 0.00 | 0.19/0.29 c | 0.30 | 0 | 6782 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 7017 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 7267 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 7517 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 7887 lb | 0 0 0.00 | 0.29/0.34 c | 0.35 | 0 | 8187 lb | 0 0 0.00 | 0.29/0.35 c | 0.36 | 0 | 8792 lb | 0 0 0.00 | 0.29/0.36 c | 0.37 | 0 | 8969 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | 9219 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 9469 lb | 0 0 0.00 | 0.29/0.39 c | 0.40 | 0 | 9839 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 9882 lb | 0 0 0.00 | 0.39/0.41 c | 0.42 | 0 | 10487 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 10558 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 10808 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 11058 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 11138 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 11218 lb | 0 0 0.00 | 0.39/0.47 c | 0.48 | 0 | 11555 lb | 0 0 0.00 | 0.39/0.48 c | 0.49 | 0 | 11808 lb | 0 0 0.00 | 0.39/0.49 c | 0.50 | 0 | 12058 lb | 0 0 0.00 | 0.49/0.50 c | 0.51 | 0 | 12308 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | 12576 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 12638 lb | 0 0 0.00 | 0.49/0.54 c | 0.54 | 0 | 12642 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 12797 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 13402 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 13559 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | 13679 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 13759 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 13839 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 14176 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 14781 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | 14784 lb | 0 0 0.00 | 0.59/0.64 c | 0.65 | 0 | 15121 lb | 0 0 0.00 | 0.59/0.65 c | 0.66 | 0 | 15201 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 15281 lb | 0 0 0.00 | 0.59/0.67 c | 0.68 | 0 | 15618 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 16223 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 16383 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 16426 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 16454 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 16683 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 16918 lb | 0 0 0.00 | 0.69/0.75 c | 0.76 | 0 | 16946 lb | 0 0 0.00 | 0.69/0.76 c | 0.77 | 0 | 17163 lb | 0 0 0.00 | 0.69/0.77 c | 0.78 | 0 | 17336 lb | 0 0 0.00 | 0.69/0.78 c | 0.79 | 0 | 17571 lb | 0 0 0.00 | 0.79/0.80 c | 0.80 | 0 | 17574 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 17722 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 17953 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | 18188 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 18191 lb | 0 0 0.00 | 0.79/0.85 c | 0.86 | 0 | 18296 lb | 0 0 0.00 | 0.79/0.86 c | 0.87 | 0 | 18339 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 18574 lb | 0 0 0.00 | 0.79/0.89 c | 0.89 | 0 | 18577 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | 18645 lb | 0 0 0.00 | 0.89/0.91 c | 0.91 | 0 | 18688 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 18716 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | 18871 lb | 0 0 0.00 | 0.89/0.94 c | 0.95 | 0 | 18933 lb | 0 0 0.00 | 0.89/0.95 c | 0.96 | 0 | 18937 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 19092 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 19429 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 19586 lb | 0 0 0.00 | 0.99/1.00 c | 1.01 | 0 | 19621 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | 19878 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | 19886 lb | 0 0 0.00 | 0.99/1.04 c | 1.04 | 0 | 20371 lb | 0 0 0.00 | 0.99/1.05 c | 1.05 | 0 | 20374 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | 20417 lb | 0 0 0.00 | 0.99/1.07 c | 1.08 | 0 | 20433 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | 20674 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 20942 lb | 0 0 0.00 | 1.09/1.11 c | 1.11 | 0 | 20954 lb | 0 0 0.00 | 1.09/1.12 c | 1.12 | 0 | 20961 lb | 0 0 0.00 | 1.09/1.13 c | 1.14 | 0 | 21045 lb | 0 0 0.00 | 1.09/1.14 c | 1.15 | 0 | 21114 lb | 0 0 0.00 | 1.09/1.16 c | 1.16 | 0 | 21466 lb | 0 0 0.00 | 1.09/1.17 c | 1.17 | 0 | 21519 lb | 0 0 0.00 | 1.09/1.18 c | 1.18 | 0 | 21529 lb | 0 0 0.00 | 1.09/1.19 c | 1.19 | 0 | 21593 lb | 0 0 0.00 | 1.18/1.20 c | 1.21 | 0 | 21597 lb | 0 0 0.00 | 1.18/1.21 c | 1.22 | 0 | 21599 lb | 0 0 0.00 | 1.18/1.23 c | 1.23 | 0 | 21706 lb | 0 0 0.00 | 1.18/1.24 c | 1.24 | 0 | 21847 lb | 0 0 0.00 | 1.18/1.25 c | 1.25 | 0 | 21854 lb | 0 0 0.00 | 1.18/1.26 c | 1.26 | 0 | 21956 lb | 0 0 0.00 | 1.18/1.27 c | 1.28 | 0 | 22000 lb | 0 0 0.00 | 1.18/1.28 c | 1.29 | 0 | 22040 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | 22073 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 22196 lb | 0 0 0.00 | 1.29/1.32 c | 1.33 | 0 | 22340 lb | 0 0 0.00 | 1.29/1.34 c | 1.34 | 0 | 22347 lb | 0 0 0.00 | 1.29/1.35 c | 1.36 | 0 | 22410 lb | 0 0 0.00 | 1.29/1.37 c | 1.37 | 0 | 22428 lb | 0 0 0.00 | 1.29/1.38 c | 1.39 | 0 | 22432 lb | 0 0 0.00 | 1.39/1.40 c | 1.40 | 0 | 22437 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | 22490 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | 22527 lb | 0 0 0.00 | 1.39/1.44 c | 1.45 | 0 | 22566 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 22570 lb | 0 0 0.00 | 1.39/1.47 c | 1.48 | 0 | 22607 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | 22713 lb | 0 0 0.00 | 1.49/1.50 c | 1.50 | 0 | 22752 lb | 0 0 0.00 | 1.49/1.52 c | 1.52 | 0 | 22811 lb | 0 0 0.00 | 1.49/1.53 c | 1.54 | 0 | 22814 lb | 0 0 0.00 | 1.49/1.55 c | 1.55 | 0 | 22848 lb | 0 0 0.00 | 1.49/1.56 c | 1.57 | 0 | 22864 lb | 0 0 0.00 | 1.49/1.58 c | 1.58 | 0 | 22951 lb | 0 0 0.00 | 1.49/1.59 c | 1.60 | 0 | 22959 lb | 0 0 0.00 | 1.59/1.61 c | 1.61 | 0 | 23218 lb | 0 0 0.00 | 1.59/1.63 c | 1.63 | 0 | 23232 lb | 0 0 0.00 | 1.59/1.64 c | 1.65 | 0 | 23311 lb | 0 0 0.00 | 1.59/1.66 c | 1.66 | 0 | 23338 lb | 0 0 0.00 | 1.59/1.68 c | 1.68 | 0 | 23351 lb | 0 0 0.00 | 1.59/1.69 c | 1.70 | 0 | 23371 lb | 0 0 0.00 | 1.69/1.71 c | 1.72 | 0 | 23453 lb | 0 0 0.00 | 1.69/1.73 c | 1.73 | 0 | 23478 lb | 0 0 0.00 | 1.69/1.75 c | 1.75 | 0 | 23499 lb | 0 0 0.00 | 1.69/1.76 c | 1.77 | 0 | 23588 lb | 0 0 0.00 | 1.69/1.78 c | 1.78 | 0 | 23678 lb | 0 0 0.00 | 1.79/1.80 c | 1.80 | 0 | 23681 lb | 0 0 0.00 | 1.79/1.82 c | 1.82 | 0 | 23687 lb | 0 0 0.00 | 1.79/1.83 c | 1.84 | 0 | 23736 lb | 0 0 0.00 | 1.79/1.85 c | 1.85 | 0 | 23777 lb | 0 0 0.00 | 1.79/1.87 c | 1.87 | 0 | 23788 lb | 0 0 0.00 | 1.79/1.89 c | 1.89 | 0 | 23814 lb | 0 0 0.00 | 1.89/1.90 c | 1.91 | 0 | 23822 lb | 0 0 0.00 | 1.89/1.92 c | 1.93 | 0 | 23838 lb | 0 0 0.00 | 1.89/1.94 c | 1.95 | 0 | 23982 lb | 0 0 0.00 | 1.89/1.96 c | 1.96 | 0 | 24017 lb | 0 0 0.00 | 1.89/1.98 c | 1.98 | 0 | 24062 lb | 0 0 0.00 | 1.89/1.99 c | 2.00 | 0 | 24208 lb | 0 0 0.00 | 1.99/2.01 c | 2.02 | 0 | 24288 lb | 0 0 0.00 | 1.99/2.03 c | 2.04 | 0 | 24368 lb | 0 0 0.00 | 1.99/2.05 c | 2.05 | 0 | 24488 lb | 0 0 0.00 | 1.99/2.07 c | 2.07 | 0 | 24594 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | 24615 lb | 0 0 0.00 | 2.09/2.10 c | 2.11 | 0 | 24689 lb | 0 0 0.00 | 2.09/2.12 c | 2.13 | 0 | 24753 lb | 0 0 0.00 | 2.09/2.14 c | 2.14 | 0 | 24762 lb | 0 0 0.00 | 2.09/2.16 c | 2.16 | 0 | 24787 lb | 0 0 0.00 | 2.09/2.18 c | 2.18 | 0 | 24871 lb | 0 0 0.00 | 2.09/2.20 c | 2.20 | 0 | 24940 lb | 0 0 0.00 | 2.19/2.22 c | 2.22 | 0 | 24948 lb | 0 0 0.00 | 2.19/2.24 c | 2.24 | 0 | 24956 lb | 0 0 0.00 | 2.19/2.26 c | 2.26 | 0 | 24963 lb | 0 0 0.00 | 2.19/2.28 c | 2.28 | 0 | 25027 lb | 0 0 0.00 | 2.28/2.30 c | 2.30 | 0 | 25030 lb | 0 0 0.00 | 2.28/2.32 c | 2.32 | 0 | 25046 lb | 0 0 0.00 | 2.28/2.34 c | 2.34 | 0 | 25061 lb | 0 0 0.00 | 2.28/2.36 c | 2.36 | 0 | 25062 lb | 0 0 0.00 | 2.28/2.38 c | 2.38 | 0 | 25065 lb | 0 0 0.00 | 2.39/2.40 c | 2.40 | 0 | 25067 lb | 0 0 0.00 | 2.39/2.42 c | 2.42 | 0 | 25073 lb | 0 0 0.00 | 2.39/2.44 c | 2.44 | 0 | 25084 lb | 0 0 0.00 | 2.39/2.46 c | 2.46 | 0 | 25098 lb | 0 0 0.00 | 2.39/2.48 c | 2.48 | 0 | 25134 lb | 0 0 0.00 | 2.49/2.50 c | 2.50 | 0 | 25142 lb | 0 0 0.00 | 2.49/2.52 c | 2.53 | 0 | 25186 lb | 0 0 0.00 | 2.49/2.54 c | 2.55 | 0 | 25212 lb | 0 0 0.00 | 2.49/2.56 c | 2.57 | 0 | 25219 lb | 0 0 0.00 | 2.49/2.58 c | 2.59 | 0 | 25223 lb | 0 0 0.00 | 2.59/2.61 c | 2.61 | 0 | 25230 lb | 0 0 0.00 | 2.59/2.63 c | 2.63 | 0 | 25239 lb | 0 0 0.00 | 2.59/2.65 c | 2.65 | 0 | 25252 lb | 0 0 0.00 | 2.59/2.67 c | 2.67 | 0 | 25255 lb | 0 0 0.00 | 2.59/2.69 c | 2.69 | 0 | 25272 lb | 0 0 0.00 | 2.69/2.71 c | 2.72 | 0 | 25276 lb | 0 0 0.00 | 2.69/2.73 c | 2.74 | 0 | 25278 lb | 0 0 0.00 | 2.69/2.76 c | 2.76 | 0 | 25281 lb | 0 0 0.00 | 2.69/2.78 c | 2.78 | 0 | 25284 lb | 0 0 0.00 | 2.78/2.80 c | 2.80 | 0 | 25328 lb | 0 0 0.00 | 2.78/2.82 c | 2.82 | 0 | 25407 lb | 0 0 0.00 | 2.78/2.84 c | 2.85 | 0 | 25427 lb | 0 0 0.00 | 2.78/2.86 c | 2.87 | 0 | 25438 lb | 0 0 0.00 | 2.78/2.88 c | 2.89 | 0 | 25445 lb | 0 0 0.00 | 2.88/2.91 c | 2.91 | 0 | 25465 lb | 0 0 0.00 | 2.88/2.93 c | 2.93 | 0 | 25472 lb | 0 0 0.00 | 2.88/2.95 c | 2.95 | 0 | 25478 lb | 0 0 0.00 | 2.88/2.97 c | 2.98 | 0 | 25550 lb | 0 0 0.00 | 2.88/2.99 c | 3.00 | 0 | 25585 lb | 0 0 0.00 | 2.98/3.02 c | 3.02 | 0 | 25588 lb | 0 0 0.00 | 2.98/3.04 c | 3.04 | 0 | 25598 lb | 0 0 0.00 | 2.98/3.06 c | 3.06 | 0 | 25601 lb | 0 0 0.00 | 2.98/3.08 c | 3.08 | 0 | 25622 lb | 0 0 0.00 | 3.08/3.10 c | 3.11 | 0 | 25702 lb | 0 0 0.00 | 3.08/3.13 c | 3.13 | 0 | 25724 lb | 0 0 0.00 | 3.08/3.15 c | 3.15 | 0 | 25734 lb | 0 0 0.00 | 3.08/3.17 c | 3.17 | 0 | 25742 lb | 0 0 0.00 | 3.08/3.19 c | 3.20 | 0 | 25750 lb | 0 0 0.00 | 3.19/3.22 c | 3.22 | 0 | 25767 lb | 0 0 0.00 | 3.19/3.24 c | 3.24 | 0 | 25797 lb | 0 0 0.00 | 3.19/3.26 c | 3.26 | 0 | 25812 lb | 0 0 0.00 | 3.19/3.28 c | 3.29 | 0 | 25822 lb | 0 0 0.00 | 3.29/3.30 c | 3.31 | 0 | 25826 lb | 0 0 0.00 | 3.29/3.33 c | 3.33 | 0 | 25828 lb | 0 0 0.00 | 3.29/3.35 c | 3.35 | 0 | 25837 lb | 0 0 0.00 | 3.29/3.37 c | 3.38 | 0 | 25961 lb | 0 0 0.00 | 3.29/3.40 c | 3.40 | 0 | 25975 lb | 0 0 0.00 | 3.39/3.42 c | 3.42 | 0 | 25979 lb | 0 0 0.00 | 3.39/3.44 c | 3.44 | 0 | 25987 lb | 0 0 0.00 | 3.39/3.46 c | 3.47 | 0 | 25989 lb | 0 0 0.00 | 3.39/3.49 c | 3.49 | 0 | 25990 lb | 0 0 0.00 | 3.49/3.51 c | 3.52 | 0 | 25994 lb | 0 0 0.00 | 3.49/3.53 c | 3.54 | 0 | 25995 lb | 0 0 0.00 | 3.49/3.56 c | 3.56 | 0 | 26024 lb | 0 0 0.00 | 3.49/3.58 c | 3.58 | 0 | 26054 lb | 0 0 0.00 | 3.59/3.60 c | 3.61 | 0 | 26059 lb | 0 0 0.00 | 3.59/3.63 c | 3.63 | 0 | 26203 lb | 0 0 0.00 | 3.59/3.65 c | 3.65 | 0 | 26210 lb | 0 0 0.00 | 3.59/3.67 c | 3.68 | 0 | 26214 lb | 0 0 0.00 | 3.69/3.70 c | 3.70 | 0 | 26418 lb | 0 0 0.00 | 3.69/3.72 c | 3.73 | 0 | 26421 lb | 0 0 0.00 | 3.69/3.75 c | 3.75 | 0 | 26445 lb | 0 0 0.00 | 3.69/3.77 c | 3.77 | 0 | 26584 lb | 0 0 0.00 | 3.69/3.79 c | 3.80 | 0 | 26616 lb | 0 0 0.00 | 3.79/3.82 c | 3.82 | 0 | 26640 lb | 0 0 0.00 | 3.79/3.84 c | 3.84 | 0 | 26661 lb | 0 0 0.00 | 3.79/3.86 c | 3.87 | 0 | 26675 lb | 0 0 0.00 | 3.79/3.89 c | 3.89 | 0 | 26686 lb | 0 0 0.00 | 3.88/3.91 c | 3.92 | 0 | 26688 lb | 0 0 0.00 | 3.88/3.94 c | 3.94 | 0 | 26695 lb | 0 0 0.00 | 3.88/3.96 c | 3.96 | 0 | 26719 lb | 0 0 0.00 | 3.88/3.98 c | 3.99 | 0 | 26738 lb | 0 0 0.00 | 3.98/4.01 c | 4.01 | 0 | 26743 lb | 0 0 0.00 | 3.98/4.03 c | 4.03 | 0 | 26775 lb | 0 0 0.00 | 3.98/4.05 c | 4.06 | 0 | 26777 lb | 0 0 0.00 | 3.98/4.08 c | 4.08 | 0 | 26785 lb | 0 0 0.00 | 4.08/4.10 c | 4.11 | 0 | 26786 lb | 0 0 0.00 | 4.08/4.13 c | 4.13 | 0 | 26789 lb | 0 0 0.00 | 4.08/4.15 c | 4.16 | 0 | 26797 lb | 0 0 0.00 | 4.08/4.18 c | 4.18 | 0 | 26798 lb | 0 0 0.00 | 4.18/4.20 c | 4.21 | 0 | 26799 lb | 0 0 0.00 | 4.18/4.23 c | 4.23 | 0 | 26804 lb | 0 0 0.00 | 4.18/4.25 c | 4.25 | 0 | 26836 lb | 0 0 0.00 | 4.18/4.27 c | 4.28 | 0 | 26840 lb | 0 0 0.00 | 4.18/4.30 c | 4.30 | 0 | 26848 lb | 0 0 0.00 | 4.29/4.32 c | 4.33 | 0 | 26855 lb | 0 0 0.00 | 4.29/4.35 c | 4.35 | 0 | 26856 lb | 0 0 0.00 | 4.29/4.37 c | 4.38 | 0 | 26857 lb | 0 0 0.00 | 4.29/4.40 c | 4.40 | 0 | 26933 lb | 0 0 0.00 | 4.39/4.42 c | 4.43 | 0 | 26935 lb | 0 0 0.00 | 4.39/4.45 c | 4.45 | 0 | 26938 lb | 0 0 0.00 | 4.39/4.47 c | 4.47 | 0 | 26963 lb | 0 0 0.00 | 4.49/4.50 c | 4.50 | 0 | 26964 lb | 0 0 0.00 | 4.49/4.52 c | 4.53 | 0 | 26981 lb | 0 0 0.00 | 4.49/4.55 c | 4.55 | 0 | 27004 lb | 0 0 0.00 | 4.49/4.57 c | 4.58 | 0 | 27014 lb | 0 0 0.00 | 4.59/4.60 c | 4.60 | 0 | 27019 lb | 0 0 0.00 | 4.59/4.63 c | 4.63 | 0 | 27323 lb | 0 0 0.00 | 4.68/4.77 c | 4.66 | 0 | 27334 lb | 0 0 0.00 | 4.68/4.77 c | 4.68 | 0 | 27337 lb | 0 0 0.00 | 4.68/4.77 c | 4.71 | 0 | 27345 lb | 0 0 0.00 | 4.68/4.77 c | 4.73 | 0 | 27346 lb | 0 0 0.00 | 4.68/4.77 c | 4.76 | 0 | 27353 lb | 0 0 0.00 | 4.68/4.78 c | 4.78 | 0 | 27358 lb | 0 0 0.00 | 4.78/4.81 c | 4.81 | 0 | 27359 lb | 0 0 0.00 | 4.78/4.83 c | 4.83 | 0 | 27363 lb | 0 0 0.00 | 4.78/4.86 c | 4.86 | 0 | 27365 lb | 0 0 0.00 | 4.78/4.89 c | 4.89 | 0 | 27378 lb | 0 0 0.00 | 4.88/4.91 c | 4.92 | 0 | 27384 lb | 0 0 0.00 | 4.88/4.94 c | 4.94 | 0 | 27385 lb | 0 0 0.00 | 4.88/4.96 c | 4.97 | 0 | 27389 lb | 0 0 0.00 | 4.88/4.99 c | 4.99 | 0 | 27397 lb | 0 0 0.00 | 4.98/5.02 c | 5.02 | 0 | 27401 lb | 0 0 0.00 | 4.98/5.04 c | 5.05 | 0 | 27404 lb | 0 0 0.00 | 4.98/5.07 c | 5.07 | 0 | 27411 lb | 0 0 0.00 | 5.08/5.10 c | 5.10 | 0 | 27419 lb | 0 0 0.00 | 5.08/5.12 c | 5.13 | 0 | 27454 lb | 0 0 0.00 | 5.08/5.15 c | 5.15 | 0 | 27457 lb | 0 0 0.00 | 5.08/5.18 c | 5.18 | 0 | 27462 lb | 0 0 0.00 | 5.18/5.20 c | 5.21 | 0 | 27467 lb | 0 0 0.00 | 5.18/5.23 c | 5.24 | 0 | 27468 lb | 0 0 0.00 | 5.18/5.26 c | 5.26 | 0 | 27469 lb | 0 0 0.00 | 5.18/5.29 c | 5.29 | 0 | 27500 lb | 0 0 0.00 | 5.28/5.31 c | 5.32 | 0 | 27504 lb | 0 0 0.00 | 5.28/5.34 c | 5.35 | 0 | 27508 lb | 0 0 0.00 | 5.28/5.37 c | 5.37 | 0 | 27513 lb | 0 0 0.00 | 5.28/5.40 c | 5.40 | 0 | 27518 lb | 0 0 0.00 | 5.39/5.43 c | 5.43 | 0 | 27521 lb | 0 0 0.00 | 5.39/5.45 c | 5.46 | 0 | 27522 lb | 0 0 0.00 | 5.39/5.48 c | 5.49 | 0 | 27523 lb | 0 0 0.00 | 5.49/5.51 c | 5.51 | 0 | 27524 lb | 0 0 0.00 | 5.49/5.54 c | 5.54 | 0 | 27525 lb | 0 0 0.00 | 5.49/5.57 c | 5.57 | 0 | 27540 lb | 0 0 0.00 | 5.49/5.60 c | 5.60 | 0 | 27541 lb | 0 0 0.00 | 5.58/5.63 c | 5.63 | 0 | 27542 lb | 0 0 0.00 | 5.58/5.65 c | 5.66 | 0 | 27543 lb | 0 0 0.00 | 5.58/5.68 c | 5.69 | 0 | 27545 lb | 0 0 0.00 | 5.68/5.71 c | 5.71 | 0 | 27546 lb | 0 0 0.00 | 5.68/5.74 c | 5.74 | 0 | 27548 lb | 0 0 0.00 | 5.68/5.77 c | 5.77 | 0 | 27556 lb | 0 0 0.00 | 5.78/5.80 c | 5.80 | 0 | 27557 lb | 0 0 0.00 | 5.78/5.83 c | 5.83 | 0 | 27564 lb | 0 0 0.00 | 5.78/5.86 c | 5.86 | 0 | 27566 lb | 0 0 0.00 | 5.78/5.89 c | 5.89 | 0 | 27582 lb | 0 0 0.00 | 5.88/5.92 c | 5.92 | 0 | 27583 lb | 0 0 0.00 | 5.88/5.95 c | 5.95 | 0 | 27613 lb | 0 0 0.00 | 5.88/5.98 c | 5.98 | 0 | 27620 lb | 0 0 0.00 | 5.98/6.00 c | 6.01 | 0 | 27634 lb | 0 0 0.00 | 5.98/6.04 c | 6.04 | 0 | 27635 lb | 0 0 0.00 | 5.98/6.06 c | 6.07 | 0 | 27648 lb | 0 0 0.00 | 5.98/6.09 c | 6.09 | 0 | 27665 lb | 0 0 0.00 | 6.08/6.12 c | 6.13 | 0 | 27667 lb | 0 0 0.00 | 6.08/6.15 c | 6.15 | 0 | 27669 lb | 0 0 0.00 | 6.08/6.18 c | 6.18 | 0 | 27670 lb | 0 0 0.00 | 6.18/6.21 c | 6.21 | 0 | 27671 lb | 0 0 0.00 | 6.18/6.24 c | 6.24 | 0 | 27675 lb | 0 0 0.00 | 6.18/6.27 c | 6.27 | 0 | 27676 lb | 0 0 0.00 | 6.18/6.29 c | 6.30 | 0 | 27681 lb | 0 0 0.00 | 6.28/6.33 c | 6.33 | 0 | 27682 lb | 0 0 0.00 | 6.28/6.36 c | 6.36 | 0 | 27759 lb | 0 0 0.00 | 6.28/6.38 c | 6.39 | 0 | 27762 lb | 0 0 0.00 | 6.38/6.41 c | 6.42 | 0 | 27765 lb | 0 0 0.00 | 6.38/6.45 c | 6.45 | 0 | 27766 lb | 0 0 0.00 | 6.38/6.48 c | 6.48 | 0 | 27767 lb | 0 0 0.00 | 6.48/6.51 c | 6.51 | 0 | 27768 lb | 0 0 0.00 | 6.48/6.54 c | 6.54 | 0 | 27769 lb | 0 0 0.00 | 6.48/6.57 c | 6.57 | 0 | 27770 lb | 0 0 0.00 | 6.48/6.60 c | 6.60 | 0 | 27773 lb | 0 0 0.00 | 6.59/6.63 c | 6.63 | 0 | 27774 lb | 0 0 0.00 | 6.59/6.66 c | 6.66 | 0 | 27776 lb | 0 0 0.00 | 6.59/6.69 c | 6.69 | 0 | 27777 lb | 0 0 0.00 | 6.68/6.72 c | 6.72 | 0 | 27779 lb | 0 0 0.00 | 6.68/6.75 c | 6.75 | 0 | 27802 lb | 0 0 0.00 | 6.68/6.78 c | 6.79 | 0 | 27803 lb | 0 0 0.00 | 6.78/6.82 c | 6.82 | 0 | 27804 lb | 0 0 0.00 | 6.78/6.85 c | 6.85 | 0 | 27813 lb | 0 0 0.00 | 6.78/6.88 c | 6.88 | 0 | 27814 lb | 0 0 0.00 | 6.88/6.91 c | 6.91 | 0 | 27823 lb | 0 0 0.00 | 6.88/6.94 c | 6.94 | 0 | 27838 lb | 0 0 0.00 | 6.88/6.97 c | 6.97 | 0 | 27846 lb | 0 0 0.00 | 6.98/7.00 c | 7.01 | 0 | 27847 lb | 0 0 0.00 | 6.98/7.04 c | 7.04 | 0 | 27848 lb | 0 0 0.00 | 6.98/7.07 c | 7.08 | 0 | 27849 lb | 0 0 0.00 | 7.08/7.10 c | 7.11 | 0 | 27921 lb | 0 0 0.00 | 7.08/7.13 c | 7.13 | 0 | 27931 lb | 0 0 0.00 | 7.08/7.16 c | 7.17 | 0 | 27937 lb | 0 0 0.00 | 7.08/7.19 c | 7.20 | 0 | 27939 lb | 0 0 0.00 | 7.18/7.22 c | 7.23 | 0 | 27940 lb | 0 0 0.00 | 7.18/7.26 c | 7.26 | 0 | 27943 lb | 0 0 0.00 | 7.18/7.29 c | 7.29 | 0 | 27950 lb | 0 0 0.00 | 7.28/7.32 c | 7.32 | 0 | 27955 lb | 0 0 0.00 | 7.28/7.35 c | 7.35 | 0 | 27957 lb | 0 0 0.00 | 7.28/7.38 c | 7.38 | 0 | 27959 lb | 0 0 0.00 | 7.38/7.41 c | 7.42 | 0 | 27960 lb | 0 0 0.00 | 7.38/7.45 c | 7.45 | 0 | 27962 lb | 0 0 0.00 | 7.38/7.48 c | 7.48 | 0 | 28069 lb | 0 0 0.00 | 7.48/7.51 c | 7.51 | 0 | 28072 lb | 0 0 0.00 | 7.48/7.54 c | 7.54 | 0 | 28074 lb | 0 0 0.00 | 7.48/7.57 c | 7.58 | 0 | 28075 lb | 0 0 0.00 | 7.59/7.60 c | 7.61 | 0 | 28077 lb | 0 0 0.00 | 7.59/7.64 c | 7.64 | 0 | 28106 lb | 0 0 0.00 | 7.59/7.67 c | 7.67 | 0 | 28107 lb | 0 0 0.00 | 7.59/7.70 c | 7.71 | 0 | 28109 lb | 0 0 0.00 | 7.69/7.73 c | 7.74 | 0 | 28110 lb | 0 0 0.00 | 7.69/7.77 c | 7.77 | 0 | 28111 lb | 0 0 0.00 | 7.78/7.80 c | 7.80 | 0 | 28112 lb | 0 0 0.00 | 7.78/7.83 c | 7.83 | 0 | 28113 lb | 0 0 0.00 | 7.78/7.86 c | 7.87 | 0 | 28114 lb | 0 0 0.00 | 7.88/7.90 c | 7.90 | 0 | 28115 lb | 0 0 0.00 | 7.88/7.93 c | 7.94 | 0 | 28132 lb | 0 0 0.00 | 7.88/7.97 c | 7.97 | 0 | 28133 lb | 0 0 0.00 | 7.98/8.00 c | 8.00 | 0 | 28136 lb | 0 0 0.00 | 7.98/8.03 c | 8.04 | 0 | 28138 lb | 0 0 0.00 | 7.98/8.06 c | 8.07 | 0 | 28139 lb | 0 0 0.00 | 8.08/8.10 c | 8.10 | 0 | 28140 lb | 0 0 0.00 | 8.08/8.13 c | 8.13 | 0 | 28143 lb | 0 0 0.00 | 8.08/8.16 c | 8.17 | 0 | 28144 lb | 0 0 0.00 | 8.18/8.20 c | 8.20 | 0 | 28145 lb | 0 0 0.00 | 8.18/8.23 c | 8.23 | 0 | 28147 lb | 0 0 0.00 | 8.18/8.26 c | 8.27 | 0 | 28152 lb | 0 0 0.00 | 8.28/8.30 c | 8.30 | 0 | 28153 lb | 0 0 0.00 | 8.28/8.33 c | 8.33 | 0 | 28161 lb | 0 0 0.00 | 8.28/8.36 c | 8.37 | 0 | 28162 lb | 0 0 0.00 | 8.38/8.40 c | 8.40 | 0 | 28165 lb | 0 0 0.00 | 8.38/8.43 c | 8.44 | 0 | 28166 lb | 0 0 0.00 | 8.38/8.47 c | 8.47 | 0 | 28167 lb | 0 0 0.00 | 8.48/8.50 c | 8.51 | 0 | 28171 lb | 0 0 0.00 | 8.48/8.54 c | 8.54 | 0 | 28172 lb | 0 0 0.00 | 8.48/8.57 c | 8.57 | 0 | 28178 lb | 0 0 0.00 | 8.58/8.61 c | 8.61 | 0 | 28179 lb | 0 0 0.00 | 8.58/8.64 c | 8.64 | 0 | 28180 lb | 0 0 0.00 | 8.58/8.68 c | 8.68 | 0 | 28181 lb | 0 0 0.00 | 8.69/8.71 c | 8.71 | 0 | 28183 lb | 0 0 0.00 | 8.69/8.75 c | 8.75 | 0 | 28184 lb | 0 0 0.00 | 8.69/8.78 c | 8.78 | 0 | 28185 lb | 0 0 0.00 | 8.79/8.82 c | 8.82 | 0 | 28186 lb | 0 0 0.00 | 8.79/8.85 c | 8.86 | 0 | 28188 lb | 0 0 0.00 | 8.79/8.89 c | 8.89 | 0 | 28193 lb | 0 0 0.00 | 8.88/8.92 c | 8.93 | 0 | 28260 lb | 0 0 0.00 | 8.88/8.96 c | 8.96 | 0 | 28261 lb | 0 0 0.00 | 8.98/9.00 c | 9.00 | 0 | 28262 lb | 0 0 0.00 | 8.98/9.03 c | 9.04 | 0 | 28263 lb | 0 0 0.00 | 8.98/9.06 c | 9.07 | 0 | 28265 lb | 0 0 0.00 | 9.08/9.10 c | 9.10 | 0 | 28266 lb | 0 0 0.00 | 9.08/9.14 c | 9.14 | 0 | 28267 lb | 0 0 0.00 | 9.08/9.17 c | 9.18 | 0 | 28268 lb | 0 0 0.00 | 9.18/9.21 c | 9.21 | 0 | 28269 lb | 0 0 0.00 | 9.18/9.24 c | 9.25 | 0 | 28270 lb | 0 0 0.00 | 9.18/9.28 c | 9.28 | 0 | 28271 lb | 0 0 0.00 | 9.28/9.32 c | 9.32 | 0 | 28272 lb | 0 0 0.00 | 9.28/9.35 c | 9.36 | 0 | 28273 lb | 0 0 0.00 | 9.28/9.39 c | 9.40 | 0 | 28274 lb | 0 0 0.00 | 9.38/9.43 c | 9.43 | 0 | 28277 lb | 0 0 0.00 | 9.38/9.47 c | 9.47 | 0 | 28278 lb | 0 0 0.00 | 9.48/9.50 c | 9.51 | 0 | 28279 lb | 0 0 0.00 | 9.48/9.54 c | 9.54 | 0 | 28280 lb | 0 0 0.00 | 9.48/9.57 c | 9.58 | 0 | 28281 lb | 0 0 0.00 | 9.58/9.61 c | 9.61 | 0 | 28287 lb | 0 0 0.00 | 9.58/9.65 c | 9.65 | 0 | 28288 lb | 0 0 0.00 | 9.58/9.68 c | 9.68 | 0 | 28289 lb | 0 0 0.00 | 9.68/9.72 c | 9.72 | 0 | 28290 lb | 0 0 0.00 | 9.68/9.76 c | 9.76 | 0 | 28294 lb | 0 0 0.00 | 9.68/9.79 c | 9.80 | 0 | 28295 lb | 0 0 0.00 | 9.78/9.83 c | 9.84 | 0 | 28296 lb | 0 0 0.00 | 9.78/9.87 c | 9.87 | 0 | 28298 lb | 0 0 0.00 | 9.88/9.91 c | 9.91 | 0 | 28299 lb | 0 0 0.00 | 9.88/9.95 c | 9.95 | 0 | 28300 lb | 0 0 0.00 | 9.88/9.99 c | 9.99 | 0 | 28301 lb | 0 0 0.00 | 9.98/10.03 c | 10.03 | 0 | 28303 lb | 0 0 0.00 | 9.98/10.07 c | 10.07 | 0 | 28304 lb | 0 0 0.00 | 10.08/10.10 c | 10.11 | 0 | 28307 lb | 0 0 0.00 | 10.08/10.14 c | 10.15 | 0 | 28308 lb | 0 0 0.00 | 10.08/10.18 c | 10.18 | 0 | 28309 lb | 0 0 0.00 | 10.18/10.22 c | 10.22 | 0 | 28315 lb | 0 0 0.00 | 10.18/10.26 c | 10.26 | 0 | 28316 lb | 0 0 0.00 | 10.28/10.30 c | 10.30 | 0 | 28320 lb | 0 0 0.00 | 10.28/10.34 c | 10.34 | 0 | 28321 lb | 0 0 0.00 | 10.28/10.38 c | 10.38 | 0 | 28322 lb | 0 0 0.00 | 10.38/10.41 c | 10.42 | 0 | 28323 lb | 0 0 0.00 | 10.38/10.45 c | 10.46 | 0 | 28324 lb | 0 0 0.00 | 10.38/10.49 c | 10.50 | 0 | 28325 lb | 0 0 0.00 | 10.48/10.53 c | 10.54 | 0 | 28326 lb | 0 0 0.00 | 10.48/10.57 c | 10.58 | 0 | 28341 lb | 0 0 0.00 | 10.58/10.61 c | 10.61 | 0 | 28342 lb | 0 0 0.00 | 10.58/10.65 c | 10.65 | 0 | 28343 lb | 0 0 0.00 | 10.58/10.69 c | 10.69 | 0 | 28345 lb | 0 0 0.00 | 10.68/10.73 c | 10.73 | 0 | 28346 lb | 0 0 0.00 | 10.68/10.77 c | 10.77 | 0 | 28347 lb | 0 0 0.00 | 10.78/10.81 c | 10.81 | 0 | 28348 lb | 0 0 0.00 | 10.78/10.85 c | 10.85 | 0 | 28352 lb | 0 0 0.00 | 10.78/10.89 c | 10.89 | 0 | 28353 lb | 0 0 0.00 | 10.89/10.93 c | 10.93 | 0 | 28355 lb | 0 0 0.00 | 10.89/10.97 c | 10.97 | 0 | 28358 lb | 0 0 0.00 | 10.98/11.00 c | 11.01 | 0 | 28359 lb | 0 0 0.00 | 10.98/11.05 c | 11.05 | 0 | 28360 lb | 0 0 0.00 | 10.98/11.09 c | 11.09 | 0 | 28361 lb | 0 0 0.00 | 11.08/11.13 c | 11.13 | 0 | 28362 lb | 0 0 0.00 | 11.08/11.17 c | 11.18 | 0 | 28363 lb | 0 0 0.00 | 11.18/11.22 c | 11.22 | 0 | 28364 lb | 0 0 0.00 | 11.18/11.26 c | 11.26 | 0 | 28365 lb | 0 0 0.00 | 11.28/11.30 c | 11.31 | 0 | 28366 lb | 0 0 0.00 | 11.28/11.34 c | 11.35 | 0 | 28368 lb | 0 0 0.00 | 11.28/11.39 c | 11.39 | 0 | 28369 lb | 0 0 0.00 | 11.38/11.43 c | 11.44 | 0 | 28370 lb | 0 0 0.00 | 11.38/11.48 c | 11.48 | 0 | 28371 lb | 0 0 0.00 | 11.48/11.52 c | 11.52 | 0 | 28373 lb | 0 0 0.00 | 11.48/11.56 c | 11.56 | 0 | 28374 lb | 0 0 0.00 | 11.58/11.60 c | 11.61 | 0 | 28375 lb | 0 0 0.00 | 11.58/11.64 c | 11.65 | 0 | 28376 lb | 0 0 0.00 | 11.58/11.68 c | 11.69 | 0 | 28378 lb | 0 0 0.00 | 11.68/11.73 c | 11.73 | 0 | 28379 lb | 0 0 0.00 | 11.68/11.77 c | 11.77 | 0 | 28380 lb | 0 0 0.00 | 11.78/11.81 c | 11.81 | 0 | 28404 lb | 0 0 0.00 | 11.78/11.85 c | 11.86 | 0 | 28405 lb | 0 0 0.00 | 11.78/11.89 c | 11.90 | 0 | 28406 lb | 0 0 0.00 | 11.88/11.94 c | 11.94 | 0 | 28407 lb | 0 0 0.00 | 11.88/11.98 c | 11.98 | 0 | 28408 lb | 0 0 0.00 | 11.99/12.03 c | 12.03 | 0 | 28409 lb | 0 0 0.00 | 11.99/12.07 c | 12.07 | 0 | 28410 lb | 0 0 0.00 | 12.09/12.11 c | 12.12 | 0 | 28411 lb | 0 0 0.00 | 12.09/12.16 c | 12.16 | 0 | 28412 lb | 0 0 0.00 | 12.18/12.20 c | 12.20 | 0 | 28414 lb | 0 0 0.00 | 12.18/12.24 c | 12.24 | 0 | 28415 lb | 0 0 0.00 | 12.18/12.29 c | 12.29 | 0 | 28416 lb | 0 0 0.00 | 12.28/12.33 c | 12.33 | 0 | 28417 lb | 0 0 0.00 | 12.28/12.37 c | 12.38 | 0 | 28418 lb | 0 0 0.00 | 12.38/12.42 c | 12.42 | 0 | 28422 lb | 0 0 0.00 | 12.38/12.46 c | 12.46 | 0 | 28423 lb | 0 0 0.00 | 12.48/12.51 c | 12.51 | 0 | 28424 lb | 0 0 0.00 | 12.48/12.55 c | 12.55 | 0 | 28425 lb | 0 0 0.00 | 12.48/12.60 c | 12.60 | 0 | 28426 lb | 0 0 0.00 | 12.58/12.64 c | 12.65 | 0 | 28427 lb | 0 0 0.00 | 12.58/12.69 c | 12.69 | 0 | 28428 lb | 0 0 0.00 | 12.68/12.73 c | 12.73 | 0 | 28430 lb | 0 0 0.00 | 12.68/12.77 c | 12.77 | 0 | 28431 lb | 0 0 0.00 | 12.78/12.82 c | 12.82 | 0 | 28432 lb | 0 0 0.00 | 12.78/12.87 c | 12.88 | 0 | 28433 lb | 0 0 0.00 | 12.87/12.92 c | 12.92 | 0 | 28434 lb | 0 0 0.00 | 12.87/12.96 c | 12.96 | 0 | 28435 lb | 0 0 0.00 | 12.97/13.01 c | 13.01 | 0 | 28436 lb | 0 0 0.00 | 12.97/13.05 c | 13.06 | 0 | 28437 lb | 0 0 0.00 | 12.97/13.10 c | 13.10 | 0 | 28438 lb | 0 0 0.00 | 13.08/13.14 c | 13.14 | 0 | 28441 lb | 0 0 0.00 | 13.08/13.18 c | 13.18 | 0 | 28442 lb | 0 0 0.00 | 13.18/13.22 c | 13.23 | 0 | 28443 lb | 0 0 0.00 | 13.18/13.27 c | 13.27 | 0 | 28444 lb | 0 0 0.00 | 13.27/13.31 c | 13.32 | 0 | 28445 lb | 0 0 0.00 | 13.27/13.36 c | 13.36 | 0 | 28446 lb | 0 0 0.00 | 13.37/13.40 c | 13.41 | 0 | 28447 lb | 0 0 0.00 | 13.37/13.45 c | 13.45 | 0 | 28454 lb | 0 0 0.00 | 13.37/13.49 c | 13.49 | 0 | 28455 lb | 0 0 0.00 | 13.48/13.54 c | 13.54 | 0 | 28456 lb | 0 0 0.00 | 13.48/13.59 c | 13.59 | 0 | 28457 lb | 0 0 0.00 | 13.58/13.63 c | 13.64 | 0 | 28458 lb | 0 0 0.00 | 13.58/13.68 c | 13.68 | 0 | 28459 lb | 0 0 0.00 | 13.68/13.73 c | 13.73 | 0 | 28460 lb | 0 0 0.00 | 13.68/13.77 c | 13.78 | 0 | 28462 lb | 0 0 0.00 | 13.78/13.82 c | 13.83 | 0 | 28463 lb | 0 0 0.00 | 13.78/13.88 c | 13.88 | 0 | 28464 lb | 0 0 0.00 | 13.88/13.92 c | 13.92 | 0 | 28466 lb | 0 0 0.00 | 13.88/13.96 c | 13.97 | 0 | 28483 lb | 0 0 0.00 | 13.97/14.02 c | 14.02 | 0 | 28484 lb | 0 0 0.00 | 13.97/14.06 c | 14.07 | 0 | 28485 lb | 0 0 0.00 | 14.07/14.11 c | 14.11 | 0 | 28492 lb | 0 0 0.00 | 14.07/14.16 c | 14.16 | 0 | 28493 lb | 0 0 0.00 | 14.18/14.20 c | 14.21 | 0 | 28494 lb | 0 0 0.00 | 14.18/14.25 c | 14.25 | 0 | 28495 lb | 0 0 0.00 | 14.18/14.29 c | 14.30 | 0 | 28496 lb | 0 0 0.00 | 14.28/14.34 c | 14.34 | 0 | 28499 lb | 0 0 0.00 | 14.28/14.38 c | 14.38 | 0 | 28500 lb | 0 0 0.00 | 14.37/14.43 c | 14.43 | 0 | 28501 lb | 0 0 0.00 | 14.37/14.47 c | 14.48 | 0 | 28502 lb | 0 0 0.00 | 14.47/14.52 c | 14.52 | 0 | 28503 lb | 0 0 0.00 | 14.47/14.57 c | 14.58 | 0 | 28504 lb | 0 0 0.00 | 14.57/14.63 c | 14.63 | 0 | 28505 lb | 0 0 0.00 | 14.57/14.68 c | 14.68 | 0 | 28506 lb | 0 0 0.00 | 14.67/14.73 c | 14.73 | 0 | 28507 lb | 0 0 0.00 | 14.67/14.78 c | 14.79 | 0 | 28508 lb | 0 0 0.00 | 14.77/14.84 c | 14.84 | 0 | 28509 lb | 0 0 0.00 | 14.77/14.88 c | 14.88 | 0 | 28515 lb | 0 0 0.00 | 14.87/14.93 c | 14.93 | 0 | 28517 lb | 0 0 0.00 | 14.87/14.98 c | 14.99 | 0 | 28518 lb | 0 0 0.00 | 14.97/15.04 c | 15.04 | 0 | 28519 lb | 0 0 0.00 | 14.97/15.09 c | 15.09 | 0 | 28520 lb | 0 0 0.00 | 15.08/15.14 c | 15.15 | 0 | 28521 lb | 0 0 0.00 | 15.08/15.19 c | 15.20 | 0 | 28522 lb | 0 0 0.00 | 15.18/15.24 c | 15.24 | 0 | 28523 lb | 0 0 0.00 | 15.18/15.29 c | 15.29 | 0 | 28525 lb | 0 0 0.00 | 15.28/15.33 c | 15.34 | 0 | 28531 lb | 0 0 0.00 | 15.28/15.38 c | 15.38 | 0 | 28532 lb | 0 0 0.00 | 15.38/15.44 c | 15.44 | 0 | 28533 lb | 0 0 0.00 | 15.38/15.48 c | 15.49 | 0 | 28534 lb | 0 0 0.00 | 15.47/15.54 c | 15.54 | 0 | 28535 lb | 0 0 0.00 | 15.47/15.59 c | 15.60 | 0 | 28536 lb | 0 0 0.00 | 15.57/15.64 c | 15.65 | 0 | 28537 lb | 0 0 0.00 | 15.57/15.69 c | 15.70 | 0 | 28539 lb | 0 0 0.00 | 15.67/15.74 c | 15.75 | 0 | 28540 lb | 0 0 0.00 | 15.67/15.79 c | 15.79 | 0 | 28542 lb | 0 0 0.00 | 15.77/15.85 c | 15.85 | 0 | 28543 lb | 0 0 0.00 | 15.87/15.90 c | 15.90 | 0 | 28544 lb | 0 0 0.00 | 15.87/15.95 c | 15.95 | 0 | 28545 lb | 0 0 0.00 | 15.97/16.01 c | 16.01 | 0 | 28546 lb | 0 0 0.00 | 15.97/16.06 c | 16.06 | 0 | 28557 lb | 0 0 0.00 | 16.07/16.12 c | 16.12 | 0 | 28558 lb | 0 0 0.00 | 16.17/16.22 c | 16.22 | 0 | 28559 lb | 0 0 0.00 | 16.17/16.28 c | 16.28 | 0 | 28560 lb | 0 0 0.00 | 16.27/16.33 c | 16.34 | 0 | 28561 lb | 0 0 0.00 | 16.27/16.40 c | 16.40 | 0 | 28562 lb | 0 0 0.00 | 16.38/16.45 c | 16.45 | 0 | 28563 lb | 0 0 0.00 | 16.47/16.50 c | 16.51 | 0 | 28564 lb | 0 0 0.00 | 16.47/16.56 c | 16.56 | 0 | 28565 lb | 0 0 0.00 | 16.58/16.62 c | 16.62 | 0 | 28566 lb | 0 0 0.00 | 16.58/16.68 c | 16.69 | 0 | 28567 lb | 0 0 0.00 | 16.68/16.74 c | 16.74 | 0 | 28568 lb | 0 0 0.00 | 16.68/16.79 c | 16.80 | 0 | 28569 lb | 0 0 0.00 | 17.38/17.44 c | 17.45 | 0 | 28570 lb | 0 0 0.00 | 17.48/17.50 c | 17.51 | 0 | 28571 lb | 0 0 0.00 | 17.48/17.55 c | 17.55 | 0 | 28573 lb | 0 0 0.00 | 17.58/17.61 c | 17.62 | 0 | 28574 lb | 0 0 0.00 | 17.58/17.67 c | 17.67 | 0 | 28575 lb | 0 0 0.00 | 17.67/17.73 c | 17.73 | 0 | 28577 lb | 0 0 0.00 | 17.67/17.79 c | 17.79 | 0 | 28578 lb | 0 0 0.00 | 19.47/19.57 c | 19.57 | 0 | 28579 lb | 0 0 0.00 | 19.57/19.63 c | 19.64 | 0 | 28581 lb | 0 0 0.00 | 19.57/19.69 c | 19.69 | 0 | 28582 lb | 0 0 0.00 | 19.68/19.75 c | 19.75 | 0 | 28583 lb | 0 0 0.00 | 19.78/19.81 c | 19.81 | 0 | 28584 lb | 0 0 0.00 | 19.78/19.87 c | 19.87 | 0 | 28585 lb | 0 0 0.00 | 19.87/19.93 c | 19.93 | 0 | 28586 lb | 0 0 0.00 | 19.97/20.00 c | 20.01 | 0 | 28587 lb | 0 0 0.00 | 19.97/20.08 c | 20.08 | 0 | 28588 lb | 0 0 0.00 | 20.07/20.13 c | 20.14 | 0 | 28589 lb | 0 0 0.00 | 20.07/20.19 c | 20.19 | 0 | 28592 lb | 0 0 0.00 | 20.17/20.24 c | 20.25 | 0 | 28593 lb | 0 0 0.00 | 20.27/20.32 c | 20.32 | 0 | 28594 lb | 0 0 0.00 | 20.27/20.38 c | 20.38 | 0 | 28598 lb | 0 0 0.00 | 20.37/20.43 c | 20.43 | 0 | 28602 lb | 0 0 0.00 | 20.37/20.49 c | 20.49 | 0 | 28603 lb | 0 0 0.00 | 20.48/20.55 c | 20.55 | 0 | 28604 lb | 0 0 0.00 | 20.58/20.61 c | 20.61 | 0 | 28605 lb | 0 0 0.00 | 20.58/20.67 c | 20.68 | 0 | 28606 lb | 0 0 0.00 | 20.68/20.73 c | 20.73 | 0 | 28607 lb | 0 0 0.00 | 20.68/20.79 c | 20.80 | 0 | 28608 lb | 0 0 0.00 | 20.78/20.86 c | 20.86 | 0 | 28609 lb | 0 0 0.00 | 20.88/20.92 c | 20.92 | 0 | 28610 lb | 0 0 0.00 | 20.88/20.98 c | 20.98 | 0 | 28611 lb | 0 0 0.00 | 25.17/25.29 c | 25.30 | 0 | 28612 lb | 0 0 0.00 | 25.27/25.39 c | 25.39 | 0 | 28613 lb | 0 0 0.00 | 25.37/25.44 c | 25.45 | 0 | 28614 lb | 0 0 0.00 | 25.47/25.51 c | 25.51 | 0 | 28615 lb | 0 0 0.00 | 25.47/25.57 c | 25.57 | 0 | 28616 lb | 0 0 0.00 | 25.57/25.64 c | 25.64 | 0 | 28619 lb | 0 0 0.00 | 25.67/25.70 c | 25.70 | 0 | 28621 lb | 0 0 0.00 | 25.67/25.76 c | 25.76 | 0 | 28623 lb | 0 0 0.00 | 25.97/26.07 c | 26.07 | 0 | 28624 lb | 0 0 0.00 | 26.07/26.13 c | 26.14 | 0 | 28625 lb | 0 0 0.00 | 26.07/26.19 c | 26.20 | 0 | 28626 lb | 0 0 0.00 | 56.44/56.54 c | 56.55 | 0 | 28627 lb | 0 0 0.00 | 56.65/56.71 c | 56.71 | 0 | 28628 lb | 0 0 0.00 | 56.65/56.77 c | 56.78 | 0 | 28629 lb | 0 0 0.00 | 77.45/77.54 c | 77.54 | 0 | 28630 lb | 0 0 0.00 | 97.44/97.56 c | 97.57 | 0 | 28631 lb | 0 0 0.00 | 97.54/97.69 c | 97.69 | 0 | 28632 lb | 0 0 0.00 | 97.64/97.76 c | 97.76 | 0 | 28633 lb | 0 0 0.00 | 97.75/97.84 c | 97.84 | 0 | 28641 lb | 0 0 0.00 | 97.75/97.90 c | 97.90 | 0 | 28642 lb | 0 0 0.00 | 97.85/97.99 c | 98.00 | 0 | 28643 lb | 0 0 0.00 | 97.94/98.07 c | 98.07 | 0 | 28644 lb | 0 0 0.00 | 98.04/98.14 c | 98.15 | 0 | 28645 lb | 0 0 0.00 | 98.14/98.21 c | 98.22 | 0 | 28646 lb | 0 0 0.00 | 98.14/98.29 c | 98.29 | 0 | 28647 lb | 0 0 0.00 | 98.24/98.36 c | 98.36 | 0 | 28648 lb | 0 0 0.00 | 98.34/98.44 c | 98.44 | 0 | 28649 lb | 0 0 0.00 | 167.92/168.02 c | 168.03 | 0 | 28650 lb | 0 0 0.00 | 168.13/168.25 c | 168.25 | 0 | 28651 lb | 0 0 0.00 | 464.30/464.57 c | 464.57 | 0 | 28652 lb | 0 0 0.00 | 464.81/465.02 c | 465.02 | 0 | 28653 lb | 0 0 0.00 | 464.81/465.07 c | 465.08 | 0 | 28657 lb | 0 0 0.00 | 473.11/473.35 c | 473.36 | 0 | 28658 lb | 0 0 0.00 | 474.11/474.38 c | 474.38 | 0 | 28659 lb | 0 0 0.00 | 474.21/474.45 c | 474.45 | 0 | 28660 lb | 0 0 0.00 | 474.31/474.52 c | 474.52 | 0 | 28661 lb | 0 0 0.00 | 474.31/474.58 c | 474.58 | 0 | 28662 lb | 0 0 0.00 | 474.41/474.65 c | 474.66 | 0 | 28663 lb | 0 0 0.00 | 474.51/474.72 c | 474.73 | 0 | 28664 lb | 0 0 0.00 | 474.51/474.79 c | 474.79 | 0 | 28665 lb | 0 0 0.00 | 474.61/474.86 c | 474.86 | 0 | 28666 lb | 0 0 0.00 | 1302.44/1302.84 c | 1302.84 | 0 | 28667 lb | 0 0 0.00 | 1303.24/1303.63 c | 1303.64 | 0 | 28668 lb | 0 0 0.00 | 1441.31/1441.74 c | 1441.75 | 0 | 28669 lb | 0 0 0.00 | 1441.61/1442.03 c | 1442.04 | 0 | 28670 lb | 0 0 0.00 | 1441.61/1442.09 c | 1442.10 | 0 | 28671 lb | 0 0 0.00 | 1441.71/1442.17 c | 1442.17 | 0 | 28672 lb | 0 0 0.00 | 1441.81/1442.25 c | 1442.25 | 0 | 28673 lb | 0 0 0.00 | 1441.91/1442.32 c | 1442.33 | 0 | 28674 lb | 0 0 0.00 | 1441.91/1442.39 c | 1442.39 | 0 | 28675 lb | 0 0 0.00 | 1442.01/1442.46 c | 1442.46 | 0 | 28676 lb | 0 0 0.00 | 1442.11/1442.52 c | 1442.53 | 0 | 28677 lb | 0 0 0.00 | 1446.50/1447.00 c | 1447.00 | 0 | 28678 lb | 0 0 0.00 | 1446.60/1447.09 c | 1447.09 | 0 | 28679 lb | 0 0 0.00 | 1446.70/1447.16 c | 1447.16 | 0 | 28680 lb | 0 0 0.00 | 1446.80/1447.23 c | 1447.23 | 0 | 28681 lb | 0 0 0.00 | 1446.90/1447.30 c | 1447.31 | 0 | 28682 lb | 0 0 0.00 | 1446.90/1447.39 c | 1447.39 | 0 | 28683 lb | 0 0 0.00 | 1447.00/1447.46 c | 1447.46 | 0 | 28684 lb | 0 0 0.00 | 1447.11/1447.53 c | 1447.54 | 0 | 28685 lb | 0 0 0.00 | 1447.21/1447.62 c | 1447.62 | 0 | 28686 lb | 0 0 0.00 | 1447.21/1447.69 c | 1447.70 | 0 | 28687 lb | 0 0 0.00 | 1447.30/1447.77 c | 1447.77 | 0 | 28688 lb | 0 0 0.00 | 1447.40/1447.83 c | 1447.84 | 0 | 28689 lb | 0 0 0.00 | 1447.50/1447.90 c | 1447.90 | 0 | 28690 lb | 0 0 0.00 | 1447.50/1447.97 c | 1447.98 | 0 | 28691 lb | 0 0 0.00 | 1447.60/1448.04 c | 1448.04 | 0 | 28692 lb | 0 0 0.00 | 1447.70/1448.11 c | 1448.11 | 0 | 28693 lb | 0 0 0.00 | 1447.70/1448.17 c | 1448.17 | 0 | 28694 lb | 0 0 0.00 | 1447.80/1448.23 c | 1448.24 | 0 | 28695 lb | 0 0 0.00 | 1447.90/1448.30 c | 1448.31 | 0 | 28696 lb | 0 0 0.00 | 1447.90/1448.37 c | 1448.37 | 0 | 28697 lb | 0 0 0.00 | 1497.69/1498.10 c | 1498.11 | 0 | 28698 lb | 0 0 0.00 | 1497.79/1498.28 c | 1498.29 | 0 | 28699 lb | 0 0 0.00 | 1497.88/1498.34 c | 1498.35 | 0 | 28700 lb | 0 0 0.00 | 1497.98/1498.43 c | 1498.43 | 0 | 28701 lb | 0 0 0.00 | 1497.98/1498.48 c | 1498.49 | 0 | 28702 lb | 0 0 0.00 | 1498.08/1498.56 c | 1498.56 | 0 | 28703 lb | 0 0 0.00 | 1498.18/1498.63 c | 1498.63 | 0 | 28705 lb | 0 0 0.00 | 1498.28/1498.70 c | 1498.70 | 0 | 28706 lb | 0 0 0.00 | 1498.28/1498.78 c | 1498.78 | 0 | 28707 lb | 0 0 0.00 | 1498.38/1498.85 c | 1498.85 | 0 | 28708 lb | 0 0 0.00 | 1498.48/1498.91 c | 1498.92 | 0 | 28709 lb | 0 0 0.00 | 1498.48/1498.98 c | 1498.99 | 0 | 28710 lb | 0 0 0.00 | 1498.58/1499.04 c | 1499.05 | 0 | 28711 lb | 0 0 0.00 | 1498.68/1499.12 c | 1499.12 | 0 | 28712 lb | 0 0 0.00 | 1498.68/1499.19 c | 1499.19 | 0 | 28713 lb | 0 0 0.00 | 1498.79/1499.26 c | 1499.27 | 0 | 28714 lb | 0 0 0.00 | 1498.89/1499.34 c | 1499.35 | 0 | 28715 lb | 0 0 0.00 | 1498.98/1499.42 c | 1499.43 | 0 | 28716 lb | 0 0 0.00 | 1499.08/1499.50 c | 1499.50 | 0 | 28717 lb | 0 0 0.00 | 1499.18/1499.61 c | 1499.62 | 0 | 28718 lb | 0 0 0.00 | 1499.28/1499.70 c | 1499.71 | 0 | 28719 lb | 0 0 0.00 | 1499.28/1499.78 c | 1499.79 | 0 | 28722 lb | 0 0 0.00 | 1499.38/1499.86 c | 1499.86 | 0 | 28723 lb | 0 0 0.00 | 1499.48/1499.94 c | 1499.94 | 0 | 28724 lb | 0 0 0.00 | 1499.58/1500.02 c | 1500.02 | 0 | 28725 lb | 0 0 0.00 | 1499.58/1500.08 c | 1500.08 | 0 | 28726 lb | 0 0 0.00 | 1523.38/1523.82 c | 1523.82 | 0 | 28727 lb | 0 0 0.00 | 1542.78/1543.29 c | 1543.30 | 0 | 28728 lb | 0 0 0.00 | 1542.97/1543.43 c | 1543.43 | 0 | 28729 lb | 0 0 0.00 | 1543.07/1543.50 c | 1543.51 | 0 | 28730 lb | 0 0 0.00 | 1555.87/1556.39 c | 1556.40 | 0 | 28731 lb | 0 0 0.00 | 1556.08/1556.51 c | 1556.52 | 0 | 28732 lb | 0 0 0.00 | 1556.08/1556.58 c | 1556.58 | 0 | 28734 lb | 0 0 0.00 | 1556.17/1556.66 c | 1556.66 | 0 | 28735 lb | 0 0 0.00 | 1556.27/1556.74 c | 1556.74 | 0 | 28736 lb | 0 0 0.00 | 1556.37/1556.84 c | 1556.84 | 0 | 28737 lb | 0 0 0.00 | 1556.47/1556.90 c | 1556.91 | 0 | 28759 lb | 0 0 0.00 | 1556.47/1556.99 c | 1557.00 | 0 | 28760 lb | 0 0 0.00 | 1556.57/1557.08 c | 1557.08 | 0 | 28761 lb | 0 0 0.00 | 1556.67/1557.15 c | 1557.16 | 0 | 28762 lb | 0 0 0.00 | 1556.77/1557.24 c | 1557.24 | 0 | 28763 lb | 0 0 0.00 | 1556.87/1557.31 c | 1557.31 | 0 | 28765 lb | 0 0 0.00 | 1556.87/1557.37 c | 1557.38 | 0 | 28766 lb | 0 0 0.00 | 1556.97/1557.44 c | 1557.44 | 0 | 28768 lb | 0 0 0.00 | 1568.77/1569.28 c | 1569.29 | 0 | 28769 lb | 0 0 0.00 | 1568.97/1569.41 c | 1569.41 | 0 | 28770 lb | 0 0 0.00 | 1568.97/1569.48 c | 1569.48 | 0 | 28771 lb | 0 0 0.00 | 1569.07/1569.57 c | 1569.57 | 0 | 28772 lb | 0 0 0.00 | 1569.18/1569.65 c | 1569.65 | 0 | 28773 lb | 0 0 0.00 | 1569.28/1569.74 c | 1569.75 | 0 | 28774 lb | 0 0 0.00 | 1569.37/1569.82 c | 1569.82 | 0 | 28775 lb | 0 0 0.00 | 1569.47/1569.90 c | 1569.91 | 0 | 28776 lb | 0 0 0.00 | 1569.47/1569.98 c | 1569.98 | 0 | 28778 lb | 0 0 0.00 | 1569.57/1570.06 c | 1570.06 | 0 | 28779 lb | 0 0 0.00 | 1569.67/1570.13 c | 1570.14 | 0 | 28780 lb | 0 0 0.00 | 1569.77/1570.22 c | 1570.22 | 0 | 28781 lb | 0 0 0.00 | 1569.77/1570.29 c | 1570.29 | 0 | 28782 lb | 0 0 0.00 | 1569.87/1570.36 c | 1570.37 | 0 | 28783 lb | 0 0 0.00 | 1569.97/1570.44 c | 1570.44 | 0 | 28784 lb | 0 0 0.00 | 1570.07/1570.51 c | 1570.52 | 0 | 28785 lb | 0 0 0.00 | 1570.07/1570.59 c | 1570.59 | 0 | 28786 lb | 0 0 0.00 | 1570.17/1570.66 c | 1570.67 | 0 | 28787 lb | 0 0 0.00 | 1570.28/1570.73 c | 1570.73 | 0 | 28789 lb | 0 0 0.00 | 1666.06/1666.56 c | 1666.57 | 0 | 28790 lb | 0 0 0.00 | 1714.85/1715.33 c | 1715.33 | 0 | 28791 lb | 0 0 0.00 | 1715.05/1715.52 c | 1715.53 | 0 | 28792 lb | 0 0 0.00 | 1715.15/1715.62 c | 1715.62 | 0 | 28793 lb | 0 0 0.00 | 1715.25/1715.71 c | 1715.71 | 0 | 28794 lb | 0 0 0.00 | 1715.25/1715.78 c | 1715.78 | 0 | 28796 lb | 0 0 0.00 | 1715.35/1715.87 c | 1715.88 | 0 | 28797 lb | 0 0 0.00 | 1715.45/1715.94 c | 1715.94 | 0 | 28798 lb | 0 0 0.00 | 1715.55/1716.03 c | 1716.04 | 0 | 28799 lb | 0 0 0.00 | 1715.65/1716.11 c | 1716.12 | 0 | 28800 lb | 0 0 0.00 | 1715.65/1716.19 c | 1716.19 | 0 | 28801 lb | 0 0 0.00 | 1715.75/1716.26 c | 1716.27 | 0 | 28802 lb | 0 0 0.00 | 1715.85/1716.35 c | 1716.36 | 0 | 28803 lb | 0 0 0.00 | 1799.53/1800.00 c =============================================================================== 1799.53/1800.00 c Wall Clock Time: 1800.00 s 1799.53/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-3705084-1338090873/watcher-3705084-1338090873 -o /tmp/evaluation-result-3705084-1338090873/solver-3705084-1338090873 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705084-1338090873.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/171 16328 /proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=4436 CPUtime=0 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) R 16326 16328 15878 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 275211817 4542464 377 33554432000 4194304 5963574 140735977610736 140734635252280 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 1109 377 175 432 0 450 0 [startup+0.036139 s] /proc/loadavg: 2.00 2.00 2.00 2/171 16328 /proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=6360 CPUtime=0.03 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) R 16326 16328 15878 0 -1 4202496 1012 0 0 0 3 0 0 0 20 0 1 0 275211817 6512640 964 33554432000 4194304 5963574 140735977610736 140734635252280 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 1590 965 280 432 0 931 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6360 [startup+0.100172 s] /proc/loadavg: 2.00 2.00 2.00 2/171 16328 /proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=88776 CPUtime=0.09 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 3634 0 0 0 9 0 0 0 20 0 2 0 275211817 90906624 3297 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 22194 3297 195 432 0 21759 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 88776 [startup+0.300172 s] /proc/loadavg: 2.00 2.00 2.00 2/171 16328 /proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=88776 CPUtime=0.29 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 5860 0 0 0 28 1 0 0 20 0 2 0 275211817 90906624 5523 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 22194 5523 195 432 0 21759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 88776 [startup+0.700183 s] /proc/loadavg: 2.00 2.00 2.00 2/171 16328 /proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=88776 CPUtime=0.69 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 9706 0 0 0 67 2 0 0 20 0 2 0 275211817 90906624 9369 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 22194 9369 195 432 0 21759 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 88776 [startup+1.50033 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=29079004/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=88776 CPUtime=1.49 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 16439 0 0 0 145 4 0 0 20 0 2 0 275211817 90906624 16102 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 22194 16102 195 432 0 21759 0 [pid=16328/tid=16338] ppid=16326 vsize=88776 CPUtime=1.41 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 14216 0 0 0 137 4 0 0 20 0 2 0 275211824 90906624 16102 33554432000 4194304 5963574 140735977610736 140083861946688 5129986 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88776 [startup+3.10034 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=29044748/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=154312 CPUtime=3.08 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 25558 0 0 0 303 5 0 0 20 0 2 0 275211817 158015488 25139 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 38578 25139 196 432 0 38143 0 [pid=16328/tid=16338] ppid=16326 vsize=154312 CPUtime=3.01 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 23335 0 0 0 296 5 0 0 20 0 2 0 275211824 158015488 25139 33554432000 4194304 5963574 140735977610736 140083861957144 5131160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 154312 [startup+6.30034 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=28979028/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=219848 CPUtime=6.28 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 39224 0 0 0 620 8 0 0 20 0 2 0 275211817 225124352 38620 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 54962 38620 198 432 0 54527 0 [pid=16328/tid=16338] ppid=16326 vsize=219848 CPUtime=6.21 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 37012 0 0 0 612 9 0 0 20 0 2 0 275211824 225124352 38631 33554432000 4194304 5963574 140735977610736 140083861956952 5178759 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 219848 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=28880436/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=285384 CPUtime=12.68 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 63341 0 0 0 1255 13 0 0 20 0 2 0 275211817 292233216 59222 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 71346 59222 198 432 0 70911 0 [pid=16328/tid=16338] ppid=16326 vsize=285384 CPUtime=12.61 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 61118 0 0 0 1247 14 0 0 20 0 2 0 275211824 292233216 59222 33554432000 4194304 5963574 140735977610736 140083861956952 5138266 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 285384 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=28791776/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=350788 CPUtime=25.47 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 88378 0 0 0 2529 18 0 0 20 0 2 0 275211817 359206912 77681 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 87697 77681 198 432 0 87262 0 [pid=16328/tid=16338] ppid=16326 vsize=350788 CPUtime=25.4 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 86155 0 0 0 2522 18 0 0 20 0 2 0 275211824 359206912 77681 33554432000 4194304 5963574 140735977610736 140083861956920 5133477 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 350788 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=28746360/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=416324 CPUtime=51.04 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 95654 0 0 0 5085 19 0 0 20 0 2 0 275211817 426315776 84219 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 104081 84219 198 432 0 103646 0 [pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=50.99 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 93431 0 0 0 5079 20 0 0 20 0 2 0 275211824 426315776 84219 33554432000 4194304 5963574 140735977610736 140083861956600 4387862 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 416324 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=28723216/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=416324 CPUtime=102.25 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 97405 0 0 0 10205 20 0 0 20 0 2 0 275211817 426315776 85171 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 104081 85171 198 432 0 103646 0 [pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=102.19 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 95182 0 0 0 10198 21 0 0 20 0 2 0 275211824 426315776 85171 33554432000 4194304 5963574 140735977610736 140083861957144 4399971 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 416324 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16345 /proc/meminfo: memFree=28649588/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=416324 CPUtime=162.23 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 102706 0 0 0 16202 21 0 0 20 0 2 0 275211817 426315776 90469 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 104081 90469 198 432 0 103646 0 [pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=162.17 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 100483 0 0 0 16193 24 0 0 20 0 2 0 275211824 426315776 90469 33554432000 4194304 5963574 140735977610736 140083861956408 4399511 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 416324 [startup+222.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 16346 /proc/meminfo: memFree=28594324/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=416324 CPUtime=222.22 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 104901 0 0 0 22200 22 0 0 20 0 2 0 275211817 426315776 93031 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 104081 93031 198 432 0 103646 0 [pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=222.17 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 102678 0 0 0 22191 26 0 0 20 0 2 0 275211824 426315776 93031 33554432000 4194304 5963574 140735977610736 140083861957144 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 416324 [startup+282.3 s] /proc/loadavg: 2.08 2.02 2.00 3/179 16346 /proc/meminfo: memFree=28555736/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=417408 CPUtime=282.21 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 108652 0 0 0 28197 24 0 0 20 0 2 0 275211817 427425792 96781 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 104352 96781 198 432 0 103917 0 [pid=16328/tid=16338] ppid=16326 vsize=417408 CPUtime=282.17 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 106429 0 0 0 28188 29 0 0 20 0 2 0 275211824 427425792 96781 33554432000 4194304 5963574 140735977610736 140083861956408 4392253 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 417408 [startup+342.3 s] /proc/loadavg: 2.03 2.02 2.00 3/180 16349 /proc/meminfo: memFree=28485848/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=483484 CPUtime=342.17 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 117388 0 0 0 34186 31 0 0 20 0 2 0 275211817 495087616 105709 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 120871 105709 198 432 0 120436 0 [pid=16328/tid=16338] ppid=16326 vsize=483484 CPUtime=342.13 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 115165 0 0 0 34176 37 0 0 20 0 2 0 275211824 495087616 105709 33554432000 4194304 5963574 140735977610736 140083861956408 4392504 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 483484 [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.00 3/180 16371 /proc/meminfo: memFree=28436828/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=483484 CPUtime=402.11 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 122162 0 0 0 40175 36 0 0 20 0 2 0 275211817 495087616 110505 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 120871 110505 198 432 0 120436 0 [pid=16328/tid=16338] ppid=16326 vsize=483484 CPUtime=402.09 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 119939 0 0 0 40166 43 0 0 20 0 2 0 275211824 495087616 110505 33554432000 4194304 5963574 140735977610736 140083861956600 4399645 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 483484 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16371 /proc/meminfo: memFree=28391964/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=550104 CPUtime=462.11 cores=1,3,5,7 ################ # More data... # ################ /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 162400 0 0 0 130112 88 0 0 20 0 2 0 275211824 698486784 152839 33554432000 4194304 5963574 140735977610736 140083861956472 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 682116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16377 /proc/meminfo: memFree=27984008/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1361.93 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166395 0 0 0 136124 69 0 0 20 0 2 0 275211817 627642368 148956 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 148956 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1362 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164172 0 0 0 136111 89 0 0 20 0 2 0 275211824 627642368 148956 33554432000 4194304 5963574 140735977610736 140083861957448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 612932 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16378 /proc/meminfo: memFree=27982056/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1421.93 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166408 0 0 0 142124 69 0 0 20 0 2 0 275211817 627642368 149438 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149438 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1422 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164185 0 0 0 142110 90 0 0 20 0 2 0 275211824 627642368 149438 33554432000 4194304 5963574 140735977610736 140083861957448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 612932 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16378 /proc/meminfo: memFree=27968472/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1481.88 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166435 0 0 0 148119 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1481.97 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164212 0 0 0 148105 92 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4378768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 612932 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16381 /proc/meminfo: memFree=27938696/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1541.87 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166435 0 0 0 154118 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1541.97 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164212 0 0 0 154104 93 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 612932 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16381 /proc/meminfo: memFree=27924264/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1601.86 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 160117 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1601.97 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 160103 94 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 612932 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16381 /proc/meminfo: memFree=27921908/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1661.85 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 166116 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1661.97 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 166102 95 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399554 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 612932 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 16382 /proc/meminfo: memFree=27900084/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1721.84 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 172115 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1721.97 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 172101 96 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 612932 [startup+1782.3 s] /proc/loadavg: 2.09 2.02 2.01 3/179 16382 /proc/meminfo: memFree=27888704/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1781.84 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 178115 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1781.97 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 178100 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 612932 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.08 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27883116/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1791.44 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179075 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1791.58 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179061 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 612932 [startup+1795.1 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27880248/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1794.64 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179395 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1794.78 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179381 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 612932 [startup+1798.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27879132/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1797.83 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179714 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1797.98 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179701 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4392365 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 612932 [startup+1799.1 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27878512/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1798.63 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179794 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1798.78 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179781 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (KiB) 612932 [startup+1799.5 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27877644/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1799.04 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179835 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1799.18 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179821 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4400361 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.04 Current children cumulated vsize (KiB) 612932 [startup+1799.9 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27877644/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1799.43 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179874 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1799.58 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179861 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 612932 [startup+1800 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16382 /proc/meminfo: memFree=27877644/32873844 swapFree=7900/7900 [pid=16328] ppid=16326 vsize=612932 CPUtime=1799.53 cores=1,3,5,7 /proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179884 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/16328/statm: 153233 149740 198 432 0 152798 0 [pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1799.68 cores=1,3,5,7 /proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179871 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 612932 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.77 CPU user time (s): 1798.78 CPU system time (s): 0.986849 CPU usage (%): 99.9868 Max. virtual memory (cumulated for all children) (KiB): 682116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.78 system time used= 0.986849 maximum resident set size= 618152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 166436 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= 161 involuntary context switches= 3317 runsolver used 3.33749 second user time and 9.42957 second system time The end
Begin job on node137 at 2012-05-27 05:54:33 IDJOB=3705084 IDBENCH=2008 IDSOLVER=2283 FILE ID=node137/3705084-1338090873 RUNJOBID= node137-1338083671-15895 PBS_JOBID= 14624423 Free space on /tmp= 71492 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705084-1338090873/watcher-3705084-1338090873 -o /tmp/evaluation-result-3705084-1338090873/solver-3705084-1338090873 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705084-1338090873.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED=1577782256 node137.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.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.20 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.600 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.600 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.600 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.600 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.600 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.90 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.600 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.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29140620 kB Buffers: 306344 kB Cached: 2594668 kB SwapCached: 22060 kB Active: 772708 kB Inactive: 2152964 kB Active(anon): 3716 kB Inactive(anon): 22684 kB Active(file): 768992 kB Inactive(file): 2130280 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67081508 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 92852 kB Mapped: 9248 kB Shmem: 0 kB Slab: 666004 kB SReclaimable: 107492 kB SUnreclaim: 558512 kB KernelStack: 1488 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 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= 71484 MiB End job on node137 at 2012-05-27 06:24:33