Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1799.59 | 1800 |
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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705076-1338091155.opb. 0.00/0.00 c Instance file HOME/instance-3705076-1338091155.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.00 c | 0.01 | 0 | 51 lb | 0 0 0.00 | 0.00/0.00 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.01 | 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.01 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.02 | 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.02 c | 0.03 | 0 | 561 lb | 0 0 0.00 | 0.00/0.02 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.00/0.03 c | 0.03 | 0 | 662 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 663 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 705 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 713 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 714 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 756 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 764 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 765 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 807 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 815 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 816 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 850 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 864 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 890 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 912 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 946 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 960 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 994 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1008 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1042 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1056 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1090 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1104 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1138 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1152 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1186 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1200 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1234 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1248 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1282 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1296 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1330 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1344 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1378 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1392 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1426 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1440 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1474 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1488 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1522 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1536 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1570 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1587 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1595 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1628 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1646 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1663 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1672 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1675 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1692 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1701 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1704 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1721 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1730 lb | 0 0 0.00 | 0.00/0.07 c | 0.08 | 0 | 1733 lb | 0 0 0.00 | 0.00/0.07 c | 0.08 | 0 | 1750 lb | 0 0 0.00 | 0.00/0.07 c | 0.08 | 0 | 1759 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 1762 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 1779 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 1788 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 1791 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 1808 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 1817 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 1820 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 1837 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 1846 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 1849 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 1866 lb | 0 0 0.00 | 0.00/0.09 c | 0.09 | 0 | 1875 lb | 0 0 0.00 | 0.00/0.09 c | 0.09 | 0 | 1878 lb | 0 0 0.00 | 0.00/0.09 c | 0.09 | 0 | 1895 lb | 0 0 0.00 | 0.00/0.09 c | 0.09 | 0 | 1904 lb | 0 0 0.00 | 0.00/0.09 c | 0.09 | 0 | 1907 lb | 0 0 0.00 | 0.00/0.09 c | 0.10 | 0 | 1924 lb | 0 0 0.00 | 0.00/0.09 c | 0.10 | 0 | 1933 lb | 0 0 0.00 | 0.00/0.09 c | 0.10 | 0 | 1936 lb | 0 0 0.00 | 0.00/0.09 c | 0.10 | 0 | 1953 lb | 0 0 0.00 | 0.00/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.11 | 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.11 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.14 | 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.15 | 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.15 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.16 | 0 | 2325 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 2333 lb | 0 0 0.00 | 0.09/0.16 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.17 | 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.17 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.18 | 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.18 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.19 | 0 | 2442 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 2445 lb | 0 0 0.00 | 0.09/0.19 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.20 | 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.19/0.20 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.21 | 0 | 2509 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 2510 lb | 0 0 0.00 | 0.19/0.21 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.22 | 0 | 2531 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 2543 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 2544 lb | 0 0 0.00 | 0.19/0.22 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.23 | 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.23 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.24 | 0 | 2647 lb | 0 0 0.00 | 0.19/0.23 c | 0.24 | 0 | 2659 lb | 0 0 0.00 | 0.19/0.24 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.25 | 0 | 2731 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 2743 lb | 0 0 0.00 | 0.19/0.25 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.26 | 0 | 2808 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 2824 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 2833 lb | 0 0 0.00 | 0.19/0.26 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.27 | 0 | 2844 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 2849 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 2850 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 2858 lb | 0 0 0.00 | 0.19/0.27 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.28 | 0 | 2869 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 2874 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 2881 lb | 0 0 0.00 | 0.19/0.28 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.29 | 0 | 2904 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 2919 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 2926 lb | 0 0 0.00 | 0.19/0.29 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.30 | 0 | 2950 lb | 0 0 0.00 | 0.19/0.29 c | 0.30 | 0 | 2965 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 2972 lb | 0 0 0.00 | 0.29/0.30 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.31 | 0 | 2996 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 3011 lb | 0 0 0.00 | 0.29/0.31 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.32 | 0 | 3041 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 3042 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3057 lb | 0 0 0.00 | 0.29/0.32 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.33 | 0 | 3080 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 3087 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 3088 lb | 0 0 0.00 | 0.29/0.33 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.34 | 0 | 3126 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 3133 lb | 0 0 0.00 | 0.29/0.34 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.35 | 0 | 3157 lb | 0 0 0.00 | 0.29/0.34 c | 0.35 | 0 | 3170 lb | 0 0 0.00 | 0.29/0.35 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.36 | 0 | 3191 lb | 0 0 0.00 | 0.29/0.36 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.37 | 0 | 3197 lb | 0 0 0.00 | 0.29/0.36 c | 0.37 | 0 | 3198 lb | 0 0 0.00 | 0.29/0.37 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.38 | 0 | 3227 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | 3229 lb | 0 0 0.00 | 0.29/0.38 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.39 | 0 | 3234 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 3238 lb | 0 0 0.00 | 0.29/0.39 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.40 | 0 | 3242 lb | 0 0 0.00 | 0.29/0.39 c | 0.40 | 0 | 3243 lb | 0 0 0.00 | 0.39/0.40 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.41 | 0 | 3250 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 3258 lb | 0 0 0.00 | 0.39/0.41 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.42 | 0 | 3270 lb | 0 0 0.00 | 0.39/0.42 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.43 | 0 | 3274 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 3277 lb | 0 0 0.00 | 0.39/0.43 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.44 | 0 | 3288 lb | 0 0 0.00 | 0.39/0.44 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.45 | 0 | 3297 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 3299 lb | 0 0 0.00 | 0.39/0.45 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.46 | 0 | 3310 lb | 0 0 0.00 | 0.39/0.46 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.47 | 0 | 3319 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 3325 lb | 0 0 0.00 | 0.39/0.47 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.48 | 0 | 3332 lb | 0 0 0.00 | 0.39/0.48 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.49 | 0 | 3338 lb | 0 0 0.00 | 0.39/0.49 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.50 | 0 | 3346 lb | 0 0 0.00 | 0.49/0.50 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.51 | 0 | 3357 lb | 0 0 0.00 | 0.49/0.51 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.52 | 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.53 | 0 | 3369 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | 3375 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 3376 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 3377 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 3379 lb | 0 0 0.00 | 0.49/0.54 c | 0.54 | 0 | 3380 lb | 0 0 0.00 | 0.49/0.54 c | 0.55 | 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.56 | 0 | 3391 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | 3395 lb | 0 0 0.00 | 0.49/0.56 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.57 | 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.58 | 0 | 3406 lb | 0 0 0.00 | 0.49/0.58 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.59 | 0 | 3410 lb | 0 0 0.00 | 0.49/0.59 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.60 | 0 | 3419 lb | 0 0 0.00 | 0.59/0.60 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.61 | 0 | 3426 lb | 0 0 0.00 | 0.59/0.61 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.62 | 0 | 3431 lb | 0 0 0.00 | 0.59/0.62 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.63 c | 0.63 | 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.64 | 0 | 3440 lb | 0 0 0.00 | 0.59/0.64 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.65 | 0 | 3445 lb | 0 0 0.00 | 0.59/0.65 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.66 | 0 | 3450 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 3452 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 3459 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 3460 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | 3463 lb | 0 0 0.00 | 0.59/0.67 c | 0.68 | 0 | 3465 lb | 0 0 0.00 | 0.59/0.68 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.69 | 0 | 3472 lb | 0 0 0.00 | 0.59/0.69 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.70 | 0 | 3479 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 3483 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 3484 lb | 0 0 0.00 | 0.69/0.70 c | 0.71 | 0 | 3485 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 3486 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 3488 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 3489 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 3491 lb | 0 0 0.00 | 0.69/0.72 c | 0.73 | 0 | 3492 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 3494 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 3499 lb | 0 0 0.00 | 0.69/0.73 c | 0.74 | 0 | 3500 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 3501 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 3502 lb | 0 0 0.00 | 0.69/0.74 c | 0.75 | 0 | 3503 lb | 0 0 0.00 | 0.69/0.75 c | 0.75 | 0 | 3504 lb | 0 0 0.00 | 0.69/0.75 c | 0.76 | 0 | 3505 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 3506 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 3507 lb | 0 0 0.00 | 0.69/0.76 c | 0.77 | 0 | 3508 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | 3509 lb | 0 0 0.00 | 0.69/0.77 c | 0.78 | 0 | 3510 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 3511 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 3513 lb | 0 0 0.00 | 0.69/0.78 c | 0.79 | 0 | 3514 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | 3515 lb | 0 0 0.00 | 0.69/0.79 c | 0.80 | 0 | 3520 lb | 0 0 0.00 | 0.69/0.80 c | 0.80 | 0 | 3522 lb | 0 0 0.00 | 0.79/0.80 c | 0.80 | 0 | 3523 lb | 0 0 0.00 | 0.79/0.80 c | 0.81 | 0 | 3525 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 3526 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 3527 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 3528 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 3529 lb | 0 0 0.00 | 0.79/0.82 c | 0.83 | 0 | 3530 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | 3532 lb | 0 0 0.00 | 0.79/0.83 c | 0.84 | 0 | 3533 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 3534 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 3540 lb | 0 0 0.00 | 0.79/0.84 c | 0.85 | 0 | 3541 lb | 0 0 0.00 | 0.79/0.85 c | 0.85 | 0 | 3542 lb | 0 0 0.00 | 0.79/0.85 c | 0.86 | 0 | 3543 lb | 0 0 0.00 | 0.79/0.86 c | 0.86 | 0 | 3544 lb | 0 0 0.00 | 0.79/0.86 c | 0.87 | 0 | 3545 lb | 0 0 0.00 | 0.79/0.87 c | 0.87 | 0 | 3546 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 3549 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | 3550 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | 3553 lb | 0 0 0.00 | 0.79/0.88 c | 0.89 | 0 | 3554 lb | 0 0 0.00 | 0.79/0.89 c | 0.89 | 0 | 3555 lb | 0 0 0.00 | 0.79/0.89 c | 0.90 | 0 | 3557 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | 3559 lb | 0 0 0.00 | 0.89/0.90 c | 0.91 | 0 | 3560 lb | 0 0 0.00 | 0.89/0.91 c | 0.91 | 0 | 3562 lb | 0 0 0.00 | 0.89/0.91 c | 0.92 | 0 | 3563 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 3564 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 3565 lb | 0 0 0.00 | 0.89/0.92 c | 0.93 | 0 | 3566 lb | 0 0 0.00 | 0.89/0.93 c | 0.93 | 0 | 3567 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | 3568 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | 3569 lb | 0 0 0.00 | 0.89/0.94 c | 0.95 | 0 | 3570 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 3571 lb | 0 0 0.00 | 0.89/0.95 c | 0.96 | 0 | 3572 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | 3573 lb | 0 0 0.00 | 0.89/0.96 c | 0.97 | 0 | 3574 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 3575 lb | 0 0 0.00 | 0.89/0.97 c | 0.98 | 0 | 3576 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 3577 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 3578 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 3579 lb | 0 0 0.00 | 0.89/0.99 c | 1.00 | 0 | 3580 lb | 0 0 0.00 | 0.99/1.00 c | 1.00 | 0 | 3582 lb | 0 0 0.00 | 0.99/1.00 c | 1.01 | 0 | 3585 lb | 0 0 0.00 | 0.99/1.01 c | 1.01 | 0 | 3587 lb | 0 0 0.00 | 0.99/1.01 c | 1.02 | 0 | 3588 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | 3589 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | 3590 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | 3593 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | 3597 lb | 0 0 0.00 | 0.99/1.03 c | 1.04 | 0 | 3599 lb | 0 0 0.00 | 0.99/1.04 c | 1.04 | 0 | 3600 lb | 0 0 0.00 | 0.99/1.04 c | 1.05 | 0 | 3601 lb | 0 0 0.00 | 0.99/1.05 c | 1.05 | 0 | 3602 lb | 0 0 0.00 | 0.99/1.05 c | 1.06 | 0 | 3603 lb | 0 0 0.00 | 0.99/1.06 c | 1.06 | 0 | 3604 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | 3605 lb | 0 0 0.00 | 0.99/1.07 c | 1.07 | 0 | 3610 lb | 0 0 0.00 | 0.99/1.07 c | 1.08 | 0 | 3611 lb | 0 0 0.00 | 0.99/1.08 c | 1.08 | 0 | 3613 lb | 0 0 0.00 | 0.99/1.08 c | 1.08 | 0 | 3614 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | 3615 lb | 0 0 0.00 | 0.99/1.09 c | 1.10 | 0 | 3616 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 3617 lb | 0 0 0.00 | 0.99/1.10 c | 1.11 | 0 | 3621 lb | 0 0 0.00 | 1.10/1.11 c | 1.11 | 0 | 3624 lb | 0 0 0.00 | 1.10/1.11 c | 1.11 | 0 | 3628 lb | 0 0 0.00 | 1.10/1.12 c | 1.12 | 0 | 3629 lb | 0 0 0.00 | 1.10/1.12 c | 1.12 | 0 | 3630 lb | 0 0 0.00 | 1.10/1.13 c | 1.13 | 0 | 3631 lb | 0 0 0.00 | 1.10/1.13 c | 1.13 | 0 | 3633 lb | 0 0 0.00 | 1.10/1.13 c | 1.14 | 0 | 3634 lb | 0 0 0.00 | 1.10/1.14 c | 1.14 | 0 | 3635 lb | 0 0 0.00 | 1.10/1.14 c | 1.15 | 0 | 3637 lb | 0 0 0.00 | 1.10/1.15 c | 1.15 | 0 | 3638 lb | 0 0 0.00 | 1.10/1.15 c | 1.16 | 0 | 3639 lb | 0 0 0.00 | 1.10/1.16 c | 1.16 | 0 | 3640 lb | 0 0 0.00 | 1.10/1.16 c | 1.17 | 0 | 3641 lb | 0 0 0.00 | 1.10/1.17 c | 1.17 | 0 | 3643 lb | 0 0 0.00 | 1.10/1.17 c | 1.18 | 0 | 3644 lb | 0 0 0.00 | 1.10/1.18 c | 1.18 | 0 | 3645 lb | 0 0 0.00 | 1.10/1.19 c | 1.19 | 0 | 3646 lb | 0 0 0.00 | 1.10/1.19 c | 1.19 | 0 | 3649 lb | 0 0 0.00 | 1.10/1.20 c | 1.20 | 0 | 3651 lb | 0 0 0.00 | 1.10/1.20 c | 1.21 | 0 | 3652 lb | 0 0 0.00 | 1.20/1.21 c | 1.21 | 0 | 3653 lb | 0 0 0.00 | 1.20/1.21 c | 1.22 | 0 | 3654 lb | 0 0 0.00 | 1.20/1.22 c | 1.22 | 0 | 3655 lb | 0 0 0.00 | 1.20/1.22 c | 1.23 | 0 | 3656 lb | 0 0 0.00 | 1.20/1.23 c | 1.24 | 0 | 3657 lb | 0 0 0.00 | 1.20/1.24 c | 1.24 | 0 | 3658 lb | 0 0 0.00 | 1.20/1.24 c | 1.25 | 0 | 3659 lb | 0 0 0.00 | 1.20/1.25 c | 1.26 | 0 | 3660 lb | 0 0 0.00 | 1.20/1.26 c | 1.26 | 0 | 3661 lb | 0 0 0.00 | 1.20/1.27 c | 1.27 | 0 | 3662 lb | 0 0 0.00 | 1.20/1.27 c | 1.28 | 0 | 3663 lb | 0 0 0.00 | 1.20/1.28 c | 1.28 | 0 | 3664 lb | 0 0 0.00 | 1.20/1.28 c | 1.29 | 0 | 3666 lb | 0 0 0.00 | 1.20/1.29 c | 1.29 | 0 | 3667 lb | 0 0 0.00 | 1.20/1.29 c | 1.30 | 0 | 3668 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | 3669 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 3670 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 3672 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 3673 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 3674 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | 3676 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | 3677 lb | 0 0 0.00 | 1.29/1.34 c | 1.34 | 0 | 3678 lb | 0 0 0.00 | 1.29/1.34 c | 1.35 | 0 | 3679 lb | 0 0 0.00 | 1.29/1.35 c | 1.35 | 0 | 3680 lb | 0 0 0.00 | 1.29/1.35 c | 1.36 | 0 | 3681 lb | 0 0 0.00 | 1.29/1.36 c | 1.36 | 0 | 3682 lb | 0 0 0.00 | 1.29/1.37 c | 1.37 | 0 | 3683 lb | 0 0 0.00 | 1.29/1.37 c | 1.38 | 0 | 3684 lb | 0 0 0.00 | 1.29/1.38 c | 1.38 | 0 | 3685 lb | 0 0 0.00 | 1.29/1.38 c | 1.39 | 0 | 3686 lb | 0 0 0.00 | 1.29/1.39 c | 1.39 | 0 | 3689 lb | 0 0 0.00 | 1.39/1.40 c | 1.40 | 0 | 3690 lb | 0 0 0.00 | 1.39/1.40 c | 1.41 | 0 | 3694 lb | 0 0 0.00 | 1.39/1.41 c | 1.41 | 0 | 3695 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | 3697 lb | 0 0 0.00 | 1.39/1.42 c | 1.42 | 0 | 3698 lb | 0 0 0.00 | 1.39/1.42 c | 1.43 | 0 | 3699 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | 3700 lb | 0 0 0.00 | 1.39/1.44 c | 1.44 | 0 | 3701 lb | 0 0 0.00 | 1.39/1.44 c | 1.45 | 0 | 3702 lb | 0 0 0.00 | 1.39/1.45 c | 1.45 | 0 | 3703 lb | 0 0 0.00 | 1.39/1.45 c | 1.46 | 0 | 3704 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 3705 lb | 0 0 0.00 | 1.39/1.47 c | 1.47 | 0 | 3706 lb | 0 0 0.00 | 1.39/1.47 c | 1.48 | 0 | 3707 lb | 0 0 0.00 | 1.39/1.48 c | 1.48 | 0 | 3708 lb | 0 0 0.00 | 1.39/1.48 c | 1.49 | 0 | 3709 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | 3710 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | 3711 lb | 0 0 0.00 | 1.48/1.50 c | 1.51 | 0 | 3712 lb | 0 0 0.00 | 1.48/1.51 c | 1.51 | 0 | 3713 lb | 0 0 0.00 | 1.48/1.52 c | 1.52 | 0 | 3716 lb | 0 0 0.00 | 1.48/1.52 c | 1.53 | 0 | 3717 lb | 0 0 0.00 | 1.48/1.53 c | 1.53 | 0 | 3719 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | 3720 lb | 0 0 0.00 | 1.48/1.54 c | 1.55 | 0 | 3721 lb | 0 0 0.00 | 1.48/1.55 c | 1.55 | 0 | 3722 lb | 0 0 0.00 | 1.48/1.56 c | 1.56 | 0 | 3723 lb | 0 0 0.00 | 1.48/1.56 c | 1.57 | 0 | 3724 lb | 0 0 0.00 | 1.48/1.57 c | 1.57 | 0 | 3730 lb | 0 0 0.00 | 1.48/1.58 c | 1.58 | 0 | 3732 lb | 0 0 0.00 | 1.48/1.58 c | 1.58 | 0 | 3734 lb | 0 0 0.00 | 1.48/1.59 c | 1.59 | 0 | 3735 lb | 0 0 0.00 | 1.48/1.59 c | 1.60 | 0 | 3737 lb | 0 0 0.00 | 1.59/1.60 c | 1.60 | 0 | 3738 lb | 0 0 0.00 | 1.59/1.61 c | 1.61 | 0 | 3740 lb | 0 0 0.00 | 1.59/1.61 c | 1.61 | 0 | 3741 lb | 0 0 0.00 | 1.59/1.62 c | 1.62 | 0 | 3742 lb | 0 0 0.00 | 1.59/1.62 c | 1.63 | 0 | 3743 lb | 0 0 0.00 | 1.59/1.63 c | 1.63 | 0 | 3744 lb | 0 0 0.00 | 1.59/1.63 c | 1.64 | 0 | 3747 lb | 0 0 0.00 | 1.59/1.64 c | 1.64 | 0 | 3748 lb | 0 0 0.00 | 1.59/1.65 c | 1.65 | 0 | 3750 lb | 0 0 0.00 | 1.59/1.65 c | 1.66 | 0 | 3752 lb | 0 0 0.00 | 1.59/1.66 c | 1.66 | 0 | 3756 lb | 0 0 0.00 | 1.59/1.67 c | 1.67 | 0 | 3760 lb | 0 0 0.00 | 1.59/1.67 c | 1.68 | 0 | 3761 lb | 0 0 0.00 | 1.59/1.68 c | 1.68 | 0 | 3764 lb | 0 0 0.00 | 1.59/1.68 c | 1.69 | 0 | 3766 lb | 0 0 0.00 | 1.59/1.69 c | 1.70 | 0 | 3767 lb | 0 0 0.00 | 1.69/1.70 c | 1.70 | 0 | 3768 lb | 0 0 0.00 | 1.69/1.70 c | 1.71 | 0 | 3770 lb | 0 0 0.00 | 1.69/1.71 c | 1.72 | 0 | 3772 lb | 0 0 0.00 | 1.69/1.72 c | 1.72 | 0 | 3773 lb | 0 0 0.00 | 1.69/1.72 c | 1.73 | 0 | 3774 lb | 0 0 0.00 | 1.69/1.73 c | 1.74 | 0 | 3775 lb | 0 0 0.00 | 1.69/1.74 c | 1.74 | 0 | 3778 lb | 0 0 0.00 | 1.69/1.75 c | 1.75 | 0 | 3779 lb | 0 0 0.00 | 1.69/1.75 c | 1.76 | 0 | 3780 lb | 0 0 0.00 | 1.69/1.76 c | 1.76 | 0 | 3786 lb | 0 0 0.00 | 1.69/1.77 c | 1.77 | 0 | 3787 lb | 0 0 0.00 | 1.69/1.77 c | 1.78 | 0 | 3788 lb | 0 0 0.00 | 1.69/1.78 c | 1.78 | 0 | 3789 lb | 0 0 0.00 | 1.69/1.79 c | 1.79 | 0 | 3790 lb | 0 0 0.00 | 1.69/1.79 c | 1.80 | 0 | 3791 lb | 0 0 0.00 | 1.79/1.80 c | 1.80 | 0 | 3792 lb | 0 0 0.00 | 1.79/1.81 c | 1.81 | 0 | 3793 lb | 0 0 0.00 | 1.79/1.81 c | 1.82 | 0 | 3794 lb | 0 0 0.00 | 1.79/1.82 c | 1.83 | 0 | 3795 lb | 0 0 0.00 | 1.79/1.83 c | 1.83 | 0 | 3797 lb | 0 0 0.00 | 1.79/1.84 c | 1.84 | 0 | 3799 lb | 0 0 0.00 | 1.79/1.84 c | 1.85 | 0 | 3800 lb | 0 0 0.00 | 1.79/1.85 c | 1.85 | 0 | 3803 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | 3804 lb | 0 0 0.00 | 1.79/1.86 c | 1.87 | 0 | 3805 lb | 0 0 0.00 | 1.79/1.87 c | 1.87 | 0 | 3807 lb | 0 0 0.00 | 1.79/1.88 c | 1.88 | 0 | 3808 lb | 0 0 0.00 | 1.79/1.88 c | 1.89 | 0 | 3809 lb | 0 0 0.00 | 1.79/1.89 c | 1.89 | 0 | 3810 lb | 0 0 0.00 | 1.89/1.90 c | 1.90 | 0 | 3811 lb | 0 0 0.00 | 1.89/1.90 c | 1.91 | 0 | 3814 lb | 0 0 0.00 | 1.89/1.91 c | 1.91 | 0 | 3815 lb | 0 0 0.00 | 1.89/1.92 c | 1.92 | 0 | 3817 lb | 0 0 0.00 | 1.89/1.92 c | 1.93 | 0 | 3819 lb | 0 0 0.00 | 1.89/1.93 c | 1.93 | 0 | 3820 lb | 0 0 0.00 | 1.89/1.93 c | 1.94 | 0 | 3821 lb | 0 0 0.00 | 1.89/1.94 c | 1.95 | 0 | 3822 lb | 0 0 0.00 | 1.89/1.95 c | 1.95 | 0 | 3823 lb | 0 0 0.00 | 1.89/1.96 c | 1.96 | 0 | 3825 lb | 0 0 0.00 | 1.89/1.96 c | 1.97 | 0 | 3826 lb | 0 0 0.00 | 1.89/1.97 c | 1.97 | 0 | 3828 lb | 0 0 0.00 | 1.89/1.98 c | 1.98 | 0 | 3829 lb | 0 0 0.00 | 1.89/1.99 c | 1.99 | 0 | 3831 lb | 0 0 0.00 | 1.89/1.99 c | 2.00 | 0 | 3832 lb | 0 0 0.00 | 1.99/2.00 c | 2.00 | 0 | 3834 lb | 0 0 0.00 | 1.99/2.01 c | 2.01 | 0 | 3835 lb | 0 0 0.00 | 1.99/2.01 c | 2.02 | 0 | 3836 lb | 0 0 0.00 | 1.99/2.02 c | 2.02 | 0 | 3843 lb | 0 0 0.00 | 1.99/2.03 c | 2.03 | 0 | 3845 lb | 0 0 0.00 | 1.99/2.03 c | 2.04 | 0 | 3849 lb | 0 0 0.00 | 1.99/2.04 c | 2.04 | 0 | 3850 lb | 0 0 0.00 | 1.99/2.05 c | 2.05 | 0 | 3851 lb | 0 0 0.00 | 1.99/2.05 c | 2.06 | 0 | 3853 lb | 0 0 0.00 | 1.99/2.06 c | 2.06 | 0 | 3854 lb | 0 0 0.00 | 1.99/2.07 c | 2.07 | 0 | 3855 lb | 0 0 0.00 | 1.99/2.08 c | 2.08 | 0 | 3856 lb | 0 0 0.00 | 1.99/2.08 c | 2.09 | 0 | 3857 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | 3858 lb | 0 0 0.00 | 2.09/2.10 c | 2.10 | 0 | 3859 lb | 0 0 0.00 | 2.09/2.10 c | 2.11 | 0 | 3861 lb | 0 0 0.00 | 2.09/2.11 c | 2.11 | 0 | 3865 lb | 0 0 0.00 | 2.09/2.12 c | 2.12 | 0 | 3866 lb | 0 0 0.00 | 2.09/2.12 c | 2.13 | 0 | 3867 lb | 0 0 0.00 | 2.09/2.13 c | 2.13 | 0 | 3868 lb | 0 0 0.00 | 2.09/2.14 c | 2.14 | 0 | 3875 lb | 0 0 0.00 | 2.09/2.15 c | 2.15 | 0 | 3877 lb | 0 0 0.00 | 2.09/2.15 c | 2.16 | 0 | 3879 lb | 0 0 0.00 | 2.09/2.16 c | 2.16 | 0 | 3880 lb | 0 0 0.00 | 2.09/2.17 c | 2.17 | 0 | 3881 lb | 0 0 0.00 | 2.09/2.18 c | 2.18 | 0 | 3882 lb | 0 0 0.00 | 2.09/2.18 c | 2.19 | 0 | 3883 lb | 0 0 0.00 | 2.09/2.19 c | 2.19 | 0 | 3884 lb | 0 0 0.00 | 2.09/2.20 c | 2.20 | 0 | 3885 lb | 0 0 0.00 | 2.19/2.21 c | 2.21 | 0 | 3886 lb | 0 0 0.00 | 2.19/2.22 c | 2.22 | 0 | 3887 lb | 0 0 0.00 | 2.19/2.23 c | 2.23 | 0 | 3888 lb | 0 0 0.00 | 2.19/2.23 c | 2.24 | 0 | 3892 lb | 0 0 0.00 | 2.19/2.24 c | 2.25 | 0 | 3894 lb | 0 0 0.00 | 2.19/2.25 c | 2.25 | 0 | 3895 lb | 0 0 0.00 | 2.19/2.26 c | 2.26 | 0 | 3896 lb | 0 0 0.00 | 2.19/2.27 c | 2.27 | 0 | 3897 lb | 0 0 0.00 | 2.19/2.28 c | 2.28 | 0 | 3898 lb | 0 0 0.00 | 2.19/2.29 c | 2.29 | 0 | 3899 lb | 0 0 0.00 | 2.19/2.30 c | 2.30 | 0 | 3900 lb | 0 0 0.00 | 2.29/2.30 c | 2.31 | 0 | 3901 lb | 0 0 0.00 | 2.29/2.31 c | 2.32 | 0 | 3902 lb | 0 0 0.00 | 2.29/2.32 c | 2.33 | 0 | 3903 lb | 0 0 0.00 | 2.29/2.33 c | 2.34 | 0 | 3904 lb | 0 0 0.00 | 2.29/2.34 c | 2.35 | 0 | 3905 lb | 0 0 0.00 | 2.29/2.35 c | 2.35 | 0 | 3908 lb | 0 0 0.00 | 2.29/2.36 c | 2.37 | 0 | 3909 lb | 0 0 0.00 | 2.29/2.37 c | 2.38 | 0 | 3910 lb | 0 0 0.00 | 2.29/2.38 c | 2.39 | 0 | 3911 lb | 0 0 0.00 | 2.29/2.39 c | 2.40 | 0 | 3912 lb | 0 0 0.00 | 2.39/2.40 c | 2.40 | 0 | 3913 lb | 0 0 0.00 | 2.39/2.41 c | 2.42 | 0 | 3914 lb | 0 0 0.00 | 2.39/2.43 c | 2.43 | 0 | 3915 lb | 0 0 0.00 | 2.39/2.44 c | 2.45 | 0 | 3916 lb | 0 0 0.00 | 2.39/2.46 c | 2.46 | 0 | 3917 lb | 0 0 0.00 | 2.39/2.47 c | 2.47 | 0 | 3918 lb | 0 0 0.00 | 2.39/2.48 c | 2.48 | 0 | 3919 lb | 0 0 0.00 | 2.39/2.49 c | 2.49 | 0 | 3920 lb | 0 0 0.00 | 2.49/2.50 c | 2.50 | 0 | 3926 lb | 0 0 0.00 | 2.49/2.51 c | 2.51 | 0 | 3927 lb | 0 0 0.00 | 2.49/2.52 c | 2.52 | 0 | 3928 lb | 0 0 0.00 | 2.49/2.53 c | 2.53 | 0 | 3929 lb | 0 0 0.00 | 2.49/2.54 c | 2.54 | 0 | 3930 lb | 0 0 0.00 | 2.49/2.55 c | 2.55 | 0 | 3931 lb | 0 0 0.00 | 2.49/2.56 c | 2.56 | 0 | 3932 lb | 0 0 0.00 | 2.49/2.57 c | 2.57 | 0 | 3933 lb | 0 0 0.00 | 2.49/2.58 c | 2.59 | 0 | 3934 lb | 0 0 0.00 | 2.49/2.59 c | 2.60 | 0 | 3935 lb | 0 0 0.00 | 2.59/2.61 c | 2.61 | 0 | 3936 lb | 0 0 0.00 | 2.59/2.62 c | 2.62 | 0 | 3937 lb | 0 0 0.00 | 2.59/2.63 c | 2.63 | 0 | 3938 lb | 0 0 0.00 | 2.59/2.66 c | 2.67 | 0 | 3939 lb | 0 0 0.00 | 2.59/2.67 c | 2.68 | 0 | 3946 lb | 0 0 0.00 | 2.59/2.69 c | 2.69 | 0 | 3947 lb | 0 0 0.00 | 2.69/2.71 c | 2.71 | 0 | 3948 lb | 0 0 0.00 | 2.69/2.72 c | 2.73 | 0 | 3949 lb | 0 0 0.00 | 2.69/2.74 c | 2.74 | 0 | 3950 lb | 0 0 0.00 | 2.69/2.75 c | 2.75 | 0 | 3951 lb | 0 0 0.00 | 2.79/2.87 c | 2.87 | 0 | 3952 lb | 0 0 0.00 | 2.89/2.99 c | 2.99 | 0 | 3953 lb | 0 0 0.00 | 2.99/3.00 c | 3.01 | 0 | 3954 lb | 0 0 0.00 | 2.99/3.02 c | 3.02 | 0 | 3955 lb | 0 0 0.00 | 2.99/3.03 c | 3.03 | 0 | 3956 lb | 0 0 0.00 | 2.99/3.05 c | 3.06 | 0 | 3957 lb | 0 0 0.00 | 2.99/3.07 c | 3.07 | 0 | 3958 lb | 0 0 0.00 | 3.89/3.91 c | 3.91 | 0 | 3959 lb | 0 0 0.00 | 3.89/3.93 c | 3.94 | 0 | 3961 lb | 0 0 0.00 | 3.89/3.94 c | 3.95 | 0 | 3966 lb | 0 0 0.00 | 3.89/3.96 c | 3.96 | 0 | 3967 lb | 0 0 0.00 | 3.89/3.97 c | 3.98 | 0 | 3968 lb | 0 0 0.00 | 3.89/3.99 c | 3.99 | 0 | 3969 lb | 0 0 0.00 | 3.99/4.01 c | 4.01 | 0 | 3970 lb | 0 0 0.00 | 3.99/4.02 c | 4.02 | 0 | 3971 lb | 0 0 0.00 | 3.99/4.04 c | 4.04 | 0 | 3972 lb | 0 0 0.00 | 3.99/4.05 c | 4.05 | 0 | 3973 lb | 0 0 0.00 | 3.99/4.06 c | 4.07 | 0 | 3974 lb | 0 0 0.00 | 3.99/4.08 c | 4.08 | 0 | 3975 lb | 0 0 0.00 | 3.99/4.09 c | 4.10 | 0 | 3976 lb | 0 0 0.00 | 4.09/4.11 c | 4.11 | 0 | 3977 lb | 0 0 0.00 | 4.09/4.13 c | 4.13 | 0 | 3978 lb | 0 0 0.00 | 4.09/4.14 c | 4.15 | 0 | 3979 lb | 0 0 0.00 | 15.50/15.52 c | 15.53 | 0 | 3980 lb | 0 0 0.00 | 15.50/15.57 c | 15.57 | 0 | 3981 lb | 0 0 0.00 | 15.50/15.58 c | 15.59 | 0 | 3982 lb | 0 0 0.00 | 15.59/15.60 c | 15.60 | 0 | 3983 lb | 0 0 0.00 | 15.59/15.61 c | 15.62 | 0 | 3984 lb | 0 0 0.00 | 15.59/15.63 c | 15.63 | 0 | 3985 lb | 0 0 0.00 | 15.59/15.65 c | 15.65 | 0 | 3986 lb | 0 0 0.00 | 15.59/15.67 c | 15.67 | 0 | 3987 lb | 0 0 0.00 | 19.29/19.37 c | 19.37 | 0 | 3988 lb | 0 0 0.00 | 19.79/19.83 c | 19.83 | 0 | 3989 lb | 0 0 0.00 | 19.79/19.85 c | 19.85 | 0 | 3990 lb | 0 0 0.00 | 19.79/19.86 c | 19.87 | 0 | 3991 lb | 0 0 0.00 | 19.79/19.88 c | 19.88 | 0 | 3992 lb | 0 0 0.00 | 19.79/19.90 c | 19.90 | 0 | 3993 lb | 0 0 0.00 | 30.09/30.14 c | 30.14 | 0 | 3994 lb | 0 0 0.00 | 30.09/30.19 c | 30.20 | 0 | 3995 lb | 0 0 0.00 | 37.29/37.34 c | 37.34 | 0 | 3996 lb | 0 0 0.00 | 37.39/37.42 c | 37.42 | 0 | 3997 lb | 0 0 0.00 | 42.58/42.65 c | 42.66 | 0 | 3998 lb | 0 0 0.00 | 42.58/42.69 c | 42.70 | 0 | 3999 lb | 0 0 0.00 | 42.68/42.71 c | 42.72 | 0 | 4000 lb | 0 0 0.00 | 42.78/42.88 c | 42.88 | 0 | 4001 lb | 0 0 0.00 | 42.78/42.89 c | 42.90 | 0 | 4003 lb | 0 0 0.00 | 42.89/42.92 c | 42.92 | 0 | 4004 lb | 0 0 0.00 | 42.89/42.94 c | 42.95 | 0 | 4005 lb | 0 0 0.00 | 42.89/42.96 c | 42.96 | 0 | 4006 lb | 0 0 0.00 | 42.89/42.98 c | 42.98 | 0 | 4007 lb | 0 0 0.00 | 42.89/43.00 c | 43.00 | 0 | 4008 lb | 0 0 0.00 | 42.99/43.02 c | 43.03 | 0 | 4009 lb | 0 0 0.00 | 42.99/43.04 c | 43.05 | 0 | 4010 lb | 0 0 0.00 | 42.99/43.06 c | 43.06 | 0 | 4011 lb | 0 0 0.00 | 42.99/43.08 c | 43.09 | 0 | 4012 lb | 0 0 0.00 | 43.08/43.11 c | 43.11 | 0 | 4013 lb | 0 0 0.00 | 43.08/43.14 c | 43.14 | 0 | 4014 lb | 0 0 0.00 | 43.08/43.16 c | 43.16 | 0 | 4015 lb | 0 0 0.00 | 43.08/43.18 c | 43.19 | 0 | 4016 lb | 0 0 0.00 | 51.69/51.73 c | 51.73 | 0 | 4017 lb | 0 0 0.00 | 51.79/51.81 c | 51.81 | 0 | 4018 lb | 0 0 0.00 | 51.79/51.83 c | 51.84 | 0 | 4019 lb | 0 0 0.00 | 51.79/51.86 c | 51.86 | 0 | 4020 lb | 0 0 0.00 | 51.79/51.88 c | 51.88 | 0 | 4021 lb | 0 0 0.00 | 51.88/51.90 c | 51.91 | 0 | 4022 lb | 0 0 0.00 | 64.68/64.75 c | 64.76 | 0 | 4023 lb | 0 0 0.00 | 64.78/64.83 c | 64.83 | 0 | 4024 lb | 0 0 0.00 | 64.78/64.86 c | 64.86 | 0 | 4025 lb | 0 0 0.00 | 303.01/303.14 c | 303.14 | 0 | 4026 lb | 0 0 0.00 | 303.51/303.64 c | 303.64 | 0 | 4027 lb | 0 0 0.00 | 303.51/303.68 c | 303.68 | 0 | 4028 lb | 0 0 0.00 | 303.51/303.70 c | 303.70 | 0 | 4029 lb | 0 0 0.00 | 303.61/303.72 c | 303.72 | 0 | 4030 lb | 0 0 0.00 | 303.61/303.75 c | 303.75 | 0 | 4031 lb | 0 0 0.00 | 303.61/303.77 c | 303.77 | 0 | 4032 lb | 0 0 0.00 | 303.71/303.80 c | 303.80 | 0 | 4033 lb | 0 0 0.00 | 303.71/303.82 c | 303.82 | 0 | 4035 lb | 0 0 0.00 | 303.71/303.88 c | 303.88 | 0 | 4036 lb | 0 0 0.00 | 303.81/303.90 c | 303.90 | 0 | 4037 lb | 0 0 0.00 | 303.81/303.92 c | 303.93 | 0 | 4038 lb | 0 0 0.00 | 303.81/303.95 c | 303.95 | 0 | 4039 lb | 0 0 0.00 | 303.81/303.98 c | 303.98 | 0 | 4040 lb | 0 0 0.00 | 303.91/304.00 c | 304.00 | 0 | 4041 lb | 0 0 0.00 | 303.91/304.02 c | 304.03 | 0 | 4042 lb | 0 0 0.00 | 303.91/304.04 c | 304.05 | 0 | 4043 lb | 0 0 0.00 | 303.91/304.07 c | 304.08 | 0 | 4044 lb | 0 0 0.00 | 303.91/304.09 c | 304.10 | 0 | 4045 lb | 0 0 0.00 | 304.01/304.13 c | 304.13 | 0 | 4046 lb | 0 0 0.00 | 304.01/304.15 c | 304.15 | 0 | 4047 lb | 0 0 0.00 | 304.01/304.18 c | 304.18 | 0 | 4048 lb | 0 0 0.00 | 304.11/304.20 c | 304.20 | 0 | 4049 lb | 0 0 0.00 | 304.11/304.22 c | 304.23 | 0 | 4050 lb | 0 0 0.00 | 304.11/304.25 c | 304.25 | 0 | 4051 lb | 0 0 0.00 | 304.11/304.27 c | 304.28 | 0 | 4052 lb | 0 0 0.00 | 304.21/304.30 c | 304.31 | 0 | 4053 lb | 0 0 0.00 | 304.21/304.32 c | 304.33 | 0 | 4054 lb | 0 0 0.00 | 304.21/304.35 c | 304.35 | 0 | 4055 lb | 0 0 0.00 | 304.21/304.37 c | 304.38 | 0 | 4056 lb | 0 0 0.00 | 304.21/304.39 c | 304.40 | 0 | 4057 lb | 0 0 0.00 | 304.31/304.42 c | 304.42 | 0 | 4058 lb | 0 0 0.00 | 384.59/384.79 c | 384.80 | 0 | 4059 lb | 0 0 0.00 | 384.90/385.01 c | 385.02 | 0 | 4060 lb | 0 0 0.00 | 384.90/385.05 c | 385.05 | 0 | 4061 lb | 0 0 0.00 | 384.90/385.07 c | 385.08 | 0 | 4062 lb | 0 0 0.00 | 385.00/385.19 c | 385.19 | 0 | 4063 lb | 0 0 0.00 | 385.09/385.22 c | 385.22 | 0 | 4064 lb | 0 0 0.00 | 385.09/385.25 c | 385.25 | 0 | 4065 lb | 0 0 0.00 | 385.19/385.30 c | 385.30 | 0 | 4066 lb | 0 0 0.00 | 385.19/385.33 c | 385.33 | 0 | 4067 lb | 0 0 0.00 | 385.19/385.38 c | 385.38 | 0 | 4068 lb | 0 0 0.00 | 385.29/385.41 c | 385.41 | 0 | 4069 lb | 0 0 0.00 | 385.29/385.43 c | 385.44 | 0 | 4070 lb | 0 0 0.00 | 385.29/385.47 c | 385.48 | 0 | 4071 lb | 0 0 0.00 | 385.59/385.75 c | 385.75 | 0 | 4072 lb | 0 0 0.00 | 385.59/385.78 c | 385.78 | 0 | 4073 lb | 0 0 0.00 | 385.69/385.80 c | 385.81 | 0 | 4074 lb | 0 0 0.00 | 385.69/385.83 c | 385.83 | 0 | 4075 lb | 0 0 0.00 | 385.69/385.85 c | 385.86 | 0 | 4076 lb | 0 0 0.00 | 385.69/385.88 c | 385.89 | 0 | 4077 lb | 0 0 0.00 | 385.79/385.91 c | 385.92 | 0 | 4078 lb | 0 0 0.00 | 385.79/385.94 c | 385.94 | 0 | 4079 lb | 0 0 0.00 | 385.89/386.00 c | 386.00 | 0 | 4080 lb | 0 0 0.00 | 385.89/386.03 c | 386.03 | 0 | 4081 lb | 0 0 0.00 | 385.89/386.06 c | 386.06 | 0 | 4082 lb | 0 0 0.00 | 388.30/388.41 c | 388.41 | 0 | 4083 lb | 0 0 0.00 | 388.30/388.45 c | 388.46 | 0 | 4084 lb | 0 0 0.00 | 389.89/390.07 c | 390.07 | 0 | 4085 lb | 0 0 0.00 | 389.99/390.11 c | 390.11 | 0 | 4086 lb | 0 0 0.00 | 389.99/390.14 c | 390.14 | 0 | 4087 lb | 0 0 0.00 | 389.99/390.17 c | 390.18 | 0 | 4088 lb | 0 0 0.00 | 390.09/390.20 c | 390.21 | 0 | 4089 lb | 0 0 0.00 | 390.09/390.24 c | 390.24 | 0 | 4090 lb | 0 0 0.00 | 390.09/390.27 c | 390.28 | 0 | 4091 lb | 0 0 0.00 | 798.19/798.47 c | 798.47 | 0 | 4092 lb | 0 0 0.00 | 1282.68/1283.05 c | 1283.05 | 0 | 4093 lb | 0 0 0.00 | 1283.79/1284.14 c | 1284.14 | 0 | 4094 lb | 0 0 0.00 | 1283.89/1284.21 c | 1284.21 | 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-3705076-1338091155/watcher-3705076-1338091155 -o /tmp/evaluation-result-3705076-1338091155/solver-3705076-1338091155 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705076-1338091155.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.01 2.01 1.96 3/177 3030 /proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=0 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 2 0 275239873 85823488 741 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 744 174 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 2 0 275239874 85823488 748 33554432000 4194304 5963574 140733553285744 140734002555560 5243463 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 [startup+0.10056 s] /proc/loadavg: 2.01 2.01 1.96 3/177 3030 /proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=0.09 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 1135 0 0 0 9 0 0 0 20 0 2 0 275239873 85823488 1071 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 1071 194 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.08 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 363 0 0 0 8 0 0 0 20 0 2 0 275239874 85823488 1071 33554432000 4194304 5963574 140733553285744 140734002555560 5141669 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83812 [startup+0.200343 s] /proc/loadavg: 2.01 2.01 1.96 3/177 3030 /proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=0.19 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 1391 0 0 0 19 0 0 0 20 0 2 0 275239873 85823488 1294 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 1294 194 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.18 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 619 0 0 0 18 0 0 0 20 0 2 0 275239874 85823488 1294 33554432000 4194304 5963574 140733553285744 140734002555560 4418759 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 83812 [startup+0.300294 s] /proc/loadavg: 2.01 2.01 1.96 3/177 3030 /proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=0.29 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 1634 0 0 0 29 0 0 0 20 0 2 0 275239873 85823488 1489 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 1489 195 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.28 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 862 0 0 0 28 0 0 0 20 0 2 0 275239874 85823488 1489 33554432000 4194304 5963574 140733553285744 140734002555560 5138334 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83812 [startup+0.700268 s] /proc/loadavg: 2.01 2.01 1.96 3/177 3030 /proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=0.69 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 3911 0 0 0 69 0 0 0 20 0 2 0 275239873 85823488 2479 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 2479 197 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.68 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 3139 0 0 0 68 0 0 0 20 0 2 0 275239874 85823488 2479 33554432000 4194304 5963574 140733553285744 140734002555560 5134809 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83812 [startup+1.5003 s] /proc/loadavg: 2.01 2.01 1.96 3/179 3032 /proc/meminfo: memFree=29993652/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=1.48 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 9595 0 0 0 147 1 0 0 20 0 2 0 275239873 85823488 3839 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 3839 197 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=1.48 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 8823 0 0 0 146 2 0 0 20 0 2 0 275239874 85823488 3839 33554432000 4194304 5963574 140733553285744 140611301681688 5133477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 83812 [startup+3.10032 s] /proc/loadavg: 2.01 2.01 1.96 3/179 3032 /proc/meminfo: memFree=29943424/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=3.09 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 17506 0 0 0 306 3 0 0 20 0 2 0 275239873 85823488 6312 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 6312 198 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=3.07 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 16734 0 0 0 304 3 0 0 20 0 2 0 275239874 85823488 6312 33554432000 4194304 5963574 140733553285744 140611301681496 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83812 [startup+6.3003 s] /proc/loadavg: 2.01 2.01 1.96 3/179 3032 /proc/meminfo: memFree=29842348/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=6.29 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 18586 0 0 0 626 3 0 0 20 0 2 0 275239873 85823488 7391 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 7391 198 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=6.26 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 17814 0 0 0 623 3 0 0 20 0 2 0 275239874 85823488 7391 33554432000 4194304 5963574 140733553285744 140611301680952 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 83812 [startup+12.7003 s] /proc/loadavg: 2.01 2.00 1.96 3/179 3032 /proc/meminfo: memFree=29796256/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=12.69 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 20307 0 0 0 1265 4 0 0 20 0 2 0 275239873 85823488 9112 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 9112 198 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=12.65 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 19535 0 0 0 1262 3 0 0 20 0 2 0 275239874 85823488 9112 33554432000 4194304 5963574 140733553285744 140611301680952 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83812 [startup+25.5003 s] /proc/loadavg: 2.01 2.00 1.96 3/179 3032 /proc/meminfo: memFree=29770828/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=25.49 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 22256 0 0 0 2545 4 0 0 20 0 2 0 275239873 85823488 11060 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 11060 198 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=25.41 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 21484 0 0 0 2537 4 0 0 20 0 2 0 275239874 85823488 11060 33554432000 4194304 5963574 140733553285744 140611301681688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83812 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 1.96 3/180 3035 /proc/meminfo: memFree=29756016/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=83812 CPUtime=51.08 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 22439 0 0 0 5104 4 0 0 20 0 2 0 275239873 85823488 11243 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 20953 11243 198 432 0 20518 0 [pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=50.95 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 21667 0 0 0 5091 4 0 0 20 0 2 0 275239874 85823488 11243 33554432000 4194304 5963574 140733553285744 140611301681688 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83812 [startup+102.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 3036 /proc/meminfo: memFree=29700152/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=149348 CPUtime=102.28 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 29613 0 0 0 10221 7 0 0 20 0 2 0 275239873 152932352 17038 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 37337 17038 198 432 0 36902 0 [pid=3030/tid=3031] ppid=3028 vsize=149348 CPUtime=102.02 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 28841 0 0 0 10194 8 0 0 20 0 2 0 275239874 152932352 17038 33554432000 4194304 5963574 140733553285744 140611301680952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 149348 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 3059 /proc/meminfo: memFree=29610660/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=150072 CPUtime=162.25 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 38634 0 0 0 16213 12 0 0 20 0 2 0 275239873 153673728 26173 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 37518 26173 198 432 0 37083 0 [pid=3030/tid=3031] ppid=3028 vsize=150072 CPUtime=161.85 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 37862 0 0 0 16172 13 0 0 20 0 2 0 275239874 153673728 26173 33554432000 4194304 5963574 140733553285744 140611301681144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 150072 [startup+222.307 s] /proc/loadavg: 2.00 2.00 1.96 3/179 3059 /proc/meminfo: memFree=29556300/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=215608 CPUtime=222.22 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 46136 0 0 0 22206 16 0 0 20 0 2 0 275239873 220782592 34518 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 53902 34518 198 432 0 53467 0 [pid=3030/tid=3031] ppid=3028 vsize=215608 CPUtime=221.68 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 45364 0 0 0 22149 19 0 0 20 0 2 0 275239874 220782592 34518 33554432000 4194304 5963574 140733553285744 140611301680952 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 215608 [startup+282.3 s] /proc/loadavg: 2.04 2.01 1.96 3/179 3059 /proc/meminfo: memFree=29490732/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=215968 CPUtime=282.21 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 51868 0 0 0 28202 19 0 0 20 0 2 0 275239873 221151232 40246 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 53992 40246 198 432 0 53557 0 [pid=3030/tid=3031] ppid=3028 vsize=215968 CPUtime=281.52 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 51096 0 0 0 28129 23 0 0 20 0 2 0 275239874 221151232 40246 33554432000 4194304 5963574 140733553285744 140611301680952 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 215968 [startup+342.3 s] /proc/loadavg: 2.01 2.01 1.96 3/179 3059 /proc/meminfo: memFree=29454452/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=214884 CPUtime=342.2 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 54536 0 0 0 34200 20 0 0 20 0 2 0 275239873 220041216 41763 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 53721 41763 198 432 0 53286 0 [pid=3030/tid=3031] ppid=3028 vsize=214884 CPUtime=341.37 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 53764 0 0 0 34112 25 0 0 20 0 2 0 275239874 220041216 41763 33554432000 4194304 5963574 140733553285744 140611301681688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 214884 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 3060 /proc/meminfo: memFree=29450112/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=214884 CPUtime=402.19 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 54657 0 0 0 40199 20 0 0 20 0 2 0 275239873 220041216 41884 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 2.03 2.01 1.98 3/179 3069 /proc/meminfo: memFree=29188036/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1361.98 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94393 0 0 0 136158 40 0 0 20 0 2 0 275239873 354258944 82295 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82295 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1358.69 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93621 0 0 0 135810 59 0 0 20 0 2 0 275239874 354258944 82295 33554432000 4194304 5963574 140733553285744 140611301681688 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 345956 [startup+1422.3 s] /proc/loadavg: 2.01 2.00 1.98 3/179 3069 /proc/meminfo: memFree=29188284/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1421.97 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94393 0 0 0 142157 40 0 0 20 0 2 0 275239873 354258944 82295 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82295 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1418.54 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93621 0 0 0 141794 60 0 0 20 0 2 0 275239874 354258944 82295 33554432000 4194304 5963574 140733553285744 140611301681688 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 345956 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 3069 /proc/meminfo: memFree=29187572/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1481.96 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94394 0 0 0 148156 40 0 0 20 0 2 0 275239873 354258944 82525 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82525 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1478.38 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93622 0 0 0 147777 61 0 0 20 0 2 0 275239874 354258944 82525 33554432000 4194304 5963574 140733553285744 140611301681688 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 345956 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 1.98 3/179 3069 /proc/meminfo: memFree=29186668/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1541.95 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94402 0 0 0 154155 40 0 0 20 0 2 0 275239873 354258944 82779 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82779 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1538.23 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93630 0 0 0 153761 62 0 0 20 0 2 0 275239874 354258944 82779 33554432000 4194304 5963574 140733553285744 140611301681688 4410413 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 345956 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.98 3/178 3070 /proc/meminfo: memFree=29187292/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1601.93 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94439 0 0 0 160153 40 0 0 20 0 2 0 275239873 354258944 82814 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82814 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1598.07 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93667 0 0 0 159744 63 0 0 20 0 2 0 275239874 354258944 82814 33554432000 4194304 5963574 140733553285744 140611301681688 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 345956 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 3071 /proc/meminfo: memFree=29186724/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1661.92 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94443 0 0 0 166152 40 0 0 20 0 2 0 275239873 354258944 82818 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82818 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1657.92 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93671 0 0 0 165728 64 0 0 20 0 2 0 275239874 354258944 82818 33554432000 4194304 5963574 140733553285744 140611301681688 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 345956 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 1.98 3/179 3071 /proc/meminfo: memFree=29186724/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1721.91 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94446 0 0 0 172151 40 0 0 20 0 2 0 275239873 354258944 82821 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82821 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1717.76 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93674 0 0 0 171711 65 0 0 20 0 2 0 275239874 354258944 82821 33554432000 4194304 5963574 140733553285744 140611301681688 4399625 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 345956 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29186352/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=345956 CPUtime=1781.9 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94586 0 0 0 178150 40 0 0 20 0 2 0 275239873 354258944 82961 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 86489 82961 198 432 0 86054 0 [pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1777.61 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93814 0 0 0 177695 66 0 0 20 0 2 0 275239874 354258944 82961 33554432000 4194304 5963574 140733553285744 140611301681144 4399448 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 345956 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 2.04 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29177052/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=411492 CPUtime=1791.6 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 96827 0 0 0 179119 41 0 0 20 0 2 0 275239873 421367808 85202 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 102873 85202 198 432 0 102438 0 [pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1787.29 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96055 0 0 0 178661 68 0 0 20 0 2 0 275239874 421367808 85202 33554432000 4194304 5963574 140733553285744 140611301681192 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (KiB) 411492 [startup+1795.2 s] /proc/loadavg: 2.04 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=411492 CPUtime=1794.8 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179439 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 102873 85446 198 432 0 102438 0 [pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1790.48 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 178980 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 411492 [startup+1798.4 s] /proc/loadavg: 2.03 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=411492 CPUtime=1797.99 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179758 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 102873 85446 198 432 0 102438 0 [pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1793.67 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179299 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 411492 [startup+1799.2 s] /proc/loadavg: 2.03 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=411492 CPUtime=1798.79 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179838 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 102873 85446 198 432 0 102438 0 [pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1794.47 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179379 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.79 Current children cumulated vsize (KiB) 411492 [startup+1799.6 s] /proc/loadavg: 2.03 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=411492 CPUtime=1799.2 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179879 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 102873 85446 198 432 0 102438 0 [pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1794.87 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179419 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.2 Current children cumulated vsize (KiB) 411492 [startup+1800 s] /proc/loadavg: 2.03 2.02 1.99 3/179 3071 /proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628 [pid=3030] ppid=3028 vsize=411492 CPUtime=1799.59 cores=1,3,5,7 /proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179918 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3030/statm: 102873 85446 198 432 0 102438 0 [pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1795.27 cores=1,3,5,7 /proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179459 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 411492 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3030 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=600179 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=694894 # CPU time returned by wait4() is 1795.3 # 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 CPU time (s): 1799.59 CPU user time (s): 1799.18 CPU system time (s): 0.41 CPU usage (%): 99.977 Max. virtual memory (cumulated for all children) (KiB): 411492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.6 system time used= 0.694894 maximum resident set size= 341784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97071 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= 120 involuntary context switches= 1851 runsolver used 9.42857 second user time and 15.1997 second system time The end
Begin job on node145 at 2012-05-27 05:59:15 IDJOB=3705076 IDBENCH=2015 IDSOLVER=2283 FILE ID=node145/3705076-1338091155 RUNJOBID= node145-1338087553-2715 PBS_JOBID= 14624445 Free space on /tmp= 71548 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705076-1338091155/watcher-3705076-1338091155 -o /tmp/evaluation-result-3705076-1338091155/solver-3705076-1338091155 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705076-1338091155.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b RANDOM SEED=1494673589 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30058132 kB Buffers: 289384 kB Cached: 1674756 kB SwapCached: 0 kB Active: 666344 kB Inactive: 1335068 kB Active(anon): 28668 kB Inactive(anon): 10912 kB Active(file): 637676 kB Inactive(file): 1324156 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14096 kB Writeback: 0 kB AnonPages: 44596 kB Mapped: 15076 kB Shmem: 200 kB Slab: 674152 kB SReclaimable: 115100 kB SUnreclaim: 559052 kB KernelStack: 1456 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 158876 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= 71552 MiB End job on node145 at 2012-05-27 06:29:15