| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.59 | 1800.01 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-my_adder.opb |
| MD5SUM | 38f65eab3d9896915eed9a127435e25b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4561 |
| Best CPU time to get the best result obtained on this benchmark | 0.174972 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4561 |
| Optimality of the best value was proved | YES |
| Number of variables | 577 |
| Total number of constraints | 1322 |
| Number of constraints which are clauses | 1306 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 577 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 24510 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 24510 |
| Number of bits of the biggest sum of numbers | 15 |
| 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-3727377-1338655133.opb. 0.00/0.00 c Instance file HOME/instance-3727377-1338655133.opb 0.00/0.00 c File size is 53759 bytes. 0.00/0.00 c Cost Offset: 0 0.00/0.00 c Highest Coefficient sum: 19 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 577 | 0.00/0.00 c | Number Clauses: 1322 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c | | 0.00/0.00 c | Problem Type: Optimization | 0.00/0.00 c | Objective Function: PB Constraint | 0.00/0.00 c | | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Time (s) | ID | Bound | Shared Clauses | 0.00/0.00 c | | | value type | expCls impCls Lit/impCl | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0.01 | 0 | 42 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 50 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 51 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 93 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 101 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 102 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 144 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 152 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 153 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 195 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 203 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 204 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 246 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 254 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 255 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 297 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 305 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 306 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 348 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 356 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 357 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 399 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 407 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 408 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 450 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 458 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 459 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 501 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 509 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 510 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 552 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 560 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 561 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 603 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 611 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 612 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 654 lb | 0 0 0.00 | 0.02/0.03 c | 0.03 | 0 | 662 lb | 0 0 0.00 | 0.02/0.03 c | 0.03 | 0 | 663 lb | 0 0 0.00 | 0.02/0.03 c | 0.03 | 0 | 705 lb | 0 0 0.00 | 0.02/0.03 c | 0.03 | 0 | 713 lb | 0 0 0.00 | 0.02/0.03 c | 0.04 | 0 | 714 lb | 0 0 0.00 | 0.02/0.03 c | 0.04 | 0 | 756 lb | 0 0 0.00 | 0.02/0.03 c | 0.04 | 0 | 764 lb | 0 0 0.00 | 0.02/0.03 c | 0.04 | 0 | 765 lb | 0 0 0.00 | 0.02/0.03 c | 0.04 | 0 | 807 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 815 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 816 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 850 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 864 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 890 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 912 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 946 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 960 lb | 0 0 0.00 | 0.02/0.04 c | 0.04 | 0 | 994 lb | 0 0 0.00 | 0.02/0.04 c | 0.05 | 0 | 1008 lb | 0 0 0.00 | 0.02/0.04 c | 0.05 | 0 | 1042 lb | 0 0 0.00 | 0.02/0.04 c | 0.05 | 0 | 1056 lb | 0 0 0.00 | 0.02/0.04 c | 0.05 | 0 | 1090 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1104 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1138 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1152 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1186 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1200 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1234 lb | 0 0 0.00 | 0.02/0.05 c | 0.05 | 0 | 1248 lb | 0 0 0.00 | 0.02/0.05 c | 0.06 | 0 | 1282 lb | 0 0 0.00 | 0.02/0.05 c | 0.06 | 0 | 1296 lb | 0 0 0.00 | 0.02/0.05 c | 0.06 | 0 | 1330 lb | 0 0 0.00 | 0.02/0.05 c | 0.06 | 0 | 1344 lb | 0 0 0.00 | 0.02/0.05 c | 0.06 | 0 | 1378 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1392 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1426 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1440 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1474 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1488 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1522 lb | 0 0 0.00 | 0.02/0.06 c | 0.06 | 0 | 1536 lb | 0 0 0.00 | 0.02/0.06 c | 0.07 | 0 | 1570 lb | 0 0 0.00 | 0.02/0.06 c | 0.07 | 0 | 1587 lb | 0 0 0.00 | 0.02/0.06 c | 0.07 | 0 | 1595 lb | 0 0 0.00 | 0.02/0.06 c | 0.07 | 0 | 1628 lb | 0 0 0.00 | 0.02/0.06 c | 0.07 | 0 | 1646 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1663 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1672 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1675 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1692 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1701 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1704 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1721 lb | 0 0 0.00 | 0.02/0.07 c | 0.07 | 0 | 1730 lb | 0 0 0.00 | 0.02/0.07 c | 0.08 | 0 | 1733 lb | 0 0 0.00 | 0.02/0.07 c | 0.08 | 0 | 1750 lb | 0 0 0.00 | 0.02/0.07 c | 0.08 | 0 | 1759 lb | 0 0 0.00 | 0.02/0.08 c | 0.08 | 0 | 1762 lb | 0 0 0.00 | 0.02/0.08 c | 0.08 | 0 | 1779 lb | 0 0 0.00 | 0.02/0.08 c | 0.08 | 0 | 1788 lb | 0 0 0.00 | 0.02/0.08 c | 0.08 | 0 | 1791 lb | 0 0 0.00 | 0.02/0.08 c | 0.08 | 0 | 1808 lb | 0 0 0.00 | 0.02/0.08 c | 0.08 | 0 | 1817 lb | 0 0 0.00 | 0.02/0.08 c | 0.09 | 0 | 1820 lb | 0 0 0.00 | 0.02/0.08 c | 0.09 | 0 | 1837 lb | 0 0 0.00 | 0.02/0.08 c | 0.09 | 0 | 1846 lb | 0 0 0.00 | 0.02/0.08 c | 0.09 | 0 | 1849 lb | 0 0 0.00 | 0.02/0.08 c | 0.09 | 0 | 1866 lb | 0 0 0.00 | 0.02/0.09 c | 0.09 | 0 | 1875 lb | 0 0 0.00 | 0.02/0.09 c | 0.09 | 0 | 1878 lb | 0 0 0.00 | 0.02/0.09 c | 0.09 | 0 | 1895 lb | 0 0 0.00 | 0.02/0.09 c | 0.09 | 0 | 1904 lb | 0 0 0.00 | 0.02/0.09 c | 0.09 | 0 | 1907 lb | 0 0 0.00 | 0.02/0.09 c | 0.09 | 0 | 1924 lb | 0 0 0.00 | 0.02/0.09 c | 0.10 | 0 | 1933 lb | 0 0 0.00 | 0.02/0.09 c | 0.10 | 0 | 1936 lb | 0 0 0.00 | 0.02/0.09 c | 0.10 | 0 | 1953 lb | 0 0 0.00 | 0.02/0.09 c | 0.10 | 0 | 1962 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1965 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1982 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1991 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1994 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2011 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2020 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2023 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2040 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2049 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2052 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2077 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2084 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2086 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2103 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2116 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2119 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2139 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2141 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2149 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2154 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2165 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2173 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2177 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2178 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2181 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 2189 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 2194 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 2197 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2205 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2210 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2213 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2221 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2226 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2229 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 2237 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 2242 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 2245 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2253 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2258 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2261 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2269 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2274 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2277 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 2285 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 2290 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 2293 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2301 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2306 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2309 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2317 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2322 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2325 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 2333 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 2338 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2341 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2349 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2354 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2357 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2363 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2373 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2374 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2378 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2390 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2391 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2394 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2395 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2407 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2408 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 2411 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 2412 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 2424 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 2425 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 2428 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 2429 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 2441 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 2442 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 2445 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 2446 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 2458 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 2459 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 2462 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 2463 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 2475 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 2476 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 2479 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 2480 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 2492 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 2493 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 2496 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 2497 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 2509 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 2510 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 2513 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 2514 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 2526 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 2527 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 2530 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 2531 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 2543 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 2544 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 2547 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 2548 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 2560 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 2561 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 2564 lb | 0 0 0.00 | 0.19/0.22 c | 0.23 | 0 | 2577 lb | 0 0 0.00 | 0.19/0.22 c | 0.23 | 0 | 2578 lb | 0 0 0.00 | 0.19/0.22 c | 0.23 | 0 | 2619 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 2623 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 2626 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 2635 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 2644 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 2647 lb | 0 0 0.00 | 0.19/0.23 c | 0.24 | 0 | 2659 lb | 0 0 0.00 | 0.19/0.23 c | 0.24 | 0 | 2671 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 2683 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 2695 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 2707 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 2719 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 2731 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 2743 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 2755 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 2758 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 2790 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 2800 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 2808 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 2824 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 2833 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 2834 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 2841 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 2842 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 2844 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 2849 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 2850 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 2858 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 2859 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 2862 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 2866 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 2869 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 2874 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 2881 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 2884 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 2899 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 2903 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 2904 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 2919 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 2926 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 2927 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 2942 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 2949 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 2950 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 2965 lb | 0 0 0.00 | 0.19/0.29 c | 0.30 | 0 | 2972 lb | 0 0 0.00 | 0.19/0.29 c | 0.30 | 0 | 2973 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 2988 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 2995 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 2996 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 3011 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 3018 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3019 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3034 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3041 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 3042 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 3057 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 3064 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3065 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3080 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3087 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 3088 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 3103 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3110 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3111 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3126 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 3133 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 3134 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3149 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3156 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3157 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3170 lb | 0 0 0.00 | 0.29/0.34 c | 0.35 | 0 | 3172 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3173 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3174 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3189 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3191 lb | 0 0 0.00 | 0.29/0.35 c | 0.36 | 0 | 3193 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3195 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3196 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3197 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3198 lb | 0 0 0.00 | 0.29/0.36 c | 0.37 | 0 | 3221 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3222 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3227 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3229 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | 3231 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3233 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3234 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3238 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 3239 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3241 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3242 lb | 0 0 0.00 | 0.29/0.39 c | 0.40 | 0 | 3243 lb | 0 0 0.00 | 0.29/0.39 c | 0.40 | 0 | 3244 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 3247 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 3250 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 3258 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 3261 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 3269 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 3270 lb | 0 0 0.00 | 0.39/0.41 c | 0.42 | 0 | 3272 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 3273 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 3274 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 3277 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 3281 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 3282 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 3288 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 3291 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 3293 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 3297 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 3299 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 3300 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 3303 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 3310 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 3312 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | 3317 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | 3319 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 3325 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 3328 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 3329 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 3332 lb | 0 0 0.00 | 0.39/0.47 c | 0.48 | 0 | 3333 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 3335 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 3338 lb | 0 0 0.00 | 0.39/0.48 c | 0.49 | 0 | 3339 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 3345 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 3346 lb | 0 0 0.00 | 0.39/0.49 c | 0.50 | 0 | 3351 lb | 0 0 0.00 | 0.49/0.50 c | 0.50 | 0 | 3352 lb | 0 0 0.00 | 0.49/0.50 c | 0.50 | 0 | 3357 lb | 0 0 0.00 | 0.49/0.50 c | 0.51 | 0 | 3359 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 3361 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 3365 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | 3366 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 3368 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 3369 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | 3375 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | 3376 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 3377 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 3379 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 3380 lb | 0 0 0.00 | 0.49/0.54 c | 0.54 | 0 | 3384 lb | 0 0 0.00 | 0.49/0.54 c | 0.55 | 0 | 3386 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 3390 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 3391 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | 3395 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | 3398 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 3401 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 3404 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 3405 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 3406 lb | 0 0 0.00 | 0.49/0.57 c | 0.58 | 0 | 3407 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | 3408 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | 3410 lb | 0 0 0.00 | 0.49/0.58 c | 0.59 | 0 | 3413 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 3414 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 3419 lb | 0 0 0.00 | 0.49/0.59 c | 0.60 | 0 | 3421 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 3423 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 3426 lb | 0 0 0.00 | 0.59/0.60 c | 0.61 | 0 | 3427 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 3428 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 3431 lb | 0 0 0.00 | 0.59/0.61 c | 0.62 | 0 | 3432 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 3433 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 3438 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 3439 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 3440 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | 3441 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | 3443 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | 3445 lb | 0 0 0.00 | 0.59/0.64 c | 0.65 | 0 | 3448 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | 3449 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | 3450 lb | 0 0 0.00 | 0.59/0.65 c | 0.66 | 0 | 3452 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 3459 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 3460 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 3463 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | 3465 lb | 0 0 0.00 | 0.59/0.67 c | 0.68 | 0 | 3470 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | 3471 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | 3472 lb | 0 0 0.00 | 0.59/0.68 c | 0.69 | 0 | 3473 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 3476 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 3479 lb | 0 0 0.00 | 0.59/0.69 c | 0.70 | 0 | 3483 lb | 0 0 0.00 | 0.68/0.70 c | 0.70 | 0 | 3484 lb | 0 0 0.00 | 0.68/0.70 c | 0.70 | 0 | 3485 lb | 0 0 0.00 | 0.68/0.70 c | 0.71 | 0 | 3486 lb | 0 0 0.00 | 0.68/0.71 c | 0.71 | 0 | 3488 lb | 0 0 0.00 | 0.68/0.71 c | 0.71 | 0 | 3489 lb | 0 0 0.00 | 0.68/0.72 c | 0.72 | 0 | 3491 lb | 0 0 0.00 | 0.68/0.72 c | 0.72 | 0 | 3492 lb | 0 0 0.00 | 0.68/0.72 c | 0.73 | 0 | 3494 lb | 0 0 0.00 | 0.68/0.73 c | 0.73 | 0 | 3499 lb | 0 0 0.00 | 0.68/0.73 c | 0.73 | 0 | 3500 lb | 0 0 0.00 | 0.68/0.73 c | 0.74 | 0 | 3501 lb | 0 0 0.00 | 0.68/0.74 c | 0.74 | 0 | 3502 lb | 0 0 0.00 | 0.68/0.74 c | 0.74 | 0 | 3503 lb | 0 0 0.00 | 0.68/0.74 c | 0.75 | 0 | 3504 lb | 0 0 0.00 | 0.68/0.75 c | 0.75 | 0 | 3505 lb | 0 0 0.00 | 0.68/0.75 c | 0.76 | 0 | 3506 lb | 0 0 0.00 | 0.68/0.76 c | 0.76 | 0 | 3507 lb | 0 0 0.00 | 0.68/0.76 c | 0.76 | 0 | 3508 lb | 0 0 0.00 | 0.68/0.76 c | 0.77 | 0 | 3509 lb | 0 0 0.00 | 0.68/0.77 c | 0.77 | 0 | 3510 lb | 0 0 0.00 | 0.68/0.77 c | 0.78 | 0 | 3511 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | 3513 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | 3514 lb | 0 0 0.00 | 0.68/0.78 c | 0.79 | 0 | 3515 lb | 0 0 0.00 | 0.68/0.79 c | 0.79 | 0 | 3520 lb | 0 0 0.00 | 0.68/0.79 c | 0.79 | 0 | 3522 lb | 0 0 0.00 | 0.68/0.79 c | 0.80 | 0 | 3523 lb | 0 0 0.00 | 0.78/0.80 c | 0.80 | 0 | 3525 lb | 0 0 0.00 | 0.78/0.80 c | 0.81 | 0 | 3526 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | 3527 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | 3528 lb | 0 0 0.00 | 0.78/0.82 c | 0.82 | 0 | 3529 lb | 0 0 0.00 | 0.78/0.82 c | 0.82 | 0 | 3530 lb | 0 0 0.00 | 0.78/0.82 c | 0.83 | 0 | 3532 lb | 0 0 0.00 | 0.78/0.83 c | 0.83 | 0 | 3533 lb | 0 0 0.00 | 0.78/0.83 c | 0.83 | 0 | 3534 lb | 0 0 0.00 | 0.78/0.84 c | 0.84 | 0 | 3540 lb | 0 0 0.00 | 0.78/0.84 c | 0.84 | 0 | 3541 lb | 0 0 0.00 | 0.78/0.84 c | 0.85 | 0 | 3542 lb | 0 0 0.00 | 0.78/0.85 c | 0.85 | 0 | 3543 lb | 0 0 0.00 | 0.78/0.85 c | 0.86 | 0 | 3544 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | 3545 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | 3546 lb | 0 0 0.00 | 0.78/0.87 c | 0.87 | 0 | 3549 lb | 0 0 0.00 | 0.78/0.87 c | 0.87 | 0 | 3550 lb | 0 0 0.00 | 0.78/0.87 c | 0.88 | 0 | 3553 lb | 0 0 0.00 | 0.78/0.88 c | 0.88 | 0 | 3554 lb | 0 0 0.00 | 0.78/0.88 c | 0.89 | 0 | 3555 lb | 0 0 0.00 | 0.78/0.89 c | 0.89 | 0 | 3557 lb | 0 0 0.00 | 0.78/0.89 c | 0.90 | 0 | 3559 lb | 0 0 0.00 | 0.88/0.90 c | 0.90 | 0 | 3560 lb | 0 0 0.00 | 0.88/0.90 c | 0.91 | 0 | 3562 lb | 0 0 0.00 | 0.88/0.91 c | 0.91 | 0 | 3563 lb | 0 0 0.00 | 0.88/0.91 c | 0.91 | 0 | 3564 lb | 0 0 0.00 | 0.88/0.91 c | 0.92 | 0 | 3565 lb | 0 0 0.00 | 0.88/0.92 c | 0.92 | 0 | 3566 lb | 0 0 0.00 | 0.88/0.92 c | 0.93 | 0 | 3567 lb | 0 0 0.00 | 0.88/0.93 c | 0.93 | 0 | 3568 lb | 0 0 0.00 | 0.88/0.93 c | 0.94 | 0 | 3569 lb | 0 0 0.00 | 0.88/0.94 c | 0.94 | 0 | 3570 lb | 0 0 0.00 | 0.88/0.94 c | 0.95 | 0 | 3571 lb | 0 0 0.00 | 0.88/0.95 c | 0.95 | 0 | 3572 lb | 0 0 0.00 | 0.88/0.95 c | 0.96 | 0 | 3573 lb | 0 0 0.00 | 0.88/0.96 c | 0.96 | 0 | 3574 lb | 0 0 0.00 | 0.88/0.96 c | 0.97 | 0 | 3575 lb | 0 0 0.00 | 0.88/0.97 c | 0.97 | 0 | 3576 lb | 0 0 0.00 | 0.88/0.97 c | 0.98 | 0 | 3577 lb | 0 0 0.00 | 0.88/0.98 c | 0.98 | 0 | 3578 lb | 0 0 0.00 | 0.88/0.98 c | 0.99 | 0 | 3579 lb | 0 0 0.00 | 0.88/0.99 c | 0.99 | 0 | 3580 lb | 0 0 0.00 | 0.88/0.99 c | 1.00 | 0 | 3582 lb | 0 0 0.00 | 0.88/1.00 c | 1.00 | 0 | 3585 lb | 0 0 0.00 | 0.88/1.00 c | 1.00 | 0 | 3587 lb | 0 0 0.00 | 1.00/1.01 c | 1.01 | 0 | 3588 lb | 0 0 0.00 | 1.00/1.01 c | 1.01 | 0 | 3589 lb | 0 0 0.00 | 1.00/1.01 c | 1.02 | 0 | 3590 lb | 0 0 0.00 | 1.00/1.02 c | 1.02 | 0 | 3593 lb | 0 0 0.00 | 1.00/1.02 c | 1.03 | 0 | 3597 lb | 0 0 0.00 | 1.00/1.03 c | 1.03 | 0 | 3599 lb | 0 0 0.00 | 1.00/1.03 c | 1.04 | 0 | 3600 lb | 0 0 0.00 | 1.00/1.04 c | 1.04 | 0 | 3601 lb | 0 0 0.00 | 1.00/1.04 c | 1.04 | 0 | 3602 lb | 0 0 0.00 | 1.00/1.05 c | 1.05 | 0 | 3603 lb | 0 0 0.00 | 1.00/1.05 c | 1.05 | 0 | 3604 lb | 0 0 0.00 | 1.00/1.06 c | 1.06 | 0 | 3605 lb | 0 0 0.00 | 1.00/1.06 c | 1.06 | 0 | 3610 lb | 0 0 0.00 | 1.00/1.07 c | 1.07 | 0 | 3611 lb | 0 0 0.00 | 1.00/1.07 c | 1.07 | 0 | 3613 lb | 0 0 0.00 | 1.00/1.07 c | 1.08 | 0 | 3614 lb | 0 0 0.00 | 1.00/1.08 c | 1.08 | 0 | 3615 lb | 0 0 0.00 | 1.00/1.09 c | 1.09 | 0 | 3616 lb | 0 0 0.00 | 1.00/1.09 c | 1.09 | 0 | 3617 lb | 0 0 0.00 | 1.00/1.09 c | 1.10 | 0 | 3621 lb | 0 0 0.00 | 1.00/1.10 c | 1.10 | 0 | 3624 lb | 0 0 0.00 | 1.10/1.10 c | 1.11 | 0 | 3628 lb | 0 0 0.00 | 1.10/1.11 c | 1.11 | 0 | 3629 lb | 0 0 0.00 | 1.10/1.11 c | 1.12 | 0 | 3630 lb | 0 0 0.00 | 1.10/1.12 c | 1.12 | 0 | 3631 lb | 0 0 0.00 | 1.10/1.12 c | 1.13 | 0 | 3633 lb | 0 0 0.00 | 1.10/1.13 c | 1.13 | 0 | 3634 lb | 0 0 0.00 | 1.10/1.13 c | 1.14 | 0 | 3635 lb | 0 0 0.00 | 1.10/1.14 c | 1.14 | 0 | 3637 lb | 0 0 0.00 | 1.10/1.14 c | 1.15 | 0 | 3638 lb | 0 0 0.00 | 1.10/1.15 c | 1.15 | 0 | 3639 lb | 0 0 0.00 | 1.10/1.15 c | 1.16 | 0 | 3640 lb | 0 0 0.00 | 1.10/1.16 c | 1.16 | 0 | 3641 lb | 0 0 0.00 | 1.10/1.16 c | 1.17 | 0 | 3643 lb | 0 0 0.00 | 1.10/1.17 c | 1.17 | 0 | 3644 lb | 0 0 0.00 | 1.10/1.17 c | 1.18 | 0 | 3645 lb | 0 0 0.00 | 1.10/1.18 c | 1.18 | 0 | 3646 lb | 0 0 0.00 | 1.10/1.18 c | 1.19 | 0 | 3649 lb | 0 0 0.00 | 1.10/1.19 c | 1.19 | 0 | 3651 lb | 0 0 0.00 | 1.10/1.19 c | 1.20 | 0 | 3652 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | 3653 lb | 0 0 0.00 | 1.19/1.20 c | 1.21 | 0 | 3654 lb | 0 0 0.00 | 1.19/1.21 c | 1.21 | 0 | 3655 lb | 0 0 0.00 | 1.19/1.22 c | 1.22 | 0 | 3656 lb | 0 0 0.00 | 1.19/1.22 c | 1.23 | 0 | 3657 lb | 0 0 0.00 | 1.19/1.23 c | 1.23 | 0 | 3658 lb | 0 0 0.00 | 1.19/1.24 c | 1.24 | 0 | 3659 lb | 0 0 0.00 | 1.19/1.24 c | 1.25 | 0 | 3660 lb | 0 0 0.00 | 1.19/1.25 c | 1.25 | 0 | 3661 lb | 0 0 0.00 | 1.19/1.26 c | 1.26 | 0 | 3662 lb | 0 0 0.00 | 1.19/1.26 c | 1.27 | 0 | 3663 lb | 0 0 0.00 | 1.19/1.27 c | 1.27 | 0 | 3664 lb | 0 0 0.00 | 1.19/1.27 c | 1.28 | 0 | 3666 lb | 0 0 0.00 | 1.19/1.28 c | 1.28 | 0 | 3667 lb | 0 0 0.00 | 1.19/1.28 c | 1.29 | 0 | 3668 lb | 0 0 0.00 | 1.19/1.29 c | 1.29 | 0 | 3669 lb | 0 0 0.00 | 1.19/1.30 c | 1.30 | 0 | 3670 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | 3672 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 3673 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 3674 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 3676 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 3677 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | 3678 lb | 0 0 0.00 | 1.29/1.33 c | 1.34 | 0 | 3679 lb | 0 0 0.00 | 1.29/1.34 c | 1.34 | 0 | 3680 lb | 0 0 0.00 | 1.29/1.34 c | 1.35 | 0 | 3681 lb | 0 0 0.00 | 1.29/1.35 c | 1.35 | 0 | 3682 lb | 0 0 0.00 | 1.29/1.36 c | 1.36 | 0 | 3683 lb | 0 0 0.00 | 1.29/1.36 c | 1.36 | 0 | 3684 lb | 0 0 0.00 | 1.29/1.37 c | 1.37 | 0 | 3685 lb | 0 0 0.00 | 1.29/1.37 c | 1.38 | 0 | 3686 lb | 0 0 0.00 | 1.29/1.38 c | 1.38 | 0 | 3689 lb | 0 0 0.00 | 1.29/1.39 c | 1.39 | 0 | 3690 lb | 0 0 0.00 | 1.29/1.39 c | 1.40 | 0 | 3694 lb | 0 0 0.00 | 1.39/1.40 c | 1.40 | 0 | 3695 lb | 0 0 0.00 | 1.39/1.40 c | 1.41 | 0 | 3697 lb | 0 0 0.00 | 1.39/1.41 c | 1.41 | 0 | 3698 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | 3699 lb | 0 0 0.00 | 1.39/1.42 c | 1.42 | 0 | 3700 lb | 0 0 0.00 | 1.39/1.42 c | 1.43 | 0 | 3701 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | 3702 lb | 0 0 0.00 | 1.39/1.44 c | 1.44 | 0 | 3703 lb | 0 0 0.00 | 1.39/1.44 c | 1.45 | 0 | 3704 lb | 0 0 0.00 | 1.39/1.45 c | 1.45 | 0 | 3705 lb | 0 0 0.00 | 1.39/1.45 c | 1.46 | 0 | 3706 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 3707 lb | 0 0 0.00 | 1.39/1.47 c | 1.47 | 0 | 3708 lb | 0 0 0.00 | 1.39/1.47 c | 1.48 | 0 | 3709 lb | 0 0 0.00 | 1.39/1.48 c | 1.48 | 0 | 3710 lb | 0 0 0.00 | 1.39/1.48 c | 1.49 | 0 | 3711 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | 3712 lb | 0 0 0.00 | 1.49/1.50 c | 1.50 | 0 | 3713 lb | 0 0 0.00 | 1.49/1.50 c | 1.51 | 0 | 3716 lb | 0 0 0.00 | 1.49/1.51 c | 1.51 | 0 | 3717 lb | 0 0 0.00 | 1.49/1.52 c | 1.52 | 0 | 3719 lb | 0 0 0.00 | 1.49/1.52 c | 1.53 | 0 | 3720 lb | 0 0 0.00 | 1.49/1.53 c | 1.53 | 0 | 3721 lb | 0 0 0.00 | 1.49/1.54 c | 1.54 | 0 | 3722 lb | 0 0 0.00 | 1.49/1.54 c | 1.55 | 0 | 3723 lb | 0 0 0.00 | 1.49/1.55 c | 1.55 | 0 | 3724 lb | 0 0 0.00 | 1.49/1.56 c | 1.56 | 0 | 3730 lb | 0 0 0.00 | 1.49/1.56 c | 1.57 | 0 | 3732 lb | 0 0 0.00 | 1.49/1.57 c | 1.57 | 0 | 3734 lb | 0 0 0.00 | 1.49/1.57 c | 1.58 | 0 | 3735 lb | 0 0 0.00 | 1.49/1.58 c | 1.58 | 0 | 3737 lb | 0 0 0.00 | 1.49/1.59 c | 1.59 | 0 | 3738 lb | 0 0 0.00 | 1.49/1.59 c | 1.59 | 0 | 3740 lb | 0 0 0.00 | 1.59/1.60 c | 1.60 | 0 | 3741 lb | 0 0 0.00 | 1.59/1.60 c | 1.61 | 0 | 3742 lb | 0 0 0.00 | 1.59/1.61 c | 1.61 | 0 | 3743 lb | 0 0 0.00 | 1.59/1.61 c | 1.62 | 0 | 3744 lb | 0 0 0.00 | 1.59/1.62 c | 1.62 | 0 | 3747 lb | 0 0 0.00 | 1.59/1.63 c | 1.63 | 0 | 3748 lb | 0 0 0.00 | 1.59/1.63 c | 1.64 | 0 | 3750 lb | 0 0 0.00 | 1.59/1.64 c | 1.64 | 0 | 3752 lb | 0 0 0.00 | 1.59/1.64 c | 1.65 | 0 | 3756 lb | 0 0 0.00 | 1.59/1.65 c | 1.65 | 0 | 3760 lb | 0 0 0.00 | 1.59/1.66 c | 1.66 | 0 | 3761 lb | 0 0 0.00 | 1.59/1.66 c | 1.67 | 0 | 3764 lb | 0 0 0.00 | 1.59/1.67 c | 1.67 | 0 | 3766 lb | 0 0 0.00 | 1.59/1.68 c | 1.68 | 0 | 3767 lb | 0 0 0.00 | 1.59/1.68 c | 1.69 | 0 | 3768 lb | 0 0 0.00 | 1.59/1.69 c | 1.69 | 0 | 3770 lb | 0 0 0.00 | 1.59/1.70 c | 1.70 | 0 | 3772 lb | 0 0 0.00 | 1.69/1.70 c | 1.71 | 0 | 3773 lb | 0 0 0.00 | 1.69/1.71 c | 1.71 | 0 | 3774 lb | 0 0 0.00 | 1.69/1.72 c | 1.72 | 0 | 3775 lb | 0 0 0.00 | 1.69/1.72 c | 1.73 | 0 | 3778 lb | 0 0 0.00 | 1.69/1.73 c | 1.73 | 0 | 3779 lb | 0 0 0.00 | 1.69/1.74 c | 1.74 | 0 | 3780 lb | 0 0 0.00 | 1.69/1.74 c | 1.75 | 0 | 3786 lb | 0 0 0.00 | 1.69/1.75 c | 1.75 | 0 | 3787 lb | 0 0 0.00 | 1.69/1.76 c | 1.76 | 0 | 3788 lb | 0 0 0.00 | 1.69/1.76 c | 1.77 | 0 | 3789 lb | 0 0 0.00 | 1.69/1.77 c | 1.77 | 0 | 3790 lb | 0 0 0.00 | 1.69/1.78 c | 1.78 | 0 | 3791 lb | 0 0 0.00 | 1.69/1.78 c | 1.79 | 0 | 3792 lb | 0 0 0.00 | 1.69/1.79 c | 1.79 | 0 | 3793 lb | 0 0 0.00 | 1.79/1.80 c | 1.80 | 0 | 3794 lb | 0 0 0.00 | 1.79/1.80 c | 1.81 | 0 | 3795 lb | 0 0 0.00 | 1.79/1.81 c | 1.81 | 0 | 3797 lb | 0 0 0.00 | 1.79/1.82 c | 1.82 | 0 | 3799 lb | 0 0 0.00 | 1.79/1.82 c | 1.83 | 0 | 3800 lb | 0 0 0.00 | 1.79/1.83 c | 1.83 | 0 | 3803 lb | 0 0 0.00 | 1.79/1.84 c | 1.84 | 0 | 3804 lb | 0 0 0.00 | 1.79/1.84 c | 1.85 | 0 | 3805 lb | 0 0 0.00 | 1.79/1.85 c | 1.85 | 0 | 3807 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | 3808 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | 3809 lb | 0 0 0.00 | 1.79/1.87 c | 1.87 | 0 | 3810 lb | 0 0 0.00 | 1.79/1.87 c | 1.88 | 0 | 3811 lb | 0 0 0.00 | 1.79/1.88 c | 1.88 | 0 | 3814 lb | 0 0 0.00 | 1.79/1.89 c | 1.89 | 0 | 3815 lb | 0 0 0.00 | 1.79/1.89 c | 1.90 | 0 | 3817 lb | 0 0 0.00 | 1.88/1.90 c | 1.90 | 0 | 3819 lb | 0 0 0.00 | 1.88/1.91 c | 1.91 | 0 | 3820 lb | 0 0 0.00 | 1.88/1.91 c | 1.92 | 0 | 3821 lb | 0 0 0.00 | 1.88/1.92 c | 1.92 | 0 | 3822 lb | 0 0 0.00 | 1.88/1.93 c | 1.93 | 0 | 3823 lb | 0 0 0.00 | 1.88/1.93 c | 1.94 | 0 | 3825 lb | 0 0 0.00 | 1.88/1.94 c | 1.94 | 0 | 3826 lb | 0 0 0.00 | 1.88/1.95 c | 1.95 | 0 | 3828 lb | 0 0 0.00 | 1.88/1.95 c | 1.96 | 0 | 3829 lb | 0 0 0.00 | 1.88/1.96 c | 1.96 | 0 | 3831 lb | 0 0 0.00 | 1.88/1.97 c | 1.97 | 0 | 3832 lb | 0 0 0.00 | 1.88/1.97 c | 1.98 | 0 | 3834 lb | 0 0 0.00 | 1.88/1.98 c | 1.98 | 0 | 3835 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | 3836 lb | 0 0 0.00 | 1.88/1.99 c | 2.00 | 0 | 3843 lb | 0 0 0.00 | 1.99/2.00 c | 2.00 | 0 | 3845 lb | 0 0 0.00 | 1.99/2.01 c | 2.01 | 0 | 3849 lb | 0 0 0.00 | 1.99/2.01 c | 2.02 | 0 | 3850 lb | 0 0 0.00 | 1.99/2.02 c | 2.02 | 0 | 3851 lb | 0 0 0.00 | 1.99/2.03 c | 2.03 | 0 | 3853 lb | 0 0 0.00 | 1.99/2.03 c | 2.04 | 0 | 3854 lb | 0 0 0.00 | 1.99/2.04 c | 2.04 | 0 | 3855 lb | 0 0 0.00 | 1.99/2.05 c | 2.05 | 0 | 3856 lb | 0 0 0.00 | 1.99/2.05 c | 2.06 | 0 | 3857 lb | 0 0 0.00 | 1.99/2.06 c | 2.06 | 0 | 3858 lb | 0 0 0.00 | 1.99/2.07 c | 2.07 | 0 | 3859 lb | 0 0 0.00 | 1.99/2.07 c | 2.08 | 0 | 3861 lb | 0 0 0.00 | 1.99/2.08 c | 2.08 | 0 | 3865 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | 3866 lb | 0 0 0.00 | 1.99/2.09 c | 2.10 | 0 | 3867 lb | 0 0 0.00 | 1.99/2.10 c | 2.10 | 0 | 3868 lb | 0 0 0.00 | 2.10/2.11 c | 2.11 | 0 | 3875 lb | 0 0 0.00 | 2.10/2.11 c | 2.12 | 0 | 3877 lb | 0 0 0.00 | 2.10/2.12 c | 2.12 | 0 | 3879 lb | 0 0 0.00 | 2.10/2.13 c | 2.13 | 0 | 3880 lb | 0 0 0.00 | 2.10/2.13 c | 2.14 | 0 | 3881 lb | 0 0 0.00 | 2.10/2.14 c | 2.15 | 0 | 3882 lb | 0 0 0.00 | 2.10/2.15 c | 2.15 | 0 | 3883 lb | 0 0 0.00 | 2.10/2.16 c | 2.16 | 0 | 3884 lb | 0 0 0.00 | 2.10/2.16 c | 2.17 | 0 | 3885 lb | 0 0 0.00 | 2.10/2.17 c | 2.18 | 0 | 3886 lb | 0 0 0.00 | 2.10/2.18 c | 2.18 | 0 | 3887 lb | 0 0 0.00 | 2.10/2.19 c | 2.19 | 0 | 3888 lb | 0 0 0.00 | 2.10/2.20 c | 2.20 | 0 | 3892 lb | 0 0 0.00 | 2.19/2.20 c | 2.21 | 0 | 3894 lb | 0 0 0.00 | 2.19/2.21 c | 2.21 | 0 | 3895 lb | 0 0 0.00 | 2.19/2.22 c | 2.22 | 0 | 3896 lb | 0 0 0.00 | 2.19/2.23 c | 2.23 | 0 | 3897 lb | 0 0 0.00 | 2.19/2.24 c | 2.24 | 0 | 3898 lb | 0 0 0.00 | 2.19/2.24 c | 2.25 | 0 | 3899 lb | 0 0 0.00 | 2.19/2.25 c | 2.26 | 0 | 3900 lb | 0 0 0.00 | 2.19/2.26 c | 2.27 | 0 | 3901 lb | 0 0 0.00 | 2.19/2.27 c | 2.27 | 0 | 3902 lb | 0 0 0.00 | 2.19/2.28 c | 2.28 | 0 | 3903 lb | 0 0 0.00 | 2.19/2.29 c | 2.29 | 0 | 3904 lb | 0 0 0.00 | 2.29/2.30 c | 2.30 | 0 | 3905 lb | 0 0 0.00 | 2.29/2.31 c | 2.31 | 0 | 3908 lb | 0 0 0.00 | 2.29/2.31 c | 2.32 | 0 | 3909 lb | 0 0 0.00 | 2.29/2.33 c | 2.33 | 0 | 3910 lb | 0 0 0.00 | 2.29/2.33 c | 2.34 | 0 | 3911 lb | 0 0 0.00 | 2.29/2.34 c | 2.35 | 0 | 3912 lb | 0 0 0.00 | 2.29/2.35 c | 2.35 | 0 | 3913 lb | 0 0 0.00 | 2.29/2.36 c | 2.37 | 0 | 3914 lb | 0 0 0.00 | 2.29/2.37 c | 2.38 | 0 | 3915 lb | 0 0 0.00 | 2.29/2.39 c | 2.40 | 0 | 3916 lb | 0 0 0.00 | 2.39/2.40 c | 2.41 | 0 | 3917 lb | 0 0 0.00 | 2.39/2.41 c | 2.42 | 0 | 3918 lb | 0 0 0.00 | 2.39/2.42 c | 2.43 | 0 | 3919 lb | 0 0 0.00 | 2.39/2.43 c | 2.44 | 0 | 3920 lb | 0 0 0.00 | 2.39/2.44 c | 2.44 | 0 | 3926 lb | 0 0 0.00 | 2.39/2.45 c | 2.45 | 0 | 3927 lb | 0 0 0.00 | 2.39/2.46 c | 2.46 | 0 | 3928 lb | 0 0 0.00 | 2.39/2.47 c | 2.47 | 0 | 3929 lb | 0 0 0.00 | 2.39/2.48 c | 2.48 | 0 | 3930 lb | 0 0 0.00 | 2.39/2.49 c | 2.49 | 0 | 3931 lb | 0 0 0.00 | 2.48/2.50 c | 2.50 | 0 | 3932 lb | 0 0 0.00 | 2.48/2.51 c | 2.51 | 0 | 3933 lb | 0 0 0.00 | 2.48/2.52 c | 2.52 | 0 | 3934 lb | 0 0 0.00 | 2.48/2.53 c | 2.53 | 0 | 3935 lb | 0 0 0.00 | 2.48/2.54 c | 2.54 | 0 | 3936 lb | 0 0 0.00 | 2.48/2.55 c | 2.56 | 0 | 3937 lb | 0 0 0.00 | 2.48/2.56 c | 2.57 | 0 | 3938 lb | 0 0 0.00 | 2.48/2.59 c | 2.60 | 0 | 3939 lb | 0 0 0.00 | 2.58/2.60 c | 2.61 | 0 | 3946 lb | 0 0 0.00 | 2.58/2.62 c | 2.62 | 0 | 3947 lb | 0 0 0.00 | 2.58/2.64 c | 2.64 | 0 | 3948 lb | 0 0 0.00 | 2.58/2.65 c | 2.65 | 0 | 3949 lb | 0 0 0.00 | 2.58/2.66 c | 2.66 | 0 | 3950 lb | 0 0 0.00 | 2.58/2.67 c | 2.67 | 0 | 3951 lb | 0 0 0.00 | 2.68/2.78 c | 2.79 | 0 | 3952 lb | 0 0 0.00 | 2.88/2.90 c | 2.90 | 0 | 3953 lb | 0 0 0.00 | 2.88/2.91 c | 2.92 | 0 | 3954 lb | 0 0 0.00 | 2.88/2.93 c | 2.93 | 0 | 3955 lb | 0 0 0.00 | 2.88/2.94 c | 2.94 | 0 | 3956 lb | 0 0 0.00 | 2.88/2.96 c | 2.96 | 0 | 3957 lb | 0 0 0.00 | 2.88/2.97 c | 2.98 | 0 | 3958 lb | 0 0 0.00 | 3.78/3.80 c | 3.81 | 0 | 3959 lb | 0 0 0.00 | 3.78/3.82 c | 3.83 | 0 | 3961 lb | 0 0 0.00 | 3.78/3.83 c | 3.84 | 0 | 3966 lb | 0 0 0.00 | 3.78/3.85 c | 3.85 | 0 | 3967 lb | 0 0 0.00 | 3.78/3.86 c | 3.86 | 0 | 3968 lb | 0 0 0.00 | 3.78/3.87 c | 3.88 | 0 | 3969 lb | 0 0 0.00 | 3.78/3.89 c | 3.89 | 0 | 3970 lb | 0 0 0.00 | 3.89/3.90 c | 3.90 | 0 | 3971 lb | 0 0 0.00 | 3.89/3.91 c | 3.92 | 0 | 3972 lb | 0 0 0.00 | 3.89/3.93 c | 3.93 | 0 | 3973 lb | 0 0 0.00 | 3.89/3.94 c | 3.94 | 0 | 3974 lb | 0 0 0.00 | 3.89/3.95 c | 3.95 | 0 | 3975 lb | 0 0 0.00 | 3.89/3.96 c | 3.97 | 0 | 3976 lb | 0 0 0.00 | 3.89/3.98 c | 3.98 | 0 | 3977 lb | 0 0 0.00 | 3.89/3.99 c | 4.00 | 0 | 3978 lb | 0 0 0.00 | 3.99/4.01 c | 4.01 | 0 | 3979 lb | 0 0 0.00 | 15.29/15.32 c | 15.32 | 0 | 3980 lb | 0 0 0.00 | 15.29/15.35 c | 15.36 | 0 | 3981 lb | 0 0 0.00 | 15.29/15.37 c | 15.37 | 0 | 3982 lb | 0 0 0.00 | 15.29/15.38 c | 15.38 | 0 | 3983 lb | 0 0 0.00 | 15.29/15.39 c | 15.40 | 0 | 3984 lb | 0 0 0.00 | 15.39/15.41 c | 15.41 | 0 | 3985 lb | 0 0 0.00 | 15.39/15.42 c | 15.43 | 0 | 3986 lb | 0 0 0.00 | 15.39/15.44 c | 15.45 | 0 | 3987 lb | 0 0 0.00 | 19.08/19.11 c | 19.11 | 0 | 3988 lb | 0 0 0.00 | 19.48/19.56 c | 19.56 | 0 | 3989 lb | 0 0 0.00 | 19.48/19.57 c | 19.58 | 0 | 3990 lb | 0 0 0.00 | 19.48/19.59 c | 19.59 | 0 | 3991 lb | 0 0 0.00 | 19.58/19.60 c | 19.61 | 0 | 3992 lb | 0 0 0.00 | 19.58/19.62 c | 19.62 | 0 | 3993 lb | 0 0 0.00 | 29.69/29.77 c | 29.77 | 0 | 3994 lb | 0 0 0.00 | 29.78/29.81 c | 29.82 | 0 | 3995 lb | 0 0 0.00 | 36.78/36.89 c | 36.89 | 0 | 3996 lb | 0 0 0.00 | 36.88/36.96 c | 36.96 | 0 | 3997 lb | 0 0 0.00 | 42.08/42.15 c | 42.15 | 0 | 3998 lb | 0 0 0.00 | 42.08/42.18 c | 42.19 | 0 | 3999 lb | 0 0 0.00 | 42.18/42.20 c | 42.20 | 0 | 4000 lb | 0 0 0.00 | 42.28/42.36 c | 42.36 | 0 | 4001 lb | 0 0 0.00 | 42.28/42.37 c | 42.37 | 0 | 4003 lb | 0 0 0.00 | 42.28/42.39 c | 42.40 | 0 | 4004 lb | 0 0 0.00 | 42.38/42.41 c | 42.42 | 0 | 4005 lb | 0 0 0.00 | 42.38/42.43 c | 42.43 | 0 | 4006 lb | 0 0 0.00 | 42.38/42.44 c | 42.45 | 0 | 4007 lb | 0 0 0.00 | 42.38/42.46 c | 42.47 | 0 | 4008 lb | 0 0 0.00 | 42.38/42.48 c | 42.49 | 0 | 4009 lb | 0 0 0.00 | 42.48/42.50 c | 42.50 | 0 | 4010 lb | 0 0 0.00 | 42.48/42.52 c | 42.52 | 0 | 4011 lb | 0 0 0.00 | 42.48/42.54 c | 42.54 | 0 | 4012 lb | 0 0 0.00 | 42.48/42.56 c | 42.56 | 0 | 4013 lb | 0 0 0.00 | 42.48/42.59 c | 42.59 | 0 | 4014 lb | 0 0 0.00 | 42.58/42.60 c | 42.61 | 0 | 4015 lb | 0 0 0.00 | 42.58/42.63 c | 42.63 | 0 | 4016 lb | 0 0 0.00 | 50.98/51.07 c | 51.07 | 0 | 4017 lb | 0 0 0.00 | 51.08/51.13 c | 51.14 | 0 | 4018 lb | 0 0 0.00 | 51.08/51.15 c | 51.16 | 0 | 4019 lb | 0 0 0.00 | 51.08/51.17 c | 51.18 | 0 | 4020 lb | 0 0 0.00 | 51.08/51.19 c | 51.20 | 0 | 4021 lb | 0 0 0.00 | 51.18/51.21 c | 51.22 | 0 | 4022 lb | 0 0 0.00 | 63.88/63.93 c | 63.94 | 0 | 4023 lb | 0 0 0.00 | 63.88/63.99 c | 63.99 | 0 | 4024 lb | 0 0 0.00 | 63.98/64.01 c | 64.02 | 0 | 4025 lb | 0 0 0.00 | 305.64/305.75 c | 305.75 | 0 | 4026 lb | 0 0 0.00 | 306.04/306.13 c | 306.14 | 0 | 4027 lb | 0 0 0.00 | 306.04/306.17 c | 306.17 | 0 | 4028 lb | 0 0 0.00 | 306.04/306.19 c | 306.19 | 0 | 4029 lb | 0 0 0.00 | 306.15/306.21 c | 306.21 | 0 | 4030 lb | 0 0 0.00 | 306.15/306.23 c | 306.24 | 0 | 4031 lb | 0 0 0.00 | 306.15/306.25 c | 306.26 | 0 | 4032 lb | 0 0 0.00 | 306.15/306.28 c | 306.29 | 0 | 4033 lb | 0 0 0.00 | 306.25/306.30 c | 306.31 | 0 | 4035 lb | 0 0 0.00 | 306.25/306.36 c | 306.36 | 0 | 4036 lb | 0 0 0.00 | 306.25/306.38 c | 306.38 | 0 | 4037 lb | 0 0 0.00 | 306.35/306.40 c | 306.40 | 0 | 4038 lb | 0 0 0.00 | 306.35/306.42 c | 306.43 | 0 | 4039 lb | 0 0 0.00 | 306.35/306.45 c | 306.45 | 0 | 4040 lb | 0 0 0.00 | 306.35/306.47 c | 306.47 | 0 | 4041 lb | 0 0 0.00 | 306.35/306.49 c | 306.50 | 0 | 4042 lb | 0 0 0.00 | 306.45/306.51 c | 306.51 | 0 | 4043 lb | 0 0 0.00 | 306.45/306.54 c | 306.54 | 0 | 4044 lb | 0 0 0.00 | 306.45/306.56 c | 306.56 | 0 | 4045 lb | 0 0 0.00 | 306.45/306.59 c | 306.59 | 0 | 4046 lb | 0 0 0.00 | 306.55/306.61 c | 306.61 | 0 | 4047 lb | 0 0 0.00 | 306.55/306.63 c | 306.64 | 0 | 4048 lb | 0 0 0.00 | 306.55/306.66 c | 306.66 | 0 | 4049 lb | 0 0 0.00 | 306.55/306.68 c | 306.68 | 0 | 4050 lb | 0 0 0.00 | 306.65/306.70 c | 306.70 | 0 | 4051 lb | 0 0 0.00 | 306.65/306.72 c | 306.73 | 0 | 4052 lb | 0 0 0.00 | 306.65/306.75 c | 306.75 | 0 | 4053 lb | 0 0 0.00 | 306.65/306.77 c | 306.77 | 0 | 4054 lb | 0 0 0.00 | 306.65/306.79 c | 306.80 | 0 | 4055 lb | 0 0 0.00 | 306.75/306.81 c | 306.82 | 0 | 4056 lb | 0 0 0.00 | 306.75/306.84 c | 306.84 | 0 | 4057 lb | 0 0 0.00 | 306.75/306.86 c | 306.86 | 0 | 4058 lb | 0 0 0.00 | 391.13/391.26 c | 391.26 | 0 | 4059 lb | 0 0 0.00 | 391.33/391.43 c | 391.43 | 0 | 4060 lb | 0 0 0.00 | 391.33/391.46 c | 391.46 | 0 | 4061 lb | 0 0 0.00 | 391.33/391.49 c | 391.49 | 0 | 4062 lb | 0 0 0.00 | 391.54/391.61 c | 391.61 | 0 | 4063 lb | 0 0 0.00 | 391.54/391.63 c | 391.63 | 0 | 4064 lb | 0 0 0.00 | 391.54/391.66 c | 391.66 | 0 | 4065 lb | 0 0 0.00 | 391.63/391.71 c | 391.71 | 0 | 4066 lb | 0 0 0.00 | 391.63/391.74 c | 391.74 | 0 | 4067 lb | 0 0 0.00 | 391.63/391.79 c | 391.79 | 0 | 4068 lb | 0 0 0.00 | 391.73/391.81 c | 391.81 | 0 | 4069 lb | 0 0 0.00 | 391.73/391.84 c | 391.84 | 0 | 4070 lb | 0 0 0.00 | 391.73/391.87 c | 391.88 | 0 | 4071 lb | 0 0 0.00 | 392.03/392.16 c | 392.17 | 0 | 4072 lb | 0 0 0.00 | 392.13/392.20 c | 392.20 | 0 | 4073 lb | 0 0 0.00 | 392.13/392.22 c | 392.22 | 0 | 4074 lb | 0 0 0.00 | 392.13/392.24 c | 392.24 | 0 | 4075 lb | 0 0 0.00 | 392.13/392.26 c | 392.27 | 0 | 4076 lb | 0 0 0.00 | 392.13/392.29 c | 392.29 | 0 | 4077 lb | 0 0 0.00 | 392.23/392.32 c | 392.32 | 0 | 4078 lb | 0 0 0.00 | 392.23/392.34 c | 392.35 | 0 | 4079 lb | 0 0 0.00 | 392.33/392.40 c | 392.40 | 0 | 4080 lb | 0 0 0.00 | 392.33/392.43 c | 392.43 | 0 | 4081 lb | 0 0 0.00 | 392.33/392.45 c | 392.46 | 0 | 4082 lb | 0 0 0.00 | 394.93/395.04 c | 395.04 | 0 | 4083 lb | 0 0 0.00 | 394.93/395.08 c | 395.08 | 0 | 4084 lb | 0 0 0.00 | 396.73/396.82 c | 396.82 | 0 | 4085 lb | 0 0 0.00 | 396.73/396.86 c | 396.86 | 0 | 4086 lb | 0 0 0.00 | 396.73/396.89 c | 396.89 | 0 | 4087 lb | 0 0 0.00 | 396.83/396.92 c | 396.92 | 0 | 4088 lb | 0 0 0.00 | 396.83/396.94 c | 396.95 | 0 | 4089 lb | 0 0 0.00 | 396.83/396.98 c | 396.98 | 0 | 4090 lb | 0 0 0.00 | 396.94/397.01 c | 397.01 | 0 | 4091 lb | 0 0 0.00 | 808.68/808.96 c | 808.96 | 0 | 4092 lb | 0 0 0.00 | 1271.88/1272.20 c | 1272.20 | 0 | 4093 lb | 0 0 0.00 | 1272.58/1272.95 c | 1272.95 | 0 | 4094 lb | 0 0 0.00 | 1272.68/1273.01 c | 1273.02 | 0 | 4095 lb | 0 0 0.00 | 1799.59/1800.00 c =============================================================================== 1799.59/1800.00 c Wall Clock Time: 1800.00 s 1799.59/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727377-1338655133/watcher-3727377-1338655133 -o /tmp/evaluation-result-3727377-1338655133/solver-3727377-1338655133 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727377-1338655133.opb running on 4 cores: 0,2,4,6 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.01 1.94 3/179 4410 /proc/meminfo: memFree=25231164/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=3616 CPUtime=0 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) R 4408 4410 2201 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 331638061 3702784 304 33554432000 4194304 5964350 140737460828112 140736240589560 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 904 316 166 433 0 468 0 [startup+0.033528 s] /proc/loadavg: 2.00 2.01 1.94 3/179 4410 /proc/meminfo: memFree=25231164/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=0.02 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 983 0 0 0 2 0 0 0 20 0 2 0 331638061 85827584 921 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 921 192 433 0 20518 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 83816 [startup+0.100254 s] /proc/loadavg: 2.00 2.01 1.94 3/179 4410 /proc/meminfo: memFree=25231164/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=0.09 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 1133 0 0 0 9 0 0 0 20 0 2 0 331638061 85827584 1069 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 1069 192 433 0 20518 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83816 [startup+0.300223 s] /proc/loadavg: 2.00 2.01 1.94 3/179 4410 /proc/meminfo: memFree=25231164/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=0.29 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 1641 0 0 0 29 0 0 0 20 0 2 0 331638061 85827584 1488 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 1488 193 433 0 20518 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83816 [startup+0.70022 s] /proc/loadavg: 2.00 2.01 1.94 3/179 4410 /proc/meminfo: memFree=25231164/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=0.68 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 3926 0 0 0 68 0 0 0 20 0 2 0 331638061 85827584 2476 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 2476 196 433 0 20518 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 83816 [startup+1.50027 s] /proc/loadavg: 2.00 2.01 1.94 3/181 4412 /proc/meminfo: memFree=25215260/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=1.49 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 9720 0 0 0 148 1 0 0 20 0 2 0 331638061 85827584 3838 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 3838 196 433 0 20518 0 [pid=4410/tid=4412] ppid=4408 vsize=83816 CPUtime=1.47 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 8948 0 0 0 146 1 0 0 20 0 2 0 331638062 85827584 3838 33554432000 4194304 5964350 140737460828112 140665264974360 5244263 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 83816 [startup+3.10029 s] /proc/loadavg: 2.00 2.01 1.94 3/181 4412 /proc/meminfo: memFree=25203348/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=3.08 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 17505 0 0 0 306 2 0 0 20 0 2 0 331638061 85827584 6311 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 6311 197 433 0 20518 0 [pid=4410/tid=4412] ppid=4408 vsize=83816 CPUtime=3.07 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 16733 0 0 0 305 2 0 0 20 0 2 0 331638062 85827584 6311 33554432000 4194304 5964350 140737460828112 140665264974168 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 83816 [startup+6.30024 s] /proc/loadavg: 2.00 2.01 1.94 3/181 4412 /proc/meminfo: memFree=25181152/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=6.29 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 18699 0 0 0 626 3 0 0 20 0 2 0 331638061 85827584 7504 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 7504 197 433 0 20518 0 [pid=4410/tid=4412] ppid=4408 vsize=83816 CPUtime=6.26 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 17927 0 0 0 624 2 0 0 20 0 2 0 331638062 85827584 7504 33554432000 4194304 5964350 140737460828112 140665264973624 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 83816 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 1.94 3/181 4412 /proc/meminfo: memFree=25155128/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=12.69 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 20330 0 0 0 1266 3 0 0 20 0 2 0 331638061 85827584 9135 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 9135 197 433 0 20518 0 [pid=4410/tid=4412] ppid=4408 vsize=83816 CPUtime=12.65 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 19558 0 0 0 1262 3 0 0 20 0 2 0 331638062 85827584 9135 33554432000 4194304 5964350 140737460828112 140665264973624 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83816 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 1.94 3/181 4412 /proc/meminfo: memFree=25108264/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=83816 CPUtime=25.48 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 22255 0 0 0 2545 3 0 0 20 0 2 0 331638061 85827584 11059 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 20954 11059 197 433 0 20518 0 [pid=4410/tid=4412] ppid=4408 vsize=83816 CPUtime=25.41 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 21483 0 0 0 2538 3 0 0 20 0 2 0 331638062 85827584 11059 33554432000 4194304 5964350 140737460828112 140665264974360 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83816 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.94 3/181 4412 /proc/meminfo: memFree=25038528/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=85104 CPUtime=51.08 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 23328 0 0 0 5104 4 0 0 20 0 2 0 331638061 87146496 12056 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 21276 12056 197 433 0 20840 0 [pid=4410/tid=4412] ppid=4408 vsize=85104 CPUtime=50.95 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 22556 0 0 0 5092 3 0 0 20 0 2 0 331638062 87146496 12056 33554432000 4194304 5964350 140737460828112 140665264974168 4482460 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85104 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.94 3/182 4415 /proc/meminfo: memFree=24888896/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=149352 CPUtime=102.28 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 29840 0 0 0 10222 6 0 0 20 0 2 0 331638061 152936448 17265 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 37338 17265 197 433 0 36902 0 [pid=4410/tid=4412] ppid=4408 vsize=149352 CPUtime=102.02 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 29068 0 0 0 10195 7 0 0 20 0 2 0 331638062 152936448 17265 33554432000 4194304 5964350 140737460828112 140665264973624 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 149352 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.94 3/181 4415 /proc/meminfo: memFree=24701692/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=150076 CPUtime=162.27 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 38896 0 0 0 16217 10 0 0 20 0 2 0 331638061 153677824 26321 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 37519 26321 197 433 0 37083 0 [pid=4410/tid=4412] ppid=4408 vsize=150076 CPUtime=161.86 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 38124 0 0 0 16175 11 0 0 20 0 2 0 331638062 153677824 26321 33554432000 4194304 5964350 140737460828112 140665264973816 4403263 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 150076 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.94 3/181 4416 /proc/meminfo: memFree=24514852/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=215612 CPUtime=222.25 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 46112 0 0 0 22213 12 0 0 20 0 2 0 331638061 220786688 33533 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 53903 33533 197 433 0 53467 0 [pid=4410/tid=4412] ppid=4408 vsize=215612 CPUtime=221.71 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 45340 0 0 0 22156 15 0 0 20 0 2 0 331638062 220786688 33533 33554432000 4194304 5964350 140737460828112 140665264973624 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 215612 [startup+282.3 s] /proc/loadavg: 2.03 2.01 1.95 3/181 4416 /proc/meminfo: memFree=24290440/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=215972 CPUtime=282.25 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 51678 0 0 0 28210 15 0 0 20 0 2 0 331638061 221155328 39096 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 53993 39096 197 433 0 53557 0 [pid=4410/tid=4412] ppid=4408 vsize=215972 CPUtime=281.56 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 50906 0 0 0 28138 18 0 0 20 0 2 0 331638062 221155328 39096 33554432000 4194304 5964350 140737460828112 140665264973624 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 215972 [startup+342.3 s] /proc/loadavg: 2.09 2.02 1.95 3/181 4416 /proc/meminfo: memFree=24117180/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=214888 CPUtime=342.24 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 54553 0 0 0 34208 16 0 0 20 0 2 0 331638061 220045312 40819 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 53722 40819 197 433 0 53286 0 [pid=4410/tid=4412] ppid=4408 vsize=214888 CPUtime=341.41 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 53781 0 0 0 34120 21 0 0 20 0 2 0 331638062 220045312 40819 33554432000 4194304 5964350 140737460828112 140665264974360 4389067 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 214888 [startup+402.3 s] /proc/loadavg: 2.03 2.02 1.95 3/181 4416 /proc/meminfo: memFree=23934680/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=214888 CPUtime=402.23 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 54679 0 0 0 40207 16 0 0 20 0 2 0 331638061 220045312 40945 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 53722 40945 197 433 0 53286 0 [pid=4410/tid=4412] ppid=4408 vsize=214888 CPUtime=401.25 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 53907 0 0 0 40103 22 0 0 20 0 2 0 331638062 220045312 40945 33554432000 4194304 5964350 140737460828112 140665264974360 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 214888 [startup+462.3 s] /proc/loadavg: 2.01 2.01 1.95 3/181 4416 /proc/meminfo: memFree=23757388/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=214888 CPUtime=462.22 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.97 3/180 4526 /proc/meminfo: memFree=28465876/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=345960 CPUtime=1421.96 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 94871 0 0 0 142164 32 0 0 20 0 2 0 331638061 354263040 82701 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 86490 82701 197 433 0 86054 0 [pid=4410/tid=4412] ppid=4408 vsize=345960 CPUtime=1418.55 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 94099 0 0 0 141802 53 0 0 20 0 2 0 331638062 354263040 82701 33554432000 4194304 5964350 140737460828112 140665264974360 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 345960 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4527 /proc/meminfo: memFree=28465804/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=345960 CPUtime=1481.94 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 94872 0 0 0 148162 32 0 0 20 0 2 0 331638061 354263040 82704 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 86490 82704 197 433 0 86054 0 [pid=4410/tid=4412] ppid=4408 vsize=345960 CPUtime=1478.39 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 94100 0 0 0 147785 54 0 0 20 0 2 0 331638062 354263040 82704 33554432000 4194304 5964350 140737460828112 140665264974360 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 345960 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.97 3/180 4527 /proc/meminfo: memFree=28466544/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=345960 CPUtime=1541.93 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 94872 0 0 0 154161 32 0 0 20 0 2 0 331638061 354263040 82704 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 86490 82704 197 433 0 86054 0 [pid=4410/tid=4412] ppid=4408 vsize=345960 CPUtime=1538.23 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 94100 0 0 0 153768 55 0 0 20 0 2 0 331638062 354263040 82704 33554432000 4194304 5964350 140737460828112 140665264974360 4399858 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 345960 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4528 /proc/meminfo: memFree=28465736/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=345960 CPUtime=1601.92 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 94876 0 0 0 160160 32 0 0 20 0 2 0 331638061 354263040 82708 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 86490 82708 197 433 0 86054 0 [pid=4410/tid=4412] ppid=4408 vsize=345960 CPUtime=1598.08 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 94104 0 0 0 159752 56 0 0 20 0 2 0 331638062 354263040 82708 33554432000 4194304 5964350 140737460828112 140665264974360 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 345960 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4528 /proc/meminfo: memFree=28408764/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=345960 CPUtime=1661.92 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 94876 0 0 0 166159 33 0 0 20 0 2 0 331638061 354263040 82708 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 86490 82708 197 433 0 86054 0 [pid=4410/tid=4412] ppid=4408 vsize=345960 CPUtime=1657.93 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 94104 0 0 0 165736 57 0 0 20 0 2 0 331638062 354263040 82708 33554432000 4194304 5964350 140737460828112 140665264974360 4400448 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 345960 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4528 /proc/meminfo: memFree=28408888/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=345960 CPUtime=1721.91 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 94879 0 0 0 172158 33 0 0 20 0 2 0 331638061 354263040 82711 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 86490 82711 197 433 0 86054 0 [pid=4410/tid=4412] ppid=4408 vsize=345960 CPUtime=1717.78 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 94107 0 0 0 171720 58 0 0 20 0 2 0 331638062 354263040 82711 33554432000 4194304 5964350 140737460828112 140665264974360 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 345960 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28351476/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1781.9 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 98092 0 0 0 178156 34 0 0 20 0 2 0 331638061 421371904 85924 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 85924 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1777.62 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 97320 0 0 0 177701 61 0 0 20 0 2 0 331638062 421371904 85924 33554432000 4194304 5964350 140737460828112 140665264973816 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 411496 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28344036/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1791.5 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 99938 0 0 0 179116 34 0 0 20 0 2 0 331638061 421371904 87770 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 87770 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1787.2 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 99166 0 0 0 178659 61 0 0 20 0 2 0 331638062 421371904 87770 33554432000 4194304 5964350 140737460828112 140665264973816 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 411496 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28339696/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1794.7 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 100974 0 0 0 179435 35 0 0 20 0 2 0 331638061 421371904 88806 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 88806 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1790.4 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 100202 0 0 0 178978 62 0 0 20 0 2 0 331638062 421371904 88806 33554432000 4194304 5964350 140737460828112 140665264973816 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 411496 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28336968/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1797.9 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 102076 0 0 0 179754 36 0 0 20 0 2 0 331638061 421371904 89908 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 89908 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1793.58 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 101304 0 0 0 179296 62 0 0 20 0 2 0 331638062 421371904 89908 33554432000 4194304 5964350 140737460828112 140665264973864 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 411496 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28335108/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1798.7 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 102648 0 0 0 179834 36 0 0 20 0 2 0 331638061 421371904 90480 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 90480 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1794.38 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 101876 0 0 0 179375 63 0 0 20 0 2 0 331638062 421371904 90480 33554432000 4194304 5964350 140737460828112 140665264973864 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (KiB) 411496 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28331884/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1799.1 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 102953 0 0 0 179874 36 0 0 20 0 2 0 331638061 421371904 90785 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 90785 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1794.78 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 102181 0 0 0 179415 63 0 0 20 0 2 0 331638062 421371904 90785 33554432000 4194304 5964350 140737460828112 140665264973864 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.1 Current children cumulated vsize (KiB) 411496 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28331884/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1799.49 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 103250 0 0 0 179913 36 0 0 20 0 2 0 331638061 421371904 91082 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 91082 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1795.18 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 102478 0 0 0 179455 63 0 0 20 0 2 0 331638062 421371904 91082 33554432000 4194304 5964350 140737460828112 140665264973864 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (KiB) 411496 [startup+1800 s] /proc/loadavg: 2.00 2.00 1.97 3/181 4529 /proc/meminfo: memFree=28331884/32873844 swapFree=7620/7620 [pid=4410] ppid=4408 vsize=411496 CPUtime=1799.59 cores=0,2,4,6 /proc/4410/stat : 4410 (wbo1.72) S 4408 4410 2201 0 -1 4202496 103326 0 0 0 179923 36 0 0 20 0 2 0 331638061 421371904 91158 33554432000 4194304 5964350 140737460828112 140737460827632 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4410/statm: 102874 91158 197 433 0 102438 0 [pid=4410/tid=4412] ppid=4408 vsize=411496 CPUtime=1795.28 cores=0,2,4,6 /proc/4410/task/4412/stat : 4412 (wbo1.72) R 4408 4410 2201 0 -1 4202560 102554 0 0 0 179465 63 0 0 20 0 2 0 331638062 421371904 91158 33554432000 4194304 5964350 140737460828112 140665264973864 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 411496 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4410 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=661170 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=645901 # CPU time returned by wait4() is 1795.31 # while last known CPU time is 1799.59 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.01 CPU time (s): 1799.59 CPU user time (s): 1799.23 CPU system time (s): 0.36 CPU usage (%): 99.9769 Max. virtual memory (cumulated for all children) (KiB): 411496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.66 system time used= 0.645901 maximum resident set size= 364644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103329 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= 122 involuntary context switches= 1895 runsolver used 2.66959 second user time and 7.19991 second system time The end
Begin job on node135 at 2012-06-02 18:38:53 IDJOB=3727377 IDBENCH=2015 IDSOLVER=2313 FILE ID=node135/3727377-1338655133 RUNJOBID= node135-1338651358-3625 PBS_JOBID= 14636445 Free space on /tmp= 70980 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727377-1338655133/watcher-3727377-1338655133 -o /tmp/evaluation-result-3727377-1338655133/solver-3727377-1338655133 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727377-1338655133.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b RANDOM SEED=1026899330 node135.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.820 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.64 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.820 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 : 5332.57 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.820 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 : 5332.55 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.820 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 : 5332.55 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.820 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 : 5332.54 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.820 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 : 5332.55 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.820 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 : 5238.35 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.820 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25231164 kB Buffers: 341368 kB Cached: 2434136 kB SwapCached: 1676 kB Active: 5112856 kB Inactive: 1680000 kB Active(anon): 4007900 kB Inactive(anon): 12048 kB Active(file): 1104956 kB Inactive(file): 1667952 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105796 kB Dirty: 5832 kB Writeback: 0 kB AnonPages: 3960068 kB Mapped: 11192 kB Shmem: 132 kB Slab: 698700 kB SReclaimable: 140800 kB SUnreclaim: 557900 kB KernelStack: 1504 kB PageTables: 11600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 193792 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 925696 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= 70992 MiB End job on node135 at 2012-06-02 19:08:53