| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.66 | 1800.11 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb |
| MD5SUM | a1c8f87e33a217e9c288dbd99c4ff21b |
| 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 | -4 |
| Best CPU time to get the best result obtained on this benchmark | 1801.44 |
| 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 | 1605 |
| 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 | 188920 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1024 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 188920 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727886-1338672910.opb. 0.00/0.00 c Instance file HOME/instance-3727886-1338672910.opb 0.00/0.00 c File size is 28233021 bytes. 2.98/3.09 c Cost Offset: -188920 2.98/3.09 c Highest Coefficient sum: 63122 2.98/3.09 c ============================[ Problem Statistics ]============================= 2.98/3.09 c | | 2.98/3.09 c | Parsing time: 3.09 s | 2.98/3.09 c | Number Variables: 400896 | 2.98/3.09 c | Number Clauses: 400785 | 2.98/3.09 c | Number Cardinality: 1977 | 2.98/3.09 c | Number PB Constraints: 1 | 2.98/3.09 c | | 3.28/3.38 c | Problem Type: Optimization | 3.28/3.38 c | Objective Function: PB Constraint | 3.28/3.38 c | | 3.28/3.38 c ============================[ Search Statistics ]============================== 3.28/3.38 c | Time (s) | ID | Bound | Shared Clauses | 3.28/3.38 c | | | value type | expCls impCls Lit/impCl | 3.28/3.38 c =============================================================================== 3.88/3.93 c | 3.93 | 0 | -188919 lb | 0 0 0.00 | 4.39/4.42 c | 4.42 | 0 | -188918 lb | 0 0 0.00 | 4.88/4.97 c | 4.88 | 0 | -188916 lb | 0 0 0.00 | 5.28/5.32 c | 5.32 | 0 | -188912 lb | 0 0 0.00 | 5.68/5.77 c | 5.78 | 0 | -188904 lb | 0 0 0.00 | 6.18/6.22 c | 6.23 | 0 | -188888 lb | 0 0 0.00 | 6.59/6.66 c | 6.67 | 0 | -188856 lb | 0 0 0.00 | 7.08/7.13 c | 7.13 | 0 | -188792 lb | 0 0 0.00 | 7.48/7.60 c | 7.60 | 0 | -188664 lb | 0 0 0.00 | 7.98/8.07 c | 8.07 | 0 | -188408 lb | 0 0 0.00 | 8.48/8.54 c | 8.54 | 0 | -187896 lb | 0 0 0.00 | 9.08/9.12 c | 9.13 | 0 | -187895 lb | 0 0 0.00 | 10.28/10.34 c | 10.35 | 0 | -187894 lb | 0 0 0.00 | 11.68/11.77 c | 11.77 | 0 | -187892 lb | 0 0 0.00 | 13.19/13.24 c | 13.24 | 0 | -187887 lb | 0 0 0.00 | 18.38/18.44 c | 18.44 | 0 | -187886 lb | 0 0 0.00 | 23.78/23.81 c | 23.82 | 0 | -187885 lb | 0 0 0.00 | 27.87/27.93 c | 27.93 | 0 | -187884 lb | 0 0 0.00 | 32.98/33.04 c | 33.04 | 0 | -187883 lb | 0 0 0.00 | 37.17/37.26 c | 37.26 | 0 | -187882 lb | 0 0 0.00 | 41.68/41.78 c | 41.78 | 0 | -187881 lb | 0 0 0.00 | 45.38/45.43 c | 45.43 | 0 | -187880 lb | 0 0 0.00 | 49.27/49.37 c | 49.38 | 0 | -187879 lb | 0 0 0.00 | 54.47/54.52 c | 54.52 | 0 | -187878 lb | 0 0 0.00 | 58.87/58.98 c | 58.98 | 0 | -187874 lb | 0 0 0.00 | 59.87/59.91 c | 59.91 | 0 | -187873 lb | 0 0 0.00 | 61.67/61.75 c | 61.75 | 0 | -187872 lb | 0 0 0.00 | 63.87/63.98 c | 63.98 | 0 | -187871 lb | 0 0 0.00 | 66.67/66.78 c | 66.78 | 0 | -187870 lb | 0 0 0.00 | 70.67/70.70 c | 70.71 | 0 | -187869 lb | 0 0 0.00 | 75.37/75.45 c | 75.45 | 0 | -187868 lb | 0 0 0.00 | 79.36/79.49 c | 79.49 | 0 | -187867 lb | 0 0 0.00 | 83.48/83.58 c | 83.58 | 0 | -187866 lb | 0 0 0.00 | 88.27/88.39 c | 88.40 | 0 | -187865 lb | 0 0 0.00 | 91.97/92.09 c | 92.10 | 0 | -187864 lb | 0 0 0.00 | 96.67/96.73 c | 96.74 | 0 | -187863 lb | 0 0 0.00 | 100.46/100.60 c | 100.60 | 0 | -187862 lb | 0 0 0.00 | 106.86/106.92 c | 106.93 | 0 | -187861 lb | 0 0 0.00 | 108.16/108.20 c | 108.20 | 0 | -187860 lb | 0 0 0.00 | 112.56/112.61 c | 112.61 | 0 | -187854 lb | 0 0 0.00 | 116.46/116.57 c | 116.57 | 0 | -187853 lb | 0 0 0.00 | 117.57/117.64 c | 117.65 | 0 | -187852 lb | 0 0 0.00 | 121.97/122.03 c | 122.03 | 0 | -187849 lb | 0 0 0.00 | 124.76/124.87 c | 124.87 | 0 | -187848 lb | 0 0 0.00 | 129.86/129.96 c | 129.97 | 0 | -187847 lb | 0 0 0.00 | 135.06/135.14 c | 135.15 | 0 | -187846 lb | 0 0 0.00 | 135.86/135.97 c | 135.97 | 0 | -187845 lb | 0 0 0.00 | 140.05/140.11 c | 140.11 | 0 | -187844 lb | 0 0 0.00 | 144.06/144.18 c | 144.18 | 0 | -187841 lb | 0 0 0.00 | 150.26/150.33 c | 150.33 | 0 | -187840 lb | 0 0 0.00 | 153.66/153.75 c | 153.75 | 0 | -187839 lb | 0 0 0.00 | 158.75/158.89 c | 158.89 | 0 | -187838 lb | 0 0 0.00 | 159.75/159.89 c | 159.89 | 0 | -187837 lb | 0 0 0.00 | 160.56/160.68 c | 160.68 | 0 | -187836 lb | 0 0 0.00 | 161.75/161.89 c | 161.90 | 0 | -187835 lb | 0 0 0.00 | 162.85/162.93 c | 162.93 | 0 | -187834 lb | 0 0 0.00 | 163.65/163.80 c | 163.80 | 0 | -187833 lb | 0 0 0.00 | 169.45/169.59 c | 169.59 | 0 | -187832 lb | 0 0 0.00 | 174.05/174.14 c | 174.14 | 0 | -187831 lb | 0 0 0.00 | 174.95/175.06 c | 175.07 | 0 | -187830 lb | 0 0 0.00 | 175.86/175.93 c | 175.93 | 0 | -187829 lb | 0 0 0.00 | 176.55/176.62 c | 176.63 | 0 | -187827 lb | 0 0 0.00 | 177.35/177.44 c | 177.44 | 0 | -187826 lb | 0 0 0.00 | 178.35/178.40 c | 178.41 | 0 | -187825 lb | 0 0 0.00 | 179.15/179.22 c | 179.23 | 0 | -187820 lb | 0 0 0.00 | 179.95/180.02 c | 180.03 | 0 | -187819 lb | 0 0 0.00 | 180.85/180.95 c | 180.96 | 0 | -187818 lb | 0 0 0.00 | 181.85/181.99 c | 182.00 | 0 | -187817 lb | 0 0 0.00 | 182.75/182.86 c | 182.87 | 0 | -187816 lb | 0 0 0.00 | 183.65/183.73 c | 183.73 | 0 | -187815 lb | 0 0 0.00 | 184.45/184.56 c | 184.56 | 0 | -187814 lb | 0 0 0.00 | 185.44/185.51 c | 185.51 | 0 | -187813 lb | 0 0 0.00 | 186.34/186.44 c | 186.44 | 0 | -187812 lb | 0 0 0.00 | 187.25/187.36 c | 187.36 | 0 | -187811 lb | 0 0 0.00 | 188.06/188.19 c | 188.20 | 0 | -187810 lb | 0 0 0.00 | 189.25/189.35 c | 189.35 | 0 | -187809 lb | 0 0 0.00 | 190.35/190.45 c | 190.45 | 0 | -187808 lb | 0 0 0.00 | 192.04/192.10 c | 192.10 | 0 | -187807 lb | 0 0 0.00 | 193.65/193.71 c | 193.71 | 0 | -187806 lb | 0 0 0.00 | 195.34/195.47 c | 195.47 | 0 | -187802 lb | 0 0 0.00 | 197.14/197.25 c | 197.26 | 0 | -187801 lb | 0 0 0.00 | 199.74/199.88 c | 199.89 | 0 | -187800 lb | 0 0 0.00 | 201.65/201.73 c | 201.73 | 0 | -187797 lb | 0 0 0.00 | 206.04/206.15 c | 206.15 | 0 | -187796 lb | 0 0 0.00 | 209.54/209.62 c | 209.62 | 0 | -187795 lb | 0 0 0.00 | 210.64/210.71 c | 210.71 | 0 | -187794 lb | 0 0 0.00 | 211.44/211.52 c | 211.52 | 0 | -187793 lb | 0 0 0.00 | 212.44/212.57 c | 212.57 | 0 | -187792 lb | 0 0 0.00 | 213.34/213.45 c | 213.45 | 0 | -187791 lb | 0 0 0.00 | 214.44/214.57 c | 214.57 | 0 | -187790 lb | 0 0 0.00 | 216.54/216.68 c | 216.69 | 0 | -187789 lb | 0 0 0.00 | 220.54/220.62 c | 220.62 | 0 | -187788 lb | 0 0 0.00 | 228.53/228.66 c | 228.67 | 0 | -187787 lb | 0 0 0.00 | 231.13/231.29 c | 231.29 | 0 | -187768 lb | 0 0 0.00 | 234.24/234.32 c | 234.32 | 0 | -187767 lb | 0 0 0.00 | 237.73/237.86 c | 237.87 | 0 | -187766 lb | 0 0 0.00 | 241.73/241.87 c | 241.88 | 0 | -187765 lb | 0 0 0.00 | 242.82/242.90 c | 242.91 | 0 | -187764 lb | 0 0 0.00 | 243.82/243.96 c | 243.96 | 0 | -187763 lb | 0 0 0.00 | 244.72/244.80 c | 244.80 | 0 | -187762 lb | 0 0 0.00 | 248.32/248.47 c | 248.47 | 0 | -187761 lb | 0 0 0.00 | 249.42/249.51 c | 249.51 | 0 | -187760 lb | 0 0 0.00 | 251.72/251.81 c | 251.82 | 0 | -187757 lb | 0 0 0.00 | 254.91/255.03 c | 255.03 | 0 | -187756 lb | 0 0 0.00 | 257.81/257.96 c | 257.97 | 0 | -187755 lb | 0 0 0.00 | 259.21/259.32 c | 259.33 | 0 | -187754 lb | 0 0 0.00 | 260.21/260.32 c | 260.32 | 0 | -187753 lb | 0 0 0.00 | 264.00/264.10 c | 264.10 | 0 | -187752 lb | 0 0 0.00 | 267.00/267.15 c | 267.15 | 0 | -187751 lb | 0 0 0.00 | 269.70/269.87 c | 269.87 | 0 | -187733 lb | 0 0 0.00 | 271.52/271.68 c | 271.68 | 0 | -187732 lb | 0 0 0.00 | 274.41/274.53 c | 274.53 | 0 | -187730 lb | 0 0 0.00 | 277.21/277.36 c | 277.36 | 0 | -187725 lb | 0 0 0.00 | 279.80/279.98 c | 279.98 | 0 | -187723 lb | 0 0 0.00 | 283.01/283.13 c | 283.13 | 0 | -187719 lb | 0 0 0.00 | 284.10/284.23 c | 284.24 | 0 | -187716 lb | 0 0 0.00 | 287.20/287.34 c | 287.34 | 0 | -187713 lb | 0 0 0.00 | 288.41/288.52 c | 288.52 | 0 | -187712 lb | 0 0 0.00 | 289.81/289.99 c | 290.00 | 0 | -187711 lb | 0 0 0.00 | 291.00/291.11 c | 291.11 | 0 | -187710 lb | 0 0 0.00 | 292.11/292.22 c | 292.23 | 0 | -187709 lb | 0 0 0.00 | 293.10/293.27 c | 293.28 | 0 | -187708 lb | 0 0 0.00 | 294.10/294.29 c | 294.30 | 0 | -187706 lb | 0 0 0.00 | 295.11/295.20 c | 295.20 | 0 | -187705 lb | 0 0 0.00 | 296.00/296.14 c | 296.14 | 0 | -187704 lb | 0 0 0.00 | 296.91/297.09 c | 297.10 | 0 | -187703 lb | 0 0 0.00 | 297.80/297.99 c | 298.00 | 0 | -187702 lb | 0 0 0.00 | 298.70/298.87 c | 298.88 | 0 | -187701 lb | 0 0 0.00 | 299.70/299.80 c | 299.80 | 0 | -187700 lb | 0 0 0.00 | 300.61/300.74 c | 300.74 | 0 | -187699 lb | 0 0 0.00 | 301.50/301.69 c | 301.69 | 0 | -187698 lb | 0 0 0.00 | 302.50/302.69 c | 302.69 | 0 | -187697 lb | 0 0 0.00 | 303.61/303.70 c | 303.71 | 0 | -187696 lb | 0 0 0.00 | 304.61/304.78 c | 304.78 | 0 | -187695 lb | 0 0 0.00 | 305.50/305.61 c | 305.61 | 0 | -187694 lb | 0 0 0.00 | 306.81/306.90 c | 306.91 | 0 | -187693 lb | 0 0 0.00 | 308.10/308.23 c | 308.23 | 0 | -187692 lb | 0 0 0.00 | 309.10/309.25 c | 309.25 | 0 | -187691 lb | 0 0 0.00 | 310.51/310.65 c | 310.65 | 0 | -187690 lb | 0 0 0.00 | 311.50/311.61 c | 311.62 | 0 | -187689 lb | 0 0 0.00 | 314.51/314.66 c | 314.67 | 0 | -187473 lb | 0 0 0.00 | 316.00/316.11 c | 316.12 | 0 | -187472 lb | 0 0 0.00 | 317.30/317.40 c | 317.40 | 0 | -187471 lb | 0 0 0.00 | 318.10/318.26 c | 318.26 | 0 | -187470 lb | 0 0 0.00 | 319.80/319.91 c | 319.91 | 0 | -187469 lb | 0 0 0.00 | 324.20/324.31 c | 324.32 | 0 | -187468 lb | 0 0 0.00 | 325.30/325.44 c | 325.44 | 0 | -187467 lb | 0 0 0.00 | 326.51/326.67 c | 326.67 | 0 | -187466 lb | 0 0 0.00 | 327.80/327.96 c | 327.96 | 0 | -187354 lb | 0 0 0.00 | 329.10/329.24 c | 329.24 | 0 | -187353 lb | 0 0 0.00 | 330.20/330.37 c | 330.37 | 0 | -187352 lb | 0 0 0.00 | 331.40/331.59 c | 331.59 | 0 | -187351 lb | 0 0 0.00 | 332.40/332.56 c | 332.57 | 0 | -187350 lb | 0 0 0.00 | 333.40/333.54 c | 333.54 | 0 | -187349 lb | 0 0 0.00 | 334.50/334.68 c | 334.68 | 0 | -187348 lb | 0 0 0.00 | 335.31/335.47 c | 335.47 | 0 | -187347 lb | 0 0 0.00 | 336.20/336.36 c | 336.37 | 0 | -187346 lb | 0 0 0.00 | 337.40/337.54 c | 337.54 | 0 | -187345 lb | 0 0 0.00 | 338.60/338.73 c | 338.73 | 0 | -187344 lb | 0 0 0.00 | 339.99/340.13 c | 340.13 | 0 | -187343 lb | 0 0 0.00 | 341.49/341.61 c | 341.61 | 0 | -187342 lb | 0 0 0.00 | 342.89/343.02 c | 343.03 | 0 | -187341 lb | 0 0 0.00 | 344.20/344.34 c | 344.35 | 0 | -187340 lb | 0 0 0.00 | 346.60/346.76 c | 346.77 | 0 | -187339 lb | 0 0 0.00 | 347.90/348.09 c | 348.09 | 0 | -187338 lb | 0 0 0.00 | 349.49/349.66 c | 349.66 | 0 | -187337 lb | 0 0 0.00 | 350.59/350.70 c | 350.70 | 0 | -187336 lb | 0 0 0.00 | 352.50/352.68 c | 352.68 | 0 | -187335 lb | 0 0 0.00 | 354.11/354.21 c | 354.21 | 0 | -187331 lb | 0 0 0.00 | 355.90/356.06 c | 356.06 | 0 | -187330 lb | 0 0 0.00 | 357.59/357.74 c | 357.74 | 0 | -187329 lb | 0 0 0.00 | 358.89/359.05 c | 359.05 | 0 | -187328 lb | 0 0 0.00 | 360.09/360.29 c | 360.29 | 0 | -187327 lb | 0 0 0.00 | 361.29/361.42 c | 361.42 | 0 | -187326 lb | 0 0 0.00 | 362.40/362.58 c | 362.58 | 0 | -187325 lb | 0 0 0.00 | 363.70/363.85 c | 363.86 | 0 | -187324 lb | 0 0 0.00 | 364.79/364.97 c | 364.98 | 0 | -187323 lb | 0 0 0.00 | 366.29/366.43 c | 366.44 | 0 | -187322 lb | 0 0 0.00 | 367.39/367.50 c | 367.51 | 0 | -187321 lb | 0 0 0.00 | 368.30/368.48 c | 368.48 | 0 | -187320 lb | 0 0 0.00 | 369.39/369.51 c | 369.52 | 0 | -187318 lb | 0 0 0.00 | 370.80/370.92 c | 370.92 | 0 | -187315 lb | 0 0 0.00 | 371.79/371.95 c | 371.95 | 0 | -187314 lb | 0 0 0.00 | 373.09/373.22 c | 373.23 | 0 | -187313 lb | 0 0 0.00 | 374.29/374.48 c | 374.49 | 0 | -187309 lb | 0 0 0.00 | 375.59/375.72 c | 375.73 | 0 | -187308 lb | 0 0 0.00 | 376.59/376.77 c | 376.78 | 0 | -187307 lb | 0 0 0.00 | 377.99/378.19 c | 378.19 | 0 | -187306 lb | 0 0 0.00 | 379.40/379.55 c | 379.55 | 0 | -187305 lb | 0 0 0.00 | 380.79/380.94 c | 380.94 | 0 | -187303 lb | 0 0 0.00 | 381.99/382.13 c | 382.13 | 0 | -187300 lb | 0 0 0.00 | 383.29/383.44 c | 383.45 | 0 | -187299 lb | 0 0 0.00 | 384.59/384.73 c | 384.73 | 0 | -187298 lb | 0 0 0.00 | 385.79/385.92 c | 385.92 | 0 | -187297 lb | 0 0 0.00 | 386.99/387.15 c | 387.15 | 0 | -187293 lb | 0 0 0.00 | 387.99/388.15 c | 388.15 | 0 | -187292 lb | 0 0 0.00 | 388.99/389.18 c | 389.18 | 0 | -187291 lb | 0 0 0.00 | 389.99/390.15 c | 390.16 | 0 | -187290 lb | 0 0 0.00 | 391.29/391.44 c | 391.45 | 0 | -187289 lb | 0 0 0.00 | 392.18/392.37 c | 392.38 | 0 | -187288 lb | 0 0 0.00 | 393.28/393.45 c | 393.45 | 0 | -187287 lb | 0 0 0.00 | 394.49/394.69 c | 394.70 | 0 | -187286 lb | 0 0 0.00 | 396.09/396.23 c | 396.24 | 0 | -187285 lb | 0 0 0.00 | 397.09/397.20 c | 397.20 | 0 | -187284 lb | 0 0 0.00 | 398.29/398.49 c | 398.49 | 0 | -187283 lb | 0 0 0.00 | 399.28/399.40 c | 399.40 | 0 | -187282 lb | 0 0 0.00 | 400.58/400.75 c | 400.76 | 0 | -187273 lb | 0 0 0.00 | 401.99/402.10 c | 402.10 | 0 | -187272 lb | 0 0 0.00 | 403.19/403.34 c | 403.34 | 0 | -187264 lb | 0 0 0.00 | 404.49/404.62 c | 404.63 | 0 | -187263 lb | 0 0 0.00 | 405.99/406.10 c | 406.11 | 0 | -187262 lb | 0 0 0.00 | 407.19/407.39 c | 407.40 | 0 | -187257 lb | 0 0 0.00 | 409.09/409.22 c | 409.22 | 0 | -187255 lb | 0 0 0.00 | 409.99/410.18 c | 410.18 | 0 | -187254 lb | 0 0 0.00 | 410.89/411.09 c | 411.09 | 0 | -187253 lb | 0 0 0.00 | 412.29/412.46 c | 412.46 | 0 | -187246 lb | 0 0 0.00 | 413.89/414.05 c | 414.05 | 0 | -187241 lb | 0 0 0.00 | 414.99/415.18 c | 415.19 | 0 | -187240 lb | 0 0 0.00 | 416.28/416.46 c | 416.46 | 0 | -187239 lb | 0 0 0.00 | 417.79/417.99 c | 417.99 | 0 | -187233 lb | 0 0 0.00 | 419.09/419.23 c | 419.23 | 0 | -187232 lb | 0 0 0.00 | 420.39/420.59 c | 420.59 | 0 | -187231 lb | 0 0 0.00 | 421.68/421.86 c | 421.86 | 0 | -187230 lb | 0 0 0.00 | 424.18/424.32 c | 424.32 | 0 | -187218 lb | 0 0 0.00 | 426.69/426.84 c | 426.84 | 0 | -187214 lb | 0 0 0.00 | 429.18/429.31 c | 429.31 | 0 | -187213 lb | 0 0 0.00 | 431.29/431.42 c | 431.42 | 0 | -187212 lb | 0 0 0.00 | 433.78/433.90 c | 433.90 | 0 | -187211 lb | 0 0 0.00 | 435.69/435.86 c | 435.86 | 0 | -187210 lb | 0 0 0.00 | 437.69/437.82 c | 437.82 | 0 | -187186 lb | 0 0 0.00 | 439.39/439.53 c | 439.53 | 0 | -187185 lb | 0 0 0.00 | 441.09/441.25 c | 441.25 | 0 | -187182 lb | 0 0 0.00 | 442.88/443.01 c | 443.01 | 0 | -187178 lb | 0 0 0.00 | 444.19/444.32 c | 444.32 | 0 | -187177 lb | 0 0 0.00 | 445.98/446.18 c | 446.19 | 0 | -187176 lb | 0 0 0.00 | 448.08/448.21 c | 448.21 | 0 | -187175 lb | 0 0 0.00 | 449.79/449.97 c | 449.98 | 0 | -187174 lb | 0 0 0.00 | 451.18/451.37 c | 451.37 | 0 | -187173 lb | 0 0 0.00 | 452.78/452.95 c | 452.96 | 0 | -187172 lb | 0 0 0.00 | 453.88/454.04 c | 454.05 | 0 | -187171 lb | 0 0 0.00 | 455.28/455.49 c | 455.50 | 0 | -187157 lb | 0 0 0.00 | 457.49/457.64 c | 457.64 | 0 | -187144 lb | 0 0 0.00 | 459.38/459.56 c | 459.56 | 0 | -187143 lb | 0 0 0.00 | 461.28/461.46 c | 461.47 | 0 | -187118 lb | 0 0 0.00 | 463.38/463.56 c | 463.56 | 0 | -187112 lb | 0 0 0.00 | 465.18/465.37 c | 465.37 | 0 | -187110 lb | 0 0 0.00 | 466.48/466.62 c | 466.63 | 0 | -187109 lb | 0 0 0.00 | 468.39/468.56 c | 468.56 | 0 | -187108 lb | 0 0 0.00 | 469.48/469.70 c | 469.70 | 0 | -187107 lb | 0 0 0.00 | 471.08/471.21 c | 471.21 | 0 | -187106 lb | 0 0 0.00 | 472.47/472.65 c | 472.66 | 0 | -187105 lb | 0 0 0.00 | 474.17/474.31 c | 474.31 | 0 | -187104 lb | 0 0 0.00 | 475.67/475.86 c | 475.86 | 0 | -187103 lb | 0 0 0.00 | 477.37/477.50 c | 477.50 | 0 | -187102 lb | 0 0 0.00 | 479.07/479.21 c | 479.22 | 0 | -187065 lb | 0 0 0.00 | 480.67/480.84 c | 480.85 | 0 | -187062 lb | 0 0 0.00 | 482.28/482.50 c | 482.50 | 0 | -187023 lb | 0 0 0.00 | 483.97/484.19 c | 484.19 | 0 | -187020 lb | 0 0 0.00 | 485.57/485.77 c | 485.77 | 0 | -187019 lb | 0 0 0.00 | 487.37/487.55 c | 487.55 | 0 | -187018 lb | 0 0 0.00 | 489.17/489.33 c | 489.33 | 0 | -187017 lb | 0 0 0.00 | 490.98/491.10 c | 491.10 | 0 | -187016 lb | 0 0 0.00 | 492.88/493.00 c | 493.00 | 0 | -187015 lb | 0 0 0.00 | 494.68/494.85 c | 494.85 | 0 | -187014 lb | 0 0 0.00 | 496.17/496.34 c | 496.35 | 0 | -187013 lb | 0 0 0.00 | 497.67/497.81 c | 497.81 | 0 | -187012 lb | 0 0 0.00 | 499.07/499.30 c | 499.31 | 0 | -187011 lb | 0 0 0.00 | 500.57/500.78 c | 500.79 | 0 | -187010 lb | 0 0 0.00 | 502.17/502.30 c | 502.30 | 0 | -187009 lb | 0 0 0.00 | 503.68/503.82 c | 503.82 | 0 | -187008 lb | 0 0 0.00 | 505.17/505.33 c | 505.34 | 0 | -187006 lb | 0 0 0.00 | 506.68/506.88 c | 506.88 | 0 | -187005 lb | 0 0 0.00 | 508.08/508.27 c | 508.28 | 0 | -187004 lb | 0 0 0.00 | 509.57/509.75 c | 509.76 | 0 | -187003 lb | 0 0 0.00 | 511.07/511.24 c | 511.24 | 0 | -187002 lb | 0 0 0.00 | 512.67/512.82 c | 512.82 | 0 | -187001 lb | 0 0 0.00 | 514.27/514.41 c | 514.41 | 0 | -187000 lb | 0 0 0.00 | 515.87/516.01 c | 516.01 | 0 | -186999 lb | 0 0 0.00 | 517.47/517.68 c | 517.68 | 0 | -186998 lb | 0 0 0.00 | 519.07/519.23 c | 519.23 | 0 | -186997 lb | 0 0 0.00 | 520.67/520.80 c | 520.80 | 0 | -186996 lb | 0 0 0.00 | 522.17/522.37 c | 522.38 | 0 | -186995 lb | 0 0 0.00 | 523.77/523.92 c | 523.92 | 0 | -186994 lb | 0 0 0.00 | 525.27/525.46 c | 525.47 | 0 | -186993 lb | 0 0 0.00 | 526.77/526.95 c | 526.96 | 0 | -186992 lb | 0 0 0.00 | 528.26/528.43 c | 528.44 | 0 | -186991 lb | 0 0 0.00 | 530.36/530.55 c | 530.55 | 0 | -186990 lb | 0 0 0.00 | 532.96/533.10 c | 533.10 | 0 | -186989 lb | 0 0 0.00 | 534.37/534.51 c | 534.51 | 0 | -186988 lb | 0 0 0.00 | 535.87/536.01 c | 536.01 | 0 | -186987 lb | 0 0 0.00 | 537.68/537.86 c | 537.87 | 0 | -186986 lb | 0 0 0.00 | 539.27/539.48 c | 539.48 | 0 | -186985 lb | 0 0 0.00 | 540.97/541.16 c | 541.16 | 0 | -186984 lb | 0 0 0.00 | 542.86/543.04 c | 543.04 | 0 | -186983 lb | 0 0 0.00 | 545.06/545.21 c | 545.21 | 0 | -186982 lb | 0 0 0.00 | 547.26/547.49 c | 547.49 | 0 | -186981 lb | 0 0 0.00 | 549.46/549.62 c | 549.62 | 0 | -186980 lb | 0 0 0.00 | 551.47/551.67 c | 551.67 | 0 | -186977 lb | 0 0 0.00 | 553.07/553.26 c | 553.26 | 0 | -186976 lb | 0 0 0.00 | 555.37/555.58 c | 555.58 | 0 | -186974 lb | 0 0 0.00 | 557.36/557.53 c | 557.54 | 0 | -186973 lb | 0 0 0.00 | 559.26/559.46 c | 559.47 | 0 | -186972 lb | 0 0 0.00 | 561.46/561.65 c | 561.65 | 0 | -186971 lb | 0 0 0.00 | 563.07/563.25 c | 563.25 | 0 | -186970 lb | 0 0 0.00 | 565.17/565.35 c | 565.35 | 0 | -186969 lb | 0 0 0.00 | 566.77/566.90 c | 566.90 | 0 | -186968 lb | 0 0 0.00 | 568.06/568.29 c | 568.29 | 0 | -186958 lb | 0 0 0.00 | 569.67/569.83 c | 569.83 | 0 | -186957 lb | 0 0 0.00 | 571.56/571.78 c | 571.78 | 0 | -186956 lb | 0 0 0.00 | 573.36/573.57 c | 573.58 | 0 | -186955 lb | 0 0 0.00 | 575.17/575.35 c | 575.35 | 0 | -186954 lb | 0 0 0.00 | 576.97/577.16 c | 577.16 | 0 | -186953 lb | 0 0 0.00 | 578.66/578.88 c | 578.89 | 0 | -186952 lb | 0 0 0.00 | 580.66/580.89 c | 580.89 | 0 | -186951 lb | 0 0 0.00 | 582.26/582.47 c | 582.47 | 0 | -186949 lb | 0 0 0.00 | 583.87/584.04 c | 584.04 | 0 | -186947 lb | 0 0 0.00 | 585.46/585.63 c | 585.63 | 0 | -186946 lb | 0 0 0.00 | 587.06/587.21 c | 587.22 | 0 | -186945 lb | 0 0 0.00 | 589.06/589.22 c | 589.22 | 0 | -186944 lb | 0 0 0.00 | 591.26/591.42 c | 591.42 | 0 | -186943 lb | 0 0 0.00 | 593.06/593.26 c | 593.26 | 0 | -186942 lb | 0 0 0.00 | 594.76/594.98 c | 594.99 | 0 | -186941 lb | 0 0 0.00 | 597.26/597.45 c | 597.46 | 0 | -186940 lb | 0 0 0.00 | 599.06/599.20 c | 599.20 | 0 | -186939 lb | 0 0 0.00 | 600.76/600.96 c | 600.97 | 0 | -186938 lb | 0 0 0.00 | 602.46/602.66 c | 602.67 | 0 | -186937 lb | 0 0 0.00 | 604.36/604.54 c | 604.54 | 0 | -186936 lb | 0 0 0.00 | 606.36/606.57 c | 606.57 | 0 | -186935 lb | 0 0 0.00 | 608.16/608.37 c | 608.37 | 0 | -186934 lb | 0 0 0.00 | 609.96/610.18 c | 610.18 | 0 | -186933 lb | 0 0 0.00 | 611.16/611.30 c | 611.30 | 0 | -186932 lb | 0 0 0.00 | 612.26/612.44 c | 612.44 | 0 | -186931 lb | 0 0 0.00 | 613.46/613.60 c | 613.60 | 0 | -186930 lb | 0 0 0.00 | 614.66/614.82 c | 614.82 | 0 | -186928 lb | 0 0 0.00 | 615.76/615.94 c | 615.95 | 0 | -186916 lb | 0 0 0.00 | 616.86/617.08 c | 617.09 | 0 | -186855 lb | 0 0 0.00 | 618.06/618.21 c | 618.21 | 0 | -186846 lb | 0 0 0.00 | 619.26/619.48 c | 619.48 | 0 | -186845 lb | 0 0 0.00 | 620.46/620.69 c | 620.70 | 0 | -186844 lb | 0 0 0.00 | 621.85/622.00 c | 622.00 | 0 | -186843 lb | 0 0 0.00 | 623.15/623.33 c | 623.33 | 0 | -186842 lb | 0 0 0.00 | 624.46/624.68 c | 624.68 | 0 | -186841 lb | 0 0 0.00 | 625.96/626.15 c | 626.15 | 0 | -186840 lb | 0 0 0.00 | 627.26/627.45 c | 627.45 | 0 | -186839 lb | 0 0 0.00 | 628.56/628.75 c | 628.75 | 0 | -186838 lb | 0 0 0.00 | 630.85/631.03 c | 631.04 | 0 | -186837 lb | 0 0 0.00 | 633.85/634.03 c | 634.03 | 0 | -186836 lb | 0 0 0.00 | 636.85/637.04 c | 637.04 | 0 | -186835 lb | 0 0 0.00 | 639.45/639.69 c | 639.69 | 0 | -186834 lb | 0 0 0.00 | 642.75/642.98 c | 642.98 | 0 | -186833 lb | 0 0 0.00 | 644.75/644.95 c | 644.95 | 0 | -186832 lb | 0 0 0.00 | 646.85/647.00 c | 647.00 | 0 | -186831 lb | 0 0 0.00 | 649.15/649.35 c | 649.35 | 0 | -186830 lb | 0 0 0.00 | 652.15/652.31 c | 652.31 | 0 | -186829 lb | 0 0 0.00 | 654.75/654.98 c | 654.98 | 0 | -186828 lb | 0 0 0.00 | 659.25/659.42 c | 659.42 | 0 | -186827 lb | 0 0 0.00 | 662.75/662.92 c | 662.92 | 0 | -186826 lb | 0 0 0.00 | 665.35/665.52 c | 665.53 | 0 | -186825 lb | 0 0 0.00 | 668.95/669.11 c | 669.11 | 0 | -186824 lb | 0 0 0.00 | 671.65/671.80 c | 671.81 | 0 | -186823 lb | 0 0 0.00 | 674.95/675.17 c | 675.17 | 0 | -186822 lb | 0 0 0.00 | 677.65/677.86 c | 677.87 | 0 | -186821 lb | 0 0 0.00 | 680.34/680.54 c | 680.54 | 0 | -186820 lb | 0 0 0.00 | 683.54/683.74 c | 683.74 | 0 | -186819 lb | 0 0 0.00 | 686.54/686.79 c | 686.80 | 0 | -186817 lb | 0 0 0.00 | 690.14/690.37 c | 690.38 | 0 | -186816 lb | 0 0 0.00 | 693.44/693.60 c | 693.60 | 0 | -186815 lb | 0 0 0.00 | 694.95/695.11 c | 695.11 | 0 | -186814 lb | 0 0 0.00 | 698.55/698.77 c | 698.78 | 0 | -186813 lb | 0 0 0.00 | 702.84/703.00 c | 703.00 | 0 | -186812 lb | 0 0 0.00 | 706.45/706.63 c | 706.64 | 0 | -186808 lb | 0 0 0.00 | 708.94/709.19 c | 709.19 | 0 | -186807 lb | 0 0 0.00 | 710.74/710.94 c | 710.95 | 0 | -186806 lb | 0 0 0.00 | 713.74/713.98 c | 713.98 | 0 | -186805 lb | 0 0 0.00 | 716.34/716.50 c | 716.50 | 0 | -186804 lb | 0 0 0.00 | 719.64/719.86 c | 719.86 | 0 | -186803 lb | 0 0 0.00 | 723.24/723.44 c | 723.44 | 0 | -186802 lb | 0 0 0.00 | 725.74/725.95 c | 725.96 | 0 | -186801 lb | 0 0 0.00 | 728.54/728.78 c | 728.79 | 0 | -186800 lb | 0 0 0.00 | 731.74/731.99 c | 731.99 | 0 | -186799 lb | 0 0 0.00 | 734.14/734.39 c | 734.39 | 0 | -186797 lb | 0 0 0.00 | 737.04/737.22 c | 737.23 | 0 | -186796 lb | 0 0 0.00 | 740.33/740.59 c | 740.59 | 0 | -186795 lb | 0 0 0.00 | 744.13/744.33 c | 744.33 | 0 | -186794 lb | 0 0 0.00 | 749.14/749.31 c | 749.32 | 0 | -186793 lb | 0 0 0.00 | 751.94/752.18 c | 752.18 | 0 | -186792 lb | 0 0 0.00 | 755.93/756.16 c | 756.17 | 0 | -186791 lb | 0 0 0.00 | 759.53/759.75 c | 759.75 | 0 | -186790 lb | 0 0 0.00 | 763.14/763.33 c | 763.34 | 0 | -186789 lb | 0 0 0.00 | 764.74/764.93 c | 764.93 | 0 | -186788 lb | 0 0 0.00 | 767.43/767.68 c | 767.68 | 0 | -186787 lb | 0 0 0.00 | 770.13/770.35 c | 770.35 | 0 | -186786 lb | 0 0 0.00 | 773.23/773.42 c | 773.42 | 0 | -186785 lb | 0 0 0.00 | 776.53/776.71 c | 776.71 | 0 | -186784 lb | 0 0 0.00 | 779.74/779.99 c | 779.99 | 0 | -186783 lb | 0 0 0.00 | 781.63/781.81 c | 781.82 | 0 | -186782 lb | 0 0 0.00 | 784.04/784.29 c | 784.29 | 0 | -186781 lb | 0 0 0.00 | 785.53/785.78 c | 785.78 | 0 | -186780 lb | 0 0 0.00 | 787.13/787.37 c | 787.37 | 0 | -186779 lb | 0 0 0.00 | 788.83/789.01 c | 789.01 | 0 | -186778 lb | 0 0 0.00 | 790.63/790.90 c | 790.90 | 0 | -186777 lb | 0 0 0.00 | 792.84/793.01 c | 793.01 | 0 | -186776 lb | 0 0 0.00 | 794.73/794.94 c | 794.94 | 0 | -186775 lb | 0 0 0.00 | 796.93/797.18 c | 797.19 | 0 | -186774 lb | 0 0 0.00 | 801.33/801.58 c | 801.59 | 0 | -186773 lb | 0 0 0.00 | 804.62/804.84 c | 804.84 | 0 | -186772 lb | 0 0 0.00 | 806.72/806.98 c | 806.99 | 0 | -186771 lb | 0 0 0.00 | 809.33/809.56 c | 809.56 | 0 | -186770 lb | 0 0 0.00 | 811.64/811.83 c | 811.84 | 0 | -186769 lb | 0 0 0.00 | 813.13/813.32 c | 813.32 | 0 | -186768 lb | 0 0 0.00 | 814.62/814.86 c | 814.87 | 0 | -186767 lb | 0 0 0.00 | 816.22/816.49 c | 816.49 | 0 | -186766 lb | 0 0 0.00 | 818.03/818.23 c | 818.24 | 0 | -186765 lb | 0 0 0.00 | 819.53/819.72 c | 819.73 | 0 | -186764 lb | 0 0 0.00 | 821.13/821.34 c | 821.35 | 0 | -186763 lb | 0 0 0.00 | 822.63/822.86 c | 822.86 | 0 | -186762 lb | 0 0 0.00 | 824.42/824.61 c | 824.61 | 0 | -186761 lb | 0 0 0.00 | 825.93/826.11 c | 826.11 | 0 | -186760 lb | 0 0 0.00 | 827.63/827.82 c | 827.82 | 0 | -186759 lb | 0 0 0.00 | 828.82/829.07 c | 829.08 | 0 | -186758 lb | 0 0 0.00 | 830.12/830.34 c | 830.34 | 0 | -186757 lb | 0 0 0.00 | 831.42/831.66 c | 831.66 | 0 | -186756 lb | 0 0 0.00 | 833.02/833.29 c | 833.30 | 0 | -186755 lb | 0 0 0.00 | 835.62/835.87 c | 835.87 | 0 | -186754 lb | 0 0 0.00 | 837.52/837.76 c | 837.76 | 0 | -186753 lb | 0 0 0.00 | 839.82/840.02 c | 840.02 | 0 | -186752 lb | 0 0 0.00 | 842.22/842.41 c | 842.42 | 0 | -186751 lb | 0 0 0.00 | 844.02/844.26 c | 844.26 | 0 | -186750 lb | 0 0 0.00 | 846.12/846.33 c | 846.33 | 0 | -186749 lb | 0 0 0.00 | 847.92/848.17 c | 848.18 | 0 | -186748 lb | 0 0 0.00 | 849.92/850.13 c | 850.13 | 0 | -186747 lb | 0 0 0.00 | 851.72/851.97 c | 851.97 | 0 | -186746 lb | 0 0 0.00 | 853.32/853.56 c | 853.56 | 0 | -186745 lb | 0 0 0.00 | 855.63/855.82 c | 855.82 | 0 | -186744 lb | 0 0 0.00 | 857.02/857.28 c | 857.28 | 0 | -186743 lb | 0 0 0.00 | 859.81/860.06 c | 860.07 | 0 | -186742 lb | 0 0 0.00 | 861.52/861.72 c | 861.73 | 0 | -186741 lb | 0 0 0.00 | 862.92/863.14 c | 863.15 | 0 | -186740 lb | 0 0 0.00 | 865.12/865.35 c | 865.36 | 0 | -186739 lb | 0 0 0.00 | 866.92/867.10 c | 867.10 | 0 | -186738 lb | 0 0 0.00 | 868.11/868.33 c | 868.34 | 0 | -186737 lb | 0 0 0.00 | 869.71/869.98 c | 869.99 | 0 | -186736 lb | 0 0 0.00 | 871.62/871.84 c | 871.84 | 0 | -186697 lb | 0 0 0.00 | 873.62/873.83 c | 873.83 | 0 | -186696 lb | 0 0 0.00 | 874.82/875.08 c | 875.09 | 0 | -186695 lb | 0 0 0.00 | 876.11/876.37 c | 876.37 | 0 | -186693 lb | 0 0 0.00 | 877.52/877.75 c | 877.75 | 0 | -186692 lb | 0 0 0.00 | 879.42/879.66 c | 879.66 | 0 | -186691 lb | 0 0 0.00 | 881.22/881.46 c | 881.46 | 0 | -186690 lb | 0 0 0.00 | 883.31/883.58 c | 883.58 | 0 | -186689 lb | 0 0 0.00 | 885.71/885.90 c | 885.90 | 0 | -186688 lb | 0 0 0.00 | 887.81/888.08 c | 888.09 | 0 | -186687 lb | 0 0 0.00 | 890.01/890.25 c | 890.25 | 0 | -186686 lb | 0 0 0.00 | 892.71/892.97 c | 892.98 | 0 | -186685 lb | 0 0 0.00 | 896.11/896.33 c | 896.34 | 0 | -186684 lb | 0 0 0.00 | 898.91/899.19 c | 899.20 | 0 | -186683 lb | 0 0 0.00 | 902.71/902.96 c | 902.97 | 0 | -186682 lb | 0 0 0.00 | 904.51/904.78 c | 904.78 | 0 | -186681 lb | 0 0 0.00 | 905.91/906.18 c | 906.18 | 0 | -186680 lb | 0 0 0.00 | 908.22/908.49 c | 908.50 | 0 | -186679 lb | 0 0 0.00 | 909.91/910.19 c | 910.19 | 0 | -186678 lb | 0 0 0.00 | 911.51/911.77 c | 911.78 | 0 | -186677 lb | 0 0 0.00 | 912.91/913.17 c | 913.17 | 0 | -186676 lb | 0 0 0.00 | 915.81/916.02 c | 916.02 | 0 | -186675 lb | 0 0 0.00 | 917.91/918.15 c | 918.15 | 0 | -186674 lb | 0 0 0.00 | 920.41/920.63 c | 920.64 | 0 | -186673 lb | 0 0 0.00 | 924.01/924.27 c | 924.27 | 0 | -186672 lb | 0 0 0.00 | 926.11/926.38 c | 926.38 | 0 | -186671 lb | 0 0 0.00 | 929.31/929.58 c | 929.58 | 0 | -186670 lb | 0 0 0.00 | 931.51/931.73 c | 931.73 | 0 | -186669 lb | 0 0 0.00 | 933.61/933.86 c | 933.86 | 0 | -186668 lb | 0 0 0.00 | 936.41/936.66 c | 936.66 | 0 | -186667 lb | 0 0 0.00 | 938.91/939.18 c | 939.18 | 0 | -186666 lb | 0 0 0.00 | 941.90/942.15 c | 942.15 | 0 | -186665 lb | 0 0 0.00 | 945.90/946.16 c | 946.16 | 0 | -186664 lb | 0 0 0.00 | 948.21/948.41 c | 948.42 | 0 | -186663 lb | 0 0 0.00 | 949.91/950.17 c | 950.17 | 0 | -186662 lb | 0 0 0.00 | 952.80/953.08 c | 953.08 | 0 | -186661 lb | 0 0 0.00 | 954.10/954.38 c | 954.39 | 0 | -186660 lb | 0 0 0.00 | 955.61/955.85 c | 955.86 | 0 | -186659 lb | 0 0 0.00 | 958.01/958.28 c | 958.29 | 0 | -186658 lb | 0 0 0.00 | 960.81/961.04 c | 961.04 | 0 | -186657 lb | 0 0 0.00 | 963.40/963.62 c | 963.63 | 0 | -186656 lb | 0 0 0.00 | 966.20/966.42 c | 966.42 | 0 | -186655 lb | 0 0 0.00 | 968.20/968.46 c | 968.46 | 0 | -186654 lb | 0 0 0.00 | 970.50/970.71 c | 970.72 | 0 | -186653 lb | 0 0 0.00 | 973.31/973.57 c | 973.57 | 0 | -186652 lb | 0 0 0.00 | 976.40/976.70 c | 976.70 | 0 | -186651 lb | 0 0 0.00 | 980.10/980.38 c | 980.38 | 0 | -186650 lb | 0 0 0.00 | 981.90/982.18 c | 982.18 | 0 | -186649 lb | 0 0 0.00 | 984.60/984.82 c | 984.82 | 0 | -186648 lb | 0 0 0.00 | 987.90/988.14 c | 988.14 | 0 | -186647 lb | 0 0 0.00 | 989.70/989.99 c | 989.99 | 0 | -186646 lb | 0 0 0.00 | 991.40/991.61 c | 991.61 | 0 | -186645 lb | 0 0 0.00 | 992.60/992.81 c | 992.82 | 0 | -186644 lb | 0 0 0.00 | 995.09/995.32 c | 995.33 | 0 | -186643 lb | 0 0 0.00 | 996.79/997.04 c | 997.05 | 0 | -186642 lb | 0 0 0.00 | 999.40/999.60 c | 999.61 | 0 | -186641 lb | 0 0 0.00 | 1004.20/1004.40 c | 1004.41 | 0 | -186640 lb | 0 0 0.00 | 1005.89/1006.15 c | 1006.15 | 0 | -186639 lb | 0 0 0.00 | 1007.60/1007.89 c | 1007.90 | 0 | -186638 lb | 0 0 0.00 | 1011.40/1011.69 c | 1011.69 | 0 | -186637 lb | 0 0 0.00 | 1013.20/1013.42 c | 1013.42 | 0 | -186634 lb | 0 0 0.00 | 1014.39/1014.61 c | 1014.62 | 0 | -186633 lb | 0 0 0.00 | 1016.20/1016.49 c | 1016.50 | 0 | -186632 lb | 0 0 0.00 | 1019.80/1020.08 c | 1020.09 | 0 | -186631 lb | 0 0 0.00 | 1022.99/1023.27 c | 1023.27 | 0 | -186630 lb | 0 0 0.00 | 1026.20/1026.44 c | 1026.45 | 0 | -186629 lb | 0 0 0.00 | 1028.69/1028.91 c | 1028.92 | 0 | -186628 lb | 0 0 0.00 | 1030.99/1031.30 c | 1031.30 | 0 | -186627 lb | 0 0 0.00 | 1032.60/1032.84 c | 1032.85 | 0 | -186626 lb | 0 0 0.00 | 1034.39/1034.63 c | 1034.63 | 0 | -186610 lb | 0 0 0.00 | 1037.99/1038.25 c | 1038.25 | 0 | -186609 lb | 0 0 0.00 | 1040.49/1040.75 c | 1040.75 | 0 | -186608 lb | 0 0 0.00 | 1044.19/1044.44 c | 1044.44 | 0 | -186607 lb | 0 0 0.00 | 1046.90/1047.11 c | 1047.11 | 0 | -186606 lb | 0 0 0.00 | 1049.99/1050.20 c | 1050.20 | 0 | -186605 lb | 0 0 0.00 | 1051.99/1052.20 c | 1052.20 | 0 | -186604 lb | 0 0 0.00 | 1055.70/1055.95 c | 1055.96 | 0 | -186603 lb | 0 0 0.00 | 1058.39/1058.68 c | 1058.68 | 0 | -186602 lb | 0 0 0.00 | 1059.89/1060.10 c | 1060.10 | 0 | -186601 lb | 0 0 0.00 | 1061.20/1061.41 c | 1061.42 | 0 | -186600 lb | 0 0 0.00 | 1063.29/1063.50 c | 1063.50 | 0 | -186599 lb | 0 0 0.00 | 1065.99/1066.24 c | 1066.25 | 0 | -186598 lb | 0 0 0.00 | 1069.28/1069.52 c | 1069.52 | 0 | -186597 lb | 0 0 0.00 | 1071.79/1072.06 c | 1072.06 | 0 | -186596 lb | 0 0 0.00 | 1073.79/1074.01 c | 1074.01 | 0 | -186595 lb | 0 0 0.00 | 1076.59/1076.83 c | 1076.84 | 0 | -186594 lb | 0 0 0.00 | 1078.69/1078.97 c | 1078.97 | 0 | -186593 lb | 0 0 0.00 | 1081.59/1081.81 c | 1081.81 | 0 | -186592 lb | 0 0 0.00 | 1084.29/1084.52 c | 1084.53 | 0 | -186591 lb | 0 0 0.00 | 1086.88/1087.16 c | 1087.17 | 0 | -186590 lb | 0 0 0.00 | 1089.39/1089.60 c | 1089.60 | 0 | -186589 lb | 0 0 0.00 | 1090.79/1091.05 c | 1091.05 | 0 | -186588 lb | 0 0 0.00 | 1092.19/1092.47 c | 1092.47 | 0 | -186587 lb | 0 0 0.00 | 1093.98/1094.25 c | 1094.25 | 0 | -186586 lb | 0 0 0.00 | 1097.68/1097.90 c | 1097.91 | 0 | -186585 lb | 0 0 0.00 | 1099.58/1099.90 c | 1099.90 | 0 | -186584 lb | 0 0 0.00 | 1101.18/1101.46 c | 1101.46 | 0 | -186583 lb | 0 0 0.00 | 1103.38/1103.60 c | 1103.60 | 0 | -186582 lb | 0 0 0.00 | 1105.38/1105.61 c | 1105.61 | 0 | -186581 lb | 0 0 0.00 | 1107.78/1108.03 c | 1108.04 | 0 | -186580 lb | 0 0 0.00 | 1110.28/1110.55 c | 1110.56 | 0 | -186579 lb | 0 0 0.00 | 1111.89/1112.18 c | 1112.18 | 0 | -186578 lb | 0 0 0.00 | 1115.08/1115.36 c | 1115.36 | 0 | -186577 lb | 0 0 0.00 | 1116.97/1117.27 c | 1117.27 | 0 | -186576 lb | 0 0 0.00 | 1120.38/1120.61 c | 1120.62 | 0 | -186575 lb | 0 0 0.00 | 1123.38/1123.62 c | 1123.63 | 0 | -186574 lb | 0 0 0.00 | 1125.88/1126.13 c | 1126.13 | 0 | -186573 lb | 0 0 0.00 | 1128.58/1128.88 c | 1128.88 | 0 | -186572 lb | 0 0 0.00 | 1132.08/1132.36 c | 1132.36 | 0 | -186571 lb | 0 0 0.00 | 1133.98/1134.25 c | 1134.25 | 0 | -186570 lb | 0 0 0.00 | 1136.57/1136.83 c | 1136.83 | 0 | -186569 lb | 0 0 0.00 | 1138.67/1138.93 c | 1138.93 | 0 | -186568 lb | 0 0 0.00 | 1141.37/1141.69 c | 1141.69 | 0 | -186567 lb | 0 0 0.00 | 1144.48/1144.78 c | 1144.79 | 0 | -186566 lb | 0 0 0.00 | 1146.08/1146.39 c | 1146.39 | 0 | -186565 lb | 0 0 0.00 | 1149.28/1149.54 c | 1149.54 | 0 | -186564 lb | 0 0 0.00 | 1151.57/1151.85 c | 1151.85 | 0 | -186563 lb | 0 0 0.00 | 1154.57/1154.90 c | 1154.90 | 0 | -186562 lb | 0 0 0.00 | 1157.47/1157.74 c | 1157.75 | 0 | -186561 lb | 0 0 0.00 | 1158.67/1158.95 c | 1158.96 | 0 | -186560 lb | 0 0 0.00 | 1161.38/1161.61 c | 1161.61 | 0 | -186559 lb | 0 0 0.00 | 1163.07/1163.34 c | 1163.34 | 0 | -186558 lb | 0 0 0.00 | 1166.37/1166.65 c | 1166.66 | 0 | -186557 lb | 0 0 0.00 | 1171.77/1172.00 c | 1172.00 | 0 | -186556 lb | 0 0 0.00 | 1173.87/1174.11 c | 1174.12 | 0 | -186555 lb | 0 0 0.00 | 1175.96/1176.27 c | 1176.27 | 0 | -186554 lb | 0 0 0.00 | 1179.66/1179.92 c | 1179.92 | 0 | -186553 lb | 0 0 0.00 | 1183.76/1184.01 c | 1184.01 | 0 | -186552 lb | 0 0 0.00 | 1186.97/1187.22 c | 1187.22 | 0 | -186551 lb | 0 0 0.00 | 1188.96/1189.20 c | 1189.21 | 0 | -186550 lb | 0 0 0.00 | 1191.26/1191.55 c | 1191.55 | 0 | -186549 lb | 0 0 0.00 | 1194.66/1194.98 c | 1194.99 | 0 | -186548 lb | 0 0 0.00 | 1197.57/1197.86 c | 1197.86 | 0 | -186547 lb | 0 0 0.00 | 1201.36/1201.62 c | 1201.62 | 0 | -186546 lb | 0 0 0.00 | 1204.66/1204.97 c | 1204.98 | 0 | -186545 lb | 0 0 0.00 | 1206.96/1207.21 c | 1207.22 | 0 | -186544 lb | 0 0 0.00 | 1208.76/1209.01 c | 1209.02 | 0 | -186543 lb | 0 0 0.00 | 1210.87/1211.15 c | 1211.16 | 0 | -186542 lb | 0 0 0.00 | 1212.46/1212.75 c | 1212.76 | 0 | -186541 lb | 0 0 0.00 | 1216.76/1217.05 c | 1217.06 | 0 | -186540 lb | 0 0 0.00 | 1220.36/1220.65 c | 1220.66 | 0 | -186539 lb | 0 0 0.00 | 1223.36/1223.64 c | 1223.64 | 0 | -186538 lb | 0 0 0.00 | 1228.06/1228.33 c | 1228.34 | 0 | -186537 lb | 0 0 0.00 | 1231.26/1231.53 c | 1231.54 | 0 | -186536 lb | 0 0 0.00 | 1234.46/1234.78 c | 1234.78 | 0 | -186535 lb | 0 0 0.00 | 1235.86/1236.10 c | 1236.10 | 0 | -186534 lb | 0 0 0.00 | 1237.27/1237.58 c | 1237.58 | 0 | -186533 lb | 0 0 0.00 | 1239.46/1239.76 c | 1239.76 | 0 | -186532 lb | 0 0 0.00 | 1241.36/1241.61 c | 1241.62 | 0 | -186531 lb | 0 0 0.00 | 1242.76/1243.03 c | 1243.03 | 0 | -186530 lb | 0 0 0.00 | 1247.16/1247.43 c | 1247.43 | 0 | -186529 lb | 0 0 0.00 | 1251.15/1251.43 c | 1251.43 | 0 | -186528 lb | 0 0 0.00 | 1253.15/1253.47 c | 1253.47 | 0 | -186527 lb | 0 0 0.00 | 1254.66/1254.91 c | 1254.91 | 0 | -186526 lb | 0 0 0.00 | 1256.05/1256.37 c | 1256.37 | 0 | -186525 lb | 0 0 0.00 | 1260.05/1260.32 c | 1260.32 | 0 | -186524 lb | 0 0 0.00 | 1261.95/1262.27 c | 1262.27 | 0 | -186523 lb | 0 0 0.00 | 1263.66/1263.99 c | 1263.99 | 0 | -186522 lb | 0 0 0.00 | 1269.45/1269.72 c | 1269.72 | 0 | -186521 lb | 0 0 0.00 | 1272.35/1272.67 c | 1272.68 | 0 | -186520 lb | 0 0 0.00 | 1275.25/1275.53 c | 1275.53 | 0 | -186519 lb | 0 0 0.00 | 1280.15/1280.49 c | 1280.49 | 0 | -186518 lb | 0 0 0.00 | 1283.25/1283.56 c | 1283.57 | 0 | -186517 lb | 0 0 0.00 | 1287.05/1287.37 c | 1287.37 | 0 | -186516 lb | 0 0 0.00 | 1288.86/1289.17 c | 1289.17 | 0 | -186500 lb | 0 0 0.00 | 1293.45/1293.76 c | 1293.76 | 0 | -186499 lb | 0 0 0.00 | 1295.14/1295.43 c | 1295.44 | 0 | -186498 lb | 0 0 0.00 | 1296.84/1297.14 c | 1297.14 | 0 | -186497 lb | 0 0 0.00 | 1299.15/1299.40 c | 1299.40 | 0 | -186496 lb | 0 0 0.00 | 1303.54/1303.80 c | 1303.80 | 0 | -186495 lb | 0 0 0.00 | 1307.04/1307.30 c | 1307.30 | 0 | -186494 lb | 0 0 0.00 | 1309.63/1309.90 c | 1309.91 | 0 | -186493 lb | 0 0 0.00 | 1311.94/1312.29 c | 1312.29 | 0 | -186492 lb | 0 0 0.00 | 1313.44/1313.71 c | 1313.71 | 0 | -186491 lb | 0 0 0.00 | 1315.04/1315.31 c | 1315.31 | 0 | -186490 lb | 0 0 0.00 | 1316.63/1316.97 c | 1316.97 | 0 | -186489 lb | 0 0 0.00 | 1319.63/1319.93 c | 1319.93 | 0 | -186488 lb | 0 0 0.00 | 1322.43/1322.74 c | 1322.74 | 0 | -186487 lb | 0 0 0.00 | 1325.03/1325.32 c | 1325.32 | 0 | -186486 lb | 0 0 0.00 | 1327.03/1327.30 c | 1327.30 | 0 | -186485 lb | 0 0 0.00 | 1328.73/1329.04 c | 1329.05 | 0 | -186484 lb | 0 0 0.00 | 1330.53/1330.80 c | 1330.80 | 0 | -186483 lb | 0 0 0.00 | 1333.43/1333.72 c | 1333.72 | 0 | -186482 lb | 0 0 0.00 | 1336.93/1337.24 c | 1337.25 | 0 | -186481 lb | 0 0 0.00 | 1338.83/1339.16 c | 1339.17 | 0 | -186480 lb | 0 0 0.00 | 1341.43/1341.78 c | 1341.78 | 0 | -186479 lb | 0 0 0.00 | 1344.33/1344.68 c | 1344.69 | 0 | -186478 lb | 0 0 0.00 | 1346.63/1346.95 c | 1346.96 | 0 | -186477 lb | 0 0 0.00 | 1351.42/1351.70 c | 1351.70 | 0 | -186476 lb | 0 0 0.00 | 1354.93/1355.28 c | 1355.28 | 0 | -186475 lb | 0 0 0.00 | 1358.02/1358.30 c | 1358.30 | 0 | -186474 lb | 0 0 0.00 | 1361.23/1361.54 c | 1361.54 | 0 | -186473 lb | 0 0 0.00 | 1365.22/1365.59 c | 1365.59 | 0 | -186472 lb | 0 0 0.00 | 1368.62/1368.92 c | 1368.93 | 0 | -186471 lb | 0 0 0.00 | 1370.92/1371.23 c | 1371.23 | 0 | -186470 lb | 0 0 0.00 | 1373.63/1373.96 c | 1373.96 | 0 | -186469 lb | 0 0 0.00 | 1375.62/1375.91 c | 1375.91 | 0 | -186468 lb | 0 0 0.00 | 1377.42/1377.74 c | 1377.74 | 0 | -186462 lb | 0 0 0.00 | 1381.62/1381.94 c | 1381.94 | 0 | -186461 lb | 0 0 0.00 | 1384.82/1385.12 c | 1385.13 | 0 | -186460 lb | 0 0 0.00 | 1387.12/1387.49 c | 1387.49 | 0 | -186459 lb | 0 0 0.00 | 1389.62/1389.94 c | 1389.94 | 0 | -186458 lb | 0 0 0.00 | 1394.72/1395.04 c | 1395.04 | 0 | -186457 lb | 0 0 0.00 | 1401.31/1401.64 c | 1401.64 | 0 | -186456 lb | 0 0 0.00 | 1403.22/1403.53 c | 1403.53 | 0 | -186451 lb | 0 0 0.00 | 1405.21/1405.59 c | 1405.60 | 0 | -186450 lb | 0 0 0.00 | 1408.21/1408.52 c | 1408.53 | 0 | -186449 lb | 0 0 0.00 | 1411.62/1411.93 c | 1411.94 | 0 | -186448 lb | 0 0 0.00 | 1413.91/1414.29 c | 1414.30 | 0 | -186447 lb | 0 0 0.00 | 1417.52/1417.88 c | 1417.88 | 0 | -186446 lb | 0 0 0.00 | 1419.01/1419.32 c | 1419.33 | 0 | -186445 lb | 0 0 0.00 | 1420.82/1421.12 c | 1421.12 | 0 | -186444 lb | 0 0 0.00 | 1423.21/1423.50 c | 1423.51 | 0 | -186443 lb | 0 0 0.00 | 1426.52/1426.87 c | 1426.87 | 0 | -186442 lb | 0 0 0.00 | 1429.62/1429.92 c | 1429.92 | 0 | -186441 lb | 0 0 0.00 | 1432.92/1433.29 c | 1433.29 | 0 | -186440 lb | 0 0 0.00 | 1436.51/1436.84 c | 1436.84 | 0 | -186439 lb | 0 0 0.00 | 1439.81/1440.14 c | 1440.15 | 0 | -186438 lb | 0 0 0.00 | 1442.82/1443.18 c | 1443.18 | 0 | -186437 lb | 0 0 0.00 | 1445.01/1445.31 c | 1445.32 | 0 | -186436 lb | 0 0 0.00 | 1448.11/1448.48 c | 1448.49 | 0 | -186435 lb | 0 0 0.00 | 1451.81/1452.14 c | 1452.14 | 0 | -186434 lb | 0 0 0.00 | 1455.21/1455.50 c | 1455.51 | 0 | -186433 lb | 0 0 0.00 | 1458.31/1458.64 c | 1458.64 | 0 | -186432 lb | 0 0 0.00 | 1461.40/1461.77 c | 1461.77 | 0 | -186431 lb | 0 0 0.00 | 1462.71/1463.09 c | 1463.09 | 0 | -186430 lb | 0 0 0.00 | 1466.70/1467.05 c | 1467.05 | 0 | -186429 lb | 0 0 0.00 | 1469.70/1470.08 c | 1470.08 | 0 | -186428 lb | 0 0 0.00 | 1471.41/1471.79 c | 1471.80 | 0 | -186427 lb | 0 0 0.00 | 1472.80/1473.16 c | 1473.16 | 0 | -186426 lb | 0 0 0.00 | 1474.10/1474.48 c | 1474.48 | 0 | -186425 lb | 0 0 0.00 | 1476.00/1476.33 c | 1476.33 | 0 | -186424 lb | 0 0 0.00 | 1479.40/1479.75 c | 1479.76 | 0 | -186423 lb | 0 0 0.00 | 1482.50/1482.80 c | 1482.81 | 0 | -186422 lb | 0 0 0.00 | 1487.30/1487.67 c | 1487.67 | 0 | -186421 lb | 0 0 0.00 | 1489.40/1489.75 c | 1489.76 | 0 | -186420 lb | 0 0 0.00 | 1493.60/1493.96 c | 1493.97 | 0 | -186419 lb | 0 0 0.00 | 1496.19/1496.54 c | 1496.55 | 0 | -186418 lb | 0 0 0.00 | 1499.49/1499.80 c | 1499.81 | 0 | -186417 lb | 0 0 0.00 | 1502.99/1503.39 c | 1503.40 | 0 | -186416 lb | 0 0 0.00 | 1506.29/1506.70 c | 1506.70 | 0 | -186415 lb | 0 0 0.00 | 1509.39/1509.73 c | 1509.73 | 0 | -186414 lb | 0 0 0.00 | 1513.10/1513.40 c | 1513.41 | 0 | -186413 lb | 0 0 0.00 | 1515.40/1515.79 c | 1515.80 | 0 | -186412 lb | 0 0 0.00 | 1517.00/1517.38 c | 1517.39 | 0 | -186306 lb | 0 0 0.00 | 1519.90/1520.25 c | 1520.26 | 0 | -186305 lb | 0 0 0.00 | 1521.60/1521.94 c | 1521.95 | 0 | -186304 lb | 0 0 0.00 | 1523.40/1523.70 c | 1523.70 | 0 | -186216 lb | 0 0 0.00 | 1524.70/1525.06 c | 1525.06 | 0 | -186215 lb | 0 0 0.00 | 1527.80/1528.16 c | 1528.16 | 0 | -186214 lb | 0 0 0.00 | 1529.59/1529.98 c | 1529.98 | 0 | -186213 lb | 0 0 0.00 | 1531.90/1532.23 c | 1532.23 | 0 | -186212 lb | 0 0 0.00 | 1533.79/1534.16 c | 1534.16 | 0 | -186211 lb | 0 0 0.00 | 1535.59/1535.90 c | 1535.90 | 0 | -186210 lb | 0 0 0.00 | 1536.99/1537.36 c | 1537.37 | 0 | -186209 lb | 0 0 0.00 | 1538.39/1538.78 c | 1538.78 | 0 | -186208 lb | 0 0 0.00 | 1539.60/1539.94 c | 1539.95 | 0 | -186207 lb | 0 0 0.00 | 1541.59/1541.95 c | 1541.95 | 0 | -186206 lb | 0 0 0.00 | 1543.09/1543.47 c | 1543.48 | 0 | -186205 lb | 0 0 0.00 | 1544.29/1544.66 c | 1544.66 | 0 | -186204 lb | 0 0 0.00 | 1546.20/1546.52 c | 1546.52 | 0 | -186203 lb | 0 0 0.00 | 1548.28/1548.62 c | 1548.63 | 0 | -186202 lb | 0 0 0.00 | 1549.99/1550.30 c | 1550.31 | 0 | -186201 lb | 0 0 0.00 | 1552.79/1553.16 c | 1553.17 | 0 | -186200 lb | 0 0 0.00 | 1554.89/1555.30 c | 1555.30 | 0 | -186199 lb | 0 0 0.00 | 1558.29/1558.61 c | 1558.62 | 0 | -186198 lb | 0 0 0.00 | 1560.79/1561.12 c | 1561.12 | 0 | -186197 lb | 0 0 0.00 | 1563.48/1563.89 c | 1563.89 | 0 | -186196 lb | 0 0 0.00 | 1564.89/1565.24 c | 1565.25 | 0 | -186195 lb | 0 0 0.00 | 1566.18/1566.54 c | 1566.54 | 0 | -186194 lb | 0 0 0.00 | 1569.88/1570.26 c | 1570.26 | 0 | -186193 lb | 0 0 0.00 | 1572.48/1572.81 c | 1572.81 | 0 | -186192 lb | 0 0 0.00 | 1574.28/1574.68 c | 1574.69 | 0 | -186191 lb | 0 0 0.00 | 1575.99/1576.37 c | 1576.37 | 0 | -186190 lb | 0 0 0.00 | 1578.78/1579.10 c | 1579.11 | 0 | -186189 lb | 0 0 0.00 | 1582.19/1582.51 c | 1582.51 | 0 | -186188 lb | 0 0 0.00 | 1584.69/1585.04 c | 1585.05 | 0 | -186187 lb | 0 0 0.00 | 1587.18/1587.50 c | 1587.50 | 0 | -186186 lb | 0 0 0.00 | 1591.58/1591.92 c | 1591.92 | 0 | -186185 lb | 0 0 0.00 | 1593.38/1593.73 c | 1593.74 | 0 | -186184 lb | 0 0 0.00 | 1594.59/1595.00 c | 1595.00 | 0 | -186183 lb | 0 0 0.00 | 1596.08/1596.43 c | 1596.44 | 0 | -186182 lb | 0 0 0.00 | 1597.48/1597.81 c | 1597.82 | 0 | -186181 lb | 0 0 0.00 | 1599.98/1600.32 c | 1600.33 | 0 | -186180 lb | 0 0 0.00 | 1603.38/1603.72 c | 1603.72 | 0 | -186179 lb | 0 0 0.00 | 1606.28/1606.66 c | 1606.66 | 0 | -186178 lb | 0 0 0.00 | 1607.89/1608.22 c | 1608.22 | 0 | -186177 lb | 0 0 0.00 | 1610.17/1610.53 c | 1610.53 | 0 | -186176 lb | 0 0 0.00 | 1612.57/1612.95 c | 1612.95 | 0 | -186175 lb | 0 0 0.00 | 1615.58/1615.94 c | 1615.94 | 0 | -186174 lb | 0 0 0.00 | 1618.38/1618.79 c | 1618.79 | 0 | -186173 lb | 0 0 0.00 | 1621.28/1621.63 c | 1621.63 | 0 | -186172 lb | 0 0 0.00 | 1625.67/1626.06 c | 1626.06 | 0 | -186171 lb | 0 0 0.00 | 1627.47/1627.84 c | 1627.84 | 0 | -186170 lb | 0 0 0.00 | 1632.17/1632.53 c | 1632.53 | 0 | -186169 lb | 0 0 0.00 | 1633.57/1633.94 c | 1633.94 | 0 | -186168 lb | 0 0 0.00 | 1635.07/1635.49 c | 1635.49 | 0 | -186167 lb | 0 0 0.00 | 1637.87/1638.28 c | 1638.29 | 0 | -186166 lb | 0 0 0.00 | 1639.47/1639.84 c | 1639.85 | 0 | -186165 lb | 0 0 0.00 | 1642.87/1643.20 c | 1643.20 | 0 | -186164 lb | 0 0 0.00 | 1645.28/1645.65 c | 1645.66 | 0 | -186163 lb | 0 0 0.00 | 1649.47/1649.81 c | 1649.82 | 0 | -186162 lb | 0 0 0.00 | 1652.37/1652.75 c | 1652.76 | 0 | -186161 lb | 0 0 0.00 | 1656.28/1656.68 c | 1656.68 | 0 | -186160 lb | 0 0 0.00 | 1657.87/1658.21 c | 1658.22 | 0 | -186159 lb | 0 0 0.00 | 1660.57/1660.96 c | 1660.97 | 0 | -186158 lb | 0 0 0.00 | 1662.36/1662.73 c | 1662.74 | 0 | -186157 lb | 0 0 0.00 | 1664.66/1665.00 c | 1665.00 | 0 | -186156 lb | 0 0 0.00 | 1667.37/1667.71 c | 1667.71 | 0 | -186155 lb | 0 0 0.00 | 1670.17/1670.54 c | 1670.54 | 0 | -186154 lb | 0 0 0.00 | 1672.07/1672.43 c | 1672.43 | 0 | -186153 lb | 0 0 0.00 | 1674.06/1674.42 c | 1674.43 | 0 | -186152 lb | 0 0 0.00 | 1675.56/1675.97 c | 1675.97 | 0 | -186151 lb | 0 0 0.00 | 1677.97/1678.38 c | 1678.38 | 0 | -186150 lb | 0 0 0.00 | 1679.76/1680.14 c | 1680.15 | 0 | -186149 lb | 0 0 0.00 | 1681.87/1682.24 c | 1682.24 | 0 | -186148 lb | 0 0 0.00 | 1685.27/1685.69 c | 1685.69 | 0 | -186147 lb | 0 0 0.00 | 1687.56/1687.90 c | 1687.91 | 0 | -186146 lb | 0 0 0.00 | 1690.86/1691.29 c | 1691.29 | 0 | -186145 lb | 0 0 0.00 | 1693.26/1693.62 c | 1693.62 | 0 | -186144 lb | 0 0 0.00 | 1695.26/1695.70 c | 1695.70 | 0 | -186143 lb | 0 0 0.00 | 1697.06/1697.47 c | 1697.47 | 0 | -186142 lb | 0 0 0.00 | 1699.07/1699.44 c | 1699.44 | 0 | -186141 lb | 0 0 0.00 | 1700.96/1701.30 c | 1701.30 | 0 | -186140 lb | 0 0 0.00 | 1704.16/1704.54 c | 1704.54 | 0 | -186139 lb | 0 0 0.00 | 1705.76/1706.11 c | 1706.11 | 0 | -186138 lb | 0 0 0.00 | 1707.26/1707.68 c | 1707.68 | 0 | -186137 lb | 0 0 0.00 | 1708.97/1709.38 c | 1709.39 | 0 | -186136 lb | 0 0 0.00 | 1710.86/1711.25 c | 1711.26 | 0 | -186133 lb | 0 0 0.00 | 1712.66/1713.08 c | 1713.09 | 0 | -186132 lb | 0 0 0.00 | 1715.67/1716.02 c | 1716.02 | 0 | -186131 lb | 0 0 0.00 | 1717.95/1718.36 c | 1718.36 | 0 | -186130 lb | 0 0 0.00 | 1719.55/1719.93 c | 1719.93 | 0 | -186129 lb | 0 0 0.00 | 1721.75/1722.10 c | 1722.11 | 0 | -186128 lb | 0 0 0.00 | 1723.56/1723.97 c | 1723.98 | 0 | -186127 lb | 0 0 0.00 | 1725.36/1725.72 c | 1725.72 | 0 | -186126 lb | 0 0 0.00 | 1728.55/1728.97 c | 1728.97 | 0 | -186125 lb | 0 0 0.00 | 1731.35/1731.74 c | 1731.74 | 0 | -186124 lb | 0 0 0.00 | 1733.35/1733.74 c | 1733.74 | 0 | -186123 lb | 0 0 0.00 | 1736.05/1736.47 c | 1736.47 | 0 | -186122 lb | 0 0 0.00 | 1737.66/1738.06 c | 1738.06 | 0 | -186121 lb | 0 0 0.00 | 1740.35/1740.75 c | 1740.75 | 0 | -186120 lb | 0 0 0.00 | 1741.96/1742.40 c | 1742.40 | 0 | -186119 lb | 0 0 0.00 | 1744.26/1744.63 c | 1744.64 | 0 | -186118 lb | 0 0 0.00 | 1746.15/1746.54 c | 1746.55 | 0 | -186117 lb | 0 0 0.00 | 1749.66/1750.04 c | 1750.04 | 0 | -186116 lb | 0 0 0.00 | 1753.74/1754.14 c | 1754.14 | 0 | -186115 lb | 0 0 0.00 | 1757.75/1758.17 c | 1758.17 | 0 | -186114 lb | 0 0 0.00 | 1761.25/1761.69 c | 1761.70 | 0 | -186113 lb | 0 0 0.00 | 1763.74/1764.19 c | 1764.19 | 0 | -186112 lb | 0 0 0.00 | 1765.44/1765.86 c | 1765.87 | 0 | -186111 lb | 0 0 0.00 | 1768.05/1768.42 c | 1768.43 | 0 | -186110 lb | 0 0 0.00 | 1772.34/1772.76 c | 1772.76 | 0 | -186109 lb | 0 0 0.00 | 1774.54/1774.95 c | 1774.95 | 0 | -186108 lb | 0 0 0.00 | 1776.15/1776.54 c | 1776.54 | 0 | -186107 lb | 0 0 0.00 | 1780.24/1780.68 c | 1780.68 | 0 | -186106 lb | 0 0 0.00 | 1782.64/1783.03 c | 1783.03 | 0 | -186105 lb | 0 0 0.00 | 1784.84/1785.21 c | 1785.21 | 0 | -186104 lb | 0 0 0.00 | 1789.04/1789.48 c | 1789.48 | 0 | -186103 lb | 0 0 0.00 | 1792.44/1792.89 c | 1792.89 | 0 | -186102 lb | 0 0 0.00 | 1794.54/1794.91 c | 1794.92 | 0 | -186101 lb | 0 0 0.00 | 1798.44/1798.84 c | 1798.84 | 0 | -186100 lb | 0 0 0.00 | 1799.64/1800.08 c =============================================================================== 1799.64/1800.08 c Wall Clock Time: 1800.09 s 1799.64/1800.08 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-3727886-1338672910/watcher-3727886-1338672910 -o /tmp/evaluation-result-3727886-1338672910/solver-3727886-1338672910 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727886-1338672910.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.07 2.02 2.00 3/173 7403 /proc/meminfo: memFree=29405208/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=31824 CPUtime=0 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4202496 582 0 0 0 0 0 0 0 20 0 1 0 333416710 32587776 534 33554432000 4194304 5964350 140736104687872 140736104685752 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 7956 535 172 433 0 627 0 [startup+0.030708 s] /proc/loadavg: 2.07 2.02 2.00 3/173 7403 /proc/meminfo: memFree=29405208/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=35524 CPUtime=0.02 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4202496 1511 0 0 0 2 0 0 0 20 0 1 0 333416710 36376576 1463 33554432000 4194304 5964350 140736104687872 140736104685752 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 8881 1463 255 433 0 1552 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 35524 [startup+0.100303 s] /proc/loadavg: 2.07 2.02 2.00 3/173 7403 /proc/meminfo: memFree=29405208/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=42384 CPUtime=0.09 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4202496 3354 0 0 0 9 0 0 0 20 0 1 0 333416710 43401216 3192 33554432000 4194304 5964350 140736104687872 140736104685752 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 10596 3199 479 433 0 3267 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42384 [startup+0.300294 s] /proc/loadavg: 2.07 2.02 2.00 3/173 7403 /proc/meminfo: memFree=29405208/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=53408 CPUtime=0.29 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4202496 6938 0 0 0 28 1 0 0 20 0 1 0 333416710 54689792 6639 33554432000 4194304 5964350 140736104687872 140736104685752 4344800 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 13352 6640 1064 433 0 6023 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53408 [startup+0.700306 s] /proc/loadavg: 2.07 2.02 2.00 3/173 7403 /proc/meminfo: memFree=29405208/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=85608 CPUtime=0.69 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4202496 15766 0 0 0 67 2 0 0 20 0 1 0 333416710 87662592 14809 33554432000 4194304 5964350 140736104687872 140736104686216 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 21402 14811 2192 433 0 14073 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85608 [startup+1.50028 s] /proc/loadavg: 2.07 2.02 2.00 3/177 7414 /proc/meminfo: memFree=29281672/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=134280 CPUtime=1.49 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4202496 29016 0 0 0 144 5 0 0 20 0 1 0 333416710 137502720 28537 33554432000 4194304 5964350 140736104687872 140736104686216 5136340 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 33570 28537 3952 433 0 26241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 134280 [startup+3.10017 s] /proc/loadavg: 2.07 2.02 2.00 3/177 7414 /proc/meminfo: memFree=29141112/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=293132 CPUtime=3.08 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 47929 0 0 0 300 8 0 0 20 0 2 0 333416710 300167168 43048 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 73283 43048 177 433 0 72847 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 293132 [startup+6.30034 s] /proc/loadavg: 2.23 2.05 2.02 3/179 7416 /proc/meminfo: memFree=28422680/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=565652 CPUtime=6.28 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 110738 0 0 0 604 24 0 0 20 0 2 0 333416710 579227648 121231 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 141413 121231 193 433 0 140977 0 [pid=7403/tid=7415] ppid=7401 vsize=565652 CPUtime=3.18 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 64161 0 0 0 303 15 0 0 20 0 2 0 333417020 579227648 121231 33554432000 4194304 5964350 140736104687872 140163350616360 5133634 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 565652 [startup+12.7004 s] /proc/loadavg: 2.29 2.06 2.02 3/179 7416 /proc/meminfo: memFree=28315368/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=565652 CPUtime=12.68 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 115976 0 0 0 1242 26 0 0 20 0 2 0 333416710 579227648 129263 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 141413 129263 197 433 0 140977 0 [pid=7403/tid=7415] ppid=7401 vsize=565652 CPUtime=9.57 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 69399 0 0 0 940 17 0 0 20 0 2 0 333417020 579227648 129263 33554432000 4194304 5964350 140736104687872 140163350616600 4392888 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 565652 [startup+25.5003 s] /proc/loadavg: 2.22 2.06 2.02 3/179 7416 /proc/meminfo: memFree=28266100/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=565652 CPUtime=25.47 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 117908 0 0 0 2521 26 0 0 20 0 2 0 333416710 579227648 131897 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 141413 131897 197 433 0 140977 0 [pid=7403/tid=7415] ppid=7401 vsize=565652 CPUtime=22.33 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 71331 0 0 0 2216 17 0 0 20 0 2 0 333417020 579227648 131897 33554432000 4194304 5964350 140736104687872 140163350616408 4392643 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 565652 [startup+51.1004 s] /proc/loadavg: 2.20 2.07 2.02 3/179 7416 /proc/meminfo: memFree=28194948/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=565652 CPUtime=51.07 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 118182 0 0 0 5080 27 0 0 20 0 2 0 333416710 579227648 133388 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 141413 133388 197 433 0 140977 0 [pid=7403/tid=7415] ppid=7401 vsize=565652 CPUtime=47.87 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 71605 0 0 0 4769 18 0 0 20 0 2 0 333417020 579227648 133388 33554432000 4194304 5964350 140736104687872 140163350616904 4392600 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) 565652 [startup+102.307 s] /proc/loadavg: 2.14 2.07 2.02 3/179 7416 /proc/meminfo: memFree=27983436/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=631188 CPUtime=102.27 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 121718 0 0 0 10198 29 0 0 20 0 2 0 333416710 646336512 146001 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 157797 146001 197 433 0 157361 0 [pid=7403/tid=7415] ppid=7401 vsize=631188 CPUtime=98.94 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 75141 0 0 0 9873 21 0 0 20 0 2 0 333417020 646336512 146001 33554432000 4194304 5964350 140736104687872 140163350616600 4392725 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) 631188 [startup+162.3 s] /proc/loadavg: 2.05 2.06 2.02 3/179 7417 /proc/meminfo: memFree=27876284/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=696724 CPUtime=162.25 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 124664 0 0 0 16193 32 0 0 20 0 2 0 333416710 713445376 153165 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 174181 153165 197 433 0 173745 0 [pid=7403/tid=7415] ppid=7401 vsize=696724 CPUtime=158.78 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 78087 0 0 0 15852 26 0 0 20 0 2 0 333417020 713445376 153165 33554432000 4194304 5964350 140736104687872 140163350616600 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 696724 [startup+222.3 s] /proc/loadavg: 2.15 2.07 2.02 3/179 7417 /proc/meminfo: memFree=27750036/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=696844 CPUtime=222.23 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 148878 0 0 0 22180 43 0 0 20 0 2 0 333416710 713568256 162782 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 174211 162782 197 433 0 173775 0 [pid=7403/tid=7415] ppid=7401 vsize=696844 CPUtime=218.62 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 102301 0 0 0 21825 37 0 0 20 0 2 0 333417020 713568256 162782 33554432000 4194304 5964350 140736104687872 140163350616904 4403628 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 696844 [startup+282.3 s] /proc/loadavg: 2.11 2.07 2.02 3/179 7417 /proc/meminfo: memFree=27574288/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=860804 CPUtime=282.21 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 158506 0 0 0 28171 50 0 0 20 0 2 0 333416710 881463296 197617 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 215201 197617 197 433 0 214765 0 [pid=7403/tid=7415] ppid=7401 vsize=860804 CPUtime=278.45 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 111929 0 0 0 27800 45 0 0 20 0 2 0 333417020 881463296 197617 33554432000 4194304 5964350 140736104687872 140163350616392 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 860804 [startup+342.3 s] /proc/loadavg: 2.08 2.07 2.02 3/180 7420 /proc/meminfo: memFree=27465820/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=958988 CPUtime=342.2 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 184001 0 0 0 34154 66 0 0 20 0 2 0 333416710 982003712 211575 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 239747 211575 197 433 0 239311 0 [pid=7403/tid=7415] ppid=7401 vsize=958988 CPUtime=338.29 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 137424 0 0 0 33767 62 0 0 20 0 2 0 333417020 982003712 211575 33554432000 4194304 5964350 140736104687872 140163350616904 5134306 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 958988 [startup+402.3 s] /proc/loadavg: 2.14 2.09 2.02 3/179 7420 /proc/meminfo: memFree=27301036/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=1040928 CPUtime=402.19 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 203789 0 0 0 40136 83 0 0 20 0 2 0 333416710 1065910272 238464 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 260232 238464 197 433 0 259796 0 [pid=7403/tid=7415] ppid=7401 vsize=1040928 CPUtime=398.14 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 157212 0 0 0 39734 80 0 0 20 0 2 0 333417020 1065910272 238464 33554432000 4194304 5964350 140736104687872 140163350616600 4394718 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1040928 [startup+462.3 s] /proc/loadavg: 2.05 2.07 2.02 3/179 7421 /proc/meminfo: memFree=27233992/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=1090060 CPUtime=462.18 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 228266 0 0 0 46122 96 0 0 20 0 2 0 333416710 1116221440 246457 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 272515 246457 197 433 0 272079 0 [pid=7403/tid=7415] ppid=7401 vsize=1090060 CPUtime=457.98 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 181689 0 0 0 45705 93 0 0 20 0 2 0 333417020 1116221440 246457 33554432000 4194304 5964350 140736104687872 140163350616600 4389084 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 7438 /proc/meminfo: memFree=25451940/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2155040 CPUtime=1481.99 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 474616 0 0 0 147972 227 0 0 20 0 2 0 333416710 2206760960 497002 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 538760 497002 197 433 0 538324 0 [pid=7403/tid=7415] ppid=7401 vsize=2155040 CPUtime=1475.32 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 428039 0 0 0 147291 241 0 0 20 0 2 0 333417020 2206760960 497002 33554432000 4194304 5964350 140736104687872 140163350616472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.99 Current children cumulated vsize (KiB) 2155040 [startup+1542.3 s] /proc/loadavg: 2.10 2.03 2.01 3/180 7441 /proc/meminfo: memFree=25375208/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2286112 CPUtime=1541.99 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 482046 0 0 0 153966 233 0 0 20 0 2 0 333416710 2340978688 516137 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 571528 516137 197 433 0 571092 0 [pid=7403/tid=7415] ppid=7401 vsize=2286112 CPUtime=1535.17 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 435469 0 0 0 153270 247 0 0 20 0 2 0 333417020 2340978688 516137 33554432000 4194304 5964350 140736104687872 140163350616600 4402630 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) 2286112 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 2.00 3/180 7464 /proc/meminfo: memFree=25345644/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2286112 CPUtime=1601.98 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 488677 0 0 0 159961 237 0 0 20 0 2 0 333416710 2340978688 523438 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 571528 523438 197 433 0 571092 0 [pid=7403/tid=7415] ppid=7401 vsize=2286112 CPUtime=1595.01 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 442100 0 0 0 159248 253 0 0 20 0 2 0 333417020 2340978688 523438 33554432000 4194304 5964350 140736104687872 140163350616904 4399835 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) 2286112 [startup+1662.3 s] /proc/loadavg: 2.11 2.05 2.01 3/179 7465 /proc/meminfo: memFree=25223256/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2400780 CPUtime=1661.97 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 493544 0 0 0 165954 243 0 0 20 0 2 0 333416710 2458398720 538572 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 600195 538572 197 433 0 599759 0 [pid=7403/tid=7415] ppid=7401 vsize=2400780 CPUtime=1654.85 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 446967 0 0 0 165225 260 0 0 20 0 2 0 333417020 2458398720 538572 33554432000 4194304 5964350 140736104687872 140163350616360 4399840 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) 2400780 [startup+1722.3 s] /proc/loadavg: 2.11 2.05 2.01 3/179 7465 /proc/meminfo: memFree=25152420/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2466316 CPUtime=1721.96 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 511770 0 0 0 171943 253 0 0 20 0 2 0 333416710 2525507584 559757 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 616579 559757 197 433 0 616143 0 [pid=7403/tid=7415] ppid=7401 vsize=2466316 CPUtime=1714.69 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 465193 0 0 0 171199 270 0 0 20 0 2 0 333417020 2525507584 559757 33554432000 4194304 5964350 140736104687872 140163350616472 5139086 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) 2466316 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25030504/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2531852 CPUtime=1781.94 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 524228 0 0 0 177934 260 0 0 20 0 2 0 333416710 2592616448 575186 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 632963 575186 197 433 0 632527 0 [pid=7403/tid=7415] ppid=7401 vsize=2531852 CPUtime=1774.53 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 477651 0 0 0 177175 278 0 0 20 0 2 0 333417020 2592616448 575186 33554432000 4194304 5964350 140736104687872 140163350616408 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 2531852 ############ # WARNING: # current cumulated CPU time (1795.38 s) is less than in the last sample (1799.64 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (4.26001 s) to the 'lost time'. [startup+1800 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=24989048/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2531852 CPUtime=1799.64 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 527564 0 0 0 179702 262 0 0 20 0 2 0 333416710 2592616448 581068 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 632963 581068 197 433 0 632527 0 [pid=7403/tid=7415] ppid=7401 vsize=2531852 CPUtime=1792.19 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 480987 0 0 0 178939 280 0 0 20 0 2 0 333417020 2592616448 581068 33554432000 4194304 5964350 140736104687872 140163350616408 5139038 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (KiB) 2531852 [startup+1800.1 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=24989048/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=0 CPUtime=1795.38 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4203524 527566 0 0 0 179248 290 0 0 20 0 1 0 333416710 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25030628/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2531852 CPUtime=1791.55 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 525747 0 0 0 178894 261 0 0 20 0 2 0 333416710 2592616448 575195 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 632963 575195 197 433 0 632527 0 [pid=7403/tid=7415] ppid=7401 vsize=2531852 CPUtime=1784.12 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 479170 0 0 0 178133 279 0 0 20 0 2 0 333417020 2592616448 575195 33554432000 4194304 5964350 140736104687872 140163350616408 4392802 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (KiB) 2531852 [startup+1795.1 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25044588/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2531852 CPUtime=1794.75 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 525748 0 0 0 179214 261 0 0 20 0 2 0 333416710 2592616448 571633 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 632963 571633 197 433 0 632527 0 [pid=7403/tid=7415] ppid=7401 vsize=2531852 CPUtime=1787.31 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 479171 0 0 0 178452 279 0 0 20 0 2 0 333417020 2592616448 571633 33554432000 4194304 5964350 140736104687872 140163350616904 5139038 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) 2531852 [startup+1798.3 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25042600/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2466316 CPUtime=1797.94 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 525754 0 0 0 179533 261 0 0 20 0 2 0 333416710 2525507584 567505 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 616579 567505 197 433 0 616143 0 [pid=7403/tid=7415] ppid=7401 vsize=2466316 CPUtime=1790.49 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 479177 0 0 0 178770 279 0 0 20 0 2 0 333417020 2525507584 567505 33554432000 4194304 5964350 140736104687872 140163350616904 4400068 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 2466316 [startup+1799.1 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25042600/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2531852 CPUtime=1798.74 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 527564 0 0 0 179612 262 0 0 20 0 2 0 333416710 2592616448 581068 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 632963 581068 197 433 0 632527 0 [pid=7403/tid=7415] ppid=7401 vsize=2531852 CPUtime=1791.29 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 480987 0 0 0 178849 280 0 0 20 0 2 0 333417020 2592616448 581068 33554432000 4194304 5964350 140736104687872 140163350616904 4419143 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) 2531852 [startup+1799.9 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=24989048/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=2531852 CPUtime=1799.54 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) S 7401 7403 7067 0 -1 4202496 527564 0 0 0 179692 262 0 0 20 0 2 0 333416710 2592616448 581068 33554432000 4194304 5964350 140736104687872 140736104687392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 632963 581068 197 433 0 632527 0 [pid=7403/tid=7415] ppid=7401 vsize=2531852 CPUtime=1792.09 cores=1,3,5,7 /proc/7403/task/7415/stat : 7415 (wbo1.72) R 7401 7403 7067 0 -1 4202560 480987 0 0 0 178929 280 0 0 20 0 2 0 333417020 2592616448 581068 33554432000 4194304 5964350 140736104687872 140163350616408 5134245 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) 2531852 [startup+1800.1 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=24989048/32873844 swapFree=7632/7632 [pid=7403] ppid=7401 vsize=0 CPUtime=1795.38 cores=1,3,5,7 /proc/7403/stat : 7403 (wbo1.72) R 7401 7403 7067 0 -1 4203524 527566 0 0 0 179248 290 0 0 20 0 1 0 333416710 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/7403/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (KiB) 0 Child status: 255 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 4.26001 # lost CPU user time (s): 4.54004 # lost CPU system time (s): -0.28 Real time (s): 1800.11 CPU time (s): 1799.66 CPU user time (s): 1797.02 CPU system time (s): 2.63956 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 2531852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.48 system time used= 2.91956 maximum resident set size= 2324280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 527566 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= 138 involuntary context switches= 1837 runsolver used 3.68944 second user time and 8.36073 second system time The end
Begin job on node130 at 2012-06-02 23:35:11 IDJOB=3727886 IDBENCH=90912 IDSOLVER=2313 FILE ID=node130/3727886-1338672910 RUNJOBID= node130-1338667509-7084 PBS_JOBID= 14636509 Free space on /tmp= 70952 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727886-1338672910/watcher-3727886-1338672910 -o /tmp/evaluation-result-3727886-1338672910/solver-3727886-1338672910 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727886-1338672910.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a1c8f87e33a217e9c288dbd99c4ff21b RANDOM SEED=716011548 node130.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.875 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.75 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.875 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.875 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.91 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.875 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.86 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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.875 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.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29408596 kB Buffers: 393152 kB Cached: 2202608 kB SwapCached: 4252 kB Active: 1085004 kB Inactive: 1520928 kB Active(anon): 2612 kB Inactive(anon): 8136 kB Active(file): 1082392 kB Inactive(file): 1512792 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67099280 kB Dirty: 32884 kB Writeback: 0 kB AnonPages: 90932 kB Mapped: 9360 kB Shmem: 4 kB Slab: 720048 kB SReclaimable: 161660 kB SUnreclaim: 558388 kB KernelStack: 1456 kB PageTables: 4676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104720 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70920 MiB End job on node130 at 2012-06-03 00:05:11