| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.93 | 1800.01 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb |
| MD5SUM | a8708c855e8ec8c2a31771025318bb9b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4822 |
| Best CPU time to get the best result obtained on this benchmark | 0.235963 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4822 |
| Optimality of the best value was proved | YES |
| Number of variables | 771 |
| Total number of constraints | 1951 |
| Number of constraints which are clauses | 1949 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 42 |
| Number of terms in the objective function | 771 |
| 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 | 33355 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 33355 |
| Number of bits of the biggest sum of numbers | 16 |
| 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-3705069-1338091286.opb. 0.00/0.00 c Instance file HOME/instance-3705069-1338091286.opb 0.00/0.00 c File size is 94864 bytes. 0.00/0.01 c Cost Offset: 0 0.00/0.01 c Highest Coefficient sum: 43 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 771 | 0.00/0.01 c | Number Clauses: 1951 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c | | 0.00/0.01 c | Problem Type: Optimization | 0.00/0.01 c | Objective Function: PB Constraint | 0.00/0.01 c | | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Time (s) | ID | Bound | Shared Clauses | 0.00/0.01 c | | | value type | expCls impCls Lit/impCl | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0.01 | 0 | 341 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 360 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 369 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 401 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 419 lb | 0 0 0.00 | 0.01/0.02 c | 0.01 | 0 | 429 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 439 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 464 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 473 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 488 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 522 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 538 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 554 lb | 0 0 0.00 | 0.01/0.02 c | 0.02 | 0 | 596 lb | 0 0 0.00 | 0.01/0.03 c | 0.02 | 0 | 615 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 657 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 675 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 709 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 734 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 743 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 777 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 793 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 820 lb | 0 0 0.00 | 0.01/0.03 c | 0.03 | 0 | 825 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 844 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 876 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 895 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 912 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 946 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 963 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 996 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 1006 lb | 0 0 0.00 | 0.01/0.04 c | 0.04 | 0 | 1038 lb | 0 0 0.00 | 0.01/0.05 c | 0.04 | 0 | 1042 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1059 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1077 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1109 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1128 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1145 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1179 lb | 0 0 0.00 | 0.01/0.05 c | 0.05 | 0 | 1211 lb | 0 0 0.00 | 0.01/0.06 c | 0.05 | 0 | 1230 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1262 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1280 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1290 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1318 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1322 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1331 lb | 0 0 0.00 | 0.01/0.06 c | 0.06 | 0 | 1340 lb | 0 0 0.00 | 0.01/0.07 c | 0.06 | 0 | 1365 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1376 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1418 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1421 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1455 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1471 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1487 lb | 0 0 0.00 | 0.01/0.07 c | 0.07 | 0 | 1516 lb | 0 0 0.00 | 0.01/0.08 c | 0.07 | 0 | 1537 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1538 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1580 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1622 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1664 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1698 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1723 lb | 0 0 0.00 | 0.01/0.08 c | 0.08 | 0 | 1725 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1734 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1759 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1769 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1795 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1826 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1834 lb | 0 0 0.00 | 0.01/0.09 c | 0.09 | 0 | 1851 lb | 0 0 0.00 | 0.09/0.10 c | 0.09 | 0 | 1860 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1885 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1894 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1911 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1945 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1962 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1996 lb | 0 0 0.00 | 0.09/0.11 c | 0.10 | 0 | 2013 lb | 0 0 0.00 | 0.09/0.11 c | 0.10 | 0 | 2030 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2047 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2056 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2073 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2099 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2101 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 2118 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2135 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2145 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2162 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2204 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2212 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2222 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 2232 lb | 0 0 0.00 | 0.09/0.13 c | 0.12 | 0 | 2248 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2290 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2293 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2302 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2329 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2344 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 2351 lb | 0 0 0.00 | 0.09/0.14 c | 0.13 | 0 | 2383 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2425 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2467 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2493 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2509 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2519 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 2547 lb | 0 0 0.00 | 0.09/0.15 c | 0.14 | 0 | 2569 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2611 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2614 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2631 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2646 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2656 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 2698 lb | 0 0 0.00 | 0.09/0.16 c | 0.15 | 0 | 2707 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2741 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2755 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2765 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2775 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2800 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 2817 lb | 0 0 0.00 | 0.09/0.17 c | 0.16 | 0 | 2859 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2868 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2878 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2903 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2936 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2954 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 2972 lb | 0 0 0.00 | 0.09/0.18 c | 0.17 | 0 | 2989 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 2999 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3024 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3041 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3049 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3050 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 3075 lb | 0 0 0.00 | 0.09/0.19 c | 0.18 | 0 | 3107 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3115 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3126 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3133 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3150 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 3158 lb | 0 0 0.00 | 0.19/0.20 c | 0.19 | 0 | 3183 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3198 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3223 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3239 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3264 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3272 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 3273 lb | 0 0 0.00 | 0.19/0.21 c | 0.20 | 0 | 3290 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3291 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3311 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3323 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3344 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3354 lb | 0 0 0.00 | 0.19/0.22 c | 0.21 | 0 | 3360 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3368 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3374 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3382 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3414 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3415 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 3425 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3432 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3433 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3441 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3444 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3467 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 3474 lb | 0 0 0.00 | 0.19/0.24 c | 0.23 | 0 | 3482 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3503 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3505 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3512 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3518 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 3527 lb | 0 0 0.00 | 0.19/0.25 c | 0.24 | 0 | 3535 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3537 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3543 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3545 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3551 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 3552 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3562 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3564 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3566 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3568 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3570 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 3586 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3593 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3595 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3604 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3608 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3618 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 3619 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3627 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3631 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3639 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3643 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3644 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 3648 lb | 0 0 0.00 | 0.19/0.29 c | 0.28 | 0 | 3650 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3658 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3667 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3668 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3669 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 3672 lb | 0 0 0.00 | 0.29/0.30 c | 0.29 | 0 | 3681 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3687 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3688 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3692 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 3695 lb | 0 0 0.00 | 0.29/0.31 c | 0.30 | 0 | 3696 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3708 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3710 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3711 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3717 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 3718 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3719 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3721 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3724 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3727 lb | 0 0 0.00 | 0.29/0.32 c | 0.32 | 0 | 3736 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3740 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3748 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3749 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3753 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 3757 lb | 0 0 0.00 | 0.29/0.34 c | 0.33 | 0 | 3761 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3775 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3781 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3782 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3804 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 3805 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3807 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3809 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3814 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3816 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 3830 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3837 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3838 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3848 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3850 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 3851 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3857 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3861 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3873 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 3880 lb | 0 0 0.00 | 0.29/0.38 c | 0.37 | 0 | 3884 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3886 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3892 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3896 lb | 0 0 0.00 | 0.29/0.38 c | 0.38 | 0 | 3898 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3899 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3904 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3905 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3906 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 3907 lb | 0 0 0.00 | 0.38/0.40 c | 0.40 | 0 | 3908 lb | 0 0 0.00 | 0.38/0.40 c | 0.40 | 0 | 3910 lb | 0 0 0.00 | 0.38/0.40 c | 0.40 | 0 | 3912 lb | 0 0 0.00 | 0.38/0.40 c | 0.40 | 0 | 3913 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 3916 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 3924 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 3932 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 3933 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 3939 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 3944 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 3950 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 3951 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 3953 lb | 0 0 0.00 | 0.38/0.43 c | 0.42 | 0 | 3954 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 3965 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 3982 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 3988 lb | 0 0 0.00 | 0.38/0.44 c | 0.43 | 0 | 3989 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 3993 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 3997 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 3998 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 3999 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 4018 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 4024 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 4025 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 4028 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 4029 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 4032 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 4033 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 4037 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4038 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4041 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4045 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 4047 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4049 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4051 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4052 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 4054 lb | 0 0 0.00 | 0.38/0.49 c | 0.49 | 0 | 4055 lb | 0 0 0.00 | 0.38/0.49 c | 0.49 | 0 | 4060 lb | 0 0 0.00 | 0.38/0.49 c | 0.49 | 0 | 4067 lb | 0 0 0.00 | 0.38/0.50 c | 0.49 | 0 | 4070 lb | 0 0 0.00 | 0.48/0.50 c | 0.50 | 0 | 4076 lb | 0 0 0.00 | 0.48/0.50 c | 0.50 | 0 | 4077 lb | 0 0 0.00 | 0.48/0.50 c | 0.50 | 0 | 4078 lb | 0 0 0.00 | 0.48/0.51 c | 0.51 | 0 | 4080 lb | 0 0 0.00 | 0.48/0.51 c | 0.51 | 0 | 4082 lb | 0 0 0.00 | 0.48/0.51 c | 0.51 | 0 | 4085 lb | 0 0 0.00 | 0.48/0.51 c | 0.51 | 0 | 4086 lb | 0 0 0.00 | 0.48/0.52 c | 0.52 | 0 | 4087 lb | 0 0 0.00 | 0.48/0.52 c | 0.52 | 0 | 4088 lb | 0 0 0.00 | 0.48/0.52 c | 0.52 | 0 | 4098 lb | 0 0 0.00 | 0.48/0.53 c | 0.53 | 0 | 4106 lb | 0 0 0.00 | 0.48/0.53 c | 0.53 | 0 | 4113 lb | 0 0 0.00 | 0.48/0.53 c | 0.53 | 0 | 4114 lb | 0 0 0.00 | 0.48/0.53 c | 0.53 | 0 | 4122 lb | 0 0 0.00 | 0.48/0.54 c | 0.54 | 0 | 4123 lb | 0 0 0.00 | 0.48/0.54 c | 0.54 | 0 | 4124 lb | 0 0 0.00 | 0.48/0.54 c | 0.54 | 0 | 4126 lb | 0 0 0.00 | 0.48/0.55 c | 0.55 | 0 | 4128 lb | 0 0 0.00 | 0.48/0.55 c | 0.55 | 0 | 4129 lb | 0 0 0.00 | 0.48/0.55 c | 0.55 | 0 | 4130 lb | 0 0 0.00 | 0.48/0.56 c | 0.56 | 0 | 4131 lb | 0 0 0.00 | 0.48/0.56 c | 0.56 | 0 | 4132 lb | 0 0 0.00 | 0.48/0.56 c | 0.56 | 0 | 4133 lb | 0 0 0.00 | 0.48/0.57 c | 0.56 | 0 | 4134 lb | 0 0 0.00 | 0.48/0.57 c | 0.57 | 0 | 4135 lb | 0 0 0.00 | 0.48/0.57 c | 0.57 | 0 | 4137 lb | 0 0 0.00 | 0.48/0.58 c | 0.57 | 0 | 4139 lb | 0 0 0.00 | 0.48/0.58 c | 0.58 | 0 | 4140 lb | 0 0 0.00 | 0.48/0.58 c | 0.58 | 0 | 4146 lb | 0 0 0.00 | 0.48/0.59 c | 0.58 | 0 | 4148 lb | 0 0 0.00 | 0.48/0.59 c | 0.59 | 0 | 4149 lb | 0 0 0.00 | 0.48/0.59 c | 0.59 | 0 | 4150 lb | 0 0 0.00 | 0.58/0.60 c | 0.60 | 0 | 4151 lb | 0 0 0.00 | 0.58/0.60 c | 0.60 | 0 | 4153 lb | 0 0 0.00 | 0.58/0.61 c | 0.60 | 0 | 4155 lb | 0 0 0.00 | 0.58/0.61 c | 0.61 | 0 | 4158 lb | 0 0 0.00 | 0.58/0.61 c | 0.61 | 0 | 4159 lb | 0 0 0.00 | 0.58/0.62 c | 0.62 | 0 | 4161 lb | 0 0 0.00 | 0.58/0.62 c | 0.62 | 0 | 4162 lb | 0 0 0.00 | 0.58/0.62 c | 0.62 | 0 | 4163 lb | 0 0 0.00 | 0.58/0.63 c | 0.63 | 0 | 4166 lb | 0 0 0.00 | 0.58/0.63 c | 0.63 | 0 | 4167 lb | 0 0 0.00 | 0.58/0.64 c | 0.64 | 0 | 4168 lb | 0 0 0.00 | 0.58/0.64 c | 0.64 | 0 | 4169 lb | 0 0 0.00 | 0.58/0.64 c | 0.64 | 0 | 4170 lb | 0 0 0.00 | 0.58/0.65 c | 0.65 | 0 | 4171 lb | 0 0 0.00 | 0.58/0.65 c | 0.65 | 0 | 4172 lb | 0 0 0.00 | 0.58/0.66 c | 0.66 | 0 | 4174 lb | 0 0 0.00 | 0.58/0.66 c | 0.66 | 0 | 4176 lb | 0 0 0.00 | 0.58/0.67 c | 0.67 | 0 | 4177 lb | 0 0 0.00 | 0.58/0.67 c | 0.67 | 0 | 4179 lb | 0 0 0.00 | 0.58/0.67 c | 0.67 | 0 | 4180 lb | 0 0 0.00 | 0.58/0.68 c | 0.68 | 0 | 4181 lb | 0 0 0.00 | 0.58/0.68 c | 0.68 | 0 | 4182 lb | 0 0 0.00 | 0.58/0.69 c | 0.69 | 0 | 4185 lb | 0 0 0.00 | 0.58/0.69 c | 0.69 | 0 | 4187 lb | 0 0 0.00 | 0.68/0.70 c | 0.69 | 0 | 4192 lb | 0 0 0.00 | 0.68/0.70 c | 0.70 | 0 | 4193 lb | 0 0 0.00 | 0.68/0.70 c | 0.70 | 0 | 4194 lb | 0 0 0.00 | 0.68/0.71 c | 0.71 | 0 | 4196 lb | 0 0 0.00 | 0.68/0.71 c | 0.71 | 0 | 4198 lb | 0 0 0.00 | 0.68/0.72 c | 0.72 | 0 | 4202 lb | 0 0 0.00 | 0.68/0.72 c | 0.72 | 0 | 4206 lb | 0 0 0.00 | 0.68/0.73 c | 0.73 | 0 | 4207 lb | 0 0 0.00 | 0.68/0.73 c | 0.73 | 0 | 4208 lb | 0 0 0.00 | 0.68/0.74 c | 0.73 | 0 | 4210 lb | 0 0 0.00 | 0.68/0.74 c | 0.74 | 0 | 4211 lb | 0 0 0.00 | 0.68/0.75 c | 0.74 | 0 | 4213 lb | 0 0 0.00 | 0.68/0.75 c | 0.75 | 0 | 4214 lb | 0 0 0.00 | 0.68/0.76 c | 0.75 | 0 | 4215 lb | 0 0 0.00 | 0.68/0.76 c | 0.76 | 0 | 4216 lb | 0 0 0.00 | 0.68/0.76 c | 0.76 | 0 | 4217 lb | 0 0 0.00 | 0.68/0.77 c | 0.77 | 0 | 4219 lb | 0 0 0.00 | 0.68/0.77 c | 0.77 | 0 | 4220 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | 4223 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | 4227 lb | 0 0 0.00 | 0.68/0.79 c | 0.79 | 0 | 4233 lb | 0 0 0.00 | 0.68/0.79 c | 0.79 | 0 | 4237 lb | 0 0 0.00 | 0.78/0.80 c | 0.80 | 0 | 4239 lb | 0 0 0.00 | 0.78/0.80 c | 0.80 | 0 | 4242 lb | 0 0 0.00 | 0.78/0.81 c | 0.80 | 0 | 4248 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | 4249 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | 4255 lb | 0 0 0.00 | 0.78/0.82 c | 0.82 | 0 | 4256 lb | 0 0 0.00 | 0.78/0.82 c | 0.82 | 0 | 4257 lb | 0 0 0.00 | 0.78/0.83 c | 0.83 | 0 | 4258 lb | 0 0 0.00 | 0.78/0.83 c | 0.83 | 0 | 4259 lb | 0 0 0.00 | 0.78/0.84 c | 0.84 | 0 | 4261 lb | 0 0 0.00 | 0.78/0.84 c | 0.84 | 0 | 4262 lb | 0 0 0.00 | 0.78/0.85 c | 0.85 | 0 | 4268 lb | 0 0 0.00 | 0.78/0.85 c | 0.85 | 0 | 4269 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | 4276 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | 4277 lb | 0 0 0.00 | 0.78/0.87 c | 0.87 | 0 | 4278 lb | 0 0 0.00 | 0.78/0.87 c | 0.87 | 0 | 4279 lb | 0 0 0.00 | 0.78/0.88 c | 0.88 | 0 | 4280 lb | 0 0 0.00 | 0.78/0.89 c | 0.89 | 0 | 4281 lb | 0 0 0.00 | 0.78/0.89 c | 0.89 | 0 | 4282 lb | 0 0 0.00 | 0.88/0.90 c | 0.90 | 0 | 4283 lb | 0 0 0.00 | 0.88/0.90 c | 0.90 | 0 | 4284 lb | 0 0 0.00 | 0.88/0.91 c | 0.91 | 0 | 4285 lb | 0 0 0.00 | 0.88/0.91 c | 0.91 | 0 | 4286 lb | 0 0 0.00 | 0.88/0.92 c | 0.92 | 0 | 4287 lb | 0 0 0.00 | 0.88/0.92 c | 0.92 | 0 | 4288 lb | 0 0 0.00 | 0.88/0.93 c | 0.93 | 0 | 4289 lb | 0 0 0.00 | 0.88/0.94 c | 0.94 | 0 | 4290 lb | 0 0 0.00 | 0.88/0.94 c | 0.94 | 0 | 4291 lb | 0 0 0.00 | 0.88/0.95 c | 0.95 | 0 | 4292 lb | 0 0 0.00 | 0.88/0.95 c | 0.95 | 0 | 4294 lb | 0 0 0.00 | 0.88/0.96 c | 0.96 | 0 | 4295 lb | 0 0 0.00 | 0.88/0.96 c | 0.96 | 0 | 4299 lb | 0 0 0.00 | 0.88/0.97 c | 0.97 | 0 | 4300 lb | 0 0 0.00 | 0.88/0.97 c | 0.97 | 0 | 4301 lb | 0 0 0.00 | 0.88/0.98 c | 0.98 | 0 | 4302 lb | 0 0 0.00 | 0.88/0.99 c | 0.99 | 0 | 4303 lb | 0 0 0.00 | 0.88/0.99 c | 0.99 | 0 | 4304 lb | 0 0 0.00 | 0.98/1.00 c | 1.00 | 0 | 4305 lb | 0 0 0.00 | 0.98/1.01 c | 1.01 | 0 | 4306 lb | 0 0 0.00 | 0.98/1.02 c | 1.02 | 0 | 4307 lb | 0 0 0.00 | 0.98/1.02 c | 1.02 | 0 | 4309 lb | 0 0 0.00 | 0.98/1.03 c | 1.03 | 0 | 4313 lb | 0 0 0.00 | 0.98/1.04 c | 1.03 | 0 | 4314 lb | 0 0 0.00 | 0.98/1.04 c | 1.04 | 0 | 4315 lb | 0 0 0.00 | 0.98/1.05 c | 1.05 | 0 | 4317 lb | 0 0 0.00 | 0.98/1.06 c | 1.05 | 0 | 4319 lb | 0 0 0.00 | 0.98/1.06 c | 1.06 | 0 | 4320 lb | 0 0 0.00 | 0.98/1.07 c | 1.07 | 0 | 4323 lb | 0 0 0.00 | 0.98/1.07 c | 1.07 | 0 | 4328 lb | 0 0 0.00 | 0.98/1.08 c | 1.08 | 0 | 4329 lb | 0 0 0.00 | 0.98/1.09 c | 1.08 | 0 | 4330 lb | 0 0 0.00 | 0.98/1.09 c | 1.09 | 0 | 4331 lb | 0 0 0.00 | 0.98/1.10 c | 1.10 | 0 | 4332 lb | 0 0 0.00 | 1.08/1.11 c | 1.10 | 0 | 4333 lb | 0 0 0.00 | 1.08/1.11 c | 1.11 | 0 | 4334 lb | 0 0 0.00 | 1.08/1.12 c | 1.12 | 0 | 4335 lb | 0 0 0.00 | 1.08/1.12 c | 1.12 | 0 | 4337 lb | 0 0 0.00 | 1.08/1.13 c | 1.13 | 0 | 4338 lb | 0 0 0.00 | 1.08/1.14 c | 1.14 | 0 | 4339 lb | 0 0 0.00 | 1.08/1.14 c | 1.14 | 0 | 4340 lb | 0 0 0.00 | 1.08/1.15 c | 1.15 | 0 | 4341 lb | 0 0 0.00 | 1.08/1.16 c | 1.16 | 0 | 4342 lb | 0 0 0.00 | 1.08/1.16 c | 1.16 | 0 | 4343 lb | 0 0 0.00 | 1.08/1.17 c | 1.17 | 0 | 4347 lb | 0 0 0.00 | 1.08/1.18 c | 1.18 | 0 | 4348 lb | 0 0 0.00 | 1.08/1.18 c | 1.18 | 0 | 4349 lb | 0 0 0.00 | 1.08/1.19 c | 1.19 | 0 | 4350 lb | 0 0 0.00 | 1.18/1.20 c | 1.20 | 0 | 4351 lb | 0 0 0.00 | 1.18/1.21 c | 1.20 | 0 | 4352 lb | 0 0 0.00 | 1.18/1.21 c | 1.21 | 0 | 4353 lb | 0 0 0.00 | 1.18/1.22 c | 1.22 | 0 | 4354 lb | 0 0 0.00 | 1.18/1.23 c | 1.23 | 0 | 4355 lb | 0 0 0.00 | 1.18/1.23 c | 1.23 | 0 | 4361 lb | 0 0 0.00 | 1.18/1.24 c | 1.24 | 0 | 4362 lb | 0 0 0.00 | 1.18/1.25 c | 1.25 | 0 | 4363 lb | 0 0 0.00 | 1.18/1.25 c | 1.25 | 0 | 4365 lb | 0 0 0.00 | 1.18/1.26 c | 1.26 | 0 | 4366 lb | 0 0 0.00 | 1.18/1.27 c | 1.27 | 0 | 4367 lb | 0 0 0.00 | 1.18/1.27 c | 1.27 | 0 | 4368 lb | 0 0 0.00 | 1.18/1.28 c | 1.28 | 0 | 4369 lb | 0 0 0.00 | 1.18/1.29 c | 1.29 | 0 | 4370 lb | 0 0 0.00 | 1.28/1.30 c | 1.30 | 0 | 4371 lb | 0 0 0.00 | 1.28/1.31 c | 1.30 | 0 | 4372 lb | 0 0 0.00 | 1.28/1.31 c | 1.31 | 0 | 4373 lb | 0 0 0.00 | 1.28/1.32 c | 1.32 | 0 | 4374 lb | 0 0 0.00 | 1.28/1.33 c | 1.33 | 0 | 4376 lb | 0 0 0.00 | 1.28/1.34 c | 1.33 | 0 | 4377 lb | 0 0 0.00 | 1.28/1.34 c | 1.34 | 0 | 4378 lb | 0 0 0.00 | 1.28/1.35 c | 1.35 | 0 | 4379 lb | 0 0 0.00 | 1.28/1.36 c | 1.36 | 0 | 4380 lb | 0 0 0.00 | 1.28/1.37 c | 1.36 | 0 | 4381 lb | 0 0 0.00 | 1.28/1.37 c | 1.37 | 0 | 4389 lb | 0 0 0.00 | 1.28/1.38 c | 1.38 | 0 | 4390 lb | 0 0 0.00 | 1.28/1.39 c | 1.39 | 0 | 4391 lb | 0 0 0.00 | 1.38/1.40 c | 1.40 | 0 | 4392 lb | 0 0 0.00 | 1.38/1.41 c | 1.41 | 0 | 4393 lb | 0 0 0.00 | 1.38/1.42 c | 1.42 | 0 | 4394 lb | 0 0 0.00 | 1.38/1.42 c | 1.42 | 0 | 4395 lb | 0 0 0.00 | 1.38/1.43 c | 1.43 | 0 | 4396 lb | 0 0 0.00 | 1.38/1.44 c | 1.44 | 0 | 4398 lb | 0 0 0.00 | 1.38/1.45 c | 1.45 | 0 | 4399 lb | 0 0 0.00 | 1.38/1.46 c | 1.46 | 0 | 4403 lb | 0 0 0.00 | 1.38/1.46 c | 1.46 | 0 | 4404 lb | 0 0 0.00 | 1.38/1.47 c | 1.47 | 0 | 4405 lb | 0 0 0.00 | 1.38/1.48 c | 1.48 | 0 | 4406 lb | 0 0 0.00 | 1.38/1.49 c | 1.49 | 0 | 4407 lb | 0 0 0.00 | 1.48/1.50 c | 1.49 | 0 | 4408 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | 4409 lb | 0 0 0.00 | 1.48/1.51 c | 1.51 | 0 | 4410 lb | 0 0 0.00 | 1.48/1.52 c | 1.52 | 0 | 4411 lb | 0 0 0.00 | 1.48/1.53 c | 1.53 | 0 | 4412 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | 4413 lb | 0 0 0.00 | 1.48/1.55 c | 1.55 | 0 | 4414 lb | 0 0 0.00 | 1.48/1.56 c | 1.56 | 0 | 4415 lb | 0 0 0.00 | 1.48/1.57 c | 1.57 | 0 | 4416 lb | 0 0 0.00 | 1.48/1.58 c | 1.58 | 0 | 4417 lb | 0 0 0.00 | 1.48/1.59 c | 1.59 | 0 | 4418 lb | 0 0 0.00 | 1.58/1.60 c | 1.60 | 0 | 4419 lb | 0 0 0.00 | 1.58/1.61 c | 1.61 | 0 | 4420 lb | 0 0 0.00 | 1.58/1.62 c | 1.62 | 0 | 4421 lb | 0 0 0.00 | 1.58/1.63 c | 1.63 | 0 | 4422 lb | 0 0 0.00 | 1.58/1.64 c | 1.64 | 0 | 4423 lb | 0 0 0.00 | 1.58/1.66 c | 1.65 | 0 | 4424 lb | 0 0 0.00 | 1.58/1.67 c | 1.67 | 0 | 4425 lb | 0 0 0.00 | 1.58/1.68 c | 1.68 | 0 | 4426 lb | 0 0 0.00 | 1.58/1.69 c | 1.69 | 0 | 4427 lb | 0 0 0.00 | 1.68/1.70 c | 1.70 | 0 | 4428 lb | 0 0 0.00 | 1.68/1.71 c | 1.71 | 0 | 4430 lb | 0 0 0.00 | 1.68/1.72 c | 1.72 | 0 | 4431 lb | 0 0 0.00 | 1.68/1.73 c | 1.73 | 0 | 4432 lb | 0 0 0.00 | 1.68/1.75 c | 1.75 | 0 | 4433 lb | 0 0 0.00 | 1.68/1.76 c | 1.76 | 0 | 4434 lb | 0 0 0.00 | 1.68/1.77 c | 1.77 | 0 | 4435 lb | 0 0 0.00 | 1.68/1.78 c | 1.78 | 0 | 4436 lb | 0 0 0.00 | 1.68/1.79 c | 1.79 | 0 | 4437 lb | 0 0 0.00 | 1.78/1.81 c | 1.81 | 0 | 4438 lb | 0 0 0.00 | 1.78/1.82 c | 1.82 | 0 | 4439 lb | 0 0 0.00 | 1.78/1.83 c | 1.83 | 0 | 4440 lb | 0 0 0.00 | 1.78/1.84 c | 1.84 | 0 | 4441 lb | 0 0 0.00 | 1.78/1.85 c | 1.85 | 0 | 4442 lb | 0 0 0.00 | 1.78/1.86 c | 1.86 | 0 | 4443 lb | 0 0 0.00 | 1.78/1.88 c | 1.88 | 0 | 4444 lb | 0 0 0.00 | 1.78/1.89 c | 1.89 | 0 | 4445 lb | 0 0 0.00 | 1.88/1.90 c | 1.90 | 0 | 4446 lb | 0 0 0.00 | 1.88/1.91 c | 1.91 | 0 | 4447 lb | 0 0 0.00 | 1.88/1.92 c | 1.92 | 0 | 4448 lb | 0 0 0.00 | 1.88/1.94 c | 1.94 | 0 | 4449 lb | 0 0 0.00 | 1.88/1.95 c | 1.95 | 0 | 4450 lb | 0 0 0.00 | 1.88/1.96 c | 1.96 | 0 | 4451 lb | 0 0 0.00 | 1.88/1.98 c | 1.98 | 0 | 4452 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | 4453 lb | 0 0 0.00 | 1.98/2.00 c | 2.00 | 0 | 4454 lb | 0 0 0.00 | 1.98/2.01 c | 2.01 | 0 | 4455 lb | 0 0 0.00 | 1.98/2.03 c | 2.03 | 0 | 4456 lb | 0 0 0.00 | 1.98/2.04 c | 2.04 | 0 | 4457 lb | 0 0 0.00 | 1.98/2.06 c | 2.05 | 0 | 4458 lb | 0 0 0.00 | 1.98/2.07 c | 2.07 | 0 | 4460 lb | 0 0 0.00 | 1.98/2.08 c | 2.08 | 0 | 4461 lb | 0 0 0.00 | 1.98/2.10 c | 2.09 | 0 | 4462 lb | 0 0 0.00 | 2.08/2.11 c | 2.11 | 0 | 4463 lb | 0 0 0.00 | 2.08/2.12 c | 2.12 | 0 | 4464 lb | 0 0 0.00 | 2.08/2.14 c | 2.14 | 0 | 4465 lb | 0 0 0.00 | 2.08/2.15 c | 2.15 | 0 | 4466 lb | 0 0 0.00 | 2.08/2.17 c | 2.17 | 0 | 4467 lb | 0 0 0.00 | 2.08/2.18 c | 2.18 | 0 | 4468 lb | 0 0 0.00 | 2.08/2.20 c | 2.20 | 0 | 4469 lb | 0 0 0.00 | 2.18/2.22 c | 2.21 | 0 | 4470 lb | 0 0 0.00 | 2.18/2.23 c | 2.23 | 0 | 4471 lb | 0 0 0.00 | 2.18/2.25 c | 2.24 | 0 | 4472 lb | 0 0 0.00 | 2.18/2.26 c | 2.26 | 0 | 4473 lb | 0 0 0.00 | 2.18/2.27 c | 2.27 | 0 | 4474 lb | 0 0 0.00 | 2.18/2.29 c | 2.29 | 0 | 4475 lb | 0 0 0.00 | 2.28/2.31 c | 2.31 | 0 | 4476 lb | 0 0 0.00 | 2.28/2.32 c | 2.32 | 0 | 4477 lb | 0 0 0.00 | 2.28/2.34 c | 2.34 | 0 | 4478 lb | 0 0 0.00 | 2.28/2.36 c | 2.35 | 0 | 4479 lb | 0 0 0.00 | 2.28/2.37 c | 2.37 | 0 | 4480 lb | 0 0 0.00 | 2.28/2.39 c | 2.39 | 0 | 4481 lb | 0 0 0.00 | 2.38/2.41 c | 2.41 | 0 | 4482 lb | 0 0 0.00 | 2.38/2.42 c | 2.42 | 0 | 4483 lb | 0 0 0.00 | 2.38/2.44 c | 2.44 | 0 | 4484 lb | 0 0 0.00 | 2.38/2.46 c | 2.46 | 0 | 4485 lb | 0 0 0.00 | 2.38/2.48 c | 2.48 | 0 | 4486 lb | 0 0 0.00 | 2.48/2.50 c | 2.50 | 0 | 4487 lb | 0 0 0.00 | 2.48/2.52 c | 2.52 | 0 | 4488 lb | 0 0 0.00 | 2.48/2.54 c | 2.54 | 0 | 4489 lb | 0 0 0.00 | 2.48/2.56 c | 2.56 | 0 | 4490 lb | 0 0 0.00 | 2.48/2.58 c | 2.58 | 0 | 4491 lb | 0 0 0.00 | 2.58/2.60 c | 2.60 | 0 | 4492 lb | 0 0 0.00 | 2.58/2.62 c | 2.61 | 0 | 4493 lb | 0 0 0.00 | 2.58/2.65 c | 2.65 | 0 | 4494 lb | 0 0 0.00 | 2.58/2.67 c | 2.67 | 0 | 4495 lb | 0 0 0.00 | 2.78/2.80 c | 2.69 | 0 | 4496 lb | 0 0 0.00 | 2.78/2.80 c | 2.71 | 0 | 4497 lb | 0 0 0.00 | 2.78/2.80 c | 2.73 | 0 | 4498 lb | 0 0 0.00 | 2.78/2.80 c | 2.76 | 0 | 4499 lb | 0 0 0.00 | 2.78/2.80 c | 2.80 | 0 | 4500 lb | 0 0 0.00 | 2.78/2.82 c | 2.82 | 0 | 4501 lb | 0 0 0.00 | 2.78/2.84 c | 2.84 | 0 | 4502 lb | 0 0 0.00 | 2.78/2.87 c | 2.87 | 0 | 4503 lb | 0 0 0.00 | 2.78/2.89 c | 2.89 | 0 | 4504 lb | 0 0 0.00 | 2.88/2.91 c | 2.91 | 0 | 4505 lb | 0 0 0.00 | 2.88/2.93 c | 2.93 | 0 | 4506 lb | 0 0 0.00 | 2.88/2.95 c | 2.95 | 0 | 4507 lb | 0 0 0.00 | 2.88/2.97 c | 2.97 | 0 | 4508 lb | 0 0 0.00 | 2.88/2.99 c | 2.99 | 0 | 4509 lb | 0 0 0.00 | 2.98/3.02 c | 3.02 | 0 | 4510 lb | 0 0 0.00 | 2.98/3.04 c | 3.04 | 0 | 4511 lb | 0 0 0.00 | 2.98/3.07 c | 3.07 | 0 | 4512 lb | 0 0 0.00 | 3.08/3.10 c | 3.10 | 0 | 4513 lb | 0 0 0.00 | 3.08/3.13 c | 3.12 | 0 | 4514 lb | 0 0 0.00 | 3.08/3.17 c | 3.17 | 0 | 4515 lb | 0 0 0.00 | 3.08/3.19 c | 3.19 | 0 | 4516 lb | 0 0 0.00 | 3.19/3.24 c | 3.24 | 0 | 4517 lb | 0 0 0.00 | 3.19/3.30 c | 3.30 | 0 | 4518 lb | 0 0 0.00 | 3.29/3.34 c | 3.34 | 0 | 4519 lb | 0 0 0.00 | 3.38/3.44 c | 3.43 | 0 | 4520 lb | 0 0 0.00 | 3.48/3.56 c | 3.56 | 0 | 4521 lb | 0 0 0.00 | 3.68/3.75 c | 3.75 | 0 | 4522 lb | 0 0 0.00 | 4.68/4.78 c | 4.78 | 0 | 4523 lb | 0 0 0.00 | 4.98/5.05 c | 5.05 | 0 | 4524 lb | 0 0 0.00 | 10.47/10.59 c | 10.59 | 0 | 4525 lb | 0 0 0.00 | 12.28/12.31 c | 12.31 | 0 | 4526 lb | 0 0 0.00 | 12.58/12.64 c | 12.64 | 0 | 4527 lb | 0 0 0.00 | 12.98/13.03 c | 13.03 | 0 | 4528 lb | 0 0 0.00 | 18.38/18.43 c | 18.43 | 0 | 4529 lb | 0 0 0.00 | 21.28/21.38 c | 21.38 | 0 | 4530 lb | 0 0 0.00 | 21.68/21.70 c | 21.70 | 0 | 4531 lb | 0 0 0.00 | 21.98/22.06 c | 22.06 | 0 | 4532 lb | 0 0 0.00 | 651.37/651.64 c | 651.63 | 0 | 4533 lb | 0 0 0.00 | 674.36/674.69 c | 674.69 | 0 | 4534 lb | 0 0 0.00 | 689.06/689.39 c | 689.39 | 0 | 4535 lb | 0 0 0.00 | 1482.22/1482.61 c | 1482.61 | 0 | 4536 lb | 0 0 0.00 | 1484.02/1484.49 c | 1484.49 | 0 | 4537 lb | 0 0 0.00 | 1517.82/1518.21 c | 1518.21 | 0 | 4538 lb | 0 0 0.00 | 1689.29/1689.78 c | 1689.78 | 0 | 4539 lb | 0 0 0.00 | 1799.57/1800.00 c =============================================================================== 1799.57/1800.00 c Wall Clock Time: 1800.00 s 1799.57/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-3705069-1338091286/watcher-3705069-1338091286 -o /tmp/evaluation-result-3705069-1338091286/solver-3705069-1338091286 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705069-1338091286.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.01 2.00 2.00 3/178 16393 /proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=2080 CPUtime=0 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) R 16391 16393 12452 0 -1 4202496 131 0 0 0 0 0 0 0 20 0 1 0 275254465 2129920 84 33554432000 4194304 5963574 140736398614112 140735767329592 4858208 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 520 95 81 432 0 85 0 [startup+0.020293 s] /proc/loadavg: 2.01 2.00 2.00 3/178 16393 /proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=0.01 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 1066 0 0 0 1 0 0 0 20 0 2 0 275254465 86003712 994 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 994 194 432 0 20562 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 83988 [startup+0.100154 s] /proc/loadavg: 2.01 2.00 2.00 3/178 16393 /proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=0.09 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 1197 0 0 0 9 0 0 0 20 0 2 0 275254465 86003712 1125 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 1125 194 432 0 20562 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83988 [startup+0.300103 s] /proc/loadavg: 2.01 2.00 2.00 3/178 16393 /proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=0.29 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 1565 0 0 0 29 0 0 0 20 0 2 0 275254465 86003712 1418 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 1418 194 432 0 20562 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83988 [startup+0.700102 s] /proc/loadavg: 2.01 2.00 2.00 3/178 16393 /proc/meminfo: memFree=31154236/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=0.68 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 3963 0 0 0 68 0 0 0 20 0 2 0 275254465 86003712 2425 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 2425 196 432 0 20562 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 83988 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16395 /proc/meminfo: memFree=31143168/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=1.48 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 7767 0 0 0 147 1 0 0 20 0 2 0 275254465 86003712 3834 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 3834 197 432 0 20562 0 [pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=1.47 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 6955 0 0 0 147 0 0 0 20 0 2 0 275254466 86003712 3834 33554432000 4194304 5963574 140736398614112 140288447793496 4402816 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 83988 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16395 /proc/meminfo: memFree=31133612/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=3.08 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 17403 0 0 0 306 2 0 0 20 0 2 0 275254465 86003712 7001 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 7001 198 432 0 20562 0 [pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=3.07 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 16591 0 0 0 305 2 0 0 20 0 2 0 275254466 86003712 7001 33554432000 4194304 5963574 140736398614112 140288447793688 4392418 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) 83988 [startup+6.30014 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16395 /proc/meminfo: memFree=31119700/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=6.28 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 20630 0 0 0 626 2 0 0 20 0 2 0 275254465 86003712 8557 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 8557 198 432 0 20562 0 [pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=6.27 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 19818 0 0 0 624 3 0 0 20 0 2 0 275254466 86003712 8557 33554432000 4194304 5963574 140736398614112 140288447793496 4402903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 83988 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16395 /proc/meminfo: memFree=31109796/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=12.68 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 22737 0 0 0 1265 3 0 0 20 0 2 0 275254465 86003712 10663 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 10663 198 432 0 20562 0 [pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=12.67 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 21925 0 0 0 1264 3 0 0 20 0 2 0 275254466 86003712 10663 33554432000 4194304 5963574 140736398614112 140288447793480 4388552 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 83988 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16395 /proc/meminfo: memFree=31097512/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=25.48 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 24388 0 0 0 2545 3 0 0 20 0 2 0 275254465 86003712 11514 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 11514 198 432 0 20562 0 [pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=25.47 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 23576 0 0 0 2543 4 0 0 20 0 2 0 275254466 86003712 11514 33554432000 4194304 5963574 140736398614112 140288447793496 4388646 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) 83988 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=31075420/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=83988 CPUtime=51.08 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 26813 0 0 0 5104 4 0 0 20 0 2 0 275254465 86003712 13939 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 20997 13939 198 432 0 20562 0 [pid=16393/tid=16395] ppid=16391 vsize=83988 CPUtime=51.07 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 26001 0 0 0 5102 5 0 0 20 0 2 0 275254466 86003712 13939 33554432000 4194304 5963574 140736398614112 140288447793144 4388621 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) 83988 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=31016324/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=149524 CPUtime=102.25 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 40498 0 0 0 10217 8 0 0 20 0 2 0 275254465 153112576 27677 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 37381 27677 198 432 0 36946 0 [pid=16393/tid=16395] ppid=16391 vsize=149524 CPUtime=102.26 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 39686 0 0 0 10217 9 0 0 20 0 2 0 275254466 153112576 27677 33554432000 4194304 5963574 140736398614112 140288447792952 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 149524 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=30963628/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=215060 CPUtime=162.22 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 49942 0 0 0 16211 11 0 0 20 0 2 0 275254465 220221440 38240 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 53765 38240 198 432 0 53330 0 [pid=16393/tid=16395] ppid=16391 vsize=215060 CPUtime=162.24 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 49130 0 0 0 16210 14 0 0 20 0 2 0 275254466 220221440 38240 33554432000 4194304 5963574 140736398614112 140288447792952 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 215060 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16395 /proc/meminfo: memFree=30922896/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=215060 CPUtime=222.22 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 56482 0 0 0 22208 14 0 0 20 0 2 0 275254465 220221440 44780 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 53765 44780 198 432 0 53330 0 [pid=16393/tid=16395] ppid=16391 vsize=215060 CPUtime=222.24 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 55670 0 0 0 22207 17 0 0 20 0 2 0 275254466 220221440 44780 33554432000 4194304 5963574 140736398614112 140288447792952 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 215060 [startup+282.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 16396 /proc/meminfo: memFree=30892808/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=215060 CPUtime=282.17 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 59121 0 0 0 28203 14 0 0 20 0 2 0 275254465 220221440 47580 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 53765 47580 198 432 0 53330 0 [pid=16393/tid=16395] ppid=16391 vsize=215060 CPUtime=282.21 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 58309 0 0 0 28202 19 0 0 20 0 2 0 275254466 220221440 47580 33554432000 4194304 5963574 140736398614112 140288447793144 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 215060 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16396 /proc/meminfo: memFree=30857808/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=282220 CPUtime=342.15 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 67511 0 0 0 34197 18 0 0 20 0 2 0 275254465 288993280 56154 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 70555 56154 198 432 0 70120 0 [pid=16393/tid=16395] ppid=16391 vsize=282220 CPUtime=342.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 66699 0 0 0 34196 24 0 0 20 0 2 0 275254466 288993280 56154 33554432000 4194304 5963574 140736398614112 140288447792952 4400164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 282220 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16396 /proc/meminfo: memFree=30821220/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=282220 CPUtime=402.14 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 76428 0 0 0 40191 23 0 0 20 0 2 0 275254465 288993280 65071 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 70555 65071 198 432 0 70120 0 [pid=16393/tid=16395] ppid=16391 vsize=282220 CPUtime=402.21 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 75616 0 0 0 40191 30 0 0 20 0 2 0 275254466 288993280 65071 33554432000 4194304 5963574 140736398614112 140288447792952 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 282220 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16396 /proc/meminfo: memFree=30801920/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=347756 CPUtime=462.13 cores=0,2,4,6 ################ # More data... # ################ /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 101542 0 0 0 130162 58 0 0 20 0 2 0 275254466 421548032 87725 33554432000 4194304 5963574 140736398614112 140288447793688 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 411668 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 16405 /proc/meminfo: memFree=30493840/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=411668 CPUtime=1361.95 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 102354 0 0 0 136156 39 0 0 20 0 2 0 275254465 421548032 87725 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 102917 87725 198 432 0 102482 0 [pid=16393/tid=16395] ppid=16391 vsize=411668 CPUtime=1362.19 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 101542 0 0 0 136160 59 0 0 20 0 2 0 275254466 421548032 87725 33554432000 4194304 5963574 140736398614112 140288447793688 4388608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 411668 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16405 /proc/meminfo: memFree=30424276/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=411668 CPUtime=1421.94 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 108869 0 0 0 142152 42 0 0 20 0 2 0 275254465 421548032 94224 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 102917 94224 198 432 0 102482 0 [pid=16393/tid=16395] ppid=16391 vsize=411668 CPUtime=1422.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 108057 0 0 0 142156 64 0 0 20 0 2 0 275254466 421548032 94224 33554432000 4194304 5963574 140736398614112 140288447793144 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 411668 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 16405 /proc/meminfo: memFree=30394020/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1481.92 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 115136 0 0 0 148147 45 0 0 20 0 2 0 275254465 488656896 100489 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 100489 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1482.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 114324 0 0 0 148152 68 0 0 20 0 2 0 275254466 488656896 100489 33554432000 4194304 5963574 140736398614112 140288447793496 4397948 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 477204 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30385428/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1541.91 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116821 0 0 0 154146 45 0 0 20 0 2 0 275254465 488656896 102172 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102172 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1542.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116009 0 0 0 154151 69 0 0 20 0 2 0 275254466 488656896 102172 33554432000 4194304 5963574 140736398614112 140288447793688 4388668 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 477204 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30378968/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1601.9 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116828 0 0 0 160145 45 0 0 20 0 2 0 275254465 488656896 102179 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102179 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1602.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116016 0 0 0 160150 70 0 0 20 0 2 0 275254466 488656896 102179 33554432000 4194304 5963574 140736398614112 140288447793688 4400093 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 477204 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16406 /proc/meminfo: memFree=30359284/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1661.89 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116828 0 0 0 166144 45 0 0 20 0 2 0 275254465 488656896 102179 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102179 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1662.21 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116016 0 0 0 166150 71 0 0 20 0 2 0 275254466 488656896 102179 33554432000 4194304 5963574 140736398614112 140288447793688 4388608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 477204 [startup+1722.3 s] /proc/loadavg: 2.08 2.02 2.01 3/180 16526 /proc/meminfo: memFree=30764052/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1721.88 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116844 0 0 0 172142 46 0 0 20 0 2 0 275254465 488656896 102340 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102340 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1722.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116032 0 0 0 172148 72 0 0 20 0 2 0 275254466 488656896 102340 33554432000 4194304 5963574 140736398614112 140288447793688 4392437 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 477204 [startup+1782.3 s] /proc/loadavg: 2.08 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30699948/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1781.87 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 178141 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1782.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 178147 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 477204 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1791.48 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179102 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1791.81 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179108 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 477204 [startup+1795.1 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1794.68 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179422 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1795.01 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179428 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4388696 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 477204 [startup+1798.3 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1797.87 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179741 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1798.2 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179747 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 477204 [startup+1799.1 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1798.67 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179821 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179827 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (KiB) 477204 [startup+1799.5 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1799.08 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179862 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799.41 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179868 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.08 Current children cumulated vsize (KiB) 477204 [startup+1799.9 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1799.47 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179901 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799.8 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179907 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 477204 [startup+1800 s] /proc/loadavg: 2.06 2.03 2.00 3/179 16526 /proc/meminfo: memFree=30689160/32873648 swapFree=7112/7112 [pid=16393] ppid=16391 vsize=477204 CPUtime=1799.57 cores=0,2,4,6 /proc/16393/stat : 16393 (wbo1.7) S 16391 16393 12452 0 -1 4202496 116847 0 0 0 179911 46 0 0 20 0 2 0 275254465 488656896 102643 33554432000 4194304 5963574 140736398614112 140736398613632 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16393/statm: 119301 102643 198 432 0 118866 0 [pid=16393/tid=16395] ppid=16391 vsize=477204 CPUtime=1799.9 cores=0,2,4,6 /proc/16393/task/16395/stat : 16395 (wbo1.7) R 16391 16393 12452 0 -1 4202560 116035 0 0 0 179917 73 0 0 20 0 2 0 275254466 488656896 102643 33554432000 4194304 5963574 140736398614112 140288447793688 4399625 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 477204 Child status: 255 Real time (s): 1800.01 CPU time (s): 1799.93 CPU user time (s): 1799.18 CPU system time (s): 0.751885 CPU usage (%): 99.9959 Max. virtual memory (cumulated for all children) (KiB): 477204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.18 system time used= 0.751885 maximum resident set size= 410572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116847 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= 183 involuntary context switches= 1887 runsolver used 2.6456 second user time and 7.1989 second system time The end
Begin job on node126 at 2012-05-27 06:01:26 IDJOB=3705069 IDBENCH=2018 IDSOLVER=2283 FILE ID=node126/3705069-1338091286 RUNJOBID= node126-1338077272-12468 PBS_JOBID= 14624421 Free space on /tmp= 71352 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705069-1338091286/watcher-3705069-1338091286 -o /tmp/evaluation-result-3705069-1338091286/solver-3705069-1338091286 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705069-1338091286.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED=1921453283 node126.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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.92 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.90 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.456 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 31154508 kB Buffers: 267860 kB Cached: 541996 kB SwapCached: 17756 kB Active: 814512 kB Inactive: 99908 kB Active(anon): 85680 kB Inactive(anon): 20452 kB Active(file): 728832 kB Inactive(file): 79456 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 5468 kB Writeback: 0 kB AnonPages: 94164 kB Mapped: 10456 kB Shmem: 0 kB Slab: 667288 kB SReclaimable: 111748 kB SUnreclaim: 555540 kB KernelStack: 1472 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 144208 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71348 MiB End job on node126 at 2012-05-27 06:31:26