Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.72 | ? | 1799.74 | 1800.12 |
Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb |
MD5SUM | bddfe521cf91a77d0e4de5a51a3aa343 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -1051 |
Best CPU time to get the best result obtained on this benchmark | 1800.29 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 400896 |
Total number of constraints | 402763 |
Number of constraints which are clauses | 400785 |
Number of constraints which are cardinality constraints (but not clauses) | 194 |
Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 58023 |
Number of terms in the objective function | 1427 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 914879 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1024 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 914879 |
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.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727894-1338673301.opb. 0.00/0.00 c Instance file HOME/instance-3727894-1338673301.opb 0.00/0.00 c File size is 28233149 bytes. 2.79/2.80 c Cost Offset: -914879 2.79/2.80 c Highest Coefficient sum: 64649 2.79/2.80 c ============================[ Problem Statistics ]============================= 2.79/2.80 c | | 2.79/2.80 c | Parsing time: 2.80 s | 2.79/2.80 c | Number Variables: 400896 | 2.79/2.80 c | Number Clauses: 400785 | 2.79/2.80 c | Number Cardinality: 1977 | 2.79/2.80 c | Number PB Constraints: 1 | 2.79/2.80 c | | 2.99/3.08 c | Problem Type: Optimization | 2.99/3.08 c | Objective Function: PB Constraint | 2.99/3.08 c | | 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Time (s) | ID | Bound | Shared Clauses | 2.99/3.08 c | | | value type | expCls impCls Lit/impCl | 2.99/3.08 c =============================================================================== 3.49/3.54 c | 3.55 | 0 | -914878 lb | 0 0 0.00 | 3.89/3.97 c | 3.97 | 0 | -914877 lb | 0 0 0.00 | 4.29/4.35 c | 4.36 | 0 | -914875 lb | 0 0 0.00 | 4.69/4.73 c | 4.74 | 0 | -914871 lb | 0 0 0.00 | 5.09/5.11 c | 5.12 | 0 | -914863 lb | 0 0 0.00 | 5.39/5.50 c | 5.50 | 0 | -914847 lb | 0 0 0.00 | 5.78/5.88 c | 5.88 | 0 | -914815 lb | 0 0 0.00 | 6.18/6.27 c | 6.27 | 0 | -914751 lb | 0 0 0.00 | 6.59/6.66 c | 6.67 | 0 | -914623 lb | 0 0 0.00 | 6.98/7.07 c | 7.07 | 0 | -913855 lb | 0 0 0.00 | 7.69/7.77 c | 7.78 | 0 | -913854 lb | 0 0 0.00 | 8.38/8.49 c | 8.50 | 0 | -913853 lb | 0 0 0.00 | 9.18/9.21 c | 9.21 | 0 | -913852 lb | 0 0 0.00 | 9.90/9.96 c | 9.96 | 0 | -913851 lb | 0 0 0.00 | 10.59/10.69 c | 10.69 | 0 | -913850 lb | 0 0 0.00 | 11.38/11.42 c | 11.42 | 0 | -913849 lb | 0 0 0.00 | 12.09/12.16 c | 12.16 | 0 | -913848 lb | 0 0 0.00 | 12.88/12.92 c | 12.92 | 0 | -913847 lb | 0 0 0.00 | 13.58/13.65 c | 13.65 | 0 | -913846 lb | 0 0 0.00 | 14.38/14.42 c | 14.42 | 0 | -913845 lb | 0 0 0.00 | 15.08/15.15 c | 15.16 | 0 | -913842 lb | 0 0 0.00 | 15.88/15.91 c | 15.91 | 0 | -913841 lb | 0 0 0.00 | 16.58/16.66 c | 16.66 | 0 | -913840 lb | 0 0 0.00 | 17.38/17.42 c | 17.42 | 0 | -913839 lb | 0 0 0.00 | 18.08/18.16 c | 18.16 | 0 | -913838 lb | 0 0 0.00 | 18.88/18.91 c | 18.92 | 0 | -913835 lb | 0 0 0.00 | 19.58/19.65 c | 19.65 | 0 | -913834 lb | 0 0 0.00 | 20.38/20.41 c | 20.41 | 0 | -913830 lb | 0 0 0.00 | 21.08/21.15 c | 21.16 | 0 | -913829 lb | 0 0 0.00 | 21.89/21.93 c | 21.93 | 0 | -913828 lb | 0 0 0.00 | 22.58/22.68 c | 22.68 | 0 | -913827 lb | 0 0 0.00 | 23.38/23.47 c | 23.47 | 0 | -913826 lb | 0 0 0.00 | 24.19/24.23 c | 24.24 | 0 | -913825 lb | 0 0 0.00 | 24.98/25.01 c | 25.02 | 0 | -913824 lb | 0 0 0.00 | 25.68/25.77 c | 25.77 | 0 | -913823 lb | 0 0 0.00 | 26.48/26.55 c | 26.55 | 0 | -913822 lb | 0 0 0.00 | 27.29/27.31 c | 27.31 | 0 | -913821 lb | 0 0 0.00 | 27.98/28.08 c | 28.09 | 0 | -913819 lb | 0 0 0.00 | 28.78/28.86 c | 28.86 | 0 | -913818 lb | 0 0 0.00 | 29.58/29.64 c | 29.64 | 0 | -913817 lb | 0 0 0.00 | 30.38/30.41 c | 30.41 | 0 | -913816 lb | 0 0 0.00 | 31.18/31.24 c | 31.24 | 0 | -913815 lb | 0 0 0.00 | 31.98/32.01 c | 32.02 | 0 | -913813 lb | 0 0 0.00 | 32.78/32.80 c | 32.80 | 0 | -913812 lb | 0 0 0.00 | 33.48/33.58 c | 33.58 | 0 | -913810 lb | 0 0 0.00 | 34.28/34.36 c | 34.37 | 0 | -913807 lb | 0 0 0.00 | 35.08/35.14 c | 35.14 | 0 | -913806 lb | 0 0 0.00 | 35.88/35.93 c | 35.93 | 0 | -913805 lb | 0 0 0.00 | 36.67/36.72 c | 36.72 | 0 | -913804 lb | 0 0 0.00 | 37.47/37.52 c | 37.52 | 0 | -913801 lb | 0 0 0.00 | 38.27/38.30 c | 38.31 | 0 | -913800 lb | 0 0 0.00 | 38.97/39.09 c | 39.09 | 0 | -913798 lb | 0 0 0.00 | 39.78/39.87 c | 39.88 | 0 | -913795 lb | 0 0 0.00 | 40.58/40.68 c | 40.68 | 0 | -913792 lb | 0 0 0.00 | 41.37/41.47 c | 41.48 | 0 | -913790 lb | 0 0 0.00 | 42.27/42.32 c | 42.32 | 0 | -913789 lb | 0 0 0.00 | 43.07/43.19 c | 43.19 | 0 | -913767 lb | 0 0 0.00 | 43.99/44.06 c | 44.06 | 0 | -913766 lb | 0 0 0.00 | 44.78/44.89 c | 44.90 | 0 | -913765 lb | 0 0 0.00 | 45.58/45.67 c | 45.68 | 0 | -913764 lb | 0 0 0.00 | 46.37/46.48 c | 46.49 | 0 | -913763 lb | 0 0 0.00 | 47.18/47.28 c | 47.29 | 0 | -913762 lb | 0 0 0.00 | 47.98/48.09 c | 48.10 | 0 | -913760 lb | 0 0 0.00 | 48.88/48.90 c | 48.90 | 0 | -913759 lb | 0 0 0.00 | 49.67/49.75 c | 49.76 | 0 | -913757 lb | 0 0 0.00 | 50.58/50.64 c | 50.65 | 0 | -913751 lb | 0 0 0.00 | 51.48/51.53 c | 51.53 | 0 | -913641 lb | 0 0 0.00 | 52.27/52.37 c | 52.38 | 0 | -913640 lb | 0 0 0.00 | 53.07/53.17 c | 53.18 | 0 | -913639 lb | 0 0 0.00 | 53.97/54.01 c | 54.01 | 0 | -913638 lb | 0 0 0.00 | 54.77/54.83 c | 54.83 | 0 | -913637 lb | 0 0 0.00 | 55.58/55.66 c | 55.66 | 0 | -913636 lb | 0 0 0.00 | 56.37/56.48 c | 56.49 | 0 | -913635 lb | 0 0 0.00 | 57.27/57.32 c | 57.33 | 0 | -913634 lb | 0 0 0.00 | 58.08/58.20 c | 58.21 | 0 | -913087 lb | 0 0 0.00 | 59.08/59.19 c | 59.19 | 0 | -913086 lb | 0 0 0.00 | 59.97/60.09 c | 60.10 | 0 | -913085 lb | 0 0 0.00 | 60.87/60.99 c | 61.00 | 0 | -913084 lb | 0 0 0.00 | 61.77/61.89 c | 61.89 | 0 | -913083 lb | 0 0 0.00 | 62.68/62.78 c | 62.79 | 0 | -913082 lb | 0 0 0.00 | 63.57/63.67 c | 63.68 | 0 | -913080 lb | 0 0 0.00 | 64.47/64.57 c | 64.57 | 0 | -913079 lb | 0 0 0.00 | 65.37/65.46 c | 65.47 | 0 | -913078 lb | 0 0 0.00 | 66.27/66.36 c | 66.36 | 0 | -913071 lb | 0 0 0.00 | 67.17/67.25 c | 67.26 | 0 | -913063 lb | 0 0 0.00 | 68.08/68.16 c | 68.17 | 0 | -913058 lb | 0 0 0.00 | 69.08/69.12 c | 69.12 | 0 | -913057 lb | 0 0 0.00 | 69.97/70.07 c | 70.08 | 0 | -913055 lb | 0 0 0.00 | 70.97/71.08 c | 71.09 | 0 | -913054 lb | 0 0 0.00 | 72.07/72.11 c | 72.11 | 0 | -913053 lb | 0 0 0.00 | 72.97/73.08 c | 73.08 | 0 | -913050 lb | 0 0 0.00 | 73.77/73.81 c | 73.81 | 0 | -913049 lb | 0 0 0.00 | 74.78/74.82 c | 74.82 | 0 | -913048 lb | 0 0 0.00 | 75.67/75.78 c | 75.79 | 0 | -913045 lb | 0 0 0.00 | 76.47/76.52 c | 76.53 | 0 | -913044 lb | 0 0 0.00 | 77.37/77.49 c | 77.50 | 0 | -913023 lb | 0 0 0.00 | 78.37/78.47 c | 78.48 | 0 | -913022 lb | 0 0 0.00 | 79.37/79.45 c | 79.45 | 0 | -913021 lb | 0 0 0.00 | 80.37/80.43 c | 80.43 | 0 | -913012 lb | 0 0 0.00 | 81.38/81.41 c | 81.41 | 0 | -913004 lb | 0 0 0.00 | 82.27/82.38 c | 82.39 | 0 | -912987 lb | 0 0 0.00 | 83.27/83.36 c | 83.37 | 0 | -912983 lb | 0 0 0.00 | 84.27/84.34 c | 84.34 | 0 | -912978 lb | 0 0 0.00 | 85.17/85.28 c | 85.29 | 0 | -912960 lb | 0 0 0.00 | 86.17/86.26 c | 86.26 | 0 | -912958 lb | 0 0 0.00 | 87.17/87.25 c | 87.25 | 0 | -912957 lb | 0 0 0.00 | 88.17/88.25 c | 88.25 | 0 | -912938 lb | 0 0 0.00 | 89.17/89.26 c | 89.26 | 0 | -912925 lb | 0 0 0.00 | 90.18/90.24 c | 90.25 | 0 | -912911 lb | 0 0 0.00 | 91.18/91.24 c | 91.24 | 0 | -912886 lb | 0 0 0.00 | 92.17/92.23 c | 92.23 | 0 | -912861 lb | 0 0 0.00 | 93.17/93.24 c | 93.24 | 0 | -912852 lb | 0 0 0.00 | 94.17/94.23 c | 94.24 | 0 | -912851 lb | 0 0 0.00 | 95.17/95.23 c | 95.24 | 0 | -912848 lb | 0 0 0.00 | 96.17/96.23 c | 96.23 | 0 | -912840 lb | 0 0 0.00 | 97.16/97.24 c | 97.24 | 0 | -912839 lb | 0 0 0.00 | 98.16/98.24 c | 98.25 | 0 | -912836 lb | 0 0 0.00 | 99.17/99.25 c | 99.25 | 0 | -912835 lb | 0 0 0.00 | 100.17/100.25 c | 100.25 | 0 | -912834 lb | 0 0 0.00 | 101.17/101.27 c | 101.27 | 0 | -912833 lb | 0 0 0.00 | 102.36/102.42 c | 102.43 | 0 | -912831 lb | 0 0 0.00 | 103.37/103.44 c | 103.44 | 0 | -912830 lb | 0 0 0.00 | 104.37/104.44 c | 104.45 | 0 | -912829 lb | 0 0 0.00 | 105.77/105.84 c | 105.84 | 0 | -912828 lb | 0 0 0.00 | 107.06/107.11 c | 107.11 | 0 | -912825 lb | 0 0 0.00 | 108.27/108.39 c | 108.39 | 0 | -912824 lb | 0 0 0.00 | 109.57/109.65 c | 109.66 | 0 | -912820 lb | 0 0 0.00 | 110.87/110.93 c | 110.94 | 0 | -912801 lb | 0 0 0.00 | 112.18/112.22 c | 112.22 | 0 | -912800 lb | 0 0 0.00 | 113.57/113.60 c | 113.61 | 0 | -912799 lb | 0 0 0.00 | 114.47/114.57 c | 114.58 | 0 | -912798 lb | 0 0 0.00 | 115.66/115.73 c | 115.73 | 0 | -912797 lb | 0 0 0.00 | 117.16/117.21 c | 117.21 | 0 | -912796 lb | 0 0 0.00 | 118.87/118.90 c | 118.91 | 0 | -912286 lb | 0 0 0.00 | 119.97/120.01 c | 120.01 | 0 | -912285 lb | 0 0 0.00 | 121.16/121.23 c | 121.23 | 0 | -912284 lb | 0 0 0.00 | 122.46/122.54 c | 122.54 | 0 | -912283 lb | 0 0 0.00 | 123.76/123.83 c | 123.84 | 0 | -912282 lb | 0 0 0.00 | 124.97/125.08 c | 125.09 | 0 | -912281 lb | 0 0 0.00 | 126.26/126.35 c | 126.35 | 0 | -912280 lb | 0 0 0.00 | 127.57/127.67 c | 127.67 | 0 | -912279 lb | 0 0 0.00 | 128.87/128.96 c | 128.96 | 0 | -912278 lb | 0 0 0.00 | 130.06/130.15 c | 130.16 | 0 | -912277 lb | 0 0 0.00 | 131.36/131.42 c | 131.42 | 0 | -912276 lb | 0 0 0.00 | 132.66/132.76 c | 132.76 | 0 | -912275 lb | 0 0 0.00 | 133.97/134.09 c | 134.09 | 0 | -912274 lb | 0 0 0.00 | 135.27/135.37 c | 135.37 | 0 | -912273 lb | 0 0 0.00 | 136.56/136.61 c | 136.61 | 0 | -912272 lb | 0 0 0.00 | 138.06/138.10 c | 138.11 | 0 | -912271 lb | 0 0 0.00 | 139.06/139.11 c | 139.12 | 0 | -912270 lb | 0 0 0.00 | 140.16/140.23 c | 140.24 | 0 | -912269 lb | 0 0 0.00 | 141.26/141.32 c | 141.33 | 0 | -912268 lb | 0 0 0.00 | 142.67/142.73 c | 142.73 | 0 | -912267 lb | 0 0 0.00 | 143.86/143.97 c | 143.97 | 0 | -912266 lb | 0 0 0.00 | 144.96/145.08 c | 145.09 | 0 | -912265 lb | 0 0 0.00 | 145.86/145.91 c | 145.92 | 0 | -912264 lb | 0 0 0.00 | 147.06/147.13 c | 147.13 | 0 | -912263 lb | 0 0 0.00 | 148.06/148.19 c | 148.19 | 0 | -912262 lb | 0 0 0.00 | 149.26/149.39 c | 149.39 | 0 | -912261 lb | 0 0 0.00 | 150.16/150.26 c | 150.27 | 0 | -912260 lb | 0 0 0.00 | 151.16/151.25 c | 151.25 | 0 | -912259 lb | 0 0 0.00 | 151.96/152.08 c | 152.09 | 0 | -912258 lb | 0 0 0.00 | 152.86/152.96 c | 152.96 | 0 | -912257 lb | 0 0 0.00 | 153.76/153.83 c | 153.83 | 0 | -912256 lb | 0 0 0.00 | 154.76/154.82 c | 154.82 | 0 | -912255 lb | 0 0 0.00 | 155.86/155.96 c | 155.97 | 0 | -912252 lb | 0 0 0.00 | 156.86/156.92 c | 156.93 | 0 | -912251 lb | 0 0 0.00 | 158.46/158.55 c | 158.55 | 0 | -912250 lb | 0 0 0.00 | 159.56/159.61 c | 159.62 | 0 | -912249 lb | 0 0 0.00 | 160.86/160.92 c | 160.92 | 0 | -912248 lb | 0 0 0.00 | 161.86/161.90 c | 161.91 | 0 | -912246 lb | 0 0 0.00 | 162.77/162.89 c | 162.90 | 0 | -912242 lb | 0 0 0.00 | 163.77/163.89 c | 163.90 | 0 | -912241 lb | 0 0 0.00 | 164.87/164.95 c | 164.95 | 0 | -912240 lb | 0 0 0.00 | 165.85/165.98 c | 165.99 | 0 | -912238 lb | 0 0 0.00 | 166.96/167.06 c | 167.06 | 0 | -912234 lb | 0 0 0.00 | 167.96/168.04 c | 168.05 | 0 | -912230 lb | 0 0 0.00 | 169.16/169.21 c | 169.21 | 0 | -912229 lb | 0 0 0.00 | 169.96/170.06 c | 170.06 | 0 | -912228 lb | 0 0 0.00 | 170.86/170.98 c | 170.98 | 0 | -912225 lb | 0 0 0.00 | 171.85/171.92 c | 171.92 | 0 | -912221 lb | 0 0 0.00 | 172.76/172.84 c | 172.84 | 0 | -912217 lb | 0 0 0.00 | 173.77/173.83 c | 173.84 | 0 | -912213 lb | 0 0 0.00 | 174.86/174.96 c | 174.97 | 0 | -912209 lb | 0 0 0.00 | 175.86/175.92 c | 175.92 | 0 | -912205 lb | 0 0 0.00 | 176.76/176.85 c | 176.85 | 0 | -912201 lb | 0 0 0.00 | 178.16/178.25 c | 178.26 | 0 | -912200 lb | 0 0 0.00 | 179.05/179.15 c | 179.16 | 0 | -912196 lb | 0 0 0.00 | 180.55/180.61 c | 180.61 | 0 | -912195 lb | 0 0 0.00 | 181.36/181.42 c | 181.42 | 0 | -912191 lb | 0 0 0.00 | 182.16/182.25 c | 182.25 | 0 | -912187 lb | 0 0 0.00 | 183.56/183.69 c | 183.70 | 0 | -912186 lb | 0 0 0.00 | 184.46/184.52 c | 184.52 | 0 | -912182 lb | 0 0 0.00 | 185.25/185.34 c | 185.34 | 0 | -912178 lb | 0 0 0.00 | 186.05/186.16 c | 186.16 | 0 | -912174 lb | 0 0 0.00 | 187.25/187.30 c | 187.31 | 0 | -912167 lb | 0 0 0.00 | 188.66/188.71 c | 188.71 | 0 | -912166 lb | 0 0 0.00 | 189.66/189.76 c | 189.77 | 0 | -912165 lb | 0 0 0.00 | 190.46/190.56 c | 190.57 | 0 | -912163 lb | 0 0 0.00 | 191.36/191.41 c | 191.41 | 0 | -912162 lb | 0 0 0.00 | 192.65/192.72 c | 192.73 | 0 | -912161 lb | 0 0 0.00 | 195.36/195.43 c | 195.44 | 0 | -912160 lb | 0 0 0.00 | 196.86/196.97 c | 196.97 | 0 | -912159 lb | 0 0 0.00 | 199.26/199.33 c | 199.33 | 0 | -912158 lb | 0 0 0.00 | 200.06/200.11 c | 200.12 | 0 | -912157 lb | 0 0 0.00 | 201.05/201.17 c | 201.17 | 0 | -912156 lb | 0 0 0.00 | 201.96/202.03 c | 202.03 | 0 | -912155 lb | 0 0 0.00 | 203.36/203.42 c | 203.42 | 0 | -912154 lb | 0 0 0.00 | 204.16/204.23 c | 204.24 | 0 | -912153 lb | 0 0 0.00 | 205.75/205.81 c | 205.82 | 0 | -912152 lb | 0 0 0.00 | 206.55/206.67 c | 206.68 | 0 | -912151 lb | 0 0 0.00 | 208.35/208.42 c | 208.43 | 0 | -912150 lb | 0 0 0.00 | 209.35/209.48 c | 209.48 | 0 | -912149 lb | 0 0 0.00 | 210.85/210.93 c | 210.93 | 0 | -912148 lb | 0 0 0.00 | 214.15/214.23 c | 214.24 | 0 | -912147 lb | 0 0 0.00 | 214.95/215.07 c | 215.08 | 0 | -912145 lb | 0 0 0.00 | 216.76/216.80 c | 216.81 | 0 | -912144 lb | 0 0 0.00 | 217.45/217.57 c | 217.58 | 0 | -912143 lb | 0 0 0.00 | 218.45/218.51 c | 218.52 | 0 | -912142 lb | 0 0 0.00 | 219.25/219.35 c | 219.35 | 0 | -912141 lb | 0 0 0.00 | 220.05/220.16 c | 220.16 | 0 | -912140 lb | 0 0 0.00 | 220.85/220.96 c | 220.96 | 0 | -912138 lb | 0 0 0.00 | 221.65/221.77 c | 221.77 | 0 | -912137 lb | 0 0 0.00 | 222.45/222.58 c | 222.58 | 0 | -912136 lb | 0 0 0.00 | 223.65/223.74 c | 223.74 | 0 | -912135 lb | 0 0 0.00 | 224.75/224.86 c | 224.86 | 0 | -912134 lb | 0 0 0.00 | 225.65/225.70 c | 225.71 | 0 | -912133 lb | 0 0 0.00 | 226.55/226.68 c | 226.68 | 0 | -912132 lb | 0 0 0.00 | 227.94/228.04 c | 228.04 | 0 | -912131 lb | 0 0 0.00 | 228.85/228.92 c | 228.92 | 0 | -912130 lb | 0 0 0.00 | 230.05/230.14 c | 230.15 | 0 | -912129 lb | 0 0 0.00 | 231.35/231.45 c | 231.46 | 0 | -912128 lb | 0 0 0.00 | 232.45/232.57 c | 232.57 | 0 | -912127 lb | 0 0 0.00 | 233.75/233.87 c | 233.87 | 0 | -912126 lb | 0 0 0.00 | 235.14/235.30 c | 235.30 | 0 | -912125 lb | 0 0 0.00 | 236.85/236.99 c | 237.00 | 0 | -912124 lb | 0 0 0.00 | 238.85/238.92 c | 238.93 | 0 | -912123 lb | 0 0 0.00 | 240.35/240.48 c | 240.48 | 0 | -912122 lb | 0 0 0.00 | 242.55/242.62 c | 242.63 | 0 | -912121 lb | 0 0 0.00 | 243.55/243.63 c | 243.63 | 0 | -912120 lb | 0 0 0.00 | 244.95/245.00 c | 245.00 | 0 | -912119 lb | 0 0 0.00 | 246.04/246.13 c | 246.14 | 0 | -912118 lb | 0 0 0.00 | 248.14/248.24 c | 248.24 | 0 | -912117 lb | 0 0 0.00 | 249.84/249.96 c | 249.96 | 0 | -912116 lb | 0 0 0.00 | 251.75/251.81 c | 251.82 | 0 | -912115 lb | 0 0 0.00 | 254.64/254.72 c | 254.73 | 0 | -912114 lb | 0 0 0.00 | 255.95/256.09 c | 256.09 | 0 | -912099 lb | 0 0 0.00 | 257.95/258.05 c | 258.06 | 0 | -912098 lb | 0 0 0.00 | 259.35/259.42 c | 259.42 | 0 | -912097 lb | 0 0 0.00 | 261.04/261.16 c | 261.16 | 0 | -912096 lb | 0 0 0.00 | 262.85/262.92 c | 262.92 | 0 | -912095 lb | 0 0 0.00 | 264.84/264.98 c | 264.98 | 0 | -912094 lb | 0 0 0.00 | 266.74/266.89 c | 266.90 | 0 | -912093 lb | 0 0 0.00 | 268.35/268.42 c | 268.42 | 0 | -912092 lb | 0 0 0.00 | 272.14/272.28 c | 272.28 | 0 | -912091 lb | 0 0 0.00 | 278.44/278.52 c | 278.53 | 0 | -912090 lb | 0 0 0.00 | 280.64/280.76 c | 280.77 | 0 | -912089 lb | 0 0 0.00 | 282.34/282.47 c | 282.48 | 0 | -912088 lb | 0 0 0.00 | 284.44/284.50 c | 284.51 | 0 | -912087 lb | 0 0 0.00 | 286.34/286.45 c | 286.45 | 0 | -912086 lb | 0 0 0.00 | 287.94/288.10 c | 288.11 | 0 | -912085 lb | 0 0 0.00 | 296.44/296.55 c | 296.56 | 0 | -912084 lb | 0 0 0.00 | 297.54/297.63 c | 297.64 | 0 | -912083 lb | 0 0 0.00 | 299.64/299.76 c | 299.76 | 0 | -912082 lb | 0 0 0.00 | 301.54/301.64 c | 301.64 | 0 | -912081 lb | 0 0 0.00 | 304.13/304.21 c | 304.22 | 0 | -912080 lb | 0 0 0.00 | 306.44/306.57 c | 306.58 | 0 | -912079 lb | 0 0 0.00 | 308.04/308.19 c | 308.19 | 0 | -912078 lb | 0 0 0.00 | 310.04/310.16 c | 310.17 | 0 | -912077 lb | 0 0 0.00 | 311.94/312.09 c | 312.09 | 0 | -912076 lb | 0 0 0.00 | 314.13/314.24 c | 314.25 | 0 | -912075 lb | 0 0 0.00 | 315.44/315.55 c | 315.55 | 0 | -912074 lb | 0 0 0.00 | 317.94/318.07 c | 318.07 | 0 | -912073 lb | 0 0 0.00 | 320.24/320.37 c | 320.37 | 0 | -912072 lb | 0 0 0.00 | 322.34/322.44 c | 322.44 | 0 | -912071 lb | 0 0 0.00 | 324.74/324.80 c | 324.80 | 0 | -912070 lb | 0 0 0.00 | 325.83/325.98 c | 325.98 | 0 | -912069 lb | 0 0 0.00 | 327.93/328.08 c | 328.08 | 0 | -912068 lb | 0 0 0.00 | 330.03/330.13 c | 330.13 | 0 | -912067 lb | 0 0 0.00 | 331.93/332.05 c | 332.05 | 0 | -912066 lb | 0 0 0.00 | 334.44/334.54 c | 334.55 | 0 | -912065 lb | 0 0 0.00 | 337.14/337.28 c | 337.28 | 0 | -912064 lb | 0 0 0.00 | 338.64/338.74 c | 338.74 | 0 | -912063 lb | 0 0 0.00 | 340.73/340.89 c | 340.89 | 0 | -912062 lb | 0 0 0.00 | 342.53/342.67 c | 342.68 | 0 | -912061 lb | 0 0 0.00 | 344.73/344.85 c | 344.85 | 0 | -912060 lb | 0 0 0.00 | 349.03/349.12 c | 349.13 | 0 | -912059 lb | 0 0 0.00 | 351.03/351.14 c | 351.14 | 0 | -912058 lb | 0 0 0.00 | 353.23/353.33 c | 353.33 | 0 | -912057 lb | 0 0 0.00 | 355.33/355.43 c | 355.43 | 0 | -912056 lb | 0 0 0.00 | 357.62/357.78 c | 357.78 | 0 | -912055 lb | 0 0 0.00 | 359.53/359.66 c | 359.67 | 0 | -912054 lb | 0 0 0.00 | 361.84/361.93 c | 361.93 | 0 | -912053 lb | 0 0 0.00 | 363.83/363.93 c | 363.93 | 0 | -912052 lb | 0 0 0.00 | 365.63/365.71 c | 365.71 | 0 | -912051 lb | 0 0 0.00 | 367.83/367.95 c | 367.96 | 0 | -912050 lb | 0 0 0.00 | 369.83/369.97 c | 369.97 | 0 | -912049 lb | 0 0 0.00 | 372.22/372.35 c | 372.35 | 0 | -912048 lb | 0 0 0.00 | 374.32/374.44 c | 374.44 | 0 | -912047 lb | 0 0 0.00 | 376.53/376.68 c | 376.68 | 0 | -912046 lb | 0 0 0.00 | 378.93/379.04 c | 379.04 | 0 | -912045 lb | 0 0 0.00 | 380.93/381.02 c | 381.03 | 0 | -912044 lb | 0 0 0.00 | 383.02/383.12 c | 383.13 | 0 | -912043 lb | 0 0 0.00 | 384.83/384.96 c | 384.96 | 0 | -912042 lb | 0 0 0.00 | 387.53/387.63 c | 387.63 | 0 | -912041 lb | 0 0 0.00 | 389.02/389.16 c | 389.17 | 0 | -912040 lb | 0 0 0.00 | 391.22/391.30 c | 391.30 | 0 | -912039 lb | 0 0 0.00 | 393.12/393.20 c | 393.20 | 0 | -912038 lb | 0 0 0.00 | 395.12/395.27 c | 395.28 | 0 | -912037 lb | 0 0 0.00 | 396.93/397.10 c | 397.11 | 0 | -912036 lb | 0 0 0.00 | 399.02/399.11 c | 399.11 | 0 | -912035 lb | 0 0 0.00 | 401.22/401.37 c | 401.38 | 0 | -912034 lb | 0 0 0.00 | 403.12/403.29 c | 403.30 | 0 | -912033 lb | 0 0 0.00 | 406.02/406.13 c | 406.14 | 0 | -912032 lb | 0 0 0.00 | 408.72/408.83 c | 408.84 | 0 | -912031 lb | 0 0 0.00 | 410.72/410.87 c | 410.87 | 0 | -912030 lb | 0 0 0.00 | 412.62/412.70 c | 412.70 | 0 | -912029 lb | 0 0 0.00 | 415.12/415.28 c | 415.28 | 0 | -912028 lb | 0 0 0.00 | 417.42/417.51 c | 417.51 | 0 | -912027 lb | 0 0 0.00 | 419.03/419.18 c | 419.18 | 0 | -912026 lb | 0 0 0.00 | 421.92/422.04 c | 422.05 | 0 | -912025 lb | 0 0 0.00 | 423.52/423.64 c | 423.65 | 0 | -912024 lb | 0 0 0.00 | 425.72/425.80 c | 425.80 | 0 | -912023 lb | 0 0 0.00 | 428.32/428.41 c | 428.41 | 0 | -912022 lb | 0 0 0.00 | 429.82/429.98 c | 429.98 | 0 | -912021 lb | 0 0 0.00 | 431.32/431.48 c | 431.49 | 0 | -912020 lb | 0 0 0.00 | 433.41/433.55 c | 433.55 | 0 | -912019 lb | 0 0 0.00 | 434.91/435.05 c | 435.06 | 0 | -912018 lb | 0 0 0.00 | 437.52/437.70 c | 437.70 | 0 | -912017 lb | 0 0 0.00 | 439.72/439.86 c | 439.87 | 0 | -912016 lb | 0 0 0.00 | 441.81/441.99 c | 441.99 | 0 | -912015 lb | 0 0 0.00 | 443.52/443.60 c | 443.60 | 0 | -912014 lb | 0 0 0.00 | 445.32/445.44 c | 445.44 | 0 | -912013 lb | 0 0 0.00 | 446.61/446.75 c | 446.76 | 0 | -912010 lb | 0 0 0.00 | 449.72/449.90 c | 449.90 | 0 | -912009 lb | 0 0 0.00 | 452.02/452.17 c | 452.18 | 0 | -912008 lb | 0 0 0.00 | 455.22/455.39 c | 455.39 | 0 | -912007 lb | 0 0 0.00 | 457.42/457.51 c | 457.52 | 0 | -912006 lb | 0 0 0.00 | 459.92/460.04 c | 460.04 | 0 | -912005 lb | 0 0 0.00 | 461.42/461.59 c | 461.59 | 0 | -912004 lb | 0 0 0.00 | 463.31/463.46 c | 463.47 | 0 | -912003 lb | 0 0 0.00 | 465.22/465.31 c | 465.32 | 0 | -912002 lb | 0 0 0.00 | 467.91/468.04 c | 468.04 | 0 | -912001 lb | 0 0 0.00 | 470.41/470.57 c | 470.57 | 0 | -912000 lb | 0 0 0.00 | 472.71/472.80 c | 472.80 | 0 | -911999 lb | 0 0 0.00 | 474.61/474.74 c | 474.74 | 0 | -911998 lb | 0 0 0.00 | 476.80/476.99 c | 477.00 | 0 | -911997 lb | 0 0 0.00 | 478.91/479.06 c | 479.06 | 0 | -911996 lb | 0 0 0.00 | 480.71/480.84 c | 480.84 | 0 | -911995 lb | 0 0 0.00 | 483.31/483.49 c | 483.49 | 0 | -911994 lb | 0 0 0.00 | 486.01/486.15 c | 486.16 | 0 | -911993 lb | 0 0 0.00 | 488.41/488.55 c | 488.55 | 0 | -911992 lb | 0 0 0.00 | 490.90/491.01 c | 491.01 | 0 | -911991 lb | 0 0 0.00 | 492.40/492.54 c | 492.54 | 0 | -911990 lb | 0 0 0.00 | 501.70/501.89 c | 501.89 | 0 | -911989 lb | 0 0 0.00 | 504.31/504.48 c | 504.48 | 0 | -911988 lb | 0 0 0.00 | 506.20/506.31 c | 506.32 | 0 | -911987 lb | 0 0 0.00 | 507.50/507.70 c | 507.70 | 0 | -911986 lb | 0 0 0.00 | 509.21/509.36 c | 509.36 | 0 | -911985 lb | 0 0 0.00 | 511.70/511.80 c | 511.81 | 0 | -911984 lb | 0 0 0.00 | 514.40/514.58 c | 514.58 | 0 | -911983 lb | 0 0 0.00 | 516.40/516.54 c | 516.54 | 0 | -911982 lb | 0 0 0.00 | 518.41/518.58 c | 518.58 | 0 | -911981 lb | 0 0 0.00 | 520.71/520.89 c | 520.89 | 0 | -911980 lb | 0 0 0.00 | 522.70/522.89 c | 522.90 | 0 | -911979 lb | 0 0 0.00 | 524.51/524.66 c | 524.66 | 0 | -911978 lb | 0 0 0.00 | 527.60/527.78 c | 527.78 | 0 | -911977 lb | 0 0 0.00 | 530.00/530.14 c | 530.14 | 0 | -911976 lb | 0 0 0.00 | 531.40/531.50 c | 531.50 | 0 | -911975 lb | 0 0 0.00 | 533.80/533.97 c | 533.97 | 0 | -911974 lb | 0 0 0.00 | 535.80/535.93 c | 535.93 | 0 | -911973 lb | 0 0 0.00 | 537.30/537.46 c | 537.47 | 0 | -911972 lb | 0 0 0.00 | 539.40/539.58 c | 539.59 | 0 | -911967 lb | 0 0 0.00 | 541.70/541.87 c | 541.88 | 0 | -911966 lb | 0 0 0.00 | 543.09/543.24 c | 543.24 | 0 | -911965 lb | 0 0 0.00 | 544.80/544.90 c | 544.91 | 0 | -911964 lb | 0 0 0.00 | 547.00/547.16 c | 547.16 | 0 | -911963 lb | 0 0 0.00 | 548.90/549.06 c | 549.07 | 0 | -911962 lb | 0 0 0.00 | 551.20/551.36 c | 551.37 | 0 | -911961 lb | 0 0 0.00 | 553.39/553.55 c | 553.55 | 0 | -911960 lb | 0 0 0.00 | 555.49/555.62 c | 555.62 | 0 | -911959 lb | 0 0 0.00 | 558.20/558.30 c | 558.31 | 0 | -911958 lb | 0 0 0.00 | 560.40/560.54 c | 560.54 | 0 | -911957 lb | 0 0 0.00 | 562.79/562.91 c | 562.92 | 0 | -911956 lb | 0 0 0.00 | 564.79/564.95 c | 564.96 | 0 | -911955 lb | 0 0 0.00 | 566.50/566.61 c | 566.61 | 0 | -911954 lb | 0 0 0.00 | 568.10/568.20 c | 568.21 | 0 | -911953 lb | 0 0 0.00 | 570.09/570.23 c | 570.23 | 0 | -911952 lb | 0 0 0.00 | 572.09/572.22 c | 572.23 | 0 | -911951 lb | 0 0 0.00 | 574.70/574.82 c | 574.83 | 0 | -911950 lb | 0 0 0.00 | 577.20/577.35 c | 577.36 | 0 | -911949 lb | 0 0 0.00 | 579.30/579.46 c | 579.47 | 0 | -911941 lb | 0 0 0.00 | 580.79/580.98 c | 580.99 | 0 | -911940 lb | 0 0 0.00 | 582.90/583.03 c | 583.04 | 0 | -911939 lb | 0 0 0.00 | 584.49/584.66 c | 584.66 | 0 | -911938 lb | 0 0 0.00 | 586.79/586.95 c | 586.95 | 0 | -911937 lb | 0 0 0.00 | 588.59/588.73 c | 588.74 | 0 | -911936 lb | 0 0 0.00 | 590.99/591.16 c | 591.16 | 0 | -911935 lb | 0 0 0.00 | 593.29/593.49 c | 593.50 | 0 | -911934 lb | 0 0 0.00 | 596.18/596.38 c | 596.38 | 0 | -911933 lb | 0 0 0.00 | 598.49/598.67 c | 598.67 | 0 | -911932 lb | 0 0 0.00 | 601.09/601.21 c | 601.22 | 0 | -911931 lb | 0 0 0.00 | 602.99/603.18 c | 603.18 | 0 | -911930 lb | 0 0 0.00 | 604.79/604.98 c | 604.98 | 0 | -911929 lb | 0 0 0.00 | 606.38/606.57 c | 606.58 | 0 | -911928 lb | 0 0 0.00 | 608.38/608.55 c | 608.55 | 0 | -911927 lb | 0 0 0.00 | 609.79/609.99 c | 609.99 | 0 | -911925 lb | 0 0 0.00 | 611.19/611.36 c | 611.36 | 0 | -911924 lb | 0 0 0.00 | 612.89/613.00 c | 613.01 | 0 | -911923 lb | 0 0 0.00 | 615.38/615.51 c | 615.51 | 0 | -911922 lb | 0 0 0.00 | 617.88/618.03 c | 618.04 | 0 | -911921 lb | 0 0 0.00 | 619.19/619.34 c | 619.34 | 0 | -911920 lb | 0 0 0.00 | 621.48/621.64 c | 621.64 | 0 | -911919 lb | 0 0 0.00 | 623.88/624.04 c | 624.04 | 0 | -911918 lb | 0 0 0.00 | 625.69/625.89 c | 625.89 | 0 | -911917 lb | 0 0 0.00 | 629.18/629.30 c | 629.30 | 0 | -911916 lb | 0 0 0.00 | 631.48/631.69 c | 631.70 | 0 | -911915 lb | 0 0 0.00 | 632.99/633.12 c | 633.13 | 0 | -911914 lb | 0 0 0.00 | 635.28/635.45 c | 635.45 | 0 | -911913 lb | 0 0 0.00 | 637.98/638.12 c | 638.13 | 0 | -911912 lb | 0 0 0.00 | 639.98/640.12 c | 640.12 | 0 | -911911 lb | 0 0 0.00 | 641.88/642.02 c | 642.02 | 0 | -911910 lb | 0 0 0.00 | 644.39/644.54 c | 644.54 | 0 | -911909 lb | 0 0 0.00 | 646.59/646.78 c | 646.78 | 0 | -911908 lb | 0 0 0.00 | 670.78/670.92 c | 670.93 | 0 | -911907 lb | 0 0 0.00 | 673.57/673.73 c | 673.74 | 0 | -911906 lb | 0 0 0.00 | 675.18/675.37 c | 675.38 | 0 | -911905 lb | 0 0 0.00 | 677.18/677.37 c | 677.38 | 0 | -911904 lb | 0 0 0.00 | 679.58/679.74 c | 679.75 | 0 | -911903 lb | 0 0 0.00 | 681.48/681.63 c | 681.63 | 0 | -911902 lb | 0 0 0.00 | 683.77/683.97 c | 683.97 | 0 | -911901 lb | 0 0 0.00 | 685.57/685.73 c | 685.74 | 0 | -911900 lb | 0 0 0.00 | 687.98/688.13 c | 688.14 | 0 | -911899 lb | 0 0 0.00 | 689.78/689.98 c | 689.98 | 0 | -911898 lb | 0 0 0.00 | 691.57/691.70 c | 691.71 | 0 | -911897 lb | 0 0 0.00 | 693.17/693.37 c | 693.37 | 0 | -911896 lb | 0 0 0.00 | 694.87/695.07 c | 695.08 | 0 | -911895 lb | 0 0 0.00 | 696.78/696.91 c | 696.91 | 0 | -911894 lb | 0 0 0.00 | 698.67/698.85 c | 698.85 | 0 | -911893 lb | 0 0 0.00 | 701.07/701.24 c | 701.24 | 0 | -911892 lb | 0 0 0.00 | 703.07/703.22 c | 703.23 | 0 | -911891 lb | 0 0 0.00 | 704.67/704.82 c | 704.82 | 0 | -911883 lb | 0 0 0.00 | 707.18/707.31 c | 707.31 | 0 | -911882 lb | 0 0 0.00 | 709.37/709.56 c | 709.57 | 0 | -911881 lb | 0 0 0.00 | 712.46/712.63 c | 712.64 | 0 | -911880 lb | 0 0 0.00 | 714.96/715.10 c | 715.10 | 0 | -911876 lb | 0 0 0.00 | 717.16/717.33 c | 717.33 | 0 | -911875 lb | 0 0 0.00 | 719.36/719.55 c | 719.55 | 0 | -911874 lb | 0 0 0.00 | 721.77/721.99 c | 722.00 | 0 | -911873 lb | 0 0 0.00 | 724.06/724.28 c | 724.29 | 0 | -911872 lb | 0 0 0.00 | 725.77/725.95 c | 725.95 | 0 | -911871 lb | 0 0 0.00 | 729.17/729.38 c | 729.38 | 0 | -911870 lb | 0 0 0.00 | 732.37/732.59 c | 732.60 | 0 | -911869 lb | 0 0 0.00 | 734.86/735.00 c | 735.00 | 0 | -911868 lb | 0 0 0.00 | 737.16/737.31 c | 737.32 | 0 | -911867 lb | 0 0 0.00 | 740.66/740.87 c | 740.88 | 0 | -911866 lb | 0 0 0.00 | 744.16/744.34 c | 744.34 | 0 | -911865 lb | 0 0 0.00 | 746.26/746.45 c | 746.46 | 0 | -911864 lb | 0 0 0.00 | 750.26/750.41 c | 750.41 | 0 | -911863 lb | 0 0 0.00 | 752.46/752.68 c | 752.69 | 0 | -911862 lb | 0 0 0.00 | 756.95/757.10 c | 757.11 | 0 | -911861 lb | 0 0 0.00 | 760.36/760.52 c | 760.52 | 0 | -911860 lb | 0 0 0.00 | 763.45/763.65 c | 763.66 | 0 | -911859 lb | 0 0 0.00 | 765.75/765.96 c | 765.96 | 0 | -911858 lb | 0 0 0.00 | 769.06/769.22 c | 769.22 | 0 | -911857 lb | 0 0 0.00 | 772.76/772.91 c | 772.91 | 0 | -911856 lb | 0 0 0.00 | 776.15/776.34 c | 776.35 | 0 | -911855 lb | 0 0 0.00 | 777.46/777.69 c | 777.69 | 0 | -911854 lb | 0 0 0.00 | 779.85/780.07 c | 780.08 | 0 | -911853 lb | 0 0 0.00 | 782.35/782.50 c | 782.50 | 0 | -911852 lb | 0 0 0.00 | 784.65/784.80 c | 784.80 | 0 | -911851 lb | 0 0 0.00 | 786.26/786.45 c | 786.45 | 0 | -911850 lb | 0 0 0.00 | 788.35/788.52 c | 788.52 | 0 | -911849 lb | 0 0 0.00 | 790.45/790.63 c | 790.63 | 0 | -911848 lb | 0 0 0.00 | 792.86/793.09 c | 793.09 | 0 | -911847 lb | 0 0 0.00 | 794.95/795.11 c | 795.12 | 0 | -911846 lb | 0 0 0.00 | 797.05/797.21 c | 797.22 | 0 | -911845 lb | 0 0 0.00 | 799.34/799.59 c | 799.60 | 0 | -911844 lb | 0 0 0.00 | 802.54/802.76 c | 802.76 | 0 | -911843 lb | 0 0 0.00 | 805.05/805.23 c | 805.23 | 0 | -911842 lb | 0 0 0.00 | 807.74/807.91 c | 807.91 | 0 | -911841 lb | 0 0 0.00 | 809.45/809.62 c | 809.62 | 0 | -911839 lb | 0 0 0.00 | 812.15/812.33 c | 812.33 | 0 | -911838 lb | 0 0 0.00 | 814.75/815.00 c | 815.00 | 0 | -911837 lb | 0 0 0.00 | 816.85/817.07 c | 817.07 | 0 | -911836 lb | 0 0 0.00 | 818.74/818.95 c | 818.95 | 0 | -911835 lb | 0 0 0.00 | 821.24/821.45 c | 821.46 | 0 | -911834 lb | 0 0 0.00 | 822.84/823.03 c | 823.04 | 0 | -911833 lb | 0 0 0.00 | 824.64/824.90 c | 824.90 | 0 | -911832 lb | 0 0 0.00 | 826.84/827.09 c | 827.09 | 0 | -911831 lb | 0 0 0.00 | 829.25/829.43 c | 829.43 | 0 | -911830 lb | 0 0 0.00 | 831.35/831.58 c | 831.59 | 0 | -911829 lb | 0 0 0.00 | 833.74/833.93 c | 833.93 | 0 | -911827 lb | 0 0 0.00 | 836.34/836.52 c | 836.52 | 0 | -911826 lb | 0 0 0.00 | 838.24/838.45 c | 838.46 | 0 | -911825 lb | 0 0 0.00 | 840.34/840.52 c | 840.52 | 0 | -911824 lb | 0 0 0.00 | 842.35/842.50 c | 842.51 | 0 | -911823 lb | 0 0 0.00 | 845.14/845.35 c | 845.35 | 0 | -911822 lb | 0 0 0.00 | 847.44/847.60 c | 847.60 | 0 | -911821 lb | 0 0 0.00 | 849.54/849.77 c | 849.77 | 0 | -911820 lb | 0 0 0.00 | 852.43/852.67 c | 852.67 | 0 | -911819 lb | 0 0 0.00 | 854.03/854.28 c | 854.29 | 0 | -911818 lb | 0 0 0.00 | 856.04/856.28 c | 856.28 | 0 | -911817 lb | 0 0 0.00 | 858.23/858.45 c | 858.46 | 0 | -911816 lb | 0 0 0.00 | 861.43/861.64 c | 861.64 | 0 | -911815 lb | 0 0 0.00 | 864.43/864.65 c | 864.65 | 0 | -911814 lb | 0 0 0.00 | 866.73/866.93 c | 866.94 | 0 | -911813 lb | 0 0 0.00 | 868.93/869.19 c | 869.19 | 0 | -911812 lb | 0 0 0.00 | 870.73/870.90 c | 870.91 | 0 | -911811 lb | 0 0 0.00 | 873.13/873.32 c | 873.33 | 0 | -911810 lb | 0 0 0.00 | 877.53/877.70 c | 877.71 | 0 | -911809 lb | 0 0 0.00 | 880.02/880.22 c | 880.23 | 0 | -911808 lb | 0 0 0.00 | 882.43/882.61 c | 882.62 | 0 | -911807 lb | 0 0 0.00 | 885.23/885.44 c | 885.44 | 0 | -911806 lb | 0 0 0.00 | 887.83/888.01 c | 888.01 | 0 | -911805 lb | 0 0 0.00 | 890.22/890.45 c | 890.45 | 0 | -911803 lb | 0 0 0.00 | 892.72/892.98 c | 892.99 | 0 | -911798 lb | 0 0 0.00 | 895.42/895.69 c | 895.69 | 0 | -911797 lb | 0 0 0.00 | 897.92/898.19 c | 898.20 | 0 | -911796 lb | 0 0 0.00 | 900.63/900.84 c | 900.84 | 0 | -911795 lb | 0 0 0.00 | 903.62/903.87 c | 903.88 | 0 | -911794 lb | 0 0 0.00 | 906.22/906.46 c | 906.46 | 0 | -911793 lb | 0 0 0.00 | 910.21/910.46 c | 910.47 | 0 | -911792 lb | 0 0 0.00 | 912.11/912.32 c | 912.33 | 0 | -911791 lb | 0 0 0.00 | 915.11/915.30 c | 915.31 | 0 | -911790 lb | 0 0 0.00 | 917.71/917.92 c | 917.93 | 0 | -911789 lb | 0 0 0.00 | 920.31/920.50 c | 920.50 | 0 | -911788 lb | 0 0 0.00 | 923.01/923.23 c | 923.24 | 0 | -911787 lb | 0 0 0.00 | 926.80/927.07 c | 927.08 | 0 | -911786 lb | 0 0 0.00 | 930.00/930.29 c | 930.29 | 0 | -911785 lb | 0 0 0.00 | 931.71/931.93 c | 931.93 | 0 | -911784 lb | 0 0 0.00 | 934.31/934.54 c | 934.55 | 0 | -911783 lb | 0 0 0.00 | 937.01/937.28 c | 937.29 | 0 | -911782 lb | 0 0 0.00 | 939.90/940.14 c | 940.15 | 0 | -911781 lb | 0 0 0.00 | 944.60/944.85 c | 944.85 | 0 | -911780 lb | 0 0 0.00 | 946.60/946.84 c | 946.84 | 0 | -911779 lb | 0 0 0.00 | 949.70/949.93 c | 949.93 | 0 | -911778 lb | 0 0 0.00 | 952.10/952.35 c | 952.35 | 0 | -911777 lb | 0 0 0.00 | 954.70/954.93 c | 954.94 | 0 | -911775 lb | 0 0 0.00 | 957.81/958.10 c | 958.10 | 0 | -911774 lb | 0 0 0.00 | 961.11/961.35 c | 961.36 | 0 | -911773 lb | 0 0 0.00 | 963.30/963.50 c | 963.51 | 0 | -911772 lb | 0 0 0.00 | 965.30/965.51 c | 965.52 | 0 | -911771 lb | 0 0 0.00 | 967.69/967.91 c | 967.91 | 0 | -911770 lb | 0 0 0.00 | 971.79/972.05 c | 972.06 | 0 | -911769 lb | 0 0 0.00 | 973.99/974.22 c | 974.23 | 0 | -911768 lb | 0 0 0.00 | 975.99/976.28 c | 976.29 | 0 | -911767 lb | 0 0 0.00 | 978.79/979.09 c | 979.09 | 0 | -911766 lb | 0 0 0.00 | 981.78/982.00 c | 982.00 | 0 | -911765 lb | 0 0 0.00 | 983.98/984.21 c | 984.22 | 0 | -911764 lb | 0 0 0.00 | 986.19/986.48 c | 986.48 | 0 | -911763 lb | 0 0 0.00 | 988.28/988.55 c | 988.55 | 0 | -911762 lb | 0 0 0.00 | 991.49/991.79 c | 991.80 | 0 | -911761 lb | 0 0 0.00 | 993.58/993.88 c | 993.88 | 0 | -911760 lb | 0 0 0.00 | 995.68/995.95 c | 995.96 | 0 | -911759 lb | 0 0 0.00 | 997.49/997.71 c | 997.72 | 0 | -911758 lb | 0 0 0.00 | 999.58/999.87 c | 999.88 | 0 | -911757 lb | 0 0 0.00 | 1001.98/1002.26 c | 1002.27 | 0 | -911756 lb | 0 0 0.00 | 1004.58/1004.87 c | 1004.87 | 0 | -911755 lb | 0 0 0.00 | 1006.47/1006.70 c | 1006.70 | 0 | -911754 lb | 0 0 0.00 | 1009.48/1009.72 c | 1009.72 | 0 | -911753 lb | 0 0 0.00 | 1011.97/1012.21 c | 1012.21 | 0 | -911752 lb | 0 0 0.00 | 1014.67/1014.94 c | 1014.94 | 0 | -911751 lb | 0 0 0.00 | 1016.78/1017.05 c | 1017.05 | 0 | -911750 lb | 0 0 0.00 | 1019.18/1019.43 c | 1019.43 | 0 | -911749 lb | 0 0 0.00 | 1021.68/1021.98 c | 1021.98 | 0 | -911748 lb | 0 0 0.00 | 1025.17/1025.44 c | 1025.44 | 0 | -911747 lb | 0 0 0.00 | 1027.87/1028.18 c | 1028.19 | 0 | -911746 lb | 0 0 0.00 | 1030.77/1031.00 c | 1031.01 | 0 | -911745 lb | 0 0 0.00 | 1033.37/1033.66 c | 1033.66 | 0 | -911744 lb | 0 0 0.00 | 1034.97/1035.29 c | 1035.30 | 0 | -911743 lb | 0 0 0.00 | 1037.08/1037.36 c | 1037.36 | 0 | -911742 lb | 0 0 0.00 | 1039.37/1039.66 c | 1039.66 | 0 | -911741 lb | 0 0 0.00 | 1041.97/1042.28 c | 1042.28 | 0 | -911740 lb | 0 0 0.00 | 1043.57/1043.86 c | 1043.86 | 0 | -911739 lb | 0 0 0.00 | 1048.08/1048.32 c | 1048.32 | 0 | -911738 lb | 0 0 0.00 | 1049.67/1049.91 c | 1049.92 | 0 | -911737 lb | 0 0 0.00 | 1052.57/1052.88 c | 1052.89 | 0 | -911736 lb | 0 0 0.00 | 1054.37/1054.69 c | 1054.70 | 0 | -911735 lb | 0 0 0.00 | 1057.57/1057.86 c | 1057.86 | 0 | -911734 lb | 0 0 0.00 | 1060.66/1060.91 c | 1060.91 | 0 | -911733 lb | 0 0 0.00 | 1072.96/1073.27 c | 1073.28 | 0 | -911732 lb | 0 0 0.00 | 1075.96/1076.24 c | 1076.24 | 0 | -911731 lb | 0 0 0.00 | 1078.77/1079.02 c | 1079.03 | 0 | -911730 lb | 0 0 0.00 | 1082.37/1082.69 c | 1082.69 | 0 | -911729 lb | 0 0 0.00 | 1084.67/1084.99 c | 1084.99 | 0 | -911728 lb | 0 0 0.00 | 1088.07/1088.37 c | 1088.37 | 0 | -911727 lb | 0 0 0.00 | 1090.87/1091.18 c | 1091.18 | 0 | -911726 lb | 0 0 0.00 | 1093.26/1093.55 c | 1093.56 | 0 | -911725 lb | 0 0 0.00 | 1096.47/1096.70 c | 1096.71 | 0 | -911724 lb | 0 0 0.00 | 1098.86/1099.17 c | 1099.17 | 0 | -911723 lb | 0 0 0.00 | 1100.86/1101.11 c | 1101.11 | 0 | -911722 lb | 0 0 0.00 | 1103.16/1103.46 c | 1103.47 | 0 | -911721 lb | 0 0 0.00 | 1105.36/1105.68 c | 1105.68 | 0 | -911720 lb | 0 0 0.00 | 1107.86/1108.11 c | 1108.12 | 0 | -911718 lb | 0 0 0.00 | 1109.95/1110.20 c | 1110.21 | 0 | -911717 lb | 0 0 0.00 | 1112.76/1113.02 c | 1113.02 | 0 | -911716 lb | 0 0 0.00 | 1115.76/1116.01 c | 1116.01 | 0 | -911715 lb | 0 0 0.00 | 1118.66/1118.97 c | 1118.98 | 0 | -911714 lb | 0 0 0.00 | 1122.06/1122.32 c | 1122.32 | 0 | -911713 lb | 0 0 0.00 | 1124.96/1125.27 c | 1125.27 | 0 | -911712 lb | 0 0 0.00 | 1128.16/1128.44 c | 1128.44 | 0 | -911711 lb | 0 0 0.00 | 1131.35/1131.65 c | 1131.65 | 0 | -911710 lb | 0 0 0.00 | 1134.65/1134.90 c | 1134.90 | 0 | -911709 lb | 0 0 0.00 | 1137.06/1137.31 c | 1137.32 | 0 | -911708 lb | 0 0 0.00 | 1139.85/1140.19 c | 1140.19 | 0 | -911707 lb | 0 0 0.00 | 1143.35/1143.64 c | 1143.65 | 0 | -911706 lb | 0 0 0.00 | 1145.45/1145.79 c | 1145.79 | 0 | -911705 lb | 0 0 0.00 | 1147.86/1148.12 c | 1148.12 | 0 | -911704 lb | 0 0 0.00 | 1149.66/1149.91 c | 1149.92 | 0 | -911703 lb | 0 0 0.00 | 1151.65/1151.99 c | 1152.00 | 0 | -911702 lb | 0 0 0.00 | 1164.35/1164.60 c | 1164.61 | 0 | -911701 lb | 0 0 0.00 | 1166.65/1166.96 c | 1166.96 | 0 | -911700 lb | 0 0 0.00 | 1169.25/1169.52 c | 1169.52 | 0 | -911699 lb | 0 0 0.00 | 1171.64/1171.96 c | 1171.96 | 0 | -911698 lb | 0 0 0.00 | 1174.94/1175.23 c | 1175.23 | 0 | -911697 lb | 0 0 0.00 | 1177.75/1178.09 c | 1178.10 | 0 | -911696 lb | 0 0 0.00 | 1180.65/1180.92 c | 1180.93 | 0 | -911695 lb | 0 0 0.00 | 1183.15/1183.49 c | 1183.49 | 0 | -911694 lb | 0 0 0.00 | 1186.44/1186.74 c | 1186.74 | 0 | -911693 lb | 0 0 0.00 | 1190.95/1191.28 c | 1191.28 | 0 | -911692 lb | 0 0 0.00 | 1195.24/1195.52 c | 1195.52 | 0 | -911691 lb | 0 0 0.00 | 1199.34/1199.61 c | 1199.62 | 0 | -911690 lb | 0 0 0.00 | 1201.84/1202.18 c | 1202.19 | 0 | -911689 lb | 0 0 0.00 | 1204.65/1204.93 c | 1204.94 | 0 | -911688 lb | 0 0 0.00 | 1207.15/1207.47 c | 1207.47 | 0 | -911687 lb | 0 0 0.00 | 1210.94/1211.26 c | 1211.26 | 0 | -911686 lb | 0 0 0.00 | 1213.34/1213.62 c | 1213.63 | 0 | -911685 lb | 0 0 0.00 | 1216.94/1217.25 c | 1217.25 | 0 | -911684 lb | 0 0 0.00 | 1220.14/1220.42 c | 1220.42 | 0 | -911681 lb | 0 0 0.00 | 1224.14/1224.46 c | 1224.47 | 0 | -911680 lb | 0 0 0.00 | 1228.54/1228.81 c | 1228.82 | 0 | -911679 lb | 0 0 0.00 | 1232.44/1232.70 c | 1232.70 | 0 | -911678 lb | 0 0 0.00 | 1235.94/1236.25 c | 1236.26 | 0 | -911677 lb | 0 0 0.00 | 1239.14/1239.46 c | 1239.46 | 0 | -911676 lb | 0 0 0.00 | 1241.94/1242.20 c | 1242.21 | 0 | -911675 lb | 0 0 0.00 | 1256.04/1256.31 c | 1256.31 | 0 | -911674 lb | 0 0 0.00 | 1259.63/1259.94 c | 1259.94 | 0 | -911673 lb | 0 0 0.00 | 1262.43/1262.73 c | 1262.73 | 0 | -911672 lb | 0 0 0.00 | 1264.34/1264.65 c | 1264.65 | 0 | -911671 lb | 0 0 0.00 | 1267.33/1267.68 c | 1267.68 | 0 | -911670 lb | 0 0 0.00 | 1268.93/1269.30 c | 1269.30 | 0 | -911669 lb | 0 0 0.00 | 1271.73/1272.09 c | 1272.10 | 0 | -911668 lb | 0 0 0.00 | 1274.94/1275.20 c | 1275.20 | 0 | -911667 lb | 0 0 0.00 | 1278.23/1278.56 c | 1278.57 | 0 | -911664 lb | 0 0 0.00 | 1281.83/1282.13 c | 1282.13 | 0 | -911663 lb | 0 0 0.00 | 1285.64/1285.95 c | 1285.95 | 0 | -911662 lb | 0 0 0.00 | 1288.53/1288.87 c | 1288.87 | 0 | -911661 lb | 0 0 0.00 | 1291.83/1292.14 c | 1292.15 | 0 | -911660 lb | 0 0 0.00 | 1293.93/1294.27 c | 1294.28 | 0 | -911659 lb | 0 0 0.00 | 1297.33/1297.60 c | 1297.61 | 0 | -911658 lb | 0 0 0.00 | 1308.83/1309.12 c | 1309.12 | 0 | -911657 lb | 0 0 0.00 | 1310.83/1311.17 c | 1311.17 | 0 | -911656 lb | 0 0 0.00 | 1314.52/1314.80 c | 1314.80 | 0 | -911655 lb | 0 0 0.00 | 1316.23/1316.55 c | 1316.55 | 0 | -911654 lb | 0 0 0.00 | 1318.53/1318.88 c | 1318.88 | 0 | -911653 lb | 0 0 0.00 | 1322.23/1322.55 c | 1322.56 | 0 | -911652 lb | 0 0 0.00 | 1325.92/1326.24 c | 1326.25 | 0 | -911651 lb | 0 0 0.00 | 1329.03/1329.38 c | 1329.38 | 0 | -911650 lb | 0 0 0.00 | 1331.03/1331.31 c | 1331.31 | 0 | -911649 lb | 0 0 0.00 | 1334.03/1334.38 c | 1334.38 | 0 | -911648 lb | 0 0 0.00 | 1338.12/1338.45 c | 1338.45 | 0 | -911647 lb | 0 0 0.00 | 1341.42/1341.70 c | 1341.70 | 0 | -911646 lb | 0 0 0.00 | 1344.52/1344.84 c | 1344.85 | 0 | -911645 lb | 0 0 0.00 | 1348.33/1348.61 c | 1348.62 | 0 | -911644 lb | 0 0 0.00 | 1351.23/1351.55 c | 1351.56 | 0 | -911643 lb | 0 0 0.00 | 1354.62/1354.95 c | 1354.95 | 0 | -911642 lb | 0 0 0.00 | 1357.92/1358.26 c | 1358.26 | 0 | -911641 lb | 0 0 0.00 | 1394.92/1395.25 c | 1395.25 | 0 | -911640 lb | 0 0 0.00 | 1397.91/1398.27 c | 1398.27 | 0 | -911639 lb | 0 0 0.00 | 1400.21/1400.58 c | 1400.58 | 0 | -911638 lb | 0 0 0.00 | 1402.91/1403.27 c | 1403.27 | 0 | -911636 lb | 0 0 0.00 | 1406.41/1406.72 c | 1406.72 | 0 | -911635 lb | 0 0 0.00 | 1411.71/1412.01 c | 1412.02 | 0 | -911634 lb | 0 0 0.00 | 1414.71/1415.09 c | 1415.10 | 0 | -911633 lb | 0 0 0.00 | 1418.51/1418.80 c | 1418.81 | 0 | -911632 lb | 0 0 0.00 | 1420.81/1421.15 c | 1421.15 | 0 | -911631 lb | 0 0 0.00 | 1423.31/1423.61 c | 1423.61 | 0 | -911630 lb | 0 0 0.00 | 1426.31/1426.66 c | 1426.67 | 0 | -911629 lb | 0 0 0.00 | 1429.41/1429.80 c | 1429.80 | 0 | -911628 lb | 0 0 0.00 | 1433.61/1433.94 c | 1433.94 | 0 | -911627 lb | 0 0 0.00 | 1435.71/1436.03 c | 1436.04 | 0 | -911626 lb | 0 0 0.00 | 1438.41/1438.73 c | 1438.73 | 0 | -911625 lb | 0 0 0.00 | 1442.20/1442.53 c | 1442.54 | 0 | -911624 lb | 0 0 0.00 | 1446.21/1446.50 c | 1446.51 | 0 | -911623 lb | 0 0 0.00 | 1452.60/1453.00 c | 1453.00 | 0 | -911622 lb | 0 0 0.00 | 1456.20/1456.51 c | 1456.51 | 0 | -911621 lb | 0 0 0.00 | 1459.11/1459.46 c | 1459.46 | 0 | -911620 lb | 0 0 0.00 | 1481.41/1481.73 c | 1481.73 | 0 | -911619 lb | 0 0 0.00 | 1484.10/1484.41 c | 1484.41 | 0 | -911618 lb | 0 0 0.00 | 1487.50/1487.82 c | 1487.82 | 0 | -911617 lb | 0 0 0.00 | 1491.09/1491.47 c | 1491.48 | 0 | -911616 lb | 0 0 0.00 | 1494.10/1494.40 c | 1494.41 | 0 | -911615 lb | 0 0 0.00 | 1496.80/1497.16 c | 1497.16 | 0 | -911614 lb | 0 0 0.00 | 1500.10/1500.41 c | 1500.42 | 0 | -911613 lb | 0 0 0.00 | 1503.40/1503.72 c | 1503.73 | 0 | -911612 lb | 0 0 0.00 | 1506.29/1506.63 c | 1506.63 | 0 | -911611 lb | 0 0 0.00 | 1510.09/1510.47 c | 1510.47 | 0 | -911610 lb | 0 0 0.00 | 1525.89/1526.23 c | 1526.23 | 0 | -911609 lb | 0 0 0.00 | 1529.19/1529.53 c | 1529.53 | 0 | -911608 lb | 0 0 0.00 | 1532.00/1532.39 c | 1532.39 | 0 | -911607 lb | 0 0 0.00 | 1535.49/1535.84 c | 1535.84 | 0 | -911606 lb | 0 0 0.00 | 1539.19/1539.55 c | 1539.56 | 0 | -911605 lb | 0 0 0.00 | 1543.49/1543.80 c | 1543.81 | 0 | -911604 lb | 0 0 0.00 | 1546.99/1547.37 c | 1547.37 | 0 | -911603 lb | 0 0 0.00 | 1550.49/1550.85 c | 1550.85 | 0 | -911602 lb | 0 0 0.00 | 1556.39/1556.78 c | 1556.79 | 0 | -911601 lb | 0 0 0.00 | 1559.69/1560.07 c | 1560.07 | 0 | -911600 lb | 0 0 0.00 | 1562.38/1562.71 c | 1562.72 | 0 | -911599 lb | 0 0 0.00 | 1565.99/1566.30 c | 1566.31 | 0 | -911598 lb | 0 0 0.00 | 1571.39/1571.76 c | 1571.76 | 0 | -911597 lb | 0 0 0.00 | 1574.79/1575.12 c | 1575.13 | 0 | -911596 lb | 0 0 0.00 | 1577.59/1577.95 c | 1577.95 | 0 | -911595 lb | 0 0 0.00 | 1581.28/1581.69 c | 1581.69 | 0 | -911594 lb | 0 0 0.00 | 1585.49/1585.84 c | 1585.84 | 0 | -911593 lb | 0 0 0.00 | 1588.68/1589.06 c | 1589.06 | 0 | -911592 lb | 0 0 0.00 | 1592.18/1592.51 c | 1592.51 | 0 | -911591 lb | 0 0 0.00 | 1596.08/1596.43 c | 1596.44 | 0 | -911590 lb | 0 0 0.00 | 1598.88/1599.25 c | 1599.25 | 0 | -911589 lb | 0 0 0.00 | 1602.88/1603.24 c | 1603.24 | 0 | -911588 lb | 0 0 0.00 | 1606.58/1606.93 c | 1606.94 | 0 | -911587 lb | 0 0 0.00 | 1609.78/1610.10 c | 1610.10 | 0 | -911586 lb | 0 0 0.00 | 1613.57/1613.92 c | 1613.92 | 0 | -911585 lb | 0 0 0.00 | 1617.27/1617.64 c | 1617.64 | 0 | -911584 lb | 0 0 0.00 | 1620.78/1621.13 c | 1621.13 | 0 | -911583 lb | 0 0 0.00 | 1624.78/1625.10 c | 1625.10 | 0 | -911582 lb | 0 0 0.00 | 1628.48/1628.84 c | 1628.84 | 0 | -911581 lb | 0 0 0.00 | 1631.88/1632.26 c | 1632.26 | 0 | -911580 lb | 0 0 0.00 | 1635.57/1635.99 c | 1635.99 | 0 | -911579 lb | 0 0 0.00 | 1650.78/1651.17 c | 1651.17 | 0 | -911578 lb | 0 0 0.00 | 1655.18/1655.58 c | 1655.59 | 0 | -911577 lb | 0 0 0.00 | 1658.67/1659.08 c | 1659.09 | 0 | -911576 lb | 0 0 0.00 | 1660.77/1661.16 c | 1661.16 | 0 | -911575 lb | 0 0 0.00 | 1664.67/1665.08 c | 1665.08 | 0 | -911574 lb | 0 0 0.00 | 1668.87/1669.28 c | 1669.28 | 0 | -911573 lb | 0 0 0.00 | 1672.97/1673.34 c | 1673.35 | 0 | -911572 lb | 0 0 0.00 | 1677.97/1678.33 c | 1678.34 | 0 | -911571 lb | 0 0 0.00 | 1681.17/1681.53 c | 1681.53 | 0 | -911570 lb | 0 0 0.00 | 1685.27/1685.62 c | 1685.63 | 0 | -911569 lb | 0 0 0.00 | 1688.36/1688.77 c | 1688.77 | 0 | -911568 lb | 0 0 0.00 | 1692.27/1692.68 c | 1692.69 | 0 | -911567 lb | 0 0 0.00 | 1695.36/1695.71 c | 1695.72 | 0 | -911566 lb | 0 0 0.00 | 1699.56/1699.98 c | 1699.98 | 0 | -911565 lb | 0 0 0.00 | 1732.06/1732.46 c | 1732.46 | 0 | -911564 lb | 0 0 0.00 | 1735.06/1735.43 c | 1735.43 | 0 | -911563 lb | 0 0 0.00 | 1738.46/1738.89 c | 1738.89 | 0 | -911562 lb | 0 0 0.00 | 1742.55/1742.98 c | 1742.98 | 0 | -911561 lb | 0 0 0.00 | 1747.16/1747.51 c | 1747.52 | 0 | -911560 lb | 0 0 0.00 | 1753.16/1753.53 c | 1753.53 | 0 | -911559 lb | 0 0 0.00 | 1757.35/1757.77 c | 1757.77 | 0 | -911558 lb | 0 0 0.00 | 1761.35/1761.73 c | 1761.74 | 0 | -911557 lb | 0 0 0.00 | 1764.25/1764.69 c | 1764.70 | 0 | -911556 lb | 0 0 0.00 | 1768.46/1768.87 c | 1768.88 | 0 | -911555 lb | 0 0 0.00 | 1771.26/1771.65 c | 1771.65 | 0 | -911554 lb | 0 0 0.00 | 1773.45/1773.83 c | 1773.83 | 0 | -911553 lb | 0 0 0.00 | 1777.05/1777.50 c | 1777.50 | 0 | -911552 lb | 0 0 0.00 | 1780.35/1780.70 c | 1780.70 | 0 | -911551 lb | 0 0 0.00 | 1784.05/1784.41 c | 1784.41 | 0 | -911550 lb | 0 0 0.00 | 1787.75/1788.11 c | 1788.12 | 0 | -911549 lb | 0 0 0.00 | 1790.85/1791.20 c | 1791.20 | 0 | -911548 lb | 0 0 0.00 | 1794.95/1795.30 c | 1795.30 | 0 | -911547 lb | 0 0 0.00 | 1798.15/1798.56 c | 1798.56 | 0 | -911546 lb | 0 0 0.00 | 1799.74/1800.10 c =============================================================================== 1799.74/1800.10 c Wall Clock Time: 1800.10 s 1799.74/1800.10 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-3727894-1338673301/watcher-3727894-1338673301 -o /tmp/evaluation-result-3727894-1338673301/solver-3727894-1338673301 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727894-1338673301.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 1.95 3/177 383 /proc/meminfo: memFree=28866912/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=31440 CPUtime=0 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) R 381 383 32273 0 -1 4202496 469 0 0 0 0 0 0 0 20 0 1 0 333455673 32194560 421 33554432000 4194304 5964350 140734193963056 140734795751448 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/383/statm: 7860 421 168 433 0 531 0 [startup+0.095811 s] /proc/loadavg: 2.00 2.00 1.95 3/177 383 /proc/meminfo: memFree=28866912/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=42100 CPUtime=0.08 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) R 381 383 32273 0 -1 4202496 3256 0 0 0 8 0 0 0 20 0 1 0 333455673 43110400 3094 33554432000 4194304 5964350 140734193963056 140734193960984 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/383/statm: 10525 3095 471 433 0 3196 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 42100 [startup+0.100268 s] /proc/loadavg: 2.00 2.00 1.95 3/177 383 /proc/meminfo: memFree=28866912/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=42364 CPUtime=0.09 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) R 381 383 32273 0 -1 4202496 3367 0 0 0 9 0 0 0 20 0 1 0 333455673 43380736 3205 33554432000 4194304 5964350 140734193963056 140734193960984 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/383/statm: 10591 3205 486 433 0 3262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42364 [startup+0.300225 s] /proc/loadavg: 2.00 2.00 1.95 3/177 383 /proc/meminfo: memFree=28866912/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=53808 CPUtime=0.28 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) R 381 383 32273 0 -1 4202496 7036 0 0 0 28 0 0 0 20 0 1 0 333455673 55099392 6737 33554432000 4194304 5964350 140734193963056 140734193960984 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/383/statm: 13452 6737 1091 433 0 6123 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 53808 [startup+0.700269 s] /proc/loadavg: 2.00 2.00 1.95 3/177 383 /proc/meminfo: memFree=28866912/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=86940 CPUtime=0.69 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) R 381 383 32273 0 -1 4202496 16479 0 0 0 67 2 0 0 20 0 1 0 333455673 89026560 15522 33554432000 4194304 5964350 140734193963056 140734193960984 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/383/statm: 21735 15522 2289 433 0 14406 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86940 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 1.95 3/178 384 /proc/meminfo: memFree=28791912/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=146972 CPUtime=1.49 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) R 381 383 32273 0 -1 4202496 31151 0 0 0 144 5 0 0 20 0 1 0 333455673 150499328 30870 33554432000 4194304 5964350 140734193963056 140734193961720 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/383/statm: 36743 30870 4252 433 0 29414 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 146972 [startup+3.10017 s] /proc/loadavg: 2.00 2.00 1.95 3/178 384 /proc/meminfo: memFree=28726116/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=368296 CPUtime=3.09 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 69654 0 0 0 297 12 0 0 20 0 2 0 333455673 377135104 68805 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 92074 68805 185 433 0 91638 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 368296 [startup+6.30027 s] /proc/loadavg: 2.00 2.00 1.95 3/179 385 /proc/meminfo: memFree=28364000/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=565656 CPUtime=6.28 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 116312 0 0 0 605 23 0 0 20 0 2 0 333455673 579231744 125552 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 141414 125552 193 433 0 140978 0 [pid=383/tid=385] ppid=381 vsize=565656 CPUtime=3.47 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 69680 0 0 0 333 14 0 0 20 0 2 0 333455953 579231744 125552 33554432000 4194304 5964350 140734193963056 139932082907672 4395563 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) 565656 [startup+12.7002 s] /proc/loadavg: 2.08 2.02 1.95 3/179 385 /proc/meminfo: memFree=28369168/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=565656 CPUtime=12.69 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 122644 0 0 0 1243 26 0 0 20 0 2 0 333455673 579231744 132119 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 141414 132119 195 433 0 140978 0 [pid=383/tid=385] ppid=381 vsize=565656 CPUtime=9.85 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 76012 0 0 0 968 17 0 0 20 0 2 0 333455953 579231744 132119 33554432000 4194304 5964350 140734193963056 139932082907976 4406339 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) 565656 [startup+25.5003 s] /proc/loadavg: 2.06 2.02 1.95 3/179 385 /proc/meminfo: memFree=28278044/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=631192 CPUtime=25.48 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 147886 0 0 0 2514 34 0 0 20 0 2 0 333455673 646340608 143171 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 157798 143171 195 433 0 157362 0 [pid=383/tid=385] ppid=381 vsize=631192 CPUtime=22.62 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 101254 0 0 0 2237 25 0 0 20 0 2 0 333455953 646340608 143171 33554432000 4194304 5964350 140734193963056 139932082907480 4221984 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) 631192 [startup+51.1002 s] /proc/loadavg: 2.04 2.02 1.95 3/179 385 /proc/meminfo: memFree=28191748/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=696728 CPUtime=51.07 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 159857 0 0 0 5068 39 0 0 20 0 2 0 333455673 713449472 161315 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 174182 161315 195 433 0 173746 0 [pid=383/tid=385] ppid=381 vsize=696728 CPUtime=48.15 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 113225 0 0 0 4785 30 0 0 20 0 2 0 333455953 713449472 161315 33554432000 4194304 5964350 140734193963056 139932082907672 5130914 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 696728 [startup+102.307 s] /proc/loadavg: 2.02 2.01 1.95 3/179 386 /proc/meminfo: memFree=27979640/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=909856 CPUtime=102.27 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 191695 0 0 0 10175 52 0 0 20 0 2 0 333455673 931692544 209046 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 227464 209046 196 433 0 227028 0 [pid=383/tid=385] ppid=381 vsize=909856 CPUtime=99.22 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 145063 0 0 0 9878 44 0 0 20 0 2 0 333455953 931692544 209046 33554432000 4194304 5964350 140734193963056 139932082907480 4399889 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 909856 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 386 /proc/meminfo: memFree=27791000/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=1172000 CPUtime=162.26 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 203182 0 0 0 16162 64 0 0 20 0 2 0 333455673 1200128000 250278 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 293000 250278 196 433 0 292564 0 [pid=383/tid=385] ppid=381 vsize=1172000 CPUtime=159.06 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 156550 0 0 0 15849 57 0 0 20 0 2 0 333455953 1200128000 250278 33554432000 4194304 5964350 140734193963056 139932082907672 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1172000 [startup+222.3 s] /proc/loadavg: 2.03 2.02 1.96 3/179 386 /proc/meminfo: memFree=27624444/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=1286668 CPUtime=222.25 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 213469 0 0 0 22151 74 0 0 20 0 2 0 333455673 1317548032 278107 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 321667 278107 197 433 0 321231 0 [pid=383/tid=385] ppid=381 vsize=1286668 CPUtime=218.91 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 166837 0 0 0 21823 68 0 0 20 0 2 0 333455953 1317548032 278107 33554432000 4194304 5964350 140734193963056 139932082907672 5122169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 1286668 [startup+282.3 s] /proc/loadavg: 2.01 2.01 1.96 3/179 386 /proc/meminfo: memFree=27392148/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=1442348 CPUtime=282.24 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 231316 0 0 0 28140 84 0 0 20 0 2 0 333455673 1476964352 307532 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 360587 307532 197 433 0 360151 0 [pid=383/tid=385] ppid=381 vsize=1442348 CPUtime=278.76 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 184684 0 0 0 27797 79 0 0 20 0 2 0 333455953 1476964352 307532 33554432000 4194304 5964350 140734193963056 139932082907480 4406360 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 1442348 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 386 /proc/meminfo: memFree=27233736/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=1507884 CPUtime=342.23 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 239352 0 0 0 34132 91 0 0 20 0 2 0 333455673 1544073216 321398 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 376971 321398 197 433 0 376535 0 [pid=383/tid=385] ppid=381 vsize=1507884 CPUtime=338.6 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 192720 0 0 0 33773 87 0 0 20 0 2 0 333455953 1544073216 321398 33554432000 4194304 5964350 140734193963056 139932082907976 4403263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1507884 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 387 /proc/meminfo: memFree=27066816/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=1638956 CPUtime=402.22 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 247346 0 0 0 40124 98 0 0 20 0 2 0 333455673 1678290944 348392 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 409739 348392 197 433 0 409303 0 [pid=383/tid=385] ppid=381 vsize=1638956 CPUtime=398.45 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 200714 0 0 0 39750 95 0 0 20 0 2 0 333455953 1678290944 348392 33554432000 4194304 5964350 140734193963056 139932082907672 5135744 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1638956 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 387 /proc/meminfo: memFree=26940344/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=1663560 CPUtime=462.21 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 266076 0 0 0 46115 106 0 0 20 0 2 0 333455673 1703485440 354502 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 415890 354502 197 433 0 415454 0 [pid=383/tid=385] ppid=381 vsize=1663560 CPUtime=458.3 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 219444 0 0 0 45727 103 0 0 20 0 2 0 333455953 1703485440 354502 33554432000 4194304 5964350 140734193963056 139932082907464 4392681 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.13 1.66 1.84 2/172 456 /proc/meminfo: memFree=26813164/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=2933356 CPUtime=1362.02 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 373354 0 0 0 135980 222 0 0 20 0 2 0 333455673 3003756544 613175 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 733339 613175 197 433 0 732903 0 [pid=383/tid=385] ppid=381 vsize=2933356 CPUtime=1355.93 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 326722 0 0 0 135360 233 0 0 20 0 2 0 333455953 3003756544 613175 33554432000 4194304 5964350 140734193963056 139932082908088 4403263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 2933356 [startup+1422.31 s] /proc/loadavg: 1.05 1.54 1.79 2/172 456 /proc/meminfo: memFree=26792164/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=2998892 CPUtime=1422.02 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 394180 0 0 0 141964 238 0 0 20 0 2 0 333455673 3070865408 618475 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 749723 618475 197 433 0 749287 0 [pid=383/tid=385] ppid=381 vsize=2998892 CPUtime=1415.78 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 347548 0 0 0 141328 250 0 0 20 0 2 0 333455953 3070865408 618475 33554432000 4194304 5964350 140734193963056 139932082907544 4403480 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 2998892 [startup+1482.3 s] /proc/loadavg: 1.02 1.44 1.73 2/171 456 /proc/meminfo: memFree=26692012/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3166876 CPUtime=1482 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 429638 0 0 0 147938 262 0 0 20 0 2 0 333455673 3242881024 656943 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 791719 656943 197 433 0 791283 0 [pid=383/tid=385] ppid=381 vsize=3166876 CPUtime=1475.61 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 383006 0 0 0 147286 275 0 0 20 0 2 0 333455953 3242881024 656943 33554432000 4194304 5964350 140734193963056 139932082907544 5122387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1482 Current children cumulated vsize (KiB) 3166876 [startup+1542.3 s] /proc/loadavg: 1.00 1.36 1.68 2/172 457 /proc/meminfo: memFree=26698448/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3064428 CPUtime=1541.99 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 463966 0 0 0 153910 289 0 0 20 0 2 0 333455673 3137974272 641865 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 766107 641865 197 433 0 765671 0 [pid=383/tid=385] ppid=381 vsize=3064428 CPUtime=1535.46 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 417334 0 0 0 153243 303 0 0 20 0 2 0 333455953 3137974272 641865 33554432000 4194304 5964350 140734193963056 139932082908088 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 3064428 [startup+1602.3 s] /proc/loadavg: 1.00 1.29 1.64 2/172 457 /proc/meminfo: memFree=26573816/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3224124 CPUtime=1601.98 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 497235 0 0 0 159879 319 0 0 20 0 2 0 333455673 3301502976 672980 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 806031 672980 197 433 0 805595 0 [pid=383/tid=385] ppid=381 vsize=3224124 CPUtime=1595.3 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 450603 0 0 0 159196 334 0 0 20 0 2 0 333455953 3301502976 672980 33554432000 4194304 5964350 140734193963056 139932082908088 4392783 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 3224124 [startup+1662.3 s] /proc/loadavg: 1.00 1.23 1.60 2/172 458 /proc/meminfo: memFree=26498084/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3261036 CPUtime=1661.97 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 519271 0 0 0 165856 341 0 0 20 0 2 0 333455673 3339300864 685212 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 815259 685212 197 433 0 814823 0 [pid=383/tid=385] ppid=381 vsize=3261036 CPUtime=1655.15 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 472639 0 0 0 165158 357 0 0 20 0 2 0 333455953 3339300864 685212 33554432000 4194304 5964350 140734193963056 139932082907480 5139034 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 3261036 [startup+1722.3 s] /proc/loadavg: 1.00 1.19 1.56 2/173 461 /proc/meminfo: memFree=26527032/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3261036 CPUtime=1721.96 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 527587 0 0 0 171841 355 0 0 20 0 2 0 333455673 3339300864 685212 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 815259 685212 197 433 0 814823 0 [pid=383/tid=385] ppid=381 vsize=3261036 CPUtime=1714.99 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 480955 0 0 0 171127 372 0 0 20 0 2 0 333455953 3339300864 685212 33554432000 4194304 5964350 140734193963056 139932082908088 4392693 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 3261036 [startup+1782.3 s] /proc/loadavg: 1.00 1.15 1.52 2/172 461 /proc/meminfo: memFree=26501076/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3326572 CPUtime=1781.95 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 545634 0 0 0 177815 380 0 0 20 0 2 0 333455673 3406409728 691573 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 831643 691573 197 433 0 831207 0 [pid=383/tid=385] ppid=381 vsize=3326572 CPUtime=1774.84 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 499002 0 0 0 177087 397 0 0 20 0 2 0 333455953 3406409728 691573 33554432000 4194304 5964350 140734193963056 139932082907976 4403510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.95 Current children cumulated vsize (KiB) 3326572 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.15 1.51 2/172 461 /proc/meminfo: memFree=26408544/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3400396 CPUtime=1791.56 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 553685 0 0 0 178770 386 0 0 20 0 2 0 333455673 3482005504 714664 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 850099 714664 197 433 0 849663 0 [pid=383/tid=385] ppid=381 vsize=3400396 CPUtime=1784.42 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 507053 0 0 0 178038 404 0 0 20 0 2 0 333455953 3482005504 714664 33554432000 4194304 5964350 140734193963056 139932082908088 5122278 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (KiB) 3400396 [startup+1795.1 s] /proc/loadavg: 1.00 1.15 1.51 2/172 461 /proc/meminfo: memFree=26472956/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3326572 CPUtime=1794.75 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 553686 0 0 0 179089 386 0 0 20 0 2 0 333455673 3406409728 698610 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 831643 698610 197 433 0 831207 0 [pid=383/tid=385] ppid=381 vsize=3326572 CPUtime=1787.61 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 507054 0 0 0 178357 404 0 0 20 0 2 0 333455953 3406409728 698610 33554432000 4194304 5964350 140734193963056 139932082908088 4406329 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.75 Current children cumulated vsize (KiB) 3326572 [startup+1798.3 s] /proc/loadavg: 1.00 1.14 1.51 2/172 461 /proc/meminfo: memFree=26468800/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3326572 CPUtime=1797.95 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 556825 0 0 0 179407 388 0 0 20 0 2 0 333455673 3406409728 699635 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 831643 699635 197 433 0 831207 0 [pid=383/tid=385] ppid=381 vsize=3326572 CPUtime=1790.8 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 510193 0 0 0 178674 406 0 0 20 0 2 0 333455953 3406409728 699635 33554432000 4194304 5964350 140734193963056 139932082908088 4406280 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 3326572 [startup+1799.1 s] /proc/loadavg: 1.00 1.14 1.51 2/172 461 /proc/meminfo: memFree=26468800/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3429020 CPUtime=1798.74 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 559619 0 0 0 179484 390 0 0 20 0 2 0 333455673 3511316480 718777 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 857255 718777 197 433 0 856819 0 [pid=383/tid=385] ppid=381 vsize=3429020 CPUtime=1791.6 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 512987 0 0 0 178752 408 0 0 20 0 2 0 333455953 3511316480 718777 33554432000 4194304 5964350 140734193963056 139932082907544 5138960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (KiB) 3429020 [startup+1799.9 s] /proc/loadavg: 1.00 1.14 1.51 2/172 461 /proc/meminfo: memFree=26420960/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3355196 CPUtime=1799.54 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 559619 0 0 0 179564 390 0 0 20 0 2 0 333455673 3435720704 704417 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 838799 704417 197 433 0 838363 0 [pid=383/tid=385] ppid=381 vsize=3355196 CPUtime=1792.39 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 512987 0 0 0 178831 408 0 0 20 0 2 0 333455953 3435720704 704417 33554432000 4194304 5964350 140734193963056 139932082907544 4388992 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (KiB) 3355196 [startup+1800.1 s] /proc/loadavg: 1.00 1.14 1.51 2/172 461 /proc/meminfo: memFree=26420960/32873648 swapFree=7116/7116 [pid=383] ppid=381 vsize=3355196 CPUtime=1799.74 cores=1,3,5,7 /proc/383/stat : 383 (wbo1.72) S 381 383 32273 0 -1 4202496 559619 0 0 0 179584 390 0 0 20 0 2 0 333455673 3435720704 704417 33554432000 4194304 5964350 140734193963056 140734193962576 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/383/statm: 838799 704417 197 433 0 838363 0 [pid=383/tid=385] ppid=381 vsize=3355196 CPUtime=1792.59 cores=1,3,5,7 /proc/383/task/385/stat : 385 (wbo1.72) R 381 383 32273 0 -1 4202560 512987 0 0 0 178851 408 0 0 20 0 2 0 333455953 3435720704 704417 33554432000 4194304 5964350 140734193963056 139932082908088 4496422 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (KiB) 3355196 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 383 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=231691 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=198361 # CPU time returned by wait4() is 1795.43 # while last known CPU time is 1799.74 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.12 CPU time (s): 1799.74 CPU user time (s): 1795.84 CPU system time (s): 3.9 CPU usage (%): 99.9789 Max. virtual memory (cumulated for all children) (KiB): 3465932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.23 system time used= 4.19836 maximum resident set size= 2915996 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 559621 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= 129 involuntary context switches= 1939 runsolver used 5.2802 second user time and 14.9407 second system time The end
Begin job on node123 at 2012-06-02 23:41:42 IDJOB=3727894 IDBENCH=91127 IDSOLVER=2313 FILE ID=node123/3727894-1338673301 RUNJOBID= node123-1338669317-32564 PBS_JOBID= 14636514 Free space on /tmp= 71268 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727894-1338673301/watcher-3727894-1338673301 -o /tmp/evaluation-result-3727894-1338673301/solver-3727894-1338673301 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727894-1338673301.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bddfe521cf91a77d0e4de5a51a3aa343 RANDOM SEED=1266015452 node123.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 : 2667.217 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 : 5334.43 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 : 2667.217 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 : 2667.217 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 : 2667.217 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 : 2667.217 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 : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 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 : 2667.217 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: 28867044 kB Buffers: 481704 kB Cached: 2230400 kB SwapCached: 2272 kB Active: 1253788 kB Inactive: 1865352 kB Active(anon): 401964 kB Inactive(anon): 5516 kB Active(file): 851824 kB Inactive(file): 1859836 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100312 kB Dirty: 33196 kB Writeback: 16 kB AnonPages: 408144 kB Mapped: 11084 kB Shmem: 0 kB Slab: 749024 kB SReclaimable: 193192 kB SUnreclaim: 555832 kB KernelStack: 1448 kB PageTables: 4932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 161484 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= 71272 MiB End job on node123 at 2012-06-03 00:11:42