| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? (TO) | 1800.44 | 1800.45 |
| 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705585-1338160488.opb. 0.00/0.00 c Instance file HOME/instance-3705585-1338160488.opb 0.00/0.00 c File size is 28233021 bytes. 2.98/3.05 c Cost Offset: -188920 2.98/3.05 c Highest Coefficient sum: 63122 2.98/3.05 c ============================[ Problem Statistics ]============================= 2.98/3.05 c | | 2.98/3.05 c | Parsing time: 3.06 s | 2.98/3.05 c | Number Variables: 400896 | 2.98/3.05 c | Number Clauses: 400785 | 2.98/3.05 c | Number Cardinality: 1977 | 2.98/3.05 c | Number PB Constraints: 1 | 2.98/3.05 c | | 3.29/3.35 c | Problem Type: Optimization | 3.29/3.35 c | Objective Function: PB Constraint | 3.29/3.35 c | | 3.29/3.35 c ============================[ Search Statistics ]============================== 3.29/3.35 c | Time (s) | ID | Bound | Shared Clauses | 3.29/3.35 c | | | value type | expCls impCls Lit/impCl | 3.29/3.35 c =============================================================================== 3.88/3.90 c | 3.91 | 0 | -188919 lb | 0 0 0.00 | 4.39/4.44 c | 4.40 | 0 | -188918 lb | 0 0 0.00 | 4.78/4.84 c | 4.85 | 0 | -188916 lb | 0 0 0.00 | 5.18/5.29 c | 5.29 | 0 | -188912 lb | 0 0 0.00 | 5.68/5.74 c | 5.75 | 0 | -188904 lb | 0 0 0.00 | 6.08/6.19 c | 6.20 | 0 | -188888 lb | 0 0 0.00 | 6.59/6.63 c | 6.63 | 0 | -188856 lb | 0 0 0.00 | 6.99/7.09 c | 7.09 | 0 | -188792 lb | 0 0 0.00 | 7.48/7.55 c | 7.55 | 0 | -188664 lb | 0 0 0.00 | 7.98/8.02 c | 8.02 | 0 | -188408 lb | 0 0 0.00 | 8.38/8.49 c | 8.49 | 0 | -187896 lb | 0 0 0.00 | 8.98/9.06 c | 9.06 | 0 | -187895 lb | 0 0 0.00 | 10.19/10.28 c | 10.29 | 0 | -187894 lb | 0 0 0.00 | 11.69/11.70 c | 11.70 | 0 | -187892 lb | 0 0 0.00 | 13.09/13.17 c | 13.17 | 0 | -187887 lb | 0 0 0.00 | 18.28/18.35 c | 18.36 | 0 | -187886 lb | 0 0 0.00 | 23.68/23.70 c | 23.70 | 0 | -187885 lb | 0 0 0.00 | 27.68/27.79 c | 27.79 | 0 | -187884 lb | 0 0 0.00 | 32.79/32.87 c | 32.88 | 0 | -187883 lb | 0 0 0.00 | 36.98/37.08 c | 37.08 | 0 | -187882 lb | 0 0 0.00 | 41.58/41.60 c | 41.60 | 0 | -187881 lb | 0 0 0.00 | 45.18/45.22 c | 45.23 | 0 | -187880 lb | 0 0 0.00 | 49.07/49.13 c | 49.13 | 0 | -187879 lb | 0 0 0.00 | 54.17/54.22 c | 54.23 | 0 | -187878 lb | 0 0 0.00 | 58.58/58.64 c | 58.65 | 0 | -187874 lb | 0 0 0.00 | 59.48/59.57 c | 59.57 | 0 | -187873 lb | 0 0 0.00 | 61.28/61.38 c | 61.39 | 0 | -187872 lb | 0 0 0.00 | 63.58/63.60 c | 63.60 | 0 | -187871 lb | 0 0 0.00 | 66.27/66.38 c | 66.38 | 0 | -187870 lb | 0 0 0.00 | 70.17/70.27 c | 70.28 | 0 | -187869 lb | 0 0 0.00 | 74.87/74.98 c | 74.98 | 0 | -187868 lb | 0 0 0.00 | 78.88/78.97 c | 78.98 | 0 | -187867 lb | 0 0 0.00 | 82.97/83.03 c | 83.03 | 0 | -187866 lb | 0 0 0.00 | 87.77/87.80 c | 87.80 | 0 | -187865 lb | 0 0 0.00 | 91.37/91.46 c | 91.46 | 0 | -187864 lb | 0 0 0.00 | 96.07/96.13 c | 96.13 | 0 | -187863 lb | 0 0 0.00 | 99.87/99.97 c | 99.97 | 0 | -187862 lb | 0 0 0.00 | 106.37/106.48 c | 106.49 | 0 | -187861 lb | 0 0 0.00 | 107.67/107.75 c | 107.75 | 0 | -187860 lb | 0 0 0.00 | 112.08/112.13 c | 112.13 | 0 | -187854 lb | 0 0 0.00 | 115.97/116.07 c | 116.08 | 0 | -187853 lb | 0 0 0.00 | 117.06/117.14 c | 117.14 | 0 | -187852 lb | 0 0 0.00 | 121.46/121.51 c | 121.52 | 0 | -187849 lb | 0 0 0.00 | 124.27/124.34 c | 124.34 | 0 | -187848 lb | 0 0 0.00 | 129.37/129.43 c | 129.44 | 0 | -187847 lb | 0 0 0.00 | 134.47/134.58 c | 134.59 | 0 | -187846 lb | 0 0 0.00 | 135.37/135.41 c | 135.41 | 0 | -187845 lb | 0 0 0.00 | 139.47/139.56 c | 139.57 | 0 | -187844 lb | 0 0 0.00 | 143.57/143.65 c | 143.65 | 0 | -187841 lb | 0 0 0.00 | 149.76/149.82 c | 149.83 | 0 | -187840 lb | 0 0 0.00 | 153.16/153.25 c | 153.25 | 0 | -187839 lb | 0 0 0.00 | 158.37/158.41 c | 158.42 | 0 | -187838 lb | 0 0 0.00 | 159.36/159.42 c | 159.42 | 0 | -187837 lb | 0 0 0.00 | 160.16/160.21 c | 160.22 | 0 | -187836 lb | 0 0 0.00 | 161.36/161.43 c | 161.44 | 0 | -187835 lb | 0 0 0.00 | 162.36/162.47 c | 162.48 | 0 | -187834 lb | 0 0 0.00 | 163.26/163.35 c | 163.35 | 0 | -187833 lb | 0 0 0.00 | 169.06/169.14 c | 169.14 | 0 | -187832 lb | 0 0 0.00 | 173.67/173.71 c | 173.71 | 0 | -187831 lb | 0 0 0.00 | 174.56/174.64 c | 174.64 | 0 | -187830 lb | 0 0 0.00 | 175.46/175.51 c | 175.51 | 0 | -187829 lb | 0 0 0.00 | 176.16/176.21 c | 176.21 | 0 | -187827 lb | 0 0 0.00 | 176.97/177.03 c | 177.04 | 0 | -187826 lb | 0 0 0.00 | 177.96/178.00 c | 178.00 | 0 | -187825 lb | 0 0 0.00 | 178.75/178.83 c | 178.83 | 0 | -187820 lb | 0 0 0.00 | 179.55/179.63 c | 179.64 | 0 | -187819 lb | 0 0 0.00 | 180.46/180.57 c | 180.58 | 0 | -187818 lb | 0 0 0.00 | 181.56/181.61 c | 181.62 | 0 | -187817 lb | 0 0 0.00 | 182.36/182.49 c | 182.49 | 0 | -187816 lb | 0 0 0.00 | 183.26/183.36 c | 183.36 | 0 | -187815 lb | 0 0 0.00 | 184.06/184.19 c | 184.20 | 0 | -187814 lb | 0 0 0.00 | 185.05/185.15 c | 185.15 | 0 | -187813 lb | 0 0 0.00 | 185.95/186.08 c | 186.09 | 0 | -187812 lb | 0 0 0.00 | 186.96/187.02 c | 187.02 | 0 | -187811 lb | 0 0 0.00 | 187.76/187.85 c | 187.86 | 0 | -187810 lb | 0 0 0.00 | 188.95/189.01 c | 189.01 | 0 | -187809 lb | 0 0 0.00 | 190.06/190.11 c | 190.12 | 0 | -187808 lb | 0 0 0.00 | 191.66/191.78 c | 191.78 | 0 | -187807 lb | 0 0 0.00 | 193.26/193.39 c | 193.40 | 0 | -187806 lb | 0 0 0.00 | 195.06/195.17 c | 195.17 | 0 | -187802 lb | 0 0 0.00 | 196.86/196.97 c | 196.97 | 0 | -187801 lb | 0 0 0.00 | 199.55/199.61 c | 199.61 | 0 | -187800 lb | 0 0 0.00 | 201.36/201.47 c | 201.48 | 0 | -187797 lb | 0 0 0.00 | 205.85/205.96 c | 205.97 | 0 | -187796 lb | 0 0 0.00 | 209.35/209.45 c | 209.46 | 0 | -187795 lb | 0 0 0.00 | 210.46/210.56 c | 210.56 | 0 | -187794 lb | 0 0 0.00 | 211.25/211.37 c | 211.38 | 0 | -187793 lb | 0 0 0.00 | 212.35/212.43 c | 212.44 | 0 | -187792 lb | 0 0 0.00 | 213.26/213.32 c | 213.32 | 0 | -187791 lb | 0 0 0.00 | 214.36/214.44 c | 214.44 | 0 | -187790 lb | 0 0 0.00 | 216.46/216.57 c | 216.57 | 0 | -187789 lb | 0 0 0.00 | 220.45/220.56 c | 220.56 | 0 | -187788 lb | 0 0 0.00 | 228.55/228.63 c | 228.64 | 0 | -187787 lb | 0 0 0.00 | 231.15/231.29 c | 231.29 | 0 | -187768 lb | 0 0 0.00 | 234.26/234.33 c | 234.34 | 0 | -187767 lb | 0 0 0.00 | 237.85/237.92 c | 237.93 | 0 | -187766 lb | 0 0 0.00 | 241.86/241.97 c | 241.98 | 0 | -187765 lb | 0 0 0.00 | 242.96/243.03 c | 243.03 | 0 | -187764 lb | 0 0 0.00 | 243.95/244.09 c | 244.09 | 0 | -187763 lb | 0 0 0.00 | 244.85/244.94 c | 244.94 | 0 | -187762 lb | 0 0 0.00 | 248.55/248.70 c | 248.70 | 0 | -187761 lb | 0 0 0.00 | 249.65/249.76 c | 249.76 | 0 | -187760 lb | 0 0 0.00 | 252.05/252.11 c | 252.11 | 0 | -187757 lb | 0 0 0.00 | 255.25/255.35 c | 255.36 | 0 | -187756 lb | 0 0 0.00 | 258.24/258.37 c | 258.37 | 0 | -187755 lb | 0 0 0.00 | 259.65/259.76 c | 259.76 | 0 | -187754 lb | 0 0 0.00 | 260.65/260.76 c | 260.76 | 0 | -187753 lb | 0 0 0.00 | 264.45/264.59 c | 264.60 | 0 | -187752 lb | 0 0 0.00 | 267.65/267.71 c | 267.71 | 0 | -187751 lb | 0 0 0.00 | 270.34/270.49 c | 270.49 | 0 | -187733 lb | 0 0 0.00 | 272.24/272.34 c | 272.34 | 0 | -187732 lb | 0 0 0.00 | 275.14/275.24 c | 275.24 | 0 | -187730 lb | 0 0 0.00 | 277.94/278.08 c | 278.09 | 0 | -187725 lb | 0 0 0.00 | 280.64/280.75 c | 280.75 | 0 | -187723 lb | 0 0 0.00 | 283.84/283.91 c | 283.92 | 0 | -187719 lb | 0 0 0.00 | 284.94/285.03 c | 285.03 | 0 | -187716 lb | 0 0 0.00 | 288.05/288.16 c | 288.17 | 0 | -187713 lb | 0 0 0.00 | 289.24/289.37 c | 289.37 | 0 | -187712 lb | 0 0 0.00 | 290.74/290.85 c | 290.85 | 0 | -187711 lb | 0 0 0.00 | 291.84/291.98 c | 291.99 | 0 | -187710 lb | 0 0 0.00 | 293.04/293.12 c | 293.12 | 0 | -187709 lb | 0 0 0.00 | 294.04/294.18 c | 294.18 | 0 | -187708 lb | 0 0 0.00 | 295.14/295.22 c | 295.22 | 0 | -187706 lb | 0 0 0.00 | 296.04/296.14 c | 296.14 | 0 | -187705 lb | 0 0 0.00 | 296.95/297.09 c | 297.10 | 0 | -187704 lb | 0 0 0.00 | 297.95/298.06 c | 298.06 | 0 | -187703 lb | 0 0 0.00 | 298.84/298.97 c | 298.97 | 0 | -187702 lb | 0 0 0.00 | 299.74/299.87 c | 299.88 | 0 | -187701 lb | 0 0 0.00 | 300.74/300.81 c | 300.81 | 0 | -187700 lb | 0 0 0.00 | 301.64/301.76 c | 301.77 | 0 | -187699 lb | 0 0 0.00 | 302.64/302.71 c | 302.72 | 0 | -187698 lb | 0 0 0.00 | 303.64/303.73 c | 303.73 | 0 | -187697 lb | 0 0 0.00 | 304.64/304.75 c | 304.76 | 0 | -187696 lb | 0 0 0.00 | 305.74/305.85 c | 305.86 | 0 | -187695 lb | 0 0 0.00 | 306.53/306.69 c | 306.69 | 0 | -187694 lb | 0 0 0.00 | 307.94/308.01 c | 308.01 | 0 | -187693 lb | 0 0 0.00 | 309.24/309.35 c | 309.35 | 0 | -187692 lb | 0 0 0.00 | 310.24/310.38 c | 310.39 | 0 | -187691 lb | 0 0 0.00 | 311.64/311.79 c | 311.80 | 0 | -187690 lb | 0 0 0.00 | 312.64/312.77 c | 312.77 | 0 | -187689 lb | 0 0 0.00 | 315.73/315.85 c | 315.86 | 0 | -187473 lb | 0 0 0.00 | 317.24/317.33 c | 317.34 | 0 | -187472 lb | 0 0 0.00 | 318.54/318.63 c | 318.63 | 0 | -187471 lb | 0 0 0.00 | 319.44/319.50 c | 319.50 | 0 | -187470 lb | 0 0 0.00 | 321.04/321.18 c | 321.18 | 0 | -187469 lb | 0 0 0.00 | 325.54/325.66 c | 325.67 | 0 | -187468 lb | 0 0 0.00 | 326.73/326.80 c | 326.81 | 0 | -187467 lb | 0 0 0.00 | 327.93/328.05 c | 328.05 | 0 | -187466 lb | 0 0 0.00 | 329.24/329.35 c | 329.35 | 0 | -187354 lb | 0 0 0.00 | 330.54/330.64 c | 330.65 | 0 | -187353 lb | 0 0 0.00 | 331.64/331.79 c | 331.79 | 0 | -187352 lb | 0 0 0.00 | 332.93/333.02 c | 333.02 | 0 | -187351 lb | 0 0 0.00 | 333.94/334.00 c | 334.01 | 0 | -187350 lb | 0 0 0.00 | 334.94/335.00 c | 335.00 | 0 | -187349 lb | 0 0 0.00 | 336.04/336.15 c | 336.16 | 0 | -187348 lb | 0 0 0.00 | 336.83/336.95 c | 336.95 | 0 | -187347 lb | 0 0 0.00 | 337.73/337.84 c | 337.85 | 0 | -187346 lb | 0 0 0.00 | 338.93/339.03 c | 339.04 | 0 | -187345 lb | 0 0 0.00 | 340.13/340.24 c | 340.25 | 0 | -187344 lb | 0 0 0.00 | 341.53/341.66 c | 341.66 | 0 | -187343 lb | 0 0 0.00 | 343.04/343.17 c | 343.17 | 0 | -187342 lb | 0 0 0.00 | 344.53/344.62 c | 344.62 | 0 | -187341 lb | 0 0 0.00 | 345.83/345.97 c | 345.97 | 0 | -187340 lb | 0 0 0.00 | 348.34/348.44 c | 348.44 | 0 | -187339 lb | 0 0 0.00 | 349.64/349.77 c | 349.77 | 0 | -187338 lb | 0 0 0.00 | 351.23/351.37 c | 351.37 | 0 | -187337 lb | 0 0 0.00 | 352.34/352.43 c | 352.43 | 0 | -187336 lb | 0 0 0.00 | 354.33/354.46 c | 354.46 | 0 | -187335 lb | 0 0 0.00 | 355.93/356.01 c | 356.02 | 0 | -187331 lb | 0 0 0.00 | 357.73/357.89 c | 357.89 | 0 | -187330 lb | 0 0 0.00 | 359.43/359.58 c | 359.58 | 0 | -187329 lb | 0 0 0.00 | 360.83/360.90 c | 360.90 | 0 | -187328 lb | 0 0 0.00 | 362.03/362.17 c | 362.17 | 0 | -187327 lb | 0 0 0.00 | 363.23/363.32 c | 363.32 | 0 | -187326 lb | 0 0 0.00 | 364.33/364.49 c | 364.49 | 0 | -187325 lb | 0 0 0.00 | 365.63/365.79 c | 365.80 | 0 | -187324 lb | 0 0 0.00 | 366.83/366.93 c | 366.94 | 0 | -187323 lb | 0 0 0.00 | 368.34/368.42 c | 368.42 | 0 | -187322 lb | 0 0 0.00 | 369.44/369.50 c | 369.51 | 0 | -187321 lb | 0 0 0.00 | 370.43/370.50 c | 370.50 | 0 | -187320 lb | 0 0 0.00 | 371.43/371.54 c | 371.55 | 0 | -187318 lb | 0 0 0.00 | 372.83/372.99 c | 372.99 | 0 | -187315 lb | 0 0 0.00 | 373.93/374.05 c | 374.05 | 0 | -187314 lb | 0 0 0.00 | 375.23/375.33 c | 375.33 | 0 | -187313 lb | 0 0 0.00 | 376.52/376.62 c | 376.63 | 0 | -187309 lb | 0 0 0.00 | 377.72/377.88 c | 377.89 | 0 | -187308 lb | 0 0 0.00 | 378.83/378.94 c | 378.95 | 0 | -187307 lb | 0 0 0.00 | 380.33/380.40 c | 380.40 | 0 | -187306 lb | 0 0 0.00 | 381.63/381.79 c | 381.80 | 0 | -187305 lb | 0 0 0.00 | 383.12/383.21 c | 383.21 | 0 | -187303 lb | 0 0 0.00 | 384.33/384.41 c | 384.42 | 0 | -187300 lb | 0 0 0.00 | 385.63/385.75 c | 385.76 | 0 | -187299 lb | 0 0 0.00 | 386.92/387.06 c | 387.06 | 0 | -187298 lb | 0 0 0.00 | 388.13/388.28 c | 388.29 | 0 | -187297 lb | 0 0 0.00 | 389.42/389.54 c | 389.54 | 0 | -187293 lb | 0 0 0.00 | 390.44/390.58 c | 390.58 | 0 | -187292 lb | 0 0 0.00 | 391.54/391.62 c | 391.62 | 0 | -187291 lb | 0 0 0.00 | 392.54/392.62 c | 392.63 | 0 | -187290 lb | 0 0 0.00 | 393.83/393.94 c | 393.95 | 0 | -187289 lb | 0 0 0.00 | 394.73/394.89 c | 394.90 | 0 | -187288 lb | 0 0 0.00 | 395.83/395.98 c | 395.98 | 0 | -187287 lb | 0 0 0.00 | 397.12/397.26 c | 397.26 | 0 | -187286 lb | 0 0 0.00 | 398.72/398.81 c | 398.81 | 0 | -187285 lb | 0 0 0.00 | 399.72/399.81 c | 399.81 | 0 | -187284 lb | 0 0 0.00 | 401.03/401.12 c | 401.12 | 0 | -187283 lb | 0 0 0.00 | 401.93/402.05 c | 402.05 | 0 | -187282 lb | 0 0 0.00 | 403.32/403.42 c | 403.42 | 0 | -187273 lb | 0 0 0.00 | 404.73/404.80 c | 404.81 | 0 | -187272 lb | 0 0 0.00 | 405.92/406.07 c | 406.07 | 0 | -187264 lb | 0 0 0.00 | 407.23/407.39 c | 407.40 | 0 | -187263 lb | 0 0 0.00 | 408.82/408.90 c | 408.90 | 0 | -187262 lb | 0 0 0.00 | 410.13/410.22 c | 410.23 | 0 | -187257 lb | 0 0 0.00 | 411.92/412.08 c | 412.08 | 0 | -187255 lb | 0 0 0.00 | 412.93/413.06 c | 413.07 | 0 | -187254 lb | 0 0 0.00 | 413.83/413.97 c | 413.98 | 0 | -187253 lb | 0 0 0.00 | 415.23/415.37 c | 415.37 | 0 | -187246 lb | 0 0 0.00 | 416.92/417.00 c | 417.00 | 0 | -187241 lb | 0 0 0.00 | 418.02/418.15 c | 418.15 | 0 | -187240 lb | 0 0 0.00 | 419.32/419.44 c | 419.45 | 0 | -187239 lb | 0 0 0.00 | 420.92/421.01 c | 421.02 | 0 | -187233 lb | 0 0 0.00 | 422.12/422.26 c | 422.27 | 0 | -187232 lb | 0 0 0.00 | 423.52/423.64 c | 423.65 | 0 | -187231 lb | 0 0 0.00 | 424.82/424.94 c | 424.95 | 0 | -187230 lb | 0 0 0.00 | 427.32/427.44 c | 427.44 | 0 | -187218 lb | 0 0 0.00 | 429.93/430.01 c | 430.01 | 0 | -187214 lb | 0 0 0.00 | 432.42/432.50 c | 432.50 | 0 | -187213 lb | 0 0 0.00 | 434.52/434.64 c | 434.64 | 0 | -187212 lb | 0 0 0.00 | 437.02/437.13 c | 437.14 | 0 | -187211 lb | 0 0 0.00 | 439.02/439.13 c | 439.13 | 0 | -187210 lb | 0 0 0.00 | 441.02/441.12 c | 441.12 | 0 | -187186 lb | 0 0 0.00 | 442.72/442.85 c | 442.86 | 0 | -187185 lb | 0 0 0.00 | 444.51/444.60 c | 444.60 | 0 | -187182 lb | 0 0 0.00 | 446.21/446.38 c | 446.38 | 0 | -187178 lb | 0 0 0.00 | 447.62/447.71 c | 447.71 | 0 | -187177 lb | 0 0 0.00 | 449.42/449.58 c | 449.58 | 0 | -187176 lb | 0 0 0.00 | 451.51/451.63 c | 451.63 | 0 | -187175 lb | 0 0 0.00 | 453.31/453.41 c | 453.41 | 0 | -187174 lb | 0 0 0.00 | 454.72/454.83 c | 454.84 | 0 | -187173 lb | 0 0 0.00 | 456.32/456.42 c | 456.43 | 0 | -187172 lb | 0 0 0.00 | 457.42/457.52 c | 457.53 | 0 | -187171 lb | 0 0 0.00 | 458.82/458.98 c | 458.99 | 0 | -187157 lb | 0 0 0.00 | 461.01/461.16 c | 461.16 | 0 | -187144 lb | 0 0 0.00 | 462.92/463.10 c | 463.10 | 0 | -187143 lb | 0 0 0.00 | 464.91/465.01 c | 465.01 | 0 | -187118 lb | 0 0 0.00 | 467.01/467.12 c | 467.13 | 0 | -187112 lb | 0 0 0.00 | 468.81/468.95 c | 468.95 | 0 | -187110 lb | 0 0 0.00 | 470.11/470.21 c | 470.21 | 0 | -187109 lb | 0 0 0.00 | 472.02/472.16 c | 472.17 | 0 | -187108 lb | 0 0 0.00 | 473.21/473.31 c | 473.32 | 0 | -187107 lb | 0 0 0.00 | 474.71/474.83 c | 474.83 | 0 | -187106 lb | 0 0 0.00 | 476.12/476.29 c | 476.30 | 0 | -187105 lb | 0 0 0.00 | 477.81/477.97 c | 477.98 | 0 | -187104 lb | 0 0 0.00 | 479.42/479.52 c | 479.53 | 0 | -187103 lb | 0 0 0.00 | 481.11/481.20 c | 481.20 | 0 | -187102 lb | 0 0 0.00 | 482.81/482.94 c | 482.94 | 0 | -187065 lb | 0 0 0.00 | 484.50/484.60 c | 484.60 | 0 | -187062 lb | 0 0 0.00 | 486.12/486.26 c | 486.26 | 0 | -187023 lb | 0 0 0.00 | 487.80/487.96 c | 487.96 | 0 | -187020 lb | 0 0 0.00 | 489.41/489.56 c | 489.57 | 0 | -187019 lb | 0 0 0.00 | 491.20/491.35 c | 491.36 | 0 | -187018 lb | 0 0 0.00 | 493.00/493.15 c | 493.16 | 0 | -187017 lb | 0 0 0.00 | 494.82/494.95 c | 494.95 | 0 | -187016 lb | 0 0 0.00 | 496.71/496.85 c | 496.86 | 0 | -187015 lb | 0 0 0.00 | 498.61/498.73 c | 498.73 | 0 | -187014 lb | 0 0 0.00 | 500.11/500.24 c | 500.24 | 0 | -187013 lb | 0 0 0.00 | 501.61/501.74 c | 501.74 | 0 | -187012 lb | 0 0 0.00 | 503.11/503.24 c | 503.24 | 0 | -187011 lb | 0 0 0.00 | 504.61/504.75 c | 504.75 | 0 | -187010 lb | 0 0 0.00 | 506.10/506.28 c | 506.28 | 0 | -187009 lb | 0 0 0.00 | 507.71/507.82 c | 507.83 | 0 | -187008 lb | 0 0 0.00 | 509.21/509.37 c | 509.37 | 0 | -187006 lb | 0 0 0.00 | 510.80/510.93 c | 510.93 | 0 | -187005 lb | 0 0 0.00 | 512.20/512.35 c | 512.36 | 0 | -187004 lb | 0 0 0.00 | 513.70/513.85 c | 513.85 | 0 | -187003 lb | 0 0 0.00 | 515.20/515.34 c | 515.34 | 0 | -187002 lb | 0 0 0.00 | 516.81/516.95 c | 516.95 | 0 | -187001 lb | 0 0 0.00 | 518.40/518.55 c | 518.56 | 0 | -187000 lb | 0 0 0.00 | 520.00/520.18 c | 520.18 | 0 | -186999 lb | 0 0 0.00 | 521.70/521.86 c | 521.87 | 0 | -186998 lb | 0 0 0.00 | 523.30/523.43 c | 523.43 | 0 | -186997 lb | 0 0 0.00 | 524.90/525.00 c | 525.01 | 0 | -186996 lb | 0 0 0.00 | 526.50/526.60 c | 526.60 | 0 | -186995 lb | 0 0 0.00 | 528.00/528.15 c | 528.16 | 0 | -186994 lb | 0 0 0.00 | 529.60/529.70 c | 529.71 | 0 | -186993 lb | 0 0 0.00 | 531.00/531.19 c | 531.20 | 0 | -186992 lb | 0 0 0.00 | 532.50/532.69 c | 532.69 | 0 | -186991 lb | 0 0 0.00 | 534.70/534.83 c | 534.83 | 0 | -186990 lb | 0 0 0.00 | 537.20/537.37 c | 537.37 | 0 | -186989 lb | 0 0 0.00 | 538.60/538.80 c | 538.80 | 0 | -186988 lb | 0 0 0.00 | 540.19/540.30 c | 540.30 | 0 | -186987 lb | 0 0 0.00 | 541.99/542.17 c | 542.17 | 0 | -186986 lb | 0 0 0.00 | 543.59/543.79 c | 543.79 | 0 | -186985 lb | 0 0 0.00 | 545.40/545.50 c | 545.51 | 0 | -186984 lb | 0 0 0.00 | 547.19/547.39 c | 547.39 | 0 | -186983 lb | 0 0 0.00 | 549.49/549.60 c | 549.61 | 0 | -186982 lb | 0 0 0.00 | 551.68/551.89 c | 551.90 | 0 | -186981 lb | 0 0 0.00 | 553.88/554.05 c | 554.05 | 0 | -186980 lb | 0 0 0.00 | 555.98/556.11 c | 556.12 | 0 | -186977 lb | 0 0 0.00 | 557.59/557.71 c | 557.72 | 0 | -186976 lb | 0 0 0.00 | 559.89/560.06 c | 560.07 | 0 | -186974 lb | 0 0 0.00 | 561.89/562.03 c | 562.04 | 0 | -186973 lb | 0 0 0.00 | 563.78/563.98 c | 563.99 | 0 | -186972 lb | 0 0 0.00 | 565.98/566.17 c | 566.18 | 0 | -186971 lb | 0 0 0.00 | 567.58/567.78 c | 567.79 | 0 | -186970 lb | 0 0 0.00 | 569.78/569.90 c | 569.90 | 0 | -186969 lb | 0 0 0.00 | 571.28/571.46 c | 571.46 | 0 | -186968 lb | 0 0 0.00 | 572.68/572.85 c | 572.85 | 0 | -186958 lb | 0 0 0.00 | 574.18/574.38 c | 574.38 | 0 | -186957 lb | 0 0 0.00 | 576.18/576.34 c | 576.35 | 0 | -186956 lb | 0 0 0.00 | 577.98/578.16 c | 578.16 | 0 | -186955 lb | 0 0 0.00 | 579.78/579.94 c | 579.95 | 0 | -186954 lb | 0 0 0.00 | 581.57/581.77 c | 581.77 | 0 | -186953 lb | 0 0 0.00 | 583.27/583.49 c | 583.50 | 0 | -186952 lb | 0 0 0.00 | 585.37/585.50 c | 585.51 | 0 | -186951 lb | 0 0 0.00 | 586.97/587.10 c | 587.10 | 0 | -186949 lb | 0 0 0.00 | 588.48/588.68 c | 588.69 | 0 | -186947 lb | 0 0 0.00 | 590.07/590.27 c | 590.27 | 0 | -186946 lb | 0 0 0.00 | 591.68/591.85 c | 591.85 | 0 | -186945 lb | 0 0 0.00 | 593.67/593.85 c | 593.85 | 0 | -186944 lb | 0 0 0.00 | 595.87/596.03 c | 596.03 | 0 | -186943 lb | 0 0 0.00 | 597.67/597.86 c | 597.86 | 0 | -186942 lb | 0 0 0.00 | 599.38/599.58 c | 599.58 | 0 | -186941 lb | 0 0 0.00 | 601.87/602.08 c | 602.08 | 0 | -186940 lb | 0 0 0.00 | 603.68/603.84 c | 603.85 | 0 | -186939 lb | 0 0 0.00 | 605.47/605.62 c | 605.62 | 0 | -186938 lb | 0 0 0.00 | 607.17/607.32 c | 607.33 | 0 | -186937 lb | 0 0 0.00 | 609.07/609.21 c | 609.21 | 0 | -186936 lb | 0 0 0.00 | 611.07/611.25 c | 611.25 | 0 | -186935 lb | 0 0 0.00 | 612.87/613.06 c | 613.06 | 0 | -186934 lb | 0 0 0.00 | 614.68/614.88 c | 614.88 | 0 | -186933 lb | 0 0 0.00 | 615.88/616.00 c | 616.01 | 0 | -186932 lb | 0 0 0.00 | 616.97/617.15 c | 617.15 | 0 | -186931 lb | 0 0 0.00 | 618.16/618.32 c | 618.32 | 0 | -186930 lb | 0 0 0.00 | 619.37/619.55 c | 619.55 | 0 | -186928 lb | 0 0 0.00 | 620.46/620.67 c | 620.67 | 0 | -186916 lb | 0 0 0.00 | 621.67/621.80 c | 621.80 | 0 | -186855 lb | 0 0 0.00 | 622.76/622.92 c | 622.92 | 0 | -186846 lb | 0 0 0.00 | 623.97/624.17 c | 624.17 | 0 | -186845 lb | 0 0 0.00 | 625.17/625.38 c | 625.38 | 0 | -186844 lb | 0 0 0.00 | 626.46/626.67 c | 626.68 | 0 | -186843 lb | 0 0 0.00 | 627.77/627.98 c | 627.98 | 0 | -186842 lb | 0 0 0.00 | 629.17/629.32 c | 629.32 | 0 | -186841 lb | 0 0 0.00 | 630.57/630.78 c | 630.78 | 0 | -186840 lb | 0 0 0.00 | 631.86/632.07 c | 632.07 | 0 | -186839 lb | 0 0 0.00 | 633.16/633.36 c | 633.36 | 0 | -186838 lb | 0 0 0.00 | 635.46/635.64 c | 635.64 | 0 | -186837 lb | 0 0 0.00 | 638.46/638.62 c | 638.62 | 0 | -186836 lb | 0 0 0.00 | 641.46/641.60 c | 641.60 | 0 | -186835 lb | 0 0 0.00 | 644.06/644.27 c | 644.27 | 0 | -186834 lb | 0 0 0.00 | 647.36/647.56 c | 647.57 | 0 | -186833 lb | 0 0 0.00 | 649.36/649.53 c | 649.53 | 0 | -186832 lb | 0 0 0.00 | 651.36/651.58 c | 651.59 | 0 | -186831 lb | 0 0 0.00 | 653.76/653.94 c | 653.95 | 0 | -186830 lb | 0 0 0.00 | 656.65/656.87 c | 656.88 | 0 | -186829 lb | 0 0 0.00 | 659.36/659.51 c | 659.51 | 0 | -186828 lb | 0 0 0.00 | 663.75/663.90 c | 663.90 | 0 | -186827 lb | 0 0 0.00 | 667.15/667.37 c | 667.38 | 0 | -186826 lb | 0 0 0.00 | 669.76/669.97 c | 669.97 | 0 | -186825 lb | 0 0 0.00 | 673.35/673.54 c | 673.55 | 0 | -186824 lb | 0 0 0.00 | 676.05/676.22 c | 676.23 | 0 | -186823 lb | 0 0 0.00 | 679.34/679.58 c | 679.58 | 0 | -186822 lb | 0 0 0.00 | 682.05/682.25 c | 682.25 | 0 | -186821 lb | 0 0 0.00 | 684.75/684.90 c | 684.90 | 0 | -186820 lb | 0 0 0.00 | 687.85/688.08 c | 688.09 | 0 | -186819 lb | 0 0 0.00 | 690.95/691.14 c | 691.14 | 0 | -186817 lb | 0 0 0.00 | 694.54/694.70 c | 694.71 | 0 | -186816 lb | 0 0 0.00 | 697.75/697.92 c | 697.92 | 0 | -186815 lb | 0 0 0.00 | 699.25/699.43 c | 699.43 | 0 | -186814 lb | 0 0 0.00 | 702.94/703.12 c | 703.12 | 0 | -186813 lb | 0 0 0.00 | 707.15/707.35 c | 707.35 | 0 | -186812 lb | 0 0 0.00 | 710.75/710.97 c | 710.98 | 0 | -186808 lb | 0 0 0.00 | 713.35/713.50 c | 713.50 | 0 | -186807 lb | 0 0 0.00 | 715.04/715.25 c | 715.25 | 0 | -186806 lb | 0 0 0.00 | 718.05/718.26 c | 718.27 | 0 | -186805 lb | 0 0 0.00 | 720.54/720.78 c | 720.78 | 0 | -186804 lb | 0 0 0.00 | 723.84/724.08 c | 724.08 | 0 | -186803 lb | 0 0 0.00 | 727.44/727.64 c | 727.64 | 0 | -186802 lb | 0 0 0.00 | 729.94/730.14 c | 730.15 | 0 | -186801 lb | 0 0 0.00 | 732.74/732.96 c | 732.96 | 0 | -186800 lb | 0 0 0.00 | 735.94/736.17 c | 736.17 | 0 | -186799 lb | 0 0 0.00 | 738.33/738.56 c | 738.56 | 0 | -186797 lb | 0 0 0.00 | 741.14/741.38 c | 741.38 | 0 | -186796 lb | 0 0 0.00 | 744.54/744.72 c | 744.72 | 0 | -186795 lb | 0 0 0.00 | 748.23/748.45 c | 748.45 | 0 | -186794 lb | 0 0 0.00 | 753.24/753.41 c | 753.42 | 0 | -186793 lb | 0 0 0.00 | 756.04/756.26 c | 756.27 | 0 | -186792 lb | 0 0 0.00 | 760.03/760.27 c | 760.28 | 0 | -186791 lb | 0 0 0.00 | 763.63/763.84 c | 763.84 | 0 | -186790 lb | 0 0 0.00 | 767.23/767.43 c | 767.43 | 0 | -186789 lb | 0 0 0.00 | 768.83/769.02 c | 769.03 | 0 | -186788 lb | 0 0 0.00 | 771.52/771.78 c | 771.78 | 0 | -186787 lb | 0 0 0.00 | 774.23/774.46 c | 774.46 | 0 | -186786 lb | 0 0 0.00 | 777.32/777.52 c | 777.52 | 0 | -186785 lb | 0 0 0.00 | 780.52/780.78 c | 780.79 | 0 | -186784 lb | 0 0 0.00 | 783.82/784.08 c | 784.09 | 0 | -186783 lb | 0 0 0.00 | 785.72/785.90 c | 785.91 | 0 | -186782 lb | 0 0 0.00 | 788.22/788.42 c | 788.42 | 0 | -186781 lb | 0 0 0.00 | 789.72/789.90 c | 789.91 | 0 | -186780 lb | 0 0 0.00 | 791.31/791.50 c | 791.50 | 0 | -186779 lb | 0 0 0.00 | 792.93/793.13 c | 793.14 | 0 | -186778 lb | 0 0 0.00 | 794.81/795.02 c | 795.02 | 0 | -186777 lb | 0 0 0.00 | 796.92/797.11 c | 797.11 | 0 | -186776 lb | 0 0 0.00 | 798.81/799.03 c | 799.03 | 0 | -186775 lb | 0 0 0.00 | 801.01/801.26 c | 801.26 | 0 | -186774 lb | 0 0 0.00 | 805.41/805.63 c | 805.63 | 0 | -186773 lb | 0 0 0.00 | 808.62/808.85 c | 808.85 | 0 | -186772 lb | 0 0 0.00 | 810.72/810.96 c | 810.96 | 0 | -186771 lb | 0 0 0.00 | 813.32/813.50 c | 813.51 | 0 | -186770 lb | 0 0 0.00 | 815.51/815.75 c | 815.75 | 0 | -186769 lb | 0 0 0.00 | 817.02/817.21 c | 817.21 | 0 | -186768 lb | 0 0 0.00 | 818.52/818.74 c | 818.74 | 0 | -186767 lb | 0 0 0.00 | 820.12/820.38 c | 820.38 | 0 | -186766 lb | 0 0 0.00 | 821.81/822.09 c | 822.10 | 0 | -186765 lb | 0 0 0.00 | 823.31/823.58 c | 823.58 | 0 | -186764 lb | 0 0 0.00 | 824.91/825.17 c | 825.18 | 0 | -186763 lb | 0 0 0.00 | 826.41/826.66 c | 826.66 | 0 | -186762 lb | 0 0 0.00 | 828.11/828.39 c | 828.39 | 0 | -186761 lb | 0 0 0.00 | 829.61/829.86 c | 829.86 | 0 | -186760 lb | 0 0 0.00 | 831.31/831.55 c | 831.56 | 0 | -186759 lb | 0 0 0.00 | 832.51/832.78 c | 832.79 | 0 | -186758 lb | 0 0 0.00 | 833.80/834.03 c | 834.03 | 0 | -186757 lb | 0 0 0.00 | 835.10/835.32 c | 835.33 | 0 | -186756 lb | 0 0 0.00 | 836.70/836.93 c | 836.93 | 0 | -186755 lb | 0 0 0.00 | 839.20/839.47 c | 839.47 | 0 | -186754 lb | 0 0 0.00 | 841.10/841.34 c | 841.35 | 0 | -186753 lb | 0 0 0.00 | 843.30/843.58 c | 843.58 | 0 | -186752 lb | 0 0 0.00 | 845.71/845.94 c | 845.95 | 0 | -186751 lb | 0 0 0.00 | 847.50/847.76 c | 847.77 | 0 | -186750 lb | 0 0 0.00 | 849.60/849.80 c | 849.80 | 0 | -186749 lb | 0 0 0.00 | 851.38/851.63 c | 851.64 | 0 | -186748 lb | 0 0 0.00 | 853.29/853.57 c | 853.58 | 0 | -186747 lb | 0 0 0.00 | 855.19/855.40 c | 855.41 | 0 | -186746 lb | 0 0 0.00 | 856.79/857.00 c | 857.00 | 0 | -186745 lb | 0 0 0.00 | 858.99/859.26 c | 859.26 | 0 | -186744 lb | 0 0 0.00 | 860.49/860.71 c | 860.71 | 0 | -186743 lb | 0 0 0.00 | 863.20/863.49 c | 863.49 | 0 | -186742 lb | 0 0 0.00 | 864.88/865.12 c | 865.12 | 0 | -186741 lb | 0 0 0.00 | 866.28/866.53 c | 866.53 | 0 | -186740 lb | 0 0 0.00 | 868.48/868.70 c | 868.70 | 0 | -186739 lb | 0 0 0.00 | 870.18/870.44 c | 870.44 | 0 | -186738 lb | 0 0 0.00 | 871.38/871.64 c | 871.64 | 0 | -186737 lb | 0 0 0.00 | 872.98/873.29 c | 873.29 | 0 | -186736 lb | 0 0 0.00 | 874.88/875.10 c | 875.11 | 0 | -186697 lb | 0 0 0.00 | 876.78/877.07 c | 877.07 | 0 | -186696 lb | 0 0 0.00 | 878.08/878.30 c | 878.30 | 0 | -186695 lb | 0 0 0.00 | 879.28/879.57 c | 879.57 | 0 | -186693 lb | 0 0 0.00 | 880.67/880.93 c | 880.93 | 0 | -186692 lb | 0 0 0.00 | 882.58/882.81 c | 882.82 | 0 | -186691 lb | 0 0 0.00 | 884.28/884.59 c | 884.59 | 0 | -186690 lb | 0 0 0.00 | 886.38/886.68 c | 886.68 | 0 | -186689 lb | 0 0 0.00 | 888.67/888.97 c | 888.98 | 0 | -186688 lb | 0 0 0.00 | 890.88/891.13 c | 891.14 | 0 | -186687 lb | 0 0 0.00 | 892.98/893.29 c | 893.29 | 0 | -186686 lb | 0 0 0.00 | 895.67/895.98 c | 895.98 | 0 | -186685 lb | 0 0 0.00 | 899.07/899.31 c | 899.32 | 0 | -186684 lb | 0 0 0.00 | 901.87/902.15 c | 902.16 | 0 | -186683 lb | 0 0 0.00 | 905.57/905.85 c | 905.85 | 0 | -186682 lb | 0 0 0.00 | 907.37/907.63 c | 907.63 | 0 | -186681 lb | 0 0 0.00 | 908.77/909.00 c | 909.00 | 0 | -186680 lb | 0 0 0.00 | 910.97/911.29 c | 911.29 | 0 | -186679 lb | 0 0 0.00 | 912.67/912.97 c | 912.97 | 0 | -186678 lb | 0 0 0.00 | 914.27/914.53 c | 914.53 | 0 | -186677 lb | 0 0 0.00 | 915.67/915.90 c | 915.91 | 0 | -186676 lb | 0 0 0.00 | 918.46/918.73 c | 918.74 | 0 | -186675 lb | 0 0 0.00 | 920.57/920.85 c | 920.85 | 0 | -186674 lb | 0 0 0.00 | 923.07/923.30 c | 923.31 | 0 | -186673 lb | 0 0 0.00 | 926.67/926.91 c | 926.91 | 0 | -186672 lb | 0 0 0.00 | 928.67/928.99 c | 928.99 | 0 | -186671 lb | 0 0 0.00 | 931.86/932.16 c | 932.16 | 0 | -186670 lb | 0 0 0.00 | 933.96/934.28 c | 934.28 | 0 | -186669 lb | 0 0 0.00 | 936.07/936.39 c | 936.39 | 0 | -186668 lb | 0 0 0.00 | 938.86/939.13 c | 939.13 | 0 | -186667 lb | 0 0 0.00 | 941.37/941.61 c | 941.61 | 0 | -186666 lb | 0 0 0.00 | 944.26/944.51 c | 944.52 | 0 | -186665 lb | 0 0 0.00 | 948.16/948.45 c | 948.46 | 0 | -186664 lb | 0 0 0.00 | 950.36/950.66 c | 950.67 | 0 | -186663 lb | 0 0 0.00 | 952.06/952.37 c | 952.38 | 0 | -186662 lb | 0 0 0.00 | 954.96/955.21 c | 955.22 | 0 | -186661 lb | 0 0 0.00 | 956.16/956.49 c | 956.50 | 0 | -186660 lb | 0 0 0.00 | 957.66/957.92 c | 957.93 | 0 | -186659 lb | 0 0 0.00 | 960.07/960.32 c | 960.33 | 0 | -186658 lb | 0 0 0.00 | 962.76/963.05 c | 963.05 | 0 | -186657 lb | 0 0 0.00 | 965.36/965.61 c | 965.62 | 0 | -186656 lb | 0 0 0.00 | 968.06/968.39 c | 968.39 | 0 | -186655 lb | 0 0 0.00 | 970.06/970.39 c | 970.40 | 0 | -186654 lb | 0 0 0.00 | 972.36/972.61 c | 972.62 | 0 | -186653 lb | 0 0 0.00 | 975.16/975.40 c | 975.40 | 0 | -186652 lb | 0 0 0.00 | 978.16/978.46 c | 978.46 | 0 | -186651 lb | 0 0 0.00 | 981.76/982.07 c | 982.07 | 0 | -186650 lb | 0 0 0.00 | 983.56/983.85 c | 983.85 | 0 | -186649 lb | 0 0 0.00 | 986.16/986.45 c | 986.45 | 0 | -186648 lb | 0 0 0.00 | 989.46/989.72 c | 989.72 | 0 | -186647 lb | 0 0 0.00 | 991.26/991.53 c | 991.53 | 0 | -186646 lb | 0 0 0.00 | 992.86/993.12 c | 993.13 | 0 | -186645 lb | 0 0 0.00 | 994.06/994.31 c | 994.31 | 0 | -186644 lb | 0 0 0.00 | 996.46/996.78 c | 996.78 | 0 | -186643 lb | 0 0 0.00 | 998.16/998.47 c | 998.48 | 0 | -186642 lb | 0 0 0.00 | 1000.76/1001.01 c | 1001.01 | 0 | -186641 lb | 0 0 0.00 | 1005.45/1005.74 c | 1005.75 | 0 | -186640 lb | 0 0 0.00 | 1007.16/1007.46 c | 1007.46 | 0 | -186639 lb | 0 0 0.00 | 1008.85/1009.17 c | 1009.17 | 0 | -186638 lb | 0 0 0.00 | 1012.55/1012.89 c | 1012.89 | 0 | -186637 lb | 0 0 0.00 | 1014.25/1014.58 c | 1014.59 | 0 | -186634 lb | 0 0 0.00 | 1015.45/1015.74 c | 1015.75 | 0 | -186633 lb | 0 0 0.00 | 1017.26/1017.58 c | 1017.58 | 0 | -186632 lb | 0 0 0.00 | 1020.86/1021.10 c | 1021.10 | 0 | -186631 lb | 0 0 0.00 | 1023.95/1024.22 c | 1024.22 | 0 | -186630 lb | 0 0 0.00 | 1027.05/1027.32 c | 1027.32 | 0 | -186629 lb | 0 0 0.00 | 1029.45/1029.73 c | 1029.73 | 0 | -186628 lb | 0 0 0.00 | 1031.75/1032.05 c | 1032.05 | 0 | -186627 lb | 0 0 0.00 | 1033.25/1033.56 c | 1033.56 | 0 | -186626 lb | 0 0 0.00 | 1034.95/1035.29 c | 1035.30 | 0 | -186610 lb | 0 0 0.00 | 1038.55/1038.85 c | 1038.85 | 0 | -186609 lb | 0 0 0.00 | 1041.05/1041.30 c | 1041.31 | 0 | -186608 lb | 0 0 0.00 | 1044.66/1044.94 c | 1044.94 | 0 | -186607 lb | 0 0 0.00 | 1047.25/1047.55 c | 1047.56 | 0 | -186606 lb | 0 0 0.00 | 1050.25/1050.59 c | 1050.59 | 0 | -186605 lb | 0 0 0.00 | 1052.25/1052.56 c | 1052.56 | 0 | -186604 lb | 0 0 0.00 | 1055.94/1056.24 c | 1056.24 | 0 | -186603 lb | 0 0 0.00 | 1058.65/1058.93 c | 1058.93 | 0 | -186602 lb | 0 0 0.00 | 1060.05/1060.33 c | 1060.33 | 0 | -186601 lb | 0 0 0.00 | 1061.35/1061.63 c | 1061.63 | 0 | -186600 lb | 0 0 0.00 | 1063.35/1063.64 c | 1063.65 | 0 | -186599 lb | 0 0 0.00 | 1066.04/1066.36 c | 1066.36 | 0 | -186598 lb | 0 0 0.00 | 1069.24/1069.57 c | 1069.57 | 0 | -186597 lb | 0 0 0.00 | 1071.75/1072.08 c | 1072.08 | 0 | -186596 lb | 0 0 0.00 | 1073.65/1073.99 c | 1074.00 | 0 | -186595 lb | 0 0 0.00 | 1076.44/1076.77 c | 1076.78 | 0 | -186594 lb | 0 0 0.00 | 1078.55/1078.88 c | 1078.88 | 0 | -186593 lb | 0 0 0.00 | 1081.34/1081.69 c | 1081.69 | 0 | -186592 lb | 0 0 0.00 | 1084.04/1084.36 c | 1084.37 | 0 | -186591 lb | 0 0 0.00 | 1086.64/1086.97 c | 1086.98 | 0 | -186590 lb | 0 0 0.00 | 1089.04/1089.37 c | 1089.38 | 0 | -186589 lb | 0 0 0.00 | 1090.54/1090.81 c | 1090.82 | 0 | -186588 lb | 0 0 0.00 | 1091.95/1092.21 c | 1092.22 | 0 | -186587 lb | 0 0 0.00 | 1093.64/1093.96 c | 1093.97 | 0 | -186586 lb | 0 0 0.00 | 1097.24/1097.57 c | 1097.57 | 0 | -186585 lb | 0 0 0.00 | 1099.24/1099.53 c | 1099.54 | 0 | -186584 lb | 0 0 0.00 | 1100.75/1101.07 c | 1101.08 | 0 | -186583 lb | 0 0 0.00 | 1102.84/1103.19 c | 1103.19 | 0 | -186582 lb | 0 0 0.00 | 1104.84/1105.18 c | 1105.18 | 0 | -186581 lb | 0 0 0.00 | 1107.24/1107.57 c | 1107.57 | 0 | -186580 lb | 0 0 0.00 | 1109.74/1110.05 c | 1110.06 | 0 | -186579 lb | 0 0 0.00 | 1111.34/1111.64 c | 1111.64 | 0 | -186578 lb | 0 0 0.00 | 1114.43/1114.73 c | 1114.73 | 0 | -186577 lb | 0 0 0.00 | 1116.24/1116.59 c | 1116.59 | 0 | -186576 lb | 0 0 0.00 | 1119.54/1119.85 c | 1119.86 | 0 | -186575 lb | 0 0 0.00 | 1122.54/1122.80 c | 1122.80 | 0 | -186574 lb | 0 0 0.00 | 1124.94/1125.26 c | 1125.26 | 0 | -186573 lb | 0 0 0.00 | 1127.63/1127.96 c | 1127.97 | 0 | -186572 lb | 0 0 0.00 | 1131.14/1131.40 c | 1131.40 | 0 | -186571 lb | 0 0 0.00 | 1132.94/1133.25 c | 1133.25 | 0 | -186570 lb | 0 0 0.00 | 1135.43/1135.79 c | 1135.79 | 0 | -186569 lb | 0 0 0.00 | 1137.53/1137.85 c | 1137.86 | 0 | -186568 lb | 0 0 0.00 | 1140.23/1140.58 c | 1140.58 | 0 | -186567 lb | 0 0 0.00 | 1143.33/1143.64 c | 1143.64 | 0 | -186566 lb | 0 0 0.00 | 1144.93/1145.23 c | 1145.23 | 0 | -186565 lb | 0 0 0.00 | 1148.04/1148.34 c | 1148.34 | 0 | -186564 lb | 0 0 0.00 | 1150.34/1150.63 c | 1150.64 | 0 | -186563 lb | 0 0 0.00 | 1153.33/1153.66 c | 1153.67 | 0 | -186562 lb | 0 0 0.00 | 1156.13/1156.49 c | 1156.49 | 0 | -186561 lb | 0 0 0.00 | 1157.33/1157.69 c | 1157.69 | 0 | -186560 lb | 0 0 0.00 | 1160.03/1160.33 c | 1160.33 | 0 | -186559 lb | 0 0 0.00 | 1161.73/1162.05 c | 1162.05 | 0 | -186558 lb | 0 0 0.00 | 1165.03/1165.35 c | 1165.35 | 0 | -186557 lb | 0 0 0.00 | 1170.33/1170.65 c | 1170.65 | 0 | -186556 lb | 0 0 0.00 | 1172.43/1172.73 c | 1172.74 | 0 | -186555 lb | 0 0 0.00 | 1174.53/1174.88 c | 1174.89 | 0 | -186554 lb | 0 0 0.00 | 1178.13/1178.49 c | 1178.49 | 0 | -186553 lb | 0 0 0.00 | 1182.24/1182.52 c | 1182.52 | 0 | -186552 lb | 0 0 0.00 | 1185.33/1185.66 c | 1185.66 | 0 | -186551 lb | 0 0 0.00 | 1187.33/1187.61 c | 1187.62 | 0 | -186550 lb | 0 0 0.00 | 1189.63/1189.91 c | 1189.91 | 0 | -186549 lb | 0 0 0.00 | 1193.02/1193.33 c | 1193.33 | 0 | -186548 lb | 0 0 0.00 | 1195.82/1196.16 c | 1196.16 | 0 | -186547 lb | 0 0 0.00 | 1199.63/1199.90 c | 1199.91 | 0 | -186546 lb | 0 0 0.00 | 1202.93/1203.25 c | 1203.25 | 0 | -186545 lb | 0 0 0.00 | 1205.12/1205.47 c | 1205.48 | 0 | -186544 lb | 0 0 0.00 | 1206.92/1207.25 c | 1207.26 | 0 | -186543 lb | 0 0 0.00 | 1209.02/1209.38 c | 1209.39 | 0 | -186542 lb | 0 0 0.00 | 1210.62/1210.97 c | 1210.98 | 0 | -186541 lb | 0 0 0.00 | 1214.92/1215.25 c | 1215.26 | 0 | -186540 lb | 0 0 0.00 | 1218.53/1218.84 c | 1218.85 | 0 | -186539 lb | 0 0 0.00 | 1221.52/1221.82 c | 1221.82 | 0 | -186538 lb | 0 0 0.00 | 1226.22/1226.53 c | 1226.53 | 0 | -186537 lb | 0 0 0.00 | 1229.43/1229.71 c | 1229.71 | 0 | -186536 lb | 0 0 0.00 | 1232.62/1232.95 c | 1232.95 | 0 | -186535 lb | 0 0 0.00 | 1233.93/1234.26 c | 1234.27 | 0 | -186534 lb | 0 0 0.00 | 1235.42/1235.73 c | 1235.73 | 0 | -186533 lb | 0 0 0.00 | 1237.62/1237.90 c | 1237.90 | 0 | -186532 lb | 0 0 0.00 | 1239.42/1239.74 c | 1239.75 | 0 | -186531 lb | 0 0 0.00 | 1240.82/1241.15 c | 1241.16 | 0 | -186530 lb | 0 0 0.00 | 1245.22/1245.54 c | 1245.54 | 0 | -186529 lb | 0 0 0.00 | 1249.23/1249.51 c | 1249.52 | 0 | -186528 lb | 0 0 0.00 | 1251.22/1251.54 c | 1251.54 | 0 | -186527 lb | 0 0 0.00 | 1252.62/1252.98 c | 1252.98 | 0 | -186526 lb | 0 0 0.00 | 1254.12/1254.42 c | 1254.43 | 0 | -186525 lb | 0 0 0.00 | 1258.03/1258.32 c | 1258.32 | 0 | -186524 lb | 0 0 0.00 | 1259.92/1260.24 c | 1260.24 | 0 | -186523 lb | 0 0 0.00 | 1261.62/1261.93 c | 1261.94 | 0 | -186522 lb | 0 0 0.00 | 1267.31/1267.63 c | 1267.63 | 0 | -186521 lb | 0 0 0.00 | 1270.22/1270.59 c | 1270.59 | 0 | -186520 lb | 0 0 0.00 | 1273.12/1273.43 c | 1273.44 | 0 | -186519 lb | 0 0 0.00 | 1278.01/1278.35 c | 1278.35 | 0 | -186518 lb | 0 0 0.00 | 1281.01/1281.40 c | 1281.40 | 0 | -186517 lb | 0 0 0.00 | 1284.81/1285.16 c | 1285.17 | 0 | -186516 lb | 0 0 0.00 | 1286.62/1286.95 c | 1286.96 | 0 | -186500 lb | 0 0 0.00 | 1291.12/1291.48 c | 1291.48 | 0 | -186499 lb | 0 0 0.00 | 1292.81/1293.14 c | 1293.15 | 0 | -186498 lb | 0 0 0.00 | 1294.51/1294.83 c | 1294.84 | 0 | -186497 lb | 0 0 0.00 | 1296.71/1297.07 c | 1297.07 | 0 | -186496 lb | 0 0 0.00 | 1301.11/1301.42 c | 1301.42 | 0 | -186495 lb | 0 0 0.00 | 1304.61/1304.91 c | 1304.91 | 0 | -186494 lb | 0 0 0.00 | 1307.10/1307.49 c | 1307.49 | 0 | -186493 lb | 0 0 0.00 | 1309.51/1309.86 c | 1309.86 | 0 | -186492 lb | 0 0 0.00 | 1310.91/1311.27 c | 1311.27 | 0 | -186491 lb | 0 0 0.00 | 1312.51/1312.86 c | 1312.87 | 0 | -186490 lb | 0 0 0.00 | 1314.22/1314.52 c | 1314.53 | 0 | -186489 lb | 0 0 0.00 | 1317.11/1317.47 c | 1317.48 | 0 | -186488 lb | 0 0 0.00 | 1319.90/1320.24 c | 1320.25 | 0 | -186487 lb | 0 0 0.00 | 1322.41/1322.79 c | 1322.80 | 0 | -186486 lb | 0 0 0.00 | 1324.40/1324.77 c | 1324.77 | 0 | -186485 lb | 0 0 0.00 | 1326.21/1326.51 c | 1326.51 | 0 | -186484 lb | 0 0 0.00 | 1327.90/1328.25 c | 1328.26 | 0 | -186483 lb | 0 0 0.00 | 1330.80/1331.18 c | 1331.18 | 0 | -186482 lb | 0 0 0.00 | 1334.40/1334.74 c | 1334.74 | 0 | -186481 lb | 0 0 0.00 | 1336.31/1336.67 c | 1336.67 | 0 | -186480 lb | 0 0 0.00 | 1339.00/1339.30 c | 1339.30 | 0 | -186479 lb | 0 0 0.00 | 1341.90/1342.22 c | 1342.23 | 0 | -186478 lb | 0 0 0.00 | 1344.20/1344.52 c | 1344.52 | 0 | -186477 lb | 0 0 0.00 | 1348.90/1349.28 c | 1349.28 | 0 | -186476 lb | 0 0 0.00 | 1352.50/1352.88 c | 1352.88 | 0 | -186475 lb | 0 0 0.00 | 1355.60/1355.94 c | 1355.94 | 0 | -186474 lb | 0 0 0.00 | 1358.90/1359.22 c | 1359.22 | 0 | -186473 lb | 0 0 0.00 | 1362.90/1363.29 c | 1363.30 | 0 | -186472 lb | 0 0 0.00 | 1366.30/1366.66 c | 1366.66 | 0 | -186471 lb | 0 0 0.00 | 1368.60/1368.99 c | 1368.99 | 0 | -186470 lb | 0 0 0.00 | 1371.41/1371.75 c | 1371.76 | 0 | -186469 lb | 0 0 0.00 | 1373.40/1373.71 c | 1373.71 | 0 | -186468 lb | 0 0 0.00 | 1375.19/1375.57 c | 1375.57 | 0 | -186462 lb | 0 0 0.00 | 1379.40/1379.80 c | 1379.80 | 0 | -186461 lb | 0 0 0.00 | 1382.70/1383.01 c | 1383.01 | 0 | -186460 lb | 0 0 0.00 | 1385.09/1385.40 c | 1385.40 | 0 | -186459 lb | 0 0 0.00 | 1387.49/1387.86 c | 1387.87 | 0 | -186458 lb | 0 0 0.00 | 1392.69/1393.04 c | 1393.04 | 0 | -186457 lb | 0 0 0.00 | 1399.39/1399.70 c | 1399.71 | 0 | -186456 lb | 0 0 0.00 | 1401.30/1401.62 c | 1401.62 | 0 | -186451 lb | 0 0 0.00 | 1403.30/1403.69 c | 1403.70 | 0 | -186450 lb | 0 0 0.00 | 1406.29/1406.63 c | 1406.64 | 0 | -186449 lb | 0 0 0.00 | 1409.69/1410.09 c | 1410.09 | 0 | -186448 lb | 0 0 0.00 | 1412.10/1412.47 c | 1412.48 | 0 | -186447 lb | 0 0 0.00 | 1415.69/1416.10 c | 1416.10 | 0 | -186446 lb | 0 0 0.00 | 1417.19/1417.54 c | 1417.54 | 0 | -186445 lb | 0 0 0.00 | 1418.99/1419.31 c | 1419.31 | 0 | -186444 lb | 0 0 0.00 | 1421.29/1421.66 c | 1421.66 | 0 | -186443 lb | 0 0 0.00 | 1424.69/1425.00 c | 1425.01 | 0 | -186442 lb | 0 0 0.00 | 1427.69/1428.03 c | 1428.03 | 0 | -186441 lb | 0 0 0.00 | 1430.98/1431.36 c | 1431.36 | 0 | -186440 lb | 0 0 0.00 | 1434.59/1434.92 c | 1434.92 | 0 | -186439 lb | 0 0 0.00 | 1437.79/1438.18 c | 1438.18 | 0 | -186438 lb | 0 0 0.00 | 1440.79/1441.19 c | 1441.19 | 0 | -186437 lb | 0 0 0.00 | 1442.99/1443.30 c | 1443.30 | 0 | -186436 lb | 0 0 0.00 | 1446.10/1446.46 c | 1446.46 | 0 | -186435 lb | 0 0 0.00 | 1449.68/1450.07 c | 1450.08 | 0 | -186434 lb | 0 0 0.00 | 1453.08/1453.44 c | 1453.44 | 0 | -186433 lb | 0 0 0.00 | 1456.19/1456.55 c | 1456.55 | 0 | -186432 lb | 0 0 0.00 | 1459.29/1459.66 c | 1459.67 | 0 | -186431 lb | 0 0 0.00 | 1460.58/1460.97 c | 1460.97 | 0 | -186430 lb | 0 0 0.00 | 1464.58/1464.93 c | 1464.93 | 0 | -186429 lb | 0 0 0.00 | 1467.58/1467.99 c | 1467.99 | 0 | -186428 lb | 0 0 0.00 | 1469.38/1469.71 c | 1469.71 | 0 | -186427 lb | 0 0 0.00 | 1470.68/1471.08 c | 1471.08 | 0 | -186426 lb | 0 0 0.00 | 1472.08/1472.40 c | 1472.40 | 0 | -186425 lb | 0 0 0.00 | 1473.88/1474.25 c | 1474.26 | 0 | -186424 lb | 0 0 0.00 | 1477.28/1477.68 c | 1477.68 | 0 | -186423 lb | 0 0 0.00 | 1480.38/1480.72 c | 1480.72 | 0 | -186422 lb | 0 0 0.00 | 1485.18/1485.59 c | 1485.60 | 0 | -186421 lb | 0 0 0.00 | 1487.28/1487.67 c | 1487.68 | 0 | -186420 lb | 0 0 0.00 | 1491.48/1491.84 c | 1491.84 | 0 | -186419 lb | 0 0 0.00 | 1494.08/1494.43 c | 1494.43 | 0 | -186418 lb | 0 0 0.00 | 1497.28/1497.68 c | 1497.68 | 0 | -186417 lb | 0 0 0.00 | 1500.88/1501.25 c | 1501.26 | 0 | -186416 lb | 0 0 0.00 | 1504.17/1504.57 c | 1504.57 | 0 | -186415 lb | 0 0 0.00 | 1507.28/1507.61 c | 1507.61 | 0 | -186414 lb | 0 0 0.00 | 1510.88/1511.28 c | 1511.29 | 0 | -186413 lb | 0 0 0.00 | 1513.29/1513.65 c | 1513.65 | 0 | -186412 lb | 0 0 0.00 | 1514.87/1515.21 c | 1515.22 | 0 | -186306 lb | 0 0 0.00 | 1517.68/1518.04 c | 1518.04 | 0 | -186305 lb | 0 0 0.00 | 1519.37/1519.71 c | 1519.71 | 0 | -186304 lb | 0 0 0.00 | 1521.07/1521.44 c | 1521.44 | 0 | -186216 lb | 0 0 0.00 | 1522.37/1522.79 c | 1522.80 | 0 | -186215 lb | 0 0 0.00 | 1525.47/1525.87 c | 1525.87 | 0 | -186214 lb | 0 0 0.00 | 1527.28/1527.67 c | 1527.67 | 0 | -186213 lb | 0 0 0.00 | 1529.58/1529.90 c | 1529.90 | 0 | -186212 lb | 0 0 0.00 | 1531.48/1531.82 c | 1531.82 | 0 | -186211 lb | 0 0 0.00 | 1533.18/1533.56 c | 1533.56 | 0 | -186210 lb | 0 0 0.00 | 1534.67/1535.02 c | 1535.02 | 0 | -186209 lb | 0 0 0.00 | 1536.07/1536.42 c | 1536.42 | 0 | -186208 lb | 0 0 0.00 | 1537.18/1537.59 c | 1537.60 | 0 | -186207 lb | 0 0 0.00 | 1539.28/1539.60 c | 1539.61 | 0 | -186206 lb | 0 0 0.00 | 1540.78/1541.14 c | 1541.14 | 0 | -186205 lb | 0 0 0.00 | 1541.97/1542.34 c | 1542.34 | 0 | -186204 lb | 0 0 0.00 | 1543.87/1544.21 c | 1544.21 | 0 | -186203 lb | 0 0 0.00 | 1545.97/1546.33 c | 1546.34 | 0 | -186202 lb | 0 0 0.00 | 1547.67/1548.02 c | 1548.02 | 0 | -186201 lb | 0 0 0.00 | 1550.58/1550.91 c | 1550.92 | 0 | -186200 lb | 0 0 0.00 | 1552.67/1553.07 c | 1553.07 | 0 | -186199 lb | 0 0 0.00 | 1556.07/1556.44 c | 1556.44 | 0 | -186198 lb | 0 0 0.00 | 1558.57/1558.97 c | 1558.97 | 0 | -186197 lb | 0 0 0.00 | 1561.37/1561.79 c | 1561.80 | 0 | -186196 lb | 0 0 0.00 | 1562.78/1563.18 c | 1563.19 | 0 | -186195 lb | 0 0 0.00 | 1564.17/1564.51 c | 1564.52 | 0 | -186194 lb | 0 0 0.00 | 1567.87/1568.28 c | 1568.29 | 0 | -186193 lb | 0 0 0.00 | 1570.48/1570.87 c | 1570.87 | 0 | -186192 lb | 0 0 0.00 | 1572.37/1572.77 c | 1572.77 | 0 | -186191 lb | 0 0 0.00 | 1574.06/1574.49 c | 1574.50 | 0 | -186190 lb | 0 0 0.00 | 1576.86/1577.26 c | 1577.27 | 0 | -186189 lb | 0 0 0.00 | 1580.38/1580.72 c | 1580.73 | 0 | -186188 lb | 0 0 0.00 | 1582.87/1583.29 c | 1583.29 | 0 | -186187 lb | 0 0 0.00 | 1585.37/1585.79 c | 1585.79 | 0 | -186186 lb | 0 0 0.00 | 1589.96/1590.32 c | 1590.32 | 0 | -186185 lb | 0 0 0.00 | 1591.76/1592.16 c | 1592.16 | 0 | -186184 lb | 0 0 0.00 | 1593.06/1593.46 c | 1593.46 | 0 | -186183 lb | 0 0 0.00 | 1594.57/1594.94 c | 1594.94 | 0 | -186182 lb | 0 0 0.00 | 1595.97/1596.34 c | 1596.34 | 0 | -186181 lb | 0 0 0.00 | 1598.56/1598.91 c | 1598.91 | 0 | -186180 lb | 0 0 0.00 | 1601.96/1602.38 c | 1602.38 | 0 | -186179 lb | 0 0 0.00 | 1604.96/1605.36 c | 1605.36 | 0 | -186178 lb | 0 0 0.00 | 1606.56/1606.96 c | 1606.97 | 0 | -186177 lb | 0 0 0.00 | 1608.97/1609.31 c | 1609.31 | 0 | -186176 lb | 0 0 0.00 | 1611.37/1611.78 c | 1611.79 | 0 | -186175 lb | 0 0 0.00 | 1614.47/1614.82 c | 1614.82 | 0 | -186174 lb | 0 0 0.00 | 1617.36/1617.72 c | 1617.72 | 0 | -186173 lb | 0 0 0.00 | 1620.26/1620.62 c | 1620.63 | 0 | -186172 lb | 0 0 0.00 | 1624.76/1625.14 c | 1625.14 | 0 | -186171 lb | 0 0 0.00 | 1626.57/1626.95 c | 1626.95 | 0 | -186170 lb | 0 0 0.00 | 1631.36/1631.71 c | 1631.71 | 0 | -186169 lb | 0 0 0.00 | 1632.76/1633.13 c | 1633.14 | 0 | -186168 lb | 0 0 0.00 | 1634.36/1634.71 c | 1634.71 | 0 | -186167 lb | 0 0 0.00 | 1637.05/1637.48 c | 1637.49 | 0 | -186166 lb | 0 0 0.00 | 1638.66/1639.06 c | 1639.06 | 0 | -186165 lb | 0 0 0.00 | 1642.06/1642.45 c | 1642.45 | 0 | -186164 lb | 0 0 0.00 | 1644.56/1644.92 c | 1644.92 | 0 | -186163 lb | 0 0 0.00 | 1648.76/1649.12 c | 1649.13 | 0 | -186162 lb | 0 0 0.00 | 1651.76/1652.13 c | 1652.13 | 0 | -186161 lb | 0 0 0.00 | 1655.65/1656.07 c | 1656.08 | 0 | -186160 lb | 0 0 0.00 | 1657.26/1657.63 c | 1657.64 | 0 | -186159 lb | 0 0 0.00 | 1659.95/1660.39 c | 1660.39 | 0 | -186158 lb | 0 0 0.00 | 1661.76/1662.18 c | 1662.18 | 0 | -186157 lb | 0 0 0.00 | 1664.06/1664.46 c | 1664.47 | 0 | -186156 lb | 0 0 0.00 | 1666.85/1667.20 c | 1667.21 | 0 | -186155 lb | 0 0 0.00 | 1669.66/1670.06 c | 1670.06 | 0 | -186154 lb | 0 0 0.00 | 1671.56/1671.97 c | 1671.97 | 0 | -186153 lb | 0 0 0.00 | 1673.55/1673.97 c | 1673.97 | 0 | -186152 lb | 0 0 0.00 | 1675.15/1675.54 c | 1675.55 | 0 | -186151 lb | 0 0 0.00 | 1677.54/1677.97 c | 1677.97 | 0 | -186150 lb | 0 0 0.00 | 1679.35/1679.74 c | 1679.75 | 0 | -186149 lb | 0 0 0.00 | 1681.45/1681.85 c | 1681.85 | 0 | -186148 lb | 0 0 0.00 | 1684.94/1685.30 c | 1685.31 | 0 | -186147 lb | 0 0 0.00 | 1687.14/1687.54 c | 1687.55 | 0 | -186146 lb | 0 0 0.00 | 1690.54/1690.94 c | 1690.94 | 0 | -186145 lb | 0 0 0.00 | 1692.85/1693.29 c | 1693.30 | 0 | -186144 lb | 0 0 0.00 | 1695.04/1695.41 c | 1695.41 | 0 | -186143 lb | 0 0 0.00 | 1696.85/1697.21 c | 1697.21 | 0 | -186142 lb | 0 0 0.00 | 1698.85/1699.20 c | 1699.21 | 0 | -186141 lb | 0 0 0.00 | 1700.74/1701.10 c | 1701.11 | 0 | -186140 lb | 0 0 0.00 | 1704.04/1704.40 c | 1704.40 | 0 | -186139 lb | 0 0 0.00 | 1705.54/1705.99 c | 1705.99 | 0 | -186138 lb | 0 0 0.00 | 1707.14/1707.58 c | 1707.59 | 0 | -186137 lb | 0 0 0.00 | 1708.95/1709.32 c | 1709.33 | 0 | -186136 lb | 0 0 0.00 | 1710.84/1711.22 c | 1711.23 | 0 | -186133 lb | 0 0 0.00 | 1712.64/1713.08 c | 1713.08 | 0 | -186132 lb | 0 0 0.00 | 1715.65/1716.04 c | 1716.05 | 0 | -186131 lb | 0 0 0.00 | 1718.04/1718.44 c | 1718.45 | 0 | -186130 lb | 0 0 0.00 | 1719.64/1720.03 c | 1720.03 | 0 | -186129 lb | 0 0 0.00 | 1721.84/1722.24 c | 1722.24 | 0 | -186128 lb | 0 0 0.00 | 1723.74/1724.14 c | 1724.14 | 0 | -186127 lb | 0 0 0.00 | 1725.54/1725.91 c | 1725.91 | 0 | -186126 lb | 0 0 0.00 | 1728.75/1729.19 c | 1729.19 | 0 | -186125 lb | 0 0 0.00 | 1731.64/1732.00 c | 1732.01 | 0 | -186124 lb | 0 0 0.00 | 1733.63/1734.00 c | 1734.01 | 0 | -186123 lb | 0 0 0.00 | 1736.33/1736.74 c | 1736.74 | 0 | -186122 lb | 0 0 0.00 | 1737.93/1738.35 c | 1738.36 | 0 | -186121 lb | 0 0 0.00 | 1740.63/1741.06 c | 1741.06 | 0 | -186120 lb | 0 0 0.00 | 1742.33/1742.73 c | 1742.73 | 0 | -186119 lb | 0 0 0.00 | 1744.63/1745.00 c | 1745.01 | 0 | -186118 lb | 0 0 0.00 | 1746.52/1746.94 c | 1746.94 | 0 | -186117 lb | 0 0 0.00 | 1750.03/1750.46 c | 1750.46 | 0 | -186116 lb | 0 0 0.00 | 1754.22/1754.61 c | 1754.61 | 0 | -186115 lb | 0 0 0.00 | 1758.22/1758.64 c | 1758.64 | 0 | -186114 lb | 0 0 0.00 | 1761.74/1762.19 c | 1762.19 | 0 | -186113 lb | 0 0 0.00 | 1764.23/1764.68 c | 1764.68 | 0 | -186112 lb | 0 0 0.00 | 1765.93/1766.34 c | 1766.35 | 0 | -186111 lb | 0 0 0.00 | 1768.43/1768.88 c | 1768.88 | 0 | -186110 lb | 0 0 0.00 | 1772.83/1773.22 c | 1773.23 | 0 | -186109 lb | 0 0 0.00 | 1775.03/1775.44 c | 1775.44 | 0 | -186108 lb | 0 0 0.00 | 1776.62/1777.04 c | 1777.04 | 0 | -186107 lb | 0 0 0.00 | 1780.82/1781.21 c | 1781.21 | 0 | -186106 lb | 0 0 0.00 | 1783.12/1783.59 c | 1783.59 | 0 | -186105 lb | 0 0 0.00 | 1785.32/1785.78 c | 1785.78 | 0 | -186104 lb | 0 0 0.00 | 1789.62/1790.06 c | 1790.07 | 0 | -186103 lb | 0 0 0.00 | 1793.01/1793.48 c | 1793.48 | 0 | -186102 lb | 0 0 0.00 | 1795.11/1795.51 c | 1795.51 | 0 | -186101 lb | 0 0 0.00 | 1799.01/1799.44 c | 1799.44 | 0 | -186100 lb | 0 0 0.00 | 1800.02/1800.41 c =============================================================================== 1800.02/1800.41 c Wall Clock Time: 1800.41 s 1800.02/1800.41 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-3705585-1338160488/watcher-3705585-1338160488 -o /tmp/evaluation-result-3705585-1338160488/solver-3705585-1338160488 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705585-1338160488.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/175 22807 /proc/meminfo: memFree=30379024/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=31820 CPUtime=0 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) R 22805 22807 22647 0 -1 4202496 589 0 0 0 0 0 0 0 20 0 1 0 282175833 32583680 542 33554432000 4194304 5963574 140736246339840 140737169933448 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 7955 542 175 432 0 627 0 [startup+0.059564 s] /proc/loadavg: 2.00 2.00 2.00 3/175 22807 /proc/meminfo: memFree=30379024/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=38580 CPUtime=0.05 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) R 22805 22807 22647 0 -1 4202496 2427 0 0 0 5 0 0 0 20 0 1 0 282175833 39505920 2331 33554432000 4194304 5963574 140736246339840 140737169933448 5130066 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 9645 2331 352 432 0 2317 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 38580 [startup+0.100305 s] /proc/loadavg: 2.00 2.00 2.00 3/175 22807 /proc/meminfo: memFree=30379024/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=42376 CPUtime=0.09 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) R 22805 22807 22647 0 -1 4202496 3392 0 0 0 9 0 0 0 20 0 1 0 282175833 43393024 3231 33554432000 4194304 5963574 140736246339840 140737169933448 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 10594 3232 491 432 0 3266 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42376 [startup+0.300235 s] /proc/loadavg: 2.00 2.00 2.00 3/175 22807 /proc/meminfo: memFree=30379024/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=53668 CPUtime=0.29 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) R 22805 22807 22647 0 -1 4202496 7007 0 0 0 28 1 0 0 20 0 1 0 282175833 54956032 6710 33554432000 4194304 5963574 140736246339840 140737169933448 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 13417 6714 1082 432 0 6089 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53668 [startup+0.700246 s] /proc/loadavg: 2.00 2.00 2.00 3/175 22807 /proc/meminfo: memFree=30379024/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=86264 CPUtime=0.69 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) R 22805 22807 22647 0 -1 4202496 16089 0 0 0 67 2 0 0 20 0 1 0 282175833 88334336 15133 33554432000 4194304 5963574 140736246339840 140736246337720 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 21566 15134 2237 432 0 14238 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86264 [startup+1.50027 s] /proc/loadavg: 2.00 2.00 2.00 3/176 22808 /proc/meminfo: memFree=30237712/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=135068 CPUtime=1.48 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) R 22805 22807 22647 0 -1 4202496 28977 0 0 0 144 4 0 0 20 0 1 0 282175833 138309632 29010 33554432000 4194304 5963574 140736246339840 140736246338184 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 33767 29010 4014 432 0 26439 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 135068 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/176 22808 /proc/meminfo: memFree=30111176/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=293128 CPUtime=3.09 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 52766 0 0 0 300 9 0 0 20 0 2 0 282175833 300163072 51467 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 73282 51467 177 432 0 72847 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 293128 [startup+6.30037 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22810 /proc/meminfo: memFree=29398284/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=565648 CPUtime=6.28 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 109724 0 0 0 606 22 0 0 20 0 2 0 282175833 579223552 121061 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 141412 121061 194 432 0 140977 0 [pid=22807/tid=22810] ppid=22805 vsize=565648 CPUtime=3.22 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 62894 0 0 0 308 14 0 0 20 0 2 0 282176139 579223552 121061 33554432000 4194304 5963574 140736246339840 140345653066024 5130053 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 565648 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 22810 /proc/meminfo: memFree=29352944/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=565648 CPUtime=12.68 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 114961 0 0 0 1243 25 0 0 20 0 2 0 282175833 579223552 129092 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 141412 129092 197 432 0 140977 0 [pid=22807/tid=22810] ppid=22805 vsize=565648 CPUtime=9.63 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 68131 0 0 0 945 18 0 0 20 0 2 0 282176139 579223552 129092 33554432000 4194304 5963574 140736246339840 140345653066264 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 565648 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22811 /proc/meminfo: memFree=29306384/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=565648 CPUtime=25.48 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 116893 0 0 0 2522 26 0 0 20 0 2 0 282175833 579223552 131726 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 141412 131726 197 432 0 140977 0 [pid=22807/tid=22810] ppid=22805 vsize=565648 CPUtime=22.43 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 70063 0 0 0 2224 19 0 0 20 0 2 0 282176139 579223552 131726 33554432000 4194304 5963574 140736246339840 140345653066072 4403234 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 565648 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22811 /proc/meminfo: memFree=29272340/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=565648 CPUtime=51.07 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 117168 0 0 0 5080 27 0 0 20 0 2 0 282175833 579223552 132999 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 141412 132999 197 432 0 140977 0 [pid=22807/tid=22810] ppid=22805 vsize=565648 CPUtime=48.03 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 70338 0 0 0 4783 20 0 0 20 0 2 0 282176139 579223552 132999 33554432000 4194304 5963574 140736246339840 140345653066568 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 565648 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22811 /proc/meminfo: memFree=29221232/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=631184 CPUtime=102.28 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 120705 0 0 0 10198 30 0 0 20 0 2 0 282175833 646332416 144879 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 157796 144879 197 432 0 157361 0 [pid=22807/tid=22810] ppid=22805 vsize=631184 CPUtime=99.24 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 73875 0 0 0 9900 24 0 0 20 0 2 0 282176139 646332416 144879 33554432000 4194304 5963574 140736246339840 140345653066264 4388665 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 631184 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22811 /proc/meminfo: memFree=29192232/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=696720 CPUtime=162.26 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 123651 0 0 0 16192 34 0 0 20 0 2 0 282175833 713441280 148499 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 174180 148499 197 432 0 173745 0 [pid=22807/tid=22810] ppid=22805 vsize=696720 CPUtime=159.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 76821 0 0 0 15894 29 0 0 20 0 2 0 282176139 713441280 148499 33554432000 4194304 5963574 140736246339840 140345653066264 4387487 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 696720 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22811 /proc/meminfo: memFree=29151368/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=696840 CPUtime=222.25 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 147706 0 0 0 22179 46 0 0 20 0 2 0 282175833 713564160 161669 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 174210 161669 197 432 0 173775 0 [pid=22807/tid=22810] ppid=22805 vsize=696840 CPUtime=219.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 100876 0 0 0 21881 42 0 0 20 0 2 0 282176139 713564160 161669 33554432000 4194304 5963574 140736246339840 140345653066568 4388374 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 696840 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22812 /proc/meminfo: memFree=29008568/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=860800 CPUtime=282.25 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 156848 0 0 0 28173 52 0 0 20 0 2 0 282175833 881459200 196040 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 215200 196040 197 432 0 214765 0 [pid=22807/tid=22810] ppid=22805 vsize=860800 CPUtime=279.24 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 110018 0 0 0 27876 48 0 0 20 0 2 0 282176139 881459200 196040 33554432000 4194304 5963574 140736246339840 140345653066056 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 860800 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 22815 /proc/meminfo: memFree=28937272/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=893448 CPUtime=342.23 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 180643 0 0 0 34157 66 0 0 20 0 2 0 282175833 914890752 202409 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 223362 202409 197 432 0 222927 0 [pid=22807/tid=22810] ppid=22805 vsize=893448 CPUtime=339.24 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 133813 0 0 0 33860 64 0 0 20 0 2 0 282176139 914890752 202409 33554432000 4194304 5963574 140736246339840 140345653066072 5121619 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 893448 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22815 /proc/meminfo: memFree=28787864/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=1040924 CPUtime=402.22 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 197229 0 0 0 40140 82 0 0 20 0 2 0 282175833 1065906176 237197 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 260231 237197 197 432 0 259796 0 [pid=22807/tid=22810] ppid=22805 vsize=1040924 CPUtime=399.24 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 150399 0 0 0 39843 81 0 0 20 0 2 0 282176139 1065906176 237197 33554432000 4194304 5963574 140736246339840 140345653066264 5138318 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 1040924 [startup+462.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 22815 /proc/meminfo: memFree=28626912/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=1090056 CPUtime=462.21 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 220638 0 0 0 46127 94 0 0 20 0 2 0 282175833 1116217344 241915 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 272514 241915 197 432 0 272079 0 [pid=22807/tid=22810] ppid=22805 vsize=1090056 CPUtime=459.24 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 173808 0 0 0 45831 93 0 0 20 0 2 0 282176139 1116217344 241915 33554432000 4194304 5963574 140736246339840 140345653066264 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 ################ # More data... # ################ [pid=22807] ppid=22805 vsize=1761820 CPUtime=1002.05 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 374508 0 0 0 100031 174 0 0 20 0 2 0 282175833 1804103680 401603 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 440455 401603 197 432 0 440020 0 [pid=22807/tid=22810] ppid=22805 vsize=1761820 CPUtime=999.2 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 327678 0 0 0 99738 182 0 0 20 0 2 0 282176139 1804103680 401603 33554432000 4194304 5963574 140736246339840 140345653066072 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1761820 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22820 /proc/meminfo: memFree=27790404/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=1827356 CPUtime=1062.04 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 390661 0 0 0 106022 182 0 0 20 0 2 0 282175833 1871212544 414572 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 456839 414572 197 432 0 456404 0 [pid=22807/tid=22810] ppid=22805 vsize=1827356 CPUtime=1059.2 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 343831 0 0 0 105729 191 0 0 20 0 2 0 282176139 1871212544 414572 33554432000 4194304 5963574 140736246339840 140345653066024 5121576 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1827356 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22820 /proc/meminfo: memFree=27724044/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=1810952 CPUtime=1122.04 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 395911 0 0 0 112016 188 0 0 20 0 2 0 282175833 1854414848 414765 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 452738 414765 197 432 0 452303 0 [pid=22807/tid=22810] ppid=22805 vsize=1810952 CPUtime=1119.21 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 349081 0 0 0 111724 197 0 0 20 0 2 0 282176139 1854414848 414765 33554432000 4194304 5963574 140736246339840 140345653066520 4403084 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 1810952 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22820 /proc/meminfo: memFree=27643200/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=1942024 CPUtime=1182.03 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 410378 0 0 0 118008 195 0 0 20 0 2 0 282175833 1988632576 434908 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 485506 434908 197 432 0 485071 0 [pid=22807/tid=22810] ppid=22805 vsize=1942024 CPUtime=1179.21 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 363548 0 0 0 117717 204 0 0 20 0 2 0 282176139 1988632576 434908 33554432000 4194304 5963574 140736246339840 140345653066568 4399952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 1942024 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 22822 /proc/meminfo: memFree=27592784/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=1938456 CPUtime=1242.02 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 421273 0 0 0 123999 203 0 0 20 0 2 0 282175833 1984978944 447648 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 484614 447648 197 432 0 484179 0 [pid=22807/tid=22810] ppid=22805 vsize=1938456 CPUtime=1239.21 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 374443 0 0 0 123707 214 0 0 20 0 2 0 282176139 1984978944 447648 33554432000 4194304 5963574 140736246339840 140345653066024 4399468 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1938456 [startup+1302.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 22822 /proc/meminfo: memFree=27539108/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2007560 CPUtime=1302.02 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 433832 0 0 0 129991 211 0 0 20 0 2 0 282175833 2055741440 456791 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 501890 456791 197 432 0 501455 0 [pid=22807/tid=22810] ppid=22805 vsize=2007560 CPUtime=1299.22 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 387002 0 0 0 129700 222 0 0 20 0 2 0 282176139 2055741440 456791 33554432000 4194304 5963574 140736246339840 140345653066072 4422115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 2007560 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 22822 /proc/meminfo: memFree=27440260/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2089500 CPUtime=1362 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 451192 0 0 0 135981 219 0 0 20 0 2 0 282175833 2139648000 478465 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 522375 478465 197 432 0 521940 0 [pid=22807/tid=22810] ppid=22805 vsize=2089500 CPUtime=1359.22 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 404362 0 0 0 135691 231 0 0 20 0 2 0 282176139 2139648000 478465 33554432000 4194304 5963574 140736246339840 140345653066072 4388706 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 2089500 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22822 /proc/meminfo: memFree=27425736/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2155036 CPUtime=1422 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 460002 0 0 0 141976 224 0 0 20 0 2 0 282175833 2206756864 485600 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 538759 485600 197 432 0 538324 0 [pid=22807/tid=22810] ppid=22805 vsize=2155036 CPUtime=1419.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 413172 0 0 0 141685 238 0 0 20 0 2 0 282176139 2206756864 485600 33554432000 4194304 5963574 140736246339840 140345653066568 5121510 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 2155036 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22822 /proc/meminfo: memFree=27364304/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2220572 CPUtime=1481.98 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 467157 0 0 0 147969 229 0 0 20 0 2 0 282175833 2273865728 500960 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 555143 500960 197 432 0 554708 0 [pid=22807/tid=22810] ppid=22805 vsize=2220572 CPUtime=1479.22 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 420327 0 0 0 147678 244 0 0 20 0 2 0 282176139 2273865728 500960 33554432000 4194304 5963574 140736246339840 140345653066024 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 2220572 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 22826 /proc/meminfo: memFree=27331096/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2220572 CPUtime=1541.97 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 474603 0 0 0 153963 234 0 0 20 0 2 0 282175833 2273865728 509229 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 555143 509229 197 432 0 554708 0 [pid=22807/tid=22810] ppid=22805 vsize=2220572 CPUtime=1539.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 427773 0 0 0 153673 250 0 0 20 0 2 0 282176139 2273865728 509229 33554432000 4194304 5963574 140736246339840 140345653066264 4403067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 2220572 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22826 /proc/meminfo: memFree=27276188/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2286108 CPUtime=1601.96 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 481232 0 0 0 159958 238 0 0 20 0 2 0 282175833 2340974592 522869 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 571527 522869 197 432 0 571092 0 [pid=22807/tid=22810] ppid=22805 vsize=2286108 CPUtime=1599.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 434402 0 0 0 159668 255 0 0 20 0 2 0 282176139 2340974592 522869 33554432000 4194304 5963574 140736246339840 140345653066568 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 2286108 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22826 /proc/meminfo: memFree=27216160/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2400776 CPUtime=1661.96 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 486086 0 0 0 165952 244 0 0 20 0 2 0 282175833 2458394624 538050 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 600194 538050 197 432 0 599759 0 [pid=22807/tid=22810] ppid=22805 vsize=2400776 CPUtime=1659.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 439256 0 0 0 165662 261 0 0 20 0 2 0 282176139 2458394624 538050 33554432000 4194304 5963574 140736246339840 140345653066024 4221056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 2400776 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22826 /proc/meminfo: memFree=27146824/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2466312 CPUtime=1721.94 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 504310 0 0 0 171940 254 0 0 20 0 2 0 282175833 2525503488 559388 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 616578 559388 197 432 0 616143 0 [pid=22807/tid=22810] ppid=22805 vsize=2466312 CPUtime=1719.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 457480 0 0 0 171650 273 0 0 20 0 2 0 282176139 2525503488 559388 33554432000 4194304 5963574 140736246339840 140345653066136 4444972 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 2466312 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22826 /proc/meminfo: memFree=27023260/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2531848 CPUtime=1781.92 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 516769 0 0 0 177930 262 0 0 20 0 2 0 282175833 2592612352 574972 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 632962 574972 197 432 0 632527 0 [pid=22807/tid=22810] ppid=22805 vsize=2531848 CPUtime=1779.23 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 469939 0 0 0 177642 281 0 0 20 0 2 0 282176139 2592612352 574972 33554432000 4194304 5963574 140736246339840 140345653066072 5133538 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.92 Current children cumulated vsize (KiB) 2531848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.07 2.02 2.00 3/175 22854 /proc/meminfo: memFree=28077404/32873844 swapFree=7108/7108 [pid=22807] ppid=22805 vsize=2531848 CPUtime=1800.02 cores=1,3,5,7 /proc/22807/stat : 22807 (wbo1.7) S 22805 22807 22647 0 -1 4202496 520106 0 0 0 179739 263 0 0 20 0 2 0 282175833 2592612352 580363 33554432000 4194304 5963574 140736246339840 140736246339360 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22807/statm: 632962 580363 197 432 0 632527 0 [pid=22807/tid=22810] ppid=22805 vsize=2531848 CPUtime=1797.33 cores=1,3,5,7 /proc/22807/task/22810/stat : 22810 (wbo1.7) R 22805 22807 22647 0 -1 4202560 473276 0 0 0 179450 283 0 0 20 0 2 0 282176139 2592612352 580363 33554432000 4194304 5963574 140736246339840 140345653066072 5121576 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 2531848 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.45 CPU time (s): 1800.44 CPU user time (s): 1797.48 CPU system time (s): 2.96255 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 2531848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.48 system time used= 2.96255 maximum resident set size= 2321456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 520107 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= 113 involuntary context switches= 1839 runsolver used 3.35949 second user time and 11.1653 second system time The end
Begin job on node111 at 2012-05-28 01:14:49 IDJOB=3705585 IDBENCH=90912 IDSOLVER=2283 FILE ID=node111/3705585-1338160488 RUNJOBID= node111-1338158687-22664 PBS_JOBID= 14624545 Free space on /tmp= 71620 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705585-1338160488/watcher-3705585-1338160488 -o /tmp/evaluation-result-3705585-1338160488/solver-3705585-1338160488 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705585-1338160488.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a1c8f87e33a217e9c288dbd99c4ff21b RANDOM SEED=192887540 node111.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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.30 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.152 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.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30381040 kB Buffers: 501488 kB Cached: 1129204 kB SwapCached: 1668 kB Active: 731184 kB Inactive: 912596 kB Active(anon): 4792 kB Inactive(anon): 9132 kB Active(file): 726392 kB Inactive(file): 903464 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67105320 kB Dirty: 65920 kB Writeback: 0 kB AnonPages: 17544 kB Mapped: 14452 kB Shmem: 8 kB Slab: 709216 kB SReclaimable: 151328 kB SUnreclaim: 557888 kB KernelStack: 1440 kB PageTables: 3720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 128056 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71616 MiB End job on node111 at 2012-05-28 01:44:51