Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1799.61 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data10_3.opb |
MD5SUM | dccfffd22c38fcd3c497d688dab4b7a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 76666 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 79290 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
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 | 559660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 559660 |
Number of bits of the biggest sum of numbers | 20 |
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-3705081-1338090946.opb. 0.00/0.00 c Instance file HOME/instance-3705081-1338090946.opb 0.00/0.00 c File size is 3055321 bytes. 0.19/0.21 c Cost Offset: 0 0.19/0.21 c Highest Coefficient sum: 80 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.22 s | 0.19/0.21 c | Number Variables: 2700 | 0.19/0.21 c | Number Clauses: 20670 | 0.19/0.21 c | Number Cardinality: 800 | 0.19/0.21 c | Number PB Constraints: 21600 | 0.19/0.21 c | | 0.19/0.22 c | Problem Type: Optimization | 0.19/0.22 c | Objective Function: PB Constraint | 0.19/0.22 c | | 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.22 c | | | value type | expCls impCls Lit/impCl | 0.19/0.22 c =============================================================================== 0.19/0.26 c | 0.27 | 0 | 370 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 450 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 530 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 867 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 1472 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 1725 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 1975 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 2061 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 2321 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 2407 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 2777 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 2857 lb | 0 0 0.00 | 0.49/0.57 c | 0.58 | 0 | 2937 lb | 0 0 0.00 | 0.59/0.60 c | 0.61 | 0 | 3274 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | 3879 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 4132 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 4382 lb | 0 0 0.00 | 0.68/0.72 c | 0.72 | 0 | 4468 lb | 0 0 0.00 | 0.68/0.75 c | 0.75 | 0 | 4728 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | 4814 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 4894 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 4974 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 5311 lb | 0 0 0.00 | 0.89/0.90 c | 0.91 | 0 | 5546 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | 5697 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 5783 lb | 0 0 0.00 | 0.99/1.00 c | 1.00 | 0 | 5880 lb | 0 0 0.00 | 0.99/1.03 c | 1.04 | 0 | 5966 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | 6336 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 6593 lb | 0 0 0.00 | 1.09/1.13 c | 1.13 | 0 | 7198 lb | 0 0 0.00 | 1.09/1.16 c | 1.16 | 0 | 7433 lb | 0 0 0.00 | 1.09/1.19 c | 1.20 | 0 | 7683 lb | 0 0 0.00 | 1.18/1.23 c | 1.23 | 0 | 7769 lb | 0 0 0.00 | 1.18/1.26 c | 1.26 | 0 | 8029 lb | 0 0 0.00 | 1.18/1.29 c | 1.29 | 0 | 8115 lb | 0 0 0.00 | 1.29/1.32 c | 1.33 | 0 | 8485 lb | 0 0 0.00 | 1.29/1.36 c | 1.36 | 0 | 8785 lb | 0 0 0.00 | 1.29/1.39 c | 1.39 | 0 | 9390 lb | 0 0 0.00 | 1.39/1.42 c | 1.43 | 0 | 9567 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 9817 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | 9903 lb | 0 0 0.00 | 1.49/1.52 c | 1.53 | 0 | 10163 lb | 0 0 0.00 | 1.49/1.56 c | 1.56 | 0 | 10249 lb | 0 0 0.00 | 1.49/1.59 c | 1.59 | 0 | 10619 lb | 0 0 0.00 | 1.58/1.62 c | 1.63 | 0 | 10662 lb | 0 0 0.00 | 1.58/1.66 c | 1.66 | 0 | 11267 lb | 0 0 0.00 | 1.58/1.69 c | 1.69 | 0 | 11338 lb | 0 0 0.00 | 1.68/1.72 c | 1.73 | 0 | 11588 lb | 0 0 0.00 | 1.68/1.76 c | 1.76 | 0 | 11674 lb | 0 0 0.00 | 1.68/1.79 c | 1.79 | 0 | 11934 lb | 0 0 0.00 | 1.78/1.82 c | 1.83 | 0 | 12020 lb | 0 0 0.00 | 1.78/1.86 c | 1.86 | 0 | 12100 lb | 0 0 0.00 | 1.78/1.89 c | 1.89 | 0 | 12180 lb | 0 0 0.00 | 1.89/1.92 c | 1.93 | 0 | 12517 lb | 0 0 0.00 | 1.89/1.96 c | 1.96 | 0 | 12770 lb | 0 0 0.00 | 1.89/1.99 c | 1.99 | 0 | 13020 lb | 0 0 0.00 | 1.99/2.02 c | 2.03 | 0 | 13106 lb | 0 0 0.00 | 1.99/2.06 c | 2.06 | 0 | 13366 lb | 0 0 0.00 | 1.99/2.09 c | 2.10 | 0 | 13452 lb | 0 0 0.00 | 2.09/2.13 c | 2.13 | 0 | 13720 lb | 0 0 0.00 | 2.09/2.16 c | 2.16 | 0 | 13782 lb | 0 0 0.00 | 2.09/2.19 c | 2.20 | 0 | 13786 lb | 0 0 0.00 | 2.19/2.23 c | 2.23 | 0 | 13941 lb | 0 0 0.00 | 2.19/2.26 c | 2.27 | 0 | 14546 lb | 0 0 0.00 | 2.28/2.30 c | 2.30 | 0 | 14632 lb | 0 0 0.00 | 2.28/2.33 c | 2.33 | 0 | 14892 lb | 0 0 0.00 | 2.28/2.36 c | 2.37 | 0 | 14978 lb | 0 0 0.00 | 2.38/2.40 c | 2.40 | 0 | 15098 lb | 0 0 0.00 | 2.38/2.43 c | 2.44 | 0 | 15178 lb | 0 0 0.00 | 2.38/2.47 c | 2.47 | 0 | 15258 lb | 0 0 0.00 | 2.49/2.50 c | 2.50 | 0 | 15595 lb | 0 0 0.00 | 2.49/2.54 c | 2.54 | 0 | 16200 lb | 0 0 0.00 | 2.49/2.57 c | 2.57 | 0 | 16203 lb | 0 0 0.00 | 2.58/2.60 c | 2.61 | 0 | 16264 lb | 0 0 0.00 | 2.58/2.64 c | 2.64 | 0 | 16339 lb | 0 0 0.00 | 2.58/2.67 c | 2.67 | 0 | 16709 lb | 0 0 0.00 | 2.68/2.71 c | 2.71 | 0 | 16789 lb | 0 0 0.00 | 2.68/2.74 c | 2.74 | 0 | 16869 lb | 0 0 0.00 | 2.68/2.78 c | 2.78 | 0 | 17206 lb | 0 0 0.00 | 2.79/2.81 c | 2.81 | 0 | 17811 lb | 0 0 0.00 | 2.79/2.84 c | 2.85 | 0 | 18064 lb | 0 0 0.00 | 2.79/2.88 c | 2.88 | 0 | 18228 lb | 0 0 0.00 | 2.89/2.91 c | 2.92 | 0 | 18402 lb | 0 0 0.00 | 2.89/2.95 c | 2.95 | 0 | 18609 lb | 0 0 0.00 | 2.89/2.98 c | 2.98 | 0 | 18689 lb | 0 0 0.00 | 2.99/3.02 c | 3.02 | 0 | 18769 lb | 0 0 0.00 | 2.99/3.05 c | 3.05 | 0 | 19106 lb | 0 0 0.00 | 2.99/3.08 c | 3.09 | 0 | 19711 lb | 0 0 0.00 | 3.09/3.12 c | 3.12 | 0 | 19964 lb | 0 0 0.00 | 3.09/3.15 c | 3.16 | 0 | 20015 lb | 0 0 0.00 | 3.09/3.19 c | 3.19 | 0 | 20083 lb | 0 0 0.00 | 3.19/3.22 c | 3.23 | 0 | 20453 lb | 0 0 0.00 | 3.19/3.26 c | 3.26 | 0 | 20533 lb | 0 0 0.00 | 3.19/3.29 c | 3.30 | 0 | 20613 lb | 0 0 0.00 | 3.29/3.33 c | 3.33 | 0 | 20950 lb | 0 0 0.00 | 3.29/3.36 c | 3.37 | 0 | 21555 lb | 0 0 0.00 | 3.38/3.40 c | 3.40 | 0 | 21808 lb | 0 0 0.00 | 3.38/3.43 c | 3.44 | 0 | 22047 lb | 0 0 0.00 | 3.38/3.47 c | 3.47 | 0 | 22289 lb | 0 0 0.00 | 3.49/3.50 c | 3.50 | 0 | 22332 lb | 0 0 0.00 | 3.49/3.54 c | 3.54 | 0 | 22360 lb | 0 0 0.00 | 3.49/3.57 c | 3.57 | 0 | 22589 lb | 0 0 0.00 | 3.59/3.61 c | 3.61 | 0 | 22824 lb | 0 0 0.00 | 3.59/3.64 c | 3.64 | 0 | 22852 lb | 0 0 0.00 | 3.59/3.68 c | 3.68 | 0 | 22949 lb | 0 0 0.00 | 3.68/3.71 c | 3.71 | 0 | 23122 lb | 0 0 0.00 | 3.68/3.74 c | 3.75 | 0 | 23357 lb | 0 0 0.00 | 3.68/3.78 c | 3.78 | 0 | 23360 lb | 0 0 0.00 | 3.78/3.81 c | 3.82 | 0 | 23378 lb | 0 0 0.00 | 3.78/3.85 c | 3.85 | 0 | 23411 lb | 0 0 0.00 | 3.78/3.88 c | 3.89 | 0 | 23472 lb | 0 0 0.00 | 3.88/3.92 c | 3.92 | 0 | 23508 lb | 0 0 0.00 | 3.88/3.95 c | 3.96 | 0 | 23585 lb | 0 0 0.00 | 3.88/3.99 c | 3.99 | 0 | 23620 lb | 0 0 0.00 | 3.98/4.03 c | 4.03 | 0 | 23851 lb | 0 0 0.00 | 3.98/4.06 c | 4.06 | 0 | 24086 lb | 0 0 0.00 | 4.09/4.10 c | 4.10 | 0 | 24089 lb | 0 0 0.00 | 4.09/4.13 c | 4.13 | 0 | 24140 lb | 0 0 0.00 | 4.09/4.17 c | 4.17 | 0 | 24201 lb | 0 0 0.00 | 4.19/4.20 c | 4.20 | 0 | 24237 lb | 0 0 0.00 | 4.19/4.24 c | 4.24 | 0 | 24306 lb | 0 0 0.00 | 4.19/4.27 c | 4.28 | 0 | 24349 lb | 0 0 0.00 | 4.29/4.31 c | 4.31 | 0 | 24584 lb | 0 0 0.00 | 4.29/4.34 c | 4.35 | 0 | 24587 lb | 0 0 0.00 | 4.29/4.38 c | 4.38 | 0 | 24638 lb | 0 0 0.00 | 4.39/4.41 c | 4.42 | 0 | 24699 lb | 0 0 0.00 | 4.39/4.45 c | 4.45 | 0 | 24735 lb | 0 0 0.00 | 4.48/4.55 c | 4.49 | 0 | 24767 lb | 0 0 0.00 | 4.48/4.55 c | 4.52 | 0 | 24810 lb | 0 0 0.00 | 4.48/4.56 c | 4.56 | 0 | 24838 lb | 0 0 0.00 | 4.48/4.59 c | 4.59 | 0 | 24993 lb | 0 0 0.00 | 4.58/4.63 c | 4.63 | 0 | 25044 lb | 0 0 0.00 | 4.58/4.66 c | 4.67 | 0 | 25047 lb | 0 0 0.00 | 4.69/4.70 c | 4.70 | 0 | 25070 lb | 0 0 0.00 | 4.69/4.74 c | 4.74 | 0 | 25074 lb | 0 0 0.00 | 4.69/4.77 c | 4.77 | 0 | 25105 lb | 0 0 0.00 | 4.79/4.81 c | 4.81 | 0 | 25167 lb | 0 0 0.00 | 4.79/4.84 c | 4.85 | 0 | 25171 lb | 0 0 0.00 | 4.79/4.88 c | 4.88 | 0 | 25326 lb | 0 0 0.00 | 4.88/4.91 c | 4.92 | 0 | 25663 lb | 0 0 0.00 | 4.88/4.95 c | 4.95 | 0 | 25707 lb | 0 0 0.00 | 4.88/4.99 c | 4.99 | 0 | 25881 lb | 0 0 0.00 | 4.98/5.02 c | 5.03 | 0 | 25905 lb | 0 0 0.00 | 4.98/5.06 c | 5.06 | 0 | 25940 lb | 0 0 0.00 | 4.98/5.09 c | 5.10 | 0 | 26197 lb | 0 0 0.00 | 5.08/5.13 c | 5.13 | 0 | 26205 lb | 0 0 0.00 | 5.08/5.17 c | 5.17 | 0 | 26690 lb | 0 0 0.00 | 5.18/5.20 c | 5.21 | 0 | 26693 lb | 0 0 0.00 | 5.18/5.24 c | 5.24 | 0 | 26754 lb | 0 0 0.00 | 5.18/5.28 c | 5.28 | 0 | 26829 lb | 0 0 0.00 | 5.29/5.31 c | 5.32 | 0 | 26872 lb | 0 0 0.00 | 5.29/5.35 c | 5.35 | 0 | 26900 lb | 0 0 0.00 | 5.29/5.38 c | 5.39 | 0 | 27055 lb | 0 0 0.00 | 5.39/5.42 c | 5.42 | 0 | 27290 lb | 0 0 0.00 | 5.39/5.46 c | 5.46 | 0 | 27364 lb | 0 0 0.00 | 5.39/5.49 c | 5.50 | 0 | 27368 lb | 0 0 0.00 | 5.49/5.53 c | 5.53 | 0 | 27426 lb | 0 0 0.00 | 5.49/5.57 c | 5.57 | 0 | 27427 lb | 0 0 0.00 | 5.59/5.60 c | 5.61 | 0 | 27524 lb | 0 0 0.00 | 5.59/5.64 c | 5.64 | 0 | 27574 lb | 0 0 0.00 | 5.59/5.68 c | 5.68 | 0 | 27617 lb | 0 0 0.00 | 5.68/5.71 c | 5.72 | 0 | 27645 lb | 0 0 0.00 | 5.68/5.75 c | 5.75 | 0 | 27800 lb | 0 0 0.00 | 5.68/5.79 c | 5.79 | 0 | 28198 lb | 0 0 0.00 | 5.78/5.82 c | 5.83 | 0 | 28249 lb | 0 0 0.00 | 5.78/5.86 c | 5.86 | 0 | 28317 lb | 0 0 0.00 | 5.88/5.90 c | 5.90 | 0 | 28360 lb | 0 0 0.00 | 5.88/5.93 c | 5.94 | 0 | 28388 lb | 0 0 0.00 | 5.88/5.97 c | 5.97 | 0 | 28543 lb | 0 0 0.00 | 5.99/6.01 c | 6.01 | 0 | 28778 lb | 0 0 0.00 | 5.99/6.05 c | 6.05 | 0 | 28847 lb | 0 0 0.00 | 5.99/6.08 c | 6.08 | 0 | 28919 lb | 0 0 0.00 | 6.09/6.12 c | 6.12 | 0 | 28970 lb | 0 0 0.00 | 6.09/6.16 c | 6.16 | 0 | 29003 lb | 0 0 0.00 | 6.09/6.19 c | 6.20 | 0 | 29072 lb | 0 0 0.00 | 6.19/6.23 c | 6.23 | 0 | 29373 lb | 0 0 0.00 | 6.19/6.27 c | 6.27 | 0 | 29437 lb | 0 0 0.00 | 6.28/6.30 c | 6.31 | 0 | 29477 lb | 0 0 0.00 | 6.28/6.34 c | 6.34 | 0 | 29487 lb | 0 0 0.00 | 6.28/6.38 c | 6.38 | 0 | 29496 lb | 0 0 0.00 | 6.38/6.42 c | 6.42 | 0 | 29523 lb | 0 0 0.00 | 6.38/6.45 c | 6.46 | 0 | 29693 lb | 0 0 0.00 | 6.38/6.49 c | 6.49 | 0 | 29761 lb | 0 0 0.00 | 6.49/6.53 c | 6.53 | 0 | 29765 lb | 0 0 0.00 | 6.49/6.57 c | 6.57 | 0 | 29928 lb | 0 0 0.00 | 6.59/6.61 c | 6.61 | 0 | 29979 lb | 0 0 0.00 | 6.59/6.65 c | 6.66 | 0 | 29990 lb | 0 0 0.00 | 6.69/6.70 c | 6.70 | 0 | 29996 lb | 0 0 0.00 | 6.69/6.74 c | 6.75 | 0 | 30073 lb | 0 0 0.00 | 6.69/6.79 c | 6.79 | 0 | 30102 lb | 0 0 0.00 | 6.79/6.83 c | 6.84 | 0 | 30127 lb | 0 0 0.00 | 6.79/6.88 c | 6.88 | 0 | 30135 lb | 0 0 0.00 | 6.88/6.93 c | 6.93 | 0 | 30157 lb | 0 0 0.00 | 6.88/6.97 c | 6.98 | 0 | 30168 lb | 0 0 0.00 | 6.98/7.02 c | 7.02 | 0 | 30215 lb | 0 0 0.00 | 6.98/7.07 c | 7.07 | 0 | 30240 lb | 0 0 0.00 | 7.09/7.12 c | 7.12 | 0 | 30252 lb | 0 0 0.00 | 7.09/7.16 c | 7.17 | 0 | 30295 lb | 0 0 0.00 | 7.19/7.21 c | 7.21 | 0 | 30332 lb | 0 0 0.00 | 7.19/7.26 c | 7.26 | 0 | 30426 lb | 0 0 0.00 | 7.28/7.31 c | 7.31 | 0 | 30438 lb | 0 0 0.00 | 7.28/7.36 c | 7.36 | 0 | 30494 lb | 0 0 0.00 | 7.39/7.40 c | 7.41 | 0 | 30539 lb | 0 0 0.00 | 7.39/7.45 c | 7.46 | 0 | 30566 lb | 0 0 0.00 | 7.49/7.50 c | 7.50 | 0 | 30574 lb | 0 0 0.00 | 7.49/7.55 c | 7.55 | 0 | 30641 lb | 0 0 0.00 | 7.49/7.60 c | 7.60 | 0 | 30739 lb | 0 0 0.00 | 7.59/7.65 c | 7.65 | 0 | 30842 lb | 0 0 0.00 | 7.59/7.70 c | 7.70 | 0 | 30843 lb | 0 0 0.00 | 7.69/7.75 c | 7.75 | 0 | 30893 lb | 0 0 0.00 | 7.79/7.80 c | 7.80 | 0 | 30907 lb | 0 0 0.00 | 7.79/7.85 c | 7.85 | 0 | 31006 lb | 0 0 0.00 | 7.88/7.90 c | 7.91 | 0 | 31013 lb | 0 0 0.00 | 7.88/7.95 c | 7.96 | 0 | 31024 lb | 0 0 0.00 | 7.98/8.00 c | 8.01 | 0 | 31153 lb | 0 0 0.00 | 7.98/8.06 c | 8.06 | 0 | 31205 lb | 0 0 0.00 | 8.08/8.11 c | 8.11 | 0 | 31231 lb | 0 0 0.00 | 8.08/8.16 c | 8.16 | 0 | 31291 lb | 0 0 0.00 | 8.18/8.21 c | 8.22 | 0 | 31309 lb | 0 0 0.00 | 8.18/8.27 c | 8.27 | 0 | 31490 lb | 0 0 0.00 | 8.29/8.32 c | 8.32 | 0 | 31493 lb | 0 0 0.00 | 8.29/8.37 c | 8.37 | 0 | 31497 lb | 0 0 0.00 | 8.39/8.42 c | 8.43 | 0 | 31516 lb | 0 0 0.00 | 8.39/8.48 c | 8.48 | 0 | 31520 lb | 0 0 0.00 | 8.49/8.53 c | 8.53 | 0 | 31551 lb | 0 0 0.00 | 8.49/8.58 c | 8.59 | 0 | 31562 lb | 0 0 0.00 | 8.59/8.63 c | 8.64 | 0 | 31565 lb | 0 0 0.00 | 8.59/8.69 c | 8.69 | 0 | 31569 lb | 0 0 0.00 | 8.69/8.74 c | 8.74 | 0 | 31570 lb | 0 0 0.00 | 8.69/8.79 c | 8.80 | 0 | 31574 lb | 0 0 0.00 | 8.79/8.85 c | 8.85 | 0 | 31637 lb | 0 0 0.00 | 8.88/8.90 c | 8.90 | 0 | 31731 lb | 0 0 0.00 | 8.88/8.96 c | 8.96 | 0 | 31781 lb | 0 0 0.00 | 8.98/9.01 c | 9.01 | 0 | 31814 lb | 0 0 0.00 | 8.98/9.06 c | 9.07 | 0 | 31816 lb | 0 0 0.00 | 9.08/9.12 c | 9.12 | 0 | 31861 lb | 0 0 0.00 | 9.08/9.17 c | 9.17 | 0 | 32007 lb | 0 0 0.00 | 9.18/9.22 c | 9.23 | 0 | 32087 lb | 0 0 0.00 | 9.18/9.28 c | 9.28 | 0 | 32167 lb | 0 0 0.00 | 9.28/9.33 c | 9.34 | 0 | 32228 lb | 0 0 0.00 | 9.28/9.39 c | 9.39 | 0 | 32247 lb | 0 0 0.00 | 9.38/9.44 c | 9.44 | 0 | 32254 lb | 0 0 0.00 | 9.38/9.49 c | 9.50 | 0 | 32353 lb | 0 0 0.00 | 9.48/9.55 c | 9.55 | 0 | 32386 lb | 0 0 0.00 | 9.59/9.60 c | 9.61 | 0 | 32493 lb | 0 0 0.00 | 9.59/9.66 c | 9.66 | 0 | 32506 lb | 0 0 0.00 | 9.69/9.71 c | 9.71 | 0 | 32534 lb | 0 0 0.00 | 9.69/9.77 c | 9.77 | 0 | 32602 lb | 0 0 0.00 | 9.79/9.82 c | 9.82 | 0 | 32620 lb | 0 0 0.00 | 9.79/9.87 c | 9.88 | 0 | 32675 lb | 0 0 0.00 | 9.89/9.93 c | 9.93 | 0 | 32684 lb | 0 0 0.00 | 9.89/9.98 c | 9.99 | 0 | 32770 lb | 0 0 0.00 | 9.98/10.04 c | 10.04 | 0 | 32803 lb | 0 0 0.00 | 10.08/10.10 c | 10.10 | 0 | 32854 lb | 0 0 0.00 | 10.08/10.15 c | 10.15 | 0 | 32923 lb | 0 0 0.00 | 10.18/10.21 c | 10.21 | 0 | 32950 lb | 0 0 0.00 | 10.18/10.27 c | 10.27 | 0 | 32973 lb | 0 0 0.00 | 10.28/10.32 c | 10.32 | 0 | 32998 lb | 0 0 0.00 | 10.28/10.38 c | 10.38 | 0 | 33018 lb | 0 0 0.00 | 10.38/10.44 c | 10.44 | 0 | 33030 lb | 0 0 0.00 | 10.48/10.50 c | 10.50 | 0 | 33099 lb | 0 0 0.00 | 10.48/10.56 c | 10.56 | 0 | 33116 lb | 0 0 0.00 | 10.59/10.62 c | 10.62 | 0 | 33120 lb | 0 0 0.00 | 10.59/10.68 c | 10.68 | 0 | 33195 lb | 0 0 0.00 | 10.69/10.73 c | 10.74 | 0 | 33199 lb | 0 0 0.00 | 10.69/10.79 c | 10.80 | 0 | 33207 lb | 0 0 0.00 | 10.78/10.85 c | 10.86 | 0 | 33212 lb | 0 0 0.00 | 10.89/10.91 c | 10.91 | 0 | 33218 lb | 0 0 0.00 | 10.89/10.97 c | 10.97 | 0 | 33222 lb | 0 0 0.00 | 10.99/11.03 c | 11.03 | 0 | 33234 lb | 0 0 0.00 | 10.99/11.09 c | 11.09 | 0 | 33241 lb | 0 0 0.00 | 11.08/11.15 c | 11.15 | 0 | 33244 lb | 0 0 0.00 | 11.19/11.21 c | 11.21 | 0 | 33248 lb | 0 0 0.00 | 11.19/11.27 c | 11.27 | 0 | 33249 lb | 0 0 0.00 | 11.29/11.33 c | 11.33 | 0 | 33255 lb | 0 0 0.00 | 11.29/11.39 c | 11.39 | 0 | 33275 lb | 0 0 0.00 | 11.39/11.45 c | 11.45 | 0 | 33331 lb | 0 0 0.00 | 11.49/11.51 c | 11.51 | 0 | 33335 lb | 0 0 0.00 | 11.49/11.57 c | 11.57 | 0 | 33338 lb | 0 0 0.00 | 11.59/11.63 c | 11.63 | 0 | 33345 lb | 0 0 0.00 | 11.59/11.69 c | 11.69 | 0 | 33363 lb | 0 0 0.00 | 11.68/11.75 c | 11.75 | 0 | 33367 lb | 0 0 0.00 | 11.78/11.81 c | 11.81 | 0 | 33382 lb | 0 0 0.00 | 11.78/11.87 c | 11.87 | 0 | 33413 lb | 0 0 0.00 | 11.88/11.93 c | 11.93 | 0 | 33448 lb | 0 0 0.00 | 11.88/11.99 c | 11.99 | 0 | 33455 lb | 0 0 0.00 | 11.99/12.05 c | 12.05 | 0 | 33462 lb | 0 0 0.00 | 12.09/12.11 c | 12.11 | 0 | 33466 lb | 0 0 0.00 | 12.09/12.17 c | 12.17 | 0 | 33524 lb | 0 0 0.00 | 12.18/12.23 c | 12.23 | 0 | 33525 lb | 0 0 0.00 | 12.18/12.29 c | 12.30 | 0 | 33529 lb | 0 0 0.00 | 12.28/12.35 c | 12.36 | 0 | 33532 lb | 0 0 0.00 | 12.38/12.41 c | 12.42 | 0 | 33534 lb | 0 0 0.00 | 12.38/12.47 c | 12.48 | 0 | 33541 lb | 0 0 0.00 | 12.48/12.54 c | 12.54 | 0 | 33555 lb | 0 0 0.00 | 12.58/12.60 c | 12.60 | 0 | 33569 lb | 0 0 0.00 | 12.58/12.66 c | 12.66 | 0 | 33570 lb | 0 0 0.00 | 12.69/12.72 c | 12.72 | 0 | 33590 lb | 0 0 0.00 | 12.69/12.78 c | 12.78 | 0 | 33619 lb | 0 0 0.00 | 12.79/12.84 c | 12.84 | 0 | 33620 lb | 0 0 0.00 | 12.89/12.90 c | 12.90 | 0 | 33624 lb | 0 0 0.00 | 12.89/12.96 c | 12.97 | 0 | 33631 lb | 0 0 0.00 | 12.99/13.02 c | 13.03 | 0 | 33638 lb | 0 0 0.00 | 12.99/13.09 c | 13.09 | 0 | 33641 lb | 0 0 0.00 | 13.09/13.15 c | 13.15 | 0 | 33658 lb | 0 0 0.00 | 13.19/13.21 c | 13.21 | 0 | 33665 lb | 0 0 0.00 | 13.19/13.27 c | 13.28 | 0 | 33679 lb | 0 0 0.00 | 13.28/13.33 c | 13.34 | 0 | 33716 lb | 0 0 0.00 | 13.38/13.40 c | 13.40 | 0 | 33730 lb | 0 0 0.00 | 13.38/13.46 c | 13.46 | 0 | 33756 lb | 0 0 0.00 | 13.48/13.53 c | 13.53 | 0 | 33763 lb | 0 0 0.00 | 13.48/13.59 c | 13.59 | 0 | 33767 lb | 0 0 0.00 | 13.58/13.65 c | 13.65 | 0 | 33811 lb | 0 0 0.00 | 13.68/13.71 c | 13.72 | 0 | 33819 lb | 0 0 0.00 | 13.68/13.78 c | 13.78 | 0 | 33822 lb | 0 0 0.00 | 13.78/13.84 c | 13.84 | 0 | 33833 lb | 0 0 0.00 | 13.89/13.90 c | 13.91 | 0 | 33852 lb | 0 0 0.00 | 13.89/13.97 c | 13.97 | 0 | 33865 lb | 0 0 0.00 | 13.99/14.03 c | 14.03 | 0 | 33873 lb | 0 0 0.00 | 13.99/14.09 c | 14.09 | 0 | 33890 lb | 0 0 0.00 | 14.09/14.15 c | 14.16 | 0 | 33897 lb | 0 0 0.00 | 14.19/14.22 c | 14.22 | 0 | 33904 lb | 0 0 0.00 | 14.19/14.28 c | 14.28 | 0 | 33958 lb | 0 0 0.00 | 14.29/14.34 c | 14.35 | 0 | 33993 lb | 0 0 0.00 | 14.38/14.41 c | 14.41 | 0 | 33996 lb | 0 0 0.00 | 14.38/14.47 c | 14.47 | 0 | 33997 lb | 0 0 0.00 | 14.48/14.54 c | 14.54 | 0 | 34004 lb | 0 0 0.00 | 14.58/14.60 c | 14.60 | 0 | 34011 lb | 0 0 0.00 | 14.58/14.66 c | 14.67 | 0 | 34028 lb | 0 0 0.00 | 14.68/14.73 c | 14.73 | 0 | 34035 lb | 0 0 0.00 | 14.68/14.79 c | 14.79 | 0 | 34069 lb | 0 0 0.00 | 14.78/14.85 c | 14.86 | 0 | 34103 lb | 0 0 0.00 | 14.88/14.92 c | 14.92 | 0 | 34114 lb | 0 0 0.00 | 14.88/14.98 c | 14.99 | 0 | 34128 lb | 0 0 0.00 | 14.99/15.05 c | 15.05 | 0 | 34129 lb | 0 0 0.00 | 15.09/15.11 c | 15.12 | 0 | 34130 lb | 0 0 0.00 | 15.09/15.18 c | 15.18 | 0 | 34134 lb | 0 0 0.00 | 15.19/15.24 c | 15.25 | 0 | 34135 lb | 0 0 0.00 | 15.29/15.31 c | 15.31 | 0 | 34140 lb | 0 0 0.00 | 15.29/15.37 c | 15.37 | 0 | 34146 lb | 0 0 0.00 | 15.39/15.44 c | 15.44 | 0 | 34197 lb | 0 0 0.00 | 15.49/15.50 c | 15.50 | 0 | 34200 lb | 0 0 0.00 | 15.49/15.56 c | 15.57 | 0 | 34205 lb | 0 0 0.00 | 15.59/15.63 c | 15.63 | 0 | 34212 lb | 0 0 0.00 | 15.59/15.69 c | 15.70 | 0 | 34214 lb | 0 0 0.00 | 15.68/15.76 c | 15.76 | 0 | 34215 lb | 0 0 0.00 | 15.78/15.82 c | 15.83 | 0 | 34222 lb | 0 0 0.00 | 15.78/15.89 c | 15.89 | 0 | 34229 lb | 0 0 0.00 | 15.88/15.95 c | 15.95 | 0 | 34230 lb | 0 0 0.00 | 15.98/16.01 c | 16.02 | 0 | 34234 lb | 0 0 0.00 | 15.98/16.08 c | 16.08 | 0 | 34240 lb | 0 0 0.00 | 16.08/16.15 c | 16.15 | 0 | 34243 lb | 0 0 0.00 | 16.18/16.21 c | 16.21 | 0 | 34247 lb | 0 0 0.00 | 16.18/16.28 c | 16.28 | 0 | 34251 lb | 0 0 0.00 | 16.28/16.34 c | 16.34 | 0 | 34257 lb | 0 0 0.00 | 16.38/16.41 c | 16.41 | 0 | 34275 lb | 0 0 0.00 | 16.38/16.47 c | 16.48 | 0 | 34276 lb | 0 0 0.00 | 16.49/16.54 c | 16.54 | 0 | 34302 lb | 0 0 0.00 | 16.59/16.61 c | 16.61 | 0 | 34340 lb | 0 0 0.00 | 16.59/16.67 c | 16.67 | 0 | 34401 lb | 0 0 0.00 | 16.69/16.74 c | 16.74 | 0 | 34427 lb | 0 0 0.00 | 16.78/16.80 c | 16.80 | 0 | 34431 lb | 0 0 0.00 | 16.78/16.87 c | 16.87 | 0 | 34448 lb | 0 0 0.00 | 16.88/16.93 c | 16.93 | 0 | 34452 lb | 0 0 0.00 | 16.98/17.00 c | 17.00 | 0 | 34459 lb | 0 0 0.00 | 16.98/17.06 c | 17.07 | 0 | 34480 lb | 0 0 0.00 | 17.08/17.13 c | 17.13 | 0 | 34495 lb | 0 0 0.00 | 17.08/17.19 c | 17.20 | 0 | 34524 lb | 0 0 0.00 | 17.18/17.26 c | 17.27 | 0 | 34535 lb | 0 0 0.00 | 17.28/17.33 c | 17.33 | 0 | 34541 lb | 0 0 0.00 | 17.28/17.39 c | 17.40 | 0 | 34542 lb | 0 0 0.00 | 17.39/17.46 c | 17.46 | 0 | 34543 lb | 0 0 0.00 | 17.49/17.53 c | 17.53 | 0 | 34564 lb | 0 0 0.00 | 17.49/17.59 c | 17.60 | 0 | 34569 lb | 0 0 0.00 | 17.59/17.66 c | 17.66 | 0 | 34588 lb | 0 0 0.00 | 17.69/17.73 c | 17.73 | 0 | 34593 lb | 0 0 0.00 | 17.69/17.79 c | 17.80 | 0 | 34595 lb | 0 0 0.00 | 17.79/17.86 c | 17.86 | 0 | 34617 lb | 0 0 0.00 | 17.89/17.93 c | 17.93 | 0 | 34629 lb | 0 0 0.00 | 17.89/17.99 c | 18.00 | 0 | 34636 lb | 0 0 0.00 | 17.99/18.06 c | 18.07 | 0 | 34637 lb | 0 0 0.00 | 18.09/18.13 c | 18.13 | 0 | 34642 lb | 0 0 0.00 | 18.18/18.20 c | 18.20 | 0 | 34644 lb | 0 0 0.00 | 18.18/18.26 c | 18.27 | 0 | 34669 lb | 0 0 0.00 | 18.28/18.33 c | 18.33 | 0 | 34704 lb | 0 0 0.00 | 18.38/18.40 c | 18.40 | 0 | 34705 lb | 0 0 0.00 | 18.38/18.46 c | 18.47 | 0 | 34716 lb | 0 0 0.00 | 18.48/18.53 c | 18.54 | 0 | 34720 lb | 0 0 0.00 | 18.48/18.60 c | 18.60 | 0 | 34732 lb | 0 0 0.00 | 18.59/18.67 c | 18.67 | 0 | 34733 lb | 0 0 0.00 | 18.69/18.74 c | 18.74 | 0 | 34734 lb | 0 0 0.00 | 18.78/18.80 c | 18.81 | 0 | 34750 lb | 0 0 0.00 | 18.78/18.87 c | 18.88 | 0 | 34752 lb | 0 0 0.00 | 18.89/18.94 c | 18.95 | 0 | 34759 lb | 0 0 0.00 | 18.99/19.01 c | 19.01 | 0 | 34769 lb | 0 0 0.00 | 18.99/19.08 c | 19.08 | 0 | 34815 lb | 0 0 0.00 | 19.09/19.14 c | 19.15 | 0 | 34843 lb | 0 0 0.00 | 19.18/19.21 c | 19.21 | 0 | 34880 lb | 0 0 0.00 | 19.18/19.28 c | 19.28 | 0 | 34886 lb | 0 0 0.00 | 19.28/19.35 c | 19.35 | 0 | 34921 lb | 0 0 0.00 | 19.38/19.42 c | 19.42 | 0 | 34927 lb | 0 0 0.00 | 19.38/19.49 c | 19.49 | 0 | 34928 lb | 0 0 0.00 | 19.48/19.56 c | 19.56 | 0 | 34930 lb | 0 0 0.00 | 19.58/19.63 c | 19.63 | 0 | 34935 lb | 0 0 0.00 | 19.58/19.70 c | 19.70 | 0 | 34942 lb | 0 0 0.00 | 19.69/19.76 c | 19.77 | 0 | 34944 lb | 0 0 0.00 | 19.79/19.84 c | 19.84 | 0 | 34953 lb | 0 0 0.00 | 19.88/19.90 c | 19.91 | 0 | 34954 lb | 0 0 0.00 | 19.88/19.97 c | 19.98 | 0 | 34968 lb | 0 0 0.00 | 19.98/20.04 c | 20.05 | 0 | 34971 lb | 0 0 0.00 | 20.08/20.11 c | 20.12 | 0 | 34975 lb | 0 0 0.00 | 20.08/20.18 c | 20.19 | 0 | 34976 lb | 0 0 0.00 | 20.19/20.25 c | 20.26 | 0 | 34979 lb | 0 0 0.00 | 20.28/20.32 c | 20.32 | 0 | 34982 lb | 0 0 0.00 | 20.28/20.39 c | 20.39 | 0 | 34983 lb | 0 0 0.00 | 20.38/20.46 c | 20.46 | 0 | 34984 lb | 0 0 0.00 | 20.48/20.53 c | 20.54 | 0 | 34998 lb | 0 0 0.00 | 20.58/20.60 c | 20.61 | 0 | 35032 lb | 0 0 0.00 | 20.58/20.67 c | 20.68 | 0 | 35035 lb | 0 0 0.00 | 20.68/20.74 c | 20.75 | 0 | 35041 lb | 0 0 0.00 | 20.79/20.82 c | 20.82 | 0 | 35043 lb | 0 0 0.00 | 20.79/20.89 c | 20.89 | 0 | 35048 lb | 0 0 0.00 | 20.88/20.96 c | 20.96 | 0 | 35050 lb | 0 0 0.00 | 20.98/21.03 c | 21.03 | 0 | 35062 lb | 0 0 0.00 | 21.08/21.10 c | 21.10 | 0 | 35064 lb | 0 0 0.00 | 21.08/21.17 c | 21.17 | 0 | 35074 lb | 0 0 0.00 | 21.18/21.24 c | 21.24 | 0 | 35103 lb | 0 0 0.00 | 21.28/21.31 c | 21.32 | 0 | 35109 lb | 0 0 0.00 | 21.28/21.38 c | 21.39 | 0 | 35111 lb | 0 0 0.00 | 21.38/21.45 c | 21.46 | 0 | 35115 lb | 0 0 0.00 | 21.49/21.53 c | 21.53 | 0 | 35117 lb | 0 0 0.00 | 21.49/21.59 c | 21.60 | 0 | 35118 lb | 0 0 0.00 | 21.59/21.66 c | 21.67 | 0 | 35125 lb | 0 0 0.00 | 21.69/21.74 c | 21.74 | 0 | 35126 lb | 0 0 0.00 | 21.79/21.81 c | 21.81 | 0 | 35131 lb | 0 0 0.00 | 21.79/21.88 c | 21.88 | 0 | 35133 lb | 0 0 0.00 | 21.89/21.95 c | 21.95 | 0 | 35292 lb | 0 0 0.00 | 21.99/22.02 c | 22.03 | 0 | 35299 lb | 0 0 0.00 | 21.99/22.09 c | 22.10 | 0 | 35302 lb | 0 0 0.00 | 22.08/22.17 c | 22.17 | 0 | 35304 lb | 0 0 0.00 | 22.18/22.24 c | 22.24 | 0 | 35306 lb | 0 0 0.00 | 22.28/22.31 c | 22.31 | 0 | 35308 lb | 0 0 0.00 | 22.28/22.38 c | 22.38 | 0 | 35309 lb | 0 0 0.00 | 22.38/22.45 c | 22.45 | 0 | 35310 lb | 0 0 0.00 | 22.48/22.52 c | 22.53 | 0 | 35311 lb | 0 0 0.00 | 22.58/22.60 c | 22.60 | 0 | 35317 lb | 0 0 0.00 | 22.58/22.67 c | 22.67 | 0 | 35318 lb | 0 0 0.00 | 22.69/22.74 c | 22.74 | 0 | 35322 lb | 0 0 0.00 | 22.78/22.81 c | 22.81 | 0 | 35350 lb | 0 0 0.00 | 22.78/22.88 c | 22.89 | 0 | 35351 lb | 0 0 0.00 | 22.88/22.95 c | 22.96 | 0 | 35353 lb | 0 0 0.00 | 22.99/23.03 c | 23.03 | 0 | 35355 lb | 0 0 0.00 | 22.99/23.10 c | 23.10 | 0 | 35370 lb | 0 0 0.00 | 23.09/23.17 c | 23.17 | 0 | 35379 lb | 0 0 0.00 | 23.18/23.24 c | 23.25 | 0 | 35425 lb | 0 0 0.00 | 23.28/23.31 c | 23.32 | 0 | 35428 lb | 0 0 0.00 | 23.28/23.39 c | 23.39 | 0 | 35432 lb | 0 0 0.00 | 23.38/23.46 c | 23.46 | 0 | 35436 lb | 0 0 0.00 | 23.48/23.53 c | 23.54 | 0 | 35443 lb | 0 0 0.00 | 23.59/23.61 c | 23.61 | 0 | 35445 lb | 0 0 0.00 | 23.59/23.68 c | 23.68 | 0 | 35446 lb | 0 0 0.00 | 23.69/23.75 c | 23.75 | 0 | 35447 lb | 0 0 0.00 | 23.78/23.83 c | 23.83 | 0 | 35448 lb | 0 0 0.00 | 23.88/23.90 c | 23.90 | 0 | 35468 lb | 0 0 0.00 | 23.88/23.97 c | 23.98 | 0 | 35475 lb | 0 0 0.00 | 23.98/24.04 c | 24.05 | 0 | 35496 lb | 0 0 0.00 | 24.09/24.12 c | 24.12 | 0 | 35498 lb | 0 0 0.00 | 24.09/24.19 c | 24.20 | 0 | 35499 lb | 0 0 0.00 | 24.19/24.26 c | 24.27 | 0 | 35500 lb | 0 0 0.00 | 24.28/24.34 c | 24.34 | 0 | 35501 lb | 0 0 0.00 | 24.38/24.41 c | 24.41 | 0 | 35503 lb | 0 0 0.00 | 24.38/24.48 c | 24.49 | 0 | 35504 lb | 0 0 0.00 | 24.48/24.56 c | 24.56 | 0 | 35564 lb | 0 0 0.00 | 24.58/24.63 c | 24.64 | 0 | 35577 lb | 0 0 0.00 | 24.68/24.71 c | 24.71 | 0 | 35580 lb | 0 0 0.00 | 24.68/24.78 c | 24.78 | 0 | 35581 lb | 0 0 0.00 | 24.79/24.85 c | 24.86 | 0 | 35583 lb | 0 0 0.00 | 24.89/24.93 c | 24.93 | 0 | 35599 lb | 0 0 0.00 | 24.98/25.00 c | 25.00 | 0 | 35603 lb | 0 0 0.00 | 24.98/25.08 c | 25.08 | 0 | 35607 lb | 0 0 0.00 | 25.08/25.15 c | 25.15 | 0 | 35610 lb | 0 0 0.00 | 25.19/25.23 c | 25.23 | 0 | 35616 lb | 0 0 0.00 | 25.29/25.30 c | 25.30 | 0 | 35617 lb | 0 0 0.00 | 25.29/25.38 c | 25.38 | 0 | 35618 lb | 0 0 0.00 | 25.38/25.45 c | 25.46 | 0 | 35620 lb | 0 0 0.00 | 25.48/25.53 c | 25.53 | 0 | 35623 lb | 0 0 0.00 | 25.58/25.60 c | 25.61 | 0 | 35633 lb | 0 0 0.00 | 25.58/25.68 c | 25.68 | 0 | 35634 lb | 0 0 0.00 | 25.68/25.76 c | 25.76 | 0 | 35637 lb | 0 0 0.00 | 25.78/25.83 c | 25.83 | 0 | 35638 lb | 0 0 0.00 | 25.88/25.91 c | 25.91 | 0 | 35639 lb | 0 0 0.00 | 25.88/25.98 c | 25.98 | 0 | 35644 lb | 0 0 0.00 | 25.99/26.06 c | 26.06 | 0 | 35648 lb | 0 0 0.00 | 26.09/26.13 c | 26.14 | 0 | 35649 lb | 0 0 0.00 | 26.18/26.21 c | 26.21 | 0 | 35651 lb | 0 0 0.00 | 26.18/26.29 c | 26.29 | 0 | 35655 lb | 0 0 0.00 | 26.29/26.36 c | 26.37 | 0 | 35658 lb | 0 0 0.00 | 26.38/26.44 c | 26.44 | 0 | 35659 lb | 0 0 0.00 | 26.49/26.52 c | 26.52 | 0 | 35661 lb | 0 0 0.00 | 26.49/26.59 c | 26.59 | 0 | 35664 lb | 0 0 0.00 | 26.59/26.67 c | 26.67 | 0 | 35666 lb | 0 0 0.00 | 26.68/26.74 c | 26.75 | 0 | 35673 lb | 0 0 0.00 | 26.78/26.82 c | 26.82 | 0 | 35674 lb | 0 0 0.00 | 26.88/26.90 c | 26.90 | 0 | 35675 lb | 0 0 0.00 | 26.88/26.98 c | 26.98 | 0 | 35679 lb | 0 0 0.00 | 26.98/27.05 c | 27.05 | 0 | 35684 lb | 0 0 0.00 | 27.08/27.13 c | 27.13 | 0 | 35699 lb | 0 0 0.00 | 27.18/27.20 c | 27.21 | 0 | 35702 lb | 0 0 0.00 | 27.18/27.28 c | 27.28 | 0 | 35707 lb | 0 0 0.00 | 27.29/27.35 c | 27.36 | 0 | 35708 lb | 0 0 0.00 | 27.39/27.43 c | 27.43 | 0 | 35733 lb | 0 0 0.00 | 27.49/27.51 c | 27.51 | 0 | 35734 lb | 0 0 0.00 | 27.49/27.58 c | 27.58 | 0 | 35736 lb | 0 0 0.00 | 27.59/27.66 c | 27.66 | 0 | 35738 lb | 0 0 0.00 | 27.68/27.73 c | 27.74 | 0 | 35742 lb | 0 0 0.00 | 27.78/27.81 c | 27.81 | 0 | 35745 lb | 0 0 0.00 | 27.78/27.88 c | 27.89 | 0 | 35750 lb | 0 0 0.00 | 27.88/27.96 c | 27.96 | 0 | 35752 lb | 0 0 0.00 | 27.98/28.04 c | 28.04 | 0 | 35755 lb | 0 0 0.00 | 28.08/28.12 c | 28.12 | 0 | 35756 lb | 0 0 0.00 | 28.08/28.19 c | 28.20 | 0 | 35757 lb | 0 0 0.00 | 28.18/28.27 c | 28.27 | 0 | 35759 lb | 0 0 0.00 | 28.28/28.35 c | 28.35 | 0 | 35760 lb | 0 0 0.00 | 28.38/28.42 c | 28.43 | 0 | 35767 lb | 0 0 0.00 | 28.38/28.50 c | 28.50 | 0 | 35769 lb | 0 0 0.00 | 28.49/28.57 c | 28.58 | 0 | 35770 lb | 0 0 0.00 | 28.59/28.65 c | 28.65 | 0 | 35771 lb | 0 0 0.00 | 28.68/28.73 c | 28.73 | 0 | 35772 lb | 0 0 0.00 | 28.78/28.80 c | 28.81 | 0 | 35773 lb | 0 0 0.00 | 28.78/28.88 c | 28.88 | 0 | 35774 lb | 0 0 0.00 | 28.88/28.96 c | 28.96 | 0 | 35776 lb | 0 0 0.00 | 28.98/29.03 c | 29.04 | 0 | 35779 lb | 0 0 0.00 | 29.08/29.11 c | 29.11 | 0 | 35781 lb | 0 0 0.00 | 29.08/29.19 c | 29.19 | 0 | 35783 lb | 0 0 0.00 | 29.19/29.27 c | 29.27 | 0 | 35785 lb | 0 0 0.00 | 29.29/29.34 c | 29.34 | 0 | 35786 lb | 0 0 0.00 | 29.38/29.42 c | 29.42 | 0 | 35788 lb | 0 0 0.00 | 29.48/29.50 c | 29.50 | 0 | 35789 lb | 0 0 0.00 | 29.48/29.58 c | 29.58 | 0 | 35809 lb | 0 0 0.00 | 29.59/29.65 c | 29.66 | 0 | 35811 lb | 0 0 0.00 | 29.69/29.73 c | 29.74 | 0 | 35813 lb | 0 0 0.00 | 29.78/29.82 c | 29.82 | 0 | 35814 lb | 0 0 0.00 | 29.88/29.90 c | 29.90 | 0 | 35818 lb | 0 0 0.00 | 29.88/29.97 c | 29.98 | 0 | 35822 lb | 0 0 0.00 | 29.98/30.05 c | 30.05 | 0 | 35823 lb | 0 0 0.00 | 30.08/30.13 c | 30.13 | 0 | 35824 lb | 0 0 0.00 | 30.18/30.21 c | 30.21 | 0 | 35830 lb | 0 0 0.00 | 30.18/30.29 c | 30.29 | 0 | 35831 lb | 0 0 0.00 | 30.28/30.37 c | 30.37 | 0 | 35834 lb | 0 0 0.00 | 30.38/30.45 c | 30.45 | 0 | 35842 lb | 0 0 0.00 | 30.49/30.52 c | 30.53 | 0 | 35850 lb | 0 0 0.00 | 30.59/30.60 c | 30.60 | 0 | 35855 lb | 0 0 0.00 | 30.59/30.68 c | 30.68 | 0 | 35862 lb | 0 0 0.00 | 30.69/30.76 c | 30.77 | 0 | 35864 lb | 0 0 0.00 | 30.79/30.84 c | 30.84 | 0 | 35865 lb | 0 0 0.00 | 30.88/30.92 c | 30.93 | 0 | 35866 lb | 0 0 0.00 | 30.98/31.00 c | 31.01 | 0 | 35867 lb | 0 0 0.00 | 30.98/31.08 c | 31.08 | 0 | 35868 lb | 0 0 0.00 | 31.08/31.16 c | 31.16 | 0 | 35870 lb | 0 0 0.00 | 31.18/31.24 c | 31.25 | 0 | 35876 lb | 0 0 0.00 | 31.28/31.32 c | 31.33 | 0 | 35877 lb | 0 0 0.00 | 31.38/31.40 c | 31.40 | 0 | 35885 lb | 0 0 0.00 | 31.38/31.48 c | 31.48 | 0 | 35890 lb | 0 0 0.00 | 31.48/31.56 c | 31.56 | 0 | 35891 lb | 0 0 0.00 | 31.58/31.64 c | 31.64 | 0 | 35892 lb | 0 0 0.00 | 31.68/31.71 c | 31.72 | 0 | 35893 lb | 0 0 0.00 | 31.68/31.79 c | 31.80 | 0 | 35897 lb | 0 0 0.00 | 31.78/31.88 c | 31.88 | 0 | 35898 lb | 0 0 0.00 | 31.88/31.96 c | 31.96 | 0 | 36008 lb | 0 0 0.00 | 31.98/32.04 c | 32.04 | 0 | 36009 lb | 0 0 0.00 | 32.08/32.12 c | 32.13 | 0 | 36010 lb | 0 0 0.00 | 32.18/32.21 c | 32.21 | 0 | 36026 lb | 0 0 0.00 | 32.18/32.28 c | 32.29 | 0 | 36033 lb | 0 0 0.00 | 32.28/32.36 c | 32.36 | 0 | 36034 lb | 0 0 0.00 | 32.38/32.44 c | 32.45 | 0 | 36044 lb | 0 0 0.00 | 32.48/32.52 c | 32.52 | 0 | 36045 lb | 0 0 0.00 | 32.58/32.60 c | 32.61 | 0 | 36052 lb | 0 0 0.00 | 32.58/32.69 c | 32.69 | 0 | 36054 lb | 0 0 0.00 | 32.68/32.77 c | 32.77 | 0 | 36056 lb | 0 0 0.00 | 32.78/32.85 c | 32.85 | 0 | 36057 lb | 0 0 0.00 | 32.88/32.93 c | 32.93 | 0 | 36058 lb | 0 0 0.00 | 32.99/33.01 c | 33.01 | 0 | 36059 lb | 0 0 0.00 | 32.99/33.09 c | 33.09 | 0 | 36062 lb | 0 0 0.00 | 33.08/33.17 c | 33.18 | 0 | 36063 lb | 0 0 0.00 | 33.18/33.25 c | 33.26 | 0 | 36064 lb | 0 0 0.00 | 33.28/33.33 c | 33.34 | 0 | 36066 lb | 0 0 0.00 | 33.38/33.41 c | 33.42 | 0 | 36067 lb | 0 0 0.00 | 33.38/33.49 c | 33.49 | 0 | 36074 lb | 0 0 0.00 | 33.48/33.57 c | 33.58 | 0 | 36078 lb | 0 0 0.00 | 33.58/33.65 c | 33.66 | 0 | 36079 lb | 0 0 0.00 | 33.68/33.73 c | 33.74 | 0 | 36080 lb | 0 0 0.00 | 33.78/33.81 c | 33.81 | 0 | 36082 lb | 0 0 0.00 | 33.78/33.89 c | 33.90 | 0 | 36091 lb | 0 0 0.00 | 33.88/33.97 c | 33.98 | 0 | 36095 lb | 0 0 0.00 | 33.98/34.05 c | 34.06 | 0 | 36096 lb | 0 0 0.00 | 34.08/34.14 c | 34.14 | 0 | 36097 lb | 0 0 0.00 | 34.18/34.22 c | 34.22 | 0 | 36099 lb | 0 0 0.00 | 34.28/34.30 c | 34.30 | 0 | 36102 lb | 0 0 0.00 | 34.28/34.38 c | 34.38 | 0 | 36105 lb | 0 0 0.00 | 34.38/34.46 c | 34.47 | 0 | 36106 lb | 0 0 0.00 | 34.48/34.55 c | 34.55 | 0 | 36107 lb | 0 0 0.00 | 34.58/34.63 c | 34.63 | 0 | 36110 lb | 0 0 0.00 | 34.68/34.71 c | 34.72 | 0 | 36112 lb | 0 0 0.00 | 34.78/34.80 c | 34.80 | 0 | 36113 lb | 0 0 0.00 | 34.78/34.88 c | 34.88 | 0 | 36114 lb | 0 0 0.00 | 34.88/34.96 c | 34.97 | 0 | 36115 lb | 0 0 0.00 | 34.98/35.05 c | 35.05 | 0 | 36116 lb | 0 0 0.00 | 35.08/35.13 c | 35.14 | 0 | 36117 lb | 0 0 0.00 | 35.18/35.21 c | 35.22 | 0 | 36119 lb | 0 0 0.00 | 35.18/35.29 c | 35.29 | 0 | 36120 lb | 0 0 0.00 | 35.27/35.37 c | 35.38 | 0 | 36121 lb | 0 0 0.00 | 35.37/35.46 c | 35.46 | 0 | 36122 lb | 0 0 0.00 | 35.47/35.54 c | 35.55 | 0 | 36123 lb | 0 0 0.00 | 35.57/35.63 c | 35.63 | 0 | 36124 lb | 0 0 0.00 | 35.67/35.70 c | 35.71 | 0 | 36128 lb | 0 0 0.00 | 35.67/35.79 c | 35.79 | 0 | 36129 lb | 0 0 0.00 | 35.77/35.87 c | 35.88 | 0 | 36131 lb | 0 0 0.00 | 35.87/35.96 c | 35.96 | 0 | 36138 lb | 0 0 0.00 | 35.98/36.04 c | 36.05 | 0 | 36139 lb | 0 0 0.00 | 36.08/36.13 c | 36.13 | 0 | 36140 lb | 0 0 0.00 | 36.19/36.21 c | 36.22 | 0 | 36141 lb | 0 0 0.00 | 36.19/36.29 c | 36.29 | 0 | 36149 lb | 0 0 0.00 | 36.29/36.38 c | 36.38 | 0 | 36150 lb | 0 0 0.00 | 36.38/36.46 c | 36.46 | 0 | 36176 lb | 0 0 0.00 | 36.48/36.54 c | 36.55 | 0 | 36180 lb | 0 0 0.00 | 36.58/36.63 c | 36.63 | 0 | 36185 lb | 0 0 0.00 | 36.68/36.71 c | 36.72 | 0 | 36186 lb | 0 0 0.00 | 36.78/36.80 c | 36.80 | 0 | 36187 lb | 0 0 0.00 | 36.78/36.88 c | 36.88 | 0 | 36188 lb | 0 0 0.00 | 36.88/36.98 c | 36.98 | 0 | 36189 lb | 0 0 0.00 | 36.98/37.06 c | 37.06 | 0 | 36190 lb | 0 0 0.00 | 37.08/37.15 c | 37.15 | 0 | 36191 lb | 0 0 0.00 | 37.18/37.23 c | 37.23 | 0 | 36194 lb | 0 0 0.00 | 37.28/37.31 c | 37.31 | 0 | 36210 lb | 0 0 0.00 | 37.28/37.39 c | 37.40 | 0 | 36218 lb | 0 0 0.00 | 37.38/37.48 c | 37.48 | 0 | 36222 lb | 0 0 0.00 | 37.48/37.57 c | 37.57 | 0 | 36225 lb | 0 0 0.00 | 37.58/37.65 c | 37.66 | 0 | 36236 lb | 0 0 0.00 | 37.68/37.74 c | 37.74 | 0 | 36243 lb | 0 0 0.00 | 37.78/37.82 c | 37.83 | 0 | 36246 lb | 0 0 0.00 | 37.88/37.91 c | 37.91 | 0 | 36247 lb | 0 0 0.00 | 37.88/37.99 c | 38.00 | 0 | 36273 lb | 0 0 0.00 | 37.97/38.08 c | 38.08 | 0 | 36274 lb | 0 0 0.00 | 38.07/38.17 c | 38.18 | 0 | 36275 lb | 0 0 0.00 | 38.17/38.26 c | 38.26 | 0 | 36276 lb | 0 0 0.00 | 38.27/38.34 c | 38.34 | 0 | 36277 lb | 0 0 0.00 | 38.38/38.43 c | 38.43 | 0 | 36278 lb | 0 0 0.00 | 38.48/38.52 c | 38.52 | 0 | 36279 lb | 0 0 0.00 | 38.57/38.60 c | 38.61 | 0 | 36280 lb | 0 0 0.00 | 38.57/38.69 c | 38.69 | 0 | 36291 lb | 0 0 0.00 | 38.67/38.78 c | 38.78 | 0 | 36292 lb | 0 0 0.00 | 38.77/38.86 c | 38.87 | 0 | 36305 lb | 0 0 0.00 | 38.88/38.95 c | 38.95 | 0 | 36306 lb | 0 0 0.00 | 38.98/39.04 c | 39.04 | 0 | 36307 lb | 0 0 0.00 | 39.08/39.12 c | 39.13 | 0 | 36308 lb | 0 0 0.00 | 39.18/39.21 c | 39.21 | 0 | 36309 lb | 0 0 0.00 | 39.18/39.29 c | 39.30 | 0 | 36310 lb | 0 0 0.00 | 39.28/39.38 c | 39.38 | 0 | 36311 lb | 0 0 0.00 | 39.38/39.47 c | 39.47 | 0 | 36312 lb | 0 0 0.00 | 39.49/39.55 c | 39.55 | 0 | 36313 lb | 0 0 0.00 | 39.59/39.64 c | 39.64 | 0 | 36314 lb | 0 0 0.00 | 39.68/39.73 c | 39.73 | 0 | 36316 lb | 0 0 0.00 | 39.78/39.81 c | 39.82 | 0 | 36317 lb | 0 0 0.00 | 39.88/39.90 c | 39.91 | 0 | 36318 lb | 0 0 0.00 | 39.88/39.99 c | 40.00 | 0 | 36319 lb | 0 0 0.00 | 39.98/40.09 c | 40.09 | 0 | 36320 lb | 0 0 0.00 | 40.08/40.17 c | 40.18 | 0 | 36321 lb | 0 0 0.00 | 40.18/40.26 c | 40.27 | 0 | 36322 lb | 0 0 0.00 | 40.28/40.35 c | 40.35 | 0 | 36323 lb | 0 0 0.00 | 40.37/40.43 c | 40.44 | 0 | 36324 lb | 0 0 0.00 | 40.47/40.52 c | 40.53 | 0 | 36332 lb | 0 0 0.00 | 40.58/40.61 c | 40.62 | 0 | 36333 lb | 0 0 0.00 | 40.68/40.70 c | 40.71 | 0 | 36334 lb | 0 0 0.00 | 40.68/40.79 c | 40.79 | 0 | 36335 lb | 0 0 0.00 | 40.78/40.88 c | 40.88 | 0 | 36336 lb | 0 0 0.00 | 40.88/40.97 c | 40.98 | 0 | 36337 lb | 0 0 0.00 | 40.98/41.06 c | 41.06 | 0 | 36338 lb | 0 0 0.00 | 41.08/41.15 c | 41.16 | 0 | 36339 lb | 0 0 0.00 | 41.18/41.24 c | 41.24 | 0 | 36341 lb | 0 0 0.00 | 41.28/41.34 c | 41.34 | 0 | 36342 lb | 0 0 0.00 | 41.38/41.42 c | 41.42 | 0 | 36343 lb | 0 0 0.00 | 41.48/41.51 c | 41.51 | 0 | 36344 lb | 0 0 0.00 | 41.58/41.60 c | 41.61 | 0 | 36345 lb | 0 0 0.00 | 41.58/41.69 c | 41.69 | 0 | 36347 lb | 0 0 0.00 | 41.68/41.78 c | 41.78 | 0 | 36348 lb | 0 0 0.00 | 41.78/41.87 c | 41.88 | 0 | 36349 lb | 0 0 0.00 | 41.87/41.96 c | 41.97 | 0 | 36350 lb | 0 0 0.00 | 41.97/42.05 c | 42.06 | 0 | 36353 lb | 0 0 0.00 | 42.07/42.14 c | 42.14 | 0 | 36354 lb | 0 0 0.00 | 42.17/42.24 c | 42.24 | 0 | 36355 lb | 0 0 0.00 | 42.27/42.33 c | 42.33 | 0 | 36356 lb | 0 0 0.00 | 42.37/42.42 c | 42.42 | 0 | 36357 lb | 0 0 0.00 | 42.48/42.51 c | 42.51 | 0 | 36359 lb | 0 0 0.00 | 42.58/42.60 c | 42.60 | 0 | 36360 lb | 0 0 0.00 | 42.58/42.69 c | 42.69 | 0 | 36361 lb | 0 0 0.00 | 42.68/42.78 c | 42.78 | 0 | 36363 lb | 0 0 0.00 | 42.79/42.87 c | 42.88 | 0 | 36364 lb | 0 0 0.00 | 42.88/42.97 c | 42.97 | 0 | 36365 lb | 0 0 0.00 | 42.98/43.06 c | 43.06 | 0 | 36366 lb | 0 0 0.00 | 43.08/43.15 c | 43.16 | 0 | 36367 lb | 0 0 0.00 | 43.18/43.24 c | 43.25 | 0 | 36371 lb | 0 0 0.00 | 43.27/43.34 c | 43.35 | 0 | 36372 lb | 0 0 0.00 | 43.37/43.44 c | 43.44 | 0 | 36373 lb | 0 0 0.00 | 43.47/43.53 c | 43.53 | 0 | 36375 lb | 0 0 0.00 | 43.57/43.61 c | 43.62 | 0 | 36380 lb | 0 0 0.00 | 43.67/43.71 c | 43.71 | 0 | 36381 lb | 0 0 0.00 | 43.77/43.80 c | 43.81 | 0 | 36382 lb | 0 0 0.00 | 43.88/43.90 c | 43.91 | 0 | 36383 lb | 0 0 0.00 | 43.99/44.01 c | 44.01 | 0 | 36384 lb | 0 0 0.00 | 44.08/44.11 c | 44.11 | 0 | 36385 lb | 0 0 0.00 | 44.08/44.20 c | 44.20 | 0 | 36388 lb | 0 0 0.00 | 44.18/44.28 c | 44.29 | 0 | 36389 lb | 0 0 0.00 | 44.28/44.38 c | 44.38 | 0 | 36390 lb | 0 0 0.00 | 44.38/44.47 c | 44.47 | 0 | 36391 lb | 0 0 0.00 | 44.48/44.56 c | 44.57 | 0 | 36395 lb | 0 0 0.00 | 44.57/44.65 c | 44.66 | 0 | 36397 lb | 0 0 0.00 | 44.67/44.75 c | 44.75 | 0 | 36398 lb | 0 0 0.00 | 44.78/44.85 c | 44.85 | 0 | 36399 lb | 0 0 0.00 | 44.88/44.94 c | 44.94 | 0 | 36400 lb | 0 0 0.00 | 44.98/45.03 c | 45.03 | 0 | 36402 lb | 0 0 0.00 | 45.08/45.12 c | 45.13 | 0 | 36403 lb | 0 0 0.00 | 45.18/45.22 c | 45.22 | 0 | 36404 lb | 0 0 0.00 | 45.28/45.31 c | 45.31 | 0 | 36407 lb | 0 0 0.00 | 45.37/45.40 c | 45.41 | 0 | 36408 lb | 0 0 0.00 | 45.47/45.50 c | 45.50 | 0 | 36409 lb | 0 0 0.00 | 45.47/45.59 c | 45.59 | 0 | 36429 lb | 0 0 0.00 | 45.57/45.68 c | 45.68 | 0 | 36430 lb | 0 0 0.00 | 45.68/45.77 c | 45.77 | 0 | 36431 lb | 0 0 0.00 | 45.78/45.86 c | 45.87 | 0 | 36432 lb | 0 0 0.00 | 45.88/45.96 c | 45.96 | 0 | 36433 lb | 0 0 0.00 | 45.98/46.05 c | 46.05 | 0 | 36434 lb | 0 0 0.00 | 46.08/46.14 c | 46.14 | 0 | 36435 lb | 0 0 0.00 | 46.18/46.23 c | 46.24 | 0 | 36436 lb | 0 0 0.00 | 46.28/46.33 c | 46.33 | 0 | 36437 lb | 0 0 0.00 | 46.38/46.43 c | 46.43 | 0 | 36438 lb | 0 0 0.00 | 46.48/46.53 c | 46.53 | 0 | 36439 lb | 0 0 0.00 | 46.58/46.62 c | 46.62 | 0 | 36440 lb | 0 0 0.00 | 46.67/46.71 c | 46.72 | 0 | 36445 lb | 0 0 0.00 | 46.77/46.80 c | 46.80 | 0 | 36447 lb | 0 0 0.00 | 46.87/46.91 c | 46.91 | 0 | 36448 lb | 0 0 0.00 | 46.97/47.00 c | 47.01 | 0 | 36449 lb | 0 0 0.00 | 46.97/47.09 c | 47.10 | 0 | 36454 lb | 0 0 0.00 | 47.07/47.19 c | 47.20 | 0 | 36455 lb | 0 0 0.00 | 47.18/47.28 c | 47.29 | 0 | 36697 lb | 0 0 0.00 | 47.28/47.38 c | 47.38 | 0 | 36701 lb | 0 0 0.00 | 47.38/47.46 c | 47.47 | 0 | 36702 lb | 0 0 0.00 | 47.48/47.56 c | 47.56 | 0 | 36703 lb | 0 0 0.00 | 47.58/47.66 c | 47.66 | 0 | 36704 lb | 0 0 0.00 | 47.68/47.75 c | 47.75 | 0 | 36711 lb | 0 0 0.00 | 47.78/47.85 c | 47.85 | 0 | 36712 lb | 0 0 0.00 | 47.88/47.94 c | 47.95 | 0 | 36713 lb | 0 0 0.00 | 47.98/48.05 c | 48.05 | 0 | 36714 lb | 0 0 0.00 | 48.08/48.14 c | 48.14 | 0 | 36715 lb | 0 0 0.00 | 48.18/48.23 c | 48.23 | 0 | 36717 lb | 0 0 0.00 | 48.28/48.33 c | 48.34 | 0 | 36718 lb | 0 0 0.00 | 48.38/48.44 c | 48.44 | 0 | 36719 lb | 0 0 0.00 | 48.47/48.54 c | 48.54 | 0 | 36720 lb | 0 0 0.00 | 48.57/48.65 c | 48.65 | 0 | 36721 lb | 0 0 0.00 | 48.67/48.73 c | 48.74 | 0 | 36722 lb | 0 0 0.00 | 48.77/48.83 c | 48.83 | 0 | 36723 lb | 0 0 0.00 | 48.88/48.92 c | 48.92 | 0 | 36725 lb | 0 0 0.00 | 48.98/49.02 c | 49.02 | 0 | 36726 lb | 0 0 0.00 | 49.08/49.12 c | 49.12 | 0 | 36727 lb | 0 0 0.00 | 49.18/49.21 c | 49.21 | 0 | 36728 lb | 0 0 0.00 | 49.28/49.30 c | 49.31 | 0 | 36729 lb | 0 0 0.00 | 49.28/49.40 c | 49.40 | 0 | 36730 lb | 0 0 0.00 | 49.48/49.50 c | 49.51 | 0 | 36731 lb | 0 0 0.00 | 49.58/49.60 c | 49.61 | 0 | 36732 lb | 0 0 0.00 | 49.68/49.70 c | 49.70 | 0 | 36733 lb | 0 0 0.00 | 49.78/49.81 c | 49.82 | 0 | 36734 lb | 0 0 0.00 | 49.88/49.92 c | 49.92 | 0 | 36735 lb | 0 0 0.00 | 49.97/50.03 c | 50.03 | 0 | 36736 lb | 0 0 0.00 | 50.07/50.12 c | 50.12 | 0 | 36740 lb | 0 0 0.00 | 50.17/50.22 c | 50.23 | 0 | 36741 lb | 0 0 0.00 | 50.27/50.35 c | 50.35 | 0 | 36742 lb | 0 0 0.00 | 50.38/50.50 c | 50.50 | 0 | 36743 lb | 0 0 0.00 | 50.49/50.60 c | 50.60 | 0 | 36744 lb | 0 0 0.00 | 50.68/50.70 c | 50.70 | 0 | 36745 lb | 0 0 0.00 | 50.78/50.80 c | 50.80 | 0 | 36747 lb | 0 0 0.00 | 51.58/51.66 c | 51.66 | 0 | 36748 lb | 0 0 0.00 | 51.68/51.77 c | 51.77 | 0 | 36832 lb | 0 0 0.00 | 56.58/56.67 c | 56.67 | 0 | 36833 lb | 0 0 0.00 | 56.78/56.80 c | 56.80 | 0 | 36834 lb | 0 0 0.00 | 58.38/58.40 c | 58.40 | 0 | 36835 lb | 0 0 0.00 | 58.48/58.52 c | 58.52 | 0 | 36836 lb | 0 0 0.00 | 58.58/58.62 c | 58.62 | 0 | 36837 lb | 0 0 0.00 | 58.68/58.74 c | 58.74 | 0 | 36838 lb | 0 0 0.00 | 58.78/58.85 c | 58.85 | 0 | 36839 lb | 0 0 0.00 | 58.88/58.96 c | 58.96 | 0 | 36840 lb | 0 0 0.00 | 58.98/59.06 c | 59.06 | 0 | 36843 lb | 0 0 0.00 | 59.08/59.16 c | 59.16 | 0 | 36844 lb | 0 0 0.00 | 85.26/85.36 c | 85.36 | 0 | 36845 lb | 0 0 0.00 | 85.46/85.52 c | 85.52 | 0 | 36846 lb | 0 0 0.00 | 86.26/86.31 c | 86.31 | 0 | 36850 lb | 0 0 0.00 | 86.36/86.45 c | 86.45 | 0 | 36851 lb | 0 0 0.00 | 86.46/86.54 c | 86.55 | 0 | 36852 lb | 0 0 0.00 | 86.56/86.67 c | 86.67 | 0 | 36853 lb | 0 0 0.00 | 131.13/131.25 c | 131.25 | 0 | 36854 lb | 0 0 0.00 | 131.33/131.44 c | 131.44 | 0 | 36857 lb | 0 0 0.00 | 131.43/131.53 c | 131.53 | 0 | 36858 lb | 0 0 0.00 | 149.12/149.21 c | 149.21 | 0 | 36859 lb | 0 0 0.00 | 149.23/149.34 c | 149.35 | 0 | 36860 lb | 0 0 0.00 | 149.33/149.46 c | 149.46 | 0 | 36861 lb | 0 0 0.00 | 149.43/149.58 c | 149.58 | 0 | 36862 lb | 0 0 0.00 | 149.53/149.68 c | 149.68 | 0 | 36865 lb | 0 0 0.00 | 149.63/149.78 c | 149.78 | 0 | 36866 lb | 0 0 0.00 | 164.32/164.44 c | 164.44 | 0 | 36867 lb | 0 0 0.00 | 164.42/164.57 c | 164.57 | 0 | 36872 lb | 0 0 0.00 | 164.52/164.67 c | 164.67 | 0 | 36873 lb | 0 0 0.00 | 164.62/164.78 c | 164.78 | 0 | 36874 lb | 0 0 0.00 | 164.72/164.88 c | 164.89 | 0 | 36875 lb | 0 0 0.00 | 164.83/164.99 c | 164.99 | 0 | 36876 lb | 0 0 0.00 | 231.91/232.02 c | 232.03 | 0 | 36877 lb | 0 0 0.00 | 232.11/232.22 c | 232.22 | 0 | 36878 lb | 0 0 0.00 | 232.21/232.32 c | 232.32 | 0 | 36879 lb | 0 0 0.00 | 232.31/232.44 c | 232.44 | 0 | 36880 lb | 0 0 0.00 | 232.41/232.54 c | 232.54 | 0 | 36881 lb | 0 0 0.00 | 232.51/232.66 c | 232.66 | 0 | 36882 lb | 0 0 0.00 | 232.81/232.93 c | 232.94 | 0 | 36883 lb | 0 0 0.00 | 454.18/454.36 c | 454.36 | 0 | 36884 lb | 0 0 0.00 | 454.47/454.67 c | 454.68 | 0 | 36890 lb | 0 0 0.00 | 454.57/454.79 c | 454.79 | 0 | 36891 lb | 0 0 0.00 | 454.77/454.92 c | 454.92 | 0 | 36892 lb | 0 0 0.00 | 454.87/455.01 c | 455.01 | 0 | 36896 lb | 0 0 0.00 | 454.97/455.14 c | 455.14 | 0 | 36897 lb | 0 0 0.00 | 455.07/455.24 c | 455.24 | 0 | 36903 lb | 0 0 0.00 | 455.18/455.35 c | 455.36 | 0 | 36904 lb | 0 0 0.00 | 455.28/455.45 c | 455.46 | 0 | 36905 lb | 0 0 0.00 | 646.14/646.39 c | 646.39 | 0 | 36906 lb | 0 0 0.00 | 721.13/721.33 c | 721.33 | 0 | 36907 lb | 0 0 0.00 | 721.33/721.52 c | 721.52 | 0 | 36908 lb | 0 0 0.00 | 749.62/749.85 c | 749.85 | 0 | 36909 lb | 0 0 0.00 | 749.82/750.04 c | 750.04 | 0 | 36910 lb | 0 0 0.00 | 749.93/750.13 c | 750.14 | 0 | 36911 lb | 0 0 0.00 | 750.03/750.26 c | 750.26 | 0 | 36912 lb | 0 0 0.00 | 750.12/750.38 c | 750.38 | 0 | 36913 lb | 0 0 0.00 | 906.10/906.35 c | 906.35 | 0 | 36914 lb | 0 0 0.00 | 906.40/906.66 c | 906.66 | 0 | 36915 lb | 0 0 0.00 | 906.50/906.77 c | 906.77 | 0 | 36916 lb | 0 0 0.00 | 906.60/906.89 c | 906.89 | 0 | 36917 lb | 0 0 0.00 | 910.40/910.63 c | 910.63 | 0 | 36918 lb | 0 0 0.00 | 910.50/910.77 c | 910.77 | 0 | 36920 lb | 0 0 0.00 | 910.60/910.88 c | 910.88 | 0 | 36921 lb | 0 0 0.00 | 910.80/911.00 c | 911.01 | 0 | 36922 lb | 0 0 0.00 | 1511.55/1511.97 c | 1511.97 | 0 | 36923 lb | 0 0 0.00 | 1512.25/1512.69 c | 1512.70 | 0 | 36924 lb | 0 0 0.00 | 1512.45/1512.81 c | 1512.82 | 0 | 36926 lb | 0 0 0.00 | 1799.61/1800.00 c =============================================================================== 1799.61/1800.00 c Wall Clock Time: 1800.00 s 1799.61/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705081-1338090946/watcher-3705081-1338090946 -o /tmp/evaluation-result-3705081-1338090946/solver-3705081-1338090946 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705081-1338090946.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 3/177 22614 /proc/meminfo: memFree=27581468/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=6848 CPUtime=0 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) R 22612 22614 22359 0 -1 4202496 495 0 0 0 0 0 0 0 20 0 1 0 275221907 7012352 447 33554432000 4194304 5963574 140733232441376 140733232439896 4351954 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 1712 447 171 432 0 531 0 [startup+0.0678399 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22614 /proc/meminfo: memFree=27581468/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=10288 CPUtime=0.06 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) R 22612 22614 22359 0 -1 4202496 1544 0 0 0 6 0 0 0 20 0 1 0 275221907 10534912 1496 33554432000 4194304 5963574 140733232441376 140733232439896 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 2572 1498 394 432 0 1391 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10288 [startup+0.100286 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22614 /proc/meminfo: memFree=27581468/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=12796 CPUtime=0.09 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) R 22612 22614 22359 0 -1 4202496 2302 0 0 0 9 0 0 0 20 0 1 0 275221907 13103104 2254 33554432000 4194304 5963574 140733232441376 140733232439896 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 3199 2254 502 432 0 2018 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12796 [startup+0.30016 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22614 /proc/meminfo: memFree=27581468/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=100048 CPUtime=0.29 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 9086 0 0 0 28 1 0 0 20 0 2 0 275221907 102449152 8088 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 25012 8088 195 432 0 24577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 100048 [startup+0.700171 s] /proc/loadavg: 2.00 2.00 2.00 3/177 22614 /proc/meminfo: memFree=27581468/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=100048 CPUtime=0.68 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 14067 0 0 0 67 1 0 0 20 0 2 0 275221907 102449152 13068 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 25012 13068 195 432 0 24577 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 100048 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22616 /proc/meminfo: memFree=27502928/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=165584 CPUtime=1.49 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 22122 0 0 0 146 3 0 0 20 0 2 0 275221907 169558016 21123 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 41396 21123 195 432 0 40961 0 [pid=22614/tid=22616] ppid=22612 vsize=165584 CPUtime=1.26 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 16496 0 0 0 124 2 0 0 20 0 2 0 275221929 169558016 21123 33554432000 4194304 5963574 140733232441376 139700429306312 5133119 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) 165584 [startup+3.10029 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22616 /proc/meminfo: memFree=27457420/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=165584 CPUtime=3.09 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 37435 0 0 0 303 6 0 0 20 0 2 0 275221907 169558016 36436 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 41396 36436 195 432 0 40961 0 [pid=22614/tid=22616] ppid=22612 vsize=165584 CPUtime=2.86 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 31809 0 0 0 281 5 0 0 20 0 2 0 275221929 169558016 36436 33554432000 4194304 5963574 140733232441376 139700429306392 5141974 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 165584 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22616 /proc/meminfo: memFree=27329044/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=296656 CPUtime=6.28 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 66981 0 0 0 617 11 0 0 20 0 2 0 275221907 303775744 65975 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 74164 65975 195 432 0 73729 0 [pid=22614/tid=22616] ppid=22612 vsize=296656 CPUtime=6.05 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 61355 0 0 0 595 10 0 0 20 0 2 0 275221929 303775744 65975 33554432000 4194304 5963574 140733232441376 139700429306392 5141661 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) 296656 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22616 /proc/meminfo: memFree=27142988/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=493264 CPUtime=12.69 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 107839 0 0 0 1250 19 0 0 20 0 2 0 275221907 505102336 106752 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 123316 106752 197 432 0 122881 0 [pid=22614/tid=22616] ppid=22612 vsize=493264 CPUtime=12.43 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 102213 0 0 0 1225 18 0 0 20 0 2 0 275221929 505102336 106752 33554432000 4194304 5963574 140733232441376 139700429306264 5130053 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 493264 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22616 /proc/meminfo: memFree=26863056/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=755408 CPUtime=25.48 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 172153 0 0 0 2519 29 0 0 20 0 2 0 275221907 773537792 170554 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 188852 170558 197 432 0 188417 0 [pid=22614/tid=22616] ppid=22612 vsize=755408 CPUtime=25.2 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 166532 0 0 0 2492 28 0 0 20 0 2 0 275221929 773537792 170559 33554432000 4194304 5963574 140733232441376 139700429306168 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 755408 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22616 /proc/meminfo: memFree=26413352/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1148364 CPUtime=51.08 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 280228 0 0 0 5061 47 0 0 20 0 2 0 275221907 1175924736 274678 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 287091 274678 198 432 0 286656 0 [pid=22614/tid=22616] ppid=22612 vsize=1148364 CPUtime=50.73 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 274602 0 0 0 5027 46 0 0 20 0 2 0 275221929 1175924736 274678 33554432000 4194304 5963574 140733232441376 139700429306264 4392223 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1148364 [startup+102.306 s] /proc/loadavg: 2.07 2.02 2.00 3/179 22616 /proc/meminfo: memFree=26309888/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1213900 CPUtime=102.25 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 295817 0 0 0 10175 50 0 0 20 0 2 0 275221907 1243033600 290239 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 303475 290239 198 432 0 303040 0 [pid=22614/tid=22616] ppid=22612 vsize=1213900 CPUtime=101.79 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 290191 0 0 0 10128 51 0 0 20 0 2 0 275221929 1243033600 290239 33554432000 4194304 5963574 140733232441376 139700429306392 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1213900 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 22616 /proc/meminfo: memFree=26249776/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1213900 CPUtime=162.22 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 301550 0 0 0 16170 52 0 0 20 0 2 0 275221907 1243033600 295997 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 303475 295997 198 432 0 303040 0 [pid=22614/tid=22616] ppid=22612 vsize=1213900 CPUtime=161.6 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 295924 0 0 0 16107 53 0 0 20 0 2 0 275221929 1243033600 295997 33554432000 4194304 5963574 140733232441376 139700429306392 4399456 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) 1213900 [startup+222.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22616 /proc/meminfo: memFree=26186880/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1279436 CPUtime=222.21 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 306015 0 0 0 22168 53 0 0 20 0 2 0 275221907 1310142464 300453 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 319859 300453 198 432 0 319424 0 [pid=22614/tid=22616] ppid=22612 vsize=1279436 CPUtime=221.44 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 300389 0 0 0 22089 55 0 0 20 0 2 0 275221929 1310142464 300453 33554432000 4194304 5963574 140733232441376 139700429305656 4399456 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) 1279436 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22619 /proc/meminfo: memFree=26153188/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1279436 CPUtime=282.2 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 310480 0 0 0 28166 54 0 0 20 0 2 0 275221907 1310142464 304916 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 319859 304916 198 432 0 319424 0 [pid=22614/tid=22616] ppid=22612 vsize=1279436 CPUtime=281.28 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 304854 0 0 0 28071 57 0 0 20 0 2 0 275221929 1310142464 304916 33554432000 4194304 5963574 140733232441376 139700429306392 4399482 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) 1279436 [startup+342.3 s] /proc/loadavg: 2.06 2.01 2.00 3/180 22643 /proc/meminfo: memFree=26097848/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1279436 CPUtime=342.19 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 311892 0 0 0 34163 56 0 0 20 0 2 0 275221907 1310142464 306325 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 319859 306325 198 432 0 319424 0 [pid=22614/tid=22616] ppid=22612 vsize=1279436 CPUtime=341.12 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 306266 0 0 0 34052 60 0 0 20 0 2 0 275221929 1310142464 306325 33554432000 4194304 5963574 140733232441376 139700429305848 4399546 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) 1279436 [startup+402.3 s] /proc/loadavg: 2.09 2.03 2.00 3/178 22643 /proc/meminfo: memFree=26053816/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1281060 CPUtime=402.18 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 319229 0 0 0 40159 59 0 0 20 0 2 0 275221907 1311805440 313654 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 320265 313654 198 432 0 319830 0 [pid=22614/tid=22616] ppid=22612 vsize=1281060 CPUtime=400.97 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 313603 0 0 0 40033 64 0 0 20 0 2 0 275221929 1311805440 313654 33554432000 4194304 5963574 140733232441376 139700429305720 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1281060 [startup+462.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 22644 /proc/meminfo: memFree=26020212/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1344972 CPUtime=462.17 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22650 /proc/meminfo: memFree=25662500/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1412940 CPUtime=1421.97 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 355098 0 0 0 142119 78 0 0 20 0 2 0 275221907 1446850560 347579 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 353235 347579 198 432 0 352800 0 [pid=22614/tid=22616] ppid=22612 vsize=1412940 CPUtime=1418.24 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 349472 0 0 0 141726 98 0 0 20 0 2 0 275221929 1446850560 347579 33554432000 4194304 5963574 140733232441376 139700429305720 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1412940 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 22653 /proc/meminfo: memFree=25647760/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1478476 CPUtime=1481.95 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 358828 0 0 0 148113 82 0 0 20 0 2 0 275221907 1513959424 351307 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369619 351307 198 432 0 369184 0 [pid=22614/tid=22616] ppid=22612 vsize=1478476 CPUtime=1478.08 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 353202 0 0 0 147705 103 0 0 20 0 2 0 275221929 1513959424 351307 33554432000 4194304 5963574 140733232441376 139700429305896 4399456 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) 1478476 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25613668/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1541.95 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 367575 0 0 0 154110 85 0 0 20 0 2 0 275221907 1511469056 359590 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 359590 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1537.92 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 361949 0 0 0 153685 107 0 0 20 0 2 0 275221929 1511469056 359590 33554432000 4194304 5963574 140733232441376 139700429306392 4399482 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1476044 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25613668/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1601.94 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 367575 0 0 0 160109 85 0 0 20 0 2 0 275221907 1511469056 359590 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 359590 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1597.76 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 361949 0 0 0 159668 108 0 0 20 0 2 0 275221929 1511469056 359590 33554432000 4194304 5963574 140733232441376 139700429306392 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1476044 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25613672/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1661.93 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 367613 0 0 0 166108 85 0 0 20 0 2 0 275221907 1511469056 359628 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 359628 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1657.61 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 361987 0 0 0 165652 109 0 0 20 0 2 0 275221929 1511469056 359628 33554432000 4194304 5963574 140733232441376 139700429306392 4402845 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1476044 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25613672/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1721.92 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 367660 0 0 0 172107 85 0 0 20 0 2 0 275221907 1511469056 359675 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 359675 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1717.45 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362034 0 0 0 171635 110 0 0 20 0 2 0 275221929 1511469056 359675 33554432000 4194304 5963574 140733232441376 139700429306392 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1476044 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25610324/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1781.91 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368454 0 0 0 178106 85 0 0 20 0 2 0 275221907 1511469056 360469 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360469 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1777.29 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362828 0 0 0 177618 111 0 0 20 0 2 0 275221929 1511469056 360469 33554432000 4194304 5963574 140733232441376 139700429306392 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1476044 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609704/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1791.51 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368588 0 0 0 179066 85 0 0 20 0 2 0 275221907 1511469056 360603 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360603 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1786.87 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362962 0 0 0 178576 111 0 0 20 0 2 0 275221929 1511469056 360603 33554432000 4194304 5963574 140733232441376 139700429306392 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 1476044 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609828/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1794.71 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368612 0 0 0 179386 85 0 0 20 0 2 0 275221907 1511469056 360627 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360627 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1790.06 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362986 0 0 0 178895 111 0 0 20 0 2 0 275221929 1511469056 360627 33554432000 4194304 5963574 140733232441376 139700429306392 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (KiB) 1476044 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609704/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1797.91 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368623 0 0 0 179706 85 0 0 20 0 2 0 275221907 1511469056 360638 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360638 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1793.25 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362997 0 0 0 179214 111 0 0 20 0 2 0 275221929 1511469056 360638 33554432000 4194304 5963574 140733232441376 139700429306392 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 1476044 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609704/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1798.71 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368623 0 0 0 179786 85 0 0 20 0 2 0 275221907 1511469056 360638 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360638 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1794.05 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362997 0 0 0 179294 111 0 0 20 0 2 0 275221929 1511469056 360638 33554432000 4194304 5963574 140733232441376 139700429306392 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (KiB) 1476044 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609704/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1799.11 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368624 0 0 0 179826 85 0 0 20 0 2 0 275221907 1511469056 360639 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360639 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1794.45 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362998 0 0 0 179334 111 0 0 20 0 2 0 275221929 1511469056 360639 33554432000 4194304 5963574 140733232441376 139700429306392 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (KiB) 1476044 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609704/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1799.51 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368624 0 0 0 179866 85 0 0 20 0 2 0 275221907 1511469056 360639 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360639 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1794.85 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362998 0 0 0 179374 111 0 0 20 0 2 0 275221929 1511469056 360639 33554432000 4194304 5963574 140733232441376 139700429306392 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (KiB) 1476044 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22654 /proc/meminfo: memFree=25609704/32873648 swapFree=6336/6336 [pid=22614] ppid=22612 vsize=1476044 CPUtime=1799.61 cores=1,3,5,7 /proc/22614/stat : 22614 (wbo1.7) S 22612 22614 22359 0 -1 4202496 368624 0 0 0 179876 85 0 0 20 0 2 0 275221907 1511469056 360639 33554432000 4194304 5963574 140733232441376 140733232440896 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22614/statm: 369011 360639 198 432 0 368576 0 [pid=22614/tid=22616] ppid=22612 vsize=1476044 CPUtime=1794.94 cores=1,3,5,7 /proc/22614/task/22616/stat : 22616 (wbo1.7) R 22612 22614 22359 0 -1 4202560 362998 0 0 0 179383 111 0 0 20 0 2 0 275221929 1511469056 360639 33554432000 4194304 5963574 140733232441376 139700429306392 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (KiB) 1476044 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22614 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=54262 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=140826 # CPU time returned by wait4() is 1795.2 # while last known CPU time is 1799.61 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.02 CPU time (s): 1799.61 CPU user time (s): 1798.76 CPU system time (s): 0.85 CPU usage (%): 99.9775 Max. virtual memory (cumulated for all children) (KiB): 1478476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.05 system time used= 1.14083 maximum resident set size= 1442556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 368624 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= 157 involuntary context switches= 1973 runsolver used 2.76558 second user time and 7.10492 second system time The end
Begin job on node112 at 2012-05-27 05:55:46 IDJOB=3705081 IDBENCH=2011 IDSOLVER=2283 FILE ID=node112/3705081-1338090946 RUNJOBID= node112-1338087345-22376 PBS_JOBID= 14624440 Free space on /tmp= 71584 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705081-1338090946/watcher-3705081-1338090946 -o /tmp/evaluation-result-3705081-1338090946/solver-3705081-1338090946 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705081-1338090946.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4 RANDOM SEED=4257166 node112.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.763 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.52 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.763 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.763 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.763 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.763 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.92 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.763 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.92 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.763 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.763 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: 27582856 kB Buffers: 329944 kB Cached: 4130028 kB SwapCached: 0 kB Active: 757836 kB Inactive: 3722596 kB Active(anon): 22756 kB Inactive(anon): 0 kB Active(file): 735080 kB Inactive(file): 3722596 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14004 kB Writeback: 0 kB AnonPages: 26128 kB Mapped: 15144 kB Shmem: 200 kB Slab: 673564 kB SReclaimable: 117524 kB SUnreclaim: 556040 kB KernelStack: 1488 kB PageTables: 3892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 142620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71580 MiB End job on node112 at 2012-05-27 06:25:47