| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.6 | 1800 |
| 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.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727370-1338655135.opb. 0.00/0.00 c Instance file HOME/instance-3727370-1338655135.opb 0.00/0.00 c File size is 94864 bytes. 0.00/0.00 c Cost Offset: 0 0.00/0.00 c Highest Coefficient sum: 43 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: 771 | 0.00/0.00 c | Number Clauses: 1951 | 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.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.00/0.01 c | 0.01 | 0 | 429 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 439 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 464 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 473 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 488 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 522 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 538 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 554 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 596 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 615 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 657 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 675 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 709 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 734 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 743 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 777 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 793 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 820 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 825 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 844 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 876 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 895 lb | 0 0 0.00 | 0.00/0.03 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 | 963 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 996 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1006 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1038 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1042 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1059 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1077 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1109 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1128 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1145 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1179 lb | 0 0 0.00 | 0.04/0.05 c | 0.05 | 0 | 1211 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1230 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1262 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1280 lb | 0 0 0.00 | 0.04/0.05 c | 0.06 | 0 | 1290 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1318 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1322 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1331 lb | 0 0 0.00 | 0.04/0.06 c | 0.06 | 0 | 1340 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 1365 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 1376 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 1418 lb | 0 0 0.00 | 0.04/0.06 c | 0.07 | 0 | 1421 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 1455 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 1471 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 1487 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 1516 lb | 0 0 0.00 | 0.04/0.07 c | 0.07 | 0 | 1537 lb | 0 0 0.00 | 0.04/0.07 c | 0.08 | 0 | 1538 lb | 0 0 0.00 | 0.04/0.07 c | 0.08 | 0 | 1580 lb | 0 0 0.00 | 0.04/0.07 c | 0.08 | 0 | 1622 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 1664 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 1698 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 1723 lb | 0 0 0.00 | 0.04/0.08 c | 0.08 | 0 | 1725 lb | 0 0 0.00 | 0.04/0.08 c | 0.09 | 0 | 1734 lb | 0 0 0.00 | 0.04/0.08 c | 0.09 | 0 | 1759 lb | 0 0 0.00 | 0.04/0.08 c | 0.09 | 0 | 1769 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 1795 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 1826 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 1834 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 1851 lb | 0 0 0.00 | 0.04/0.09 c | 0.09 | 0 | 1860 lb | 0 0 0.00 | 0.04/0.09 c | 0.10 | 0 | 1885 lb | 0 0 0.00 | 0.04/0.09 c | 0.10 | 0 | 1894 lb | 0 0 0.00 | 0.04/0.09 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.10 c | 0.10 | 0 | 2013 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 2030 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 2047 lb | 0 0 0.00 | 0.09/0.10 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.11 c | 0.12 | 0 | 2135 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 2145 lb | 0 0 0.00 | 0.09/0.11 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.12 c | 0.12 | 0 | 2248 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 2290 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 2293 lb | 0 0 0.00 | 0.09/0.12 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.13 c | 0.13 | 0 | 2383 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 2425 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 2467 lb | 0 0 0.00 | 0.09/0.13 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.14 c | 0.14 | 0 | 2569 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 2611 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 2614 lb | 0 0 0.00 | 0.09/0.14 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.15 c | 0.15 | 0 | 2707 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 2741 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 2755 lb | 0 0 0.00 | 0.09/0.15 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.16 c | 0.16 | 0 | 2859 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2868 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 2878 lb | 0 0 0.00 | 0.09/0.16 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.17 c | 0.17 | 0 | 2989 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 2999 lb | 0 0 0.00 | 0.09/0.17 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.18 c | 0.18 | 0 | 3107 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 3115 lb | 0 0 0.00 | 0.09/0.18 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.09/0.19 c | 0.19 | 0 | 3183 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 3198 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 3223 lb | 0 0 0.00 | 0.09/0.19 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.20 c | 0.20 | 0 | 3290 lb | 0 0 0.00 | 0.19/0.20 c | 0.21 | 0 | 3291 lb | 0 0 0.00 | 0.19/0.20 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.21 c | 0.21 | 0 | 3360 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 3368 lb | 0 0 0.00 | 0.19/0.21 c | 0.22 | 0 | 3374 lb | 0 0 0.00 | 0.19/0.21 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.22 c | 0.23 | 0 | 3432 lb | 0 0 0.00 | 0.19/0.22 c | 0.23 | 0 | 3433 lb | 0 0 0.00 | 0.19/0.22 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.23 c | 0.23 | 0 | 3482 lb | 0 0 0.00 | 0.19/0.23 c | 0.24 | 0 | 3503 lb | 0 0 0.00 | 0.19/0.23 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.24 c | 0.24 | 0 | 3535 lb | 0 0 0.00 | 0.19/0.24 c | 0.25 | 0 | 3537 lb | 0 0 0.00 | 0.19/0.24 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.25 c | 0.25 | 0 | 3562 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 3564 lb | 0 0 0.00 | 0.19/0.25 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.26 c | 0.26 | 0 | 3593 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 3595 lb | 0 0 0.00 | 0.19/0.26 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.27 c | 0.27 | 0 | 3627 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 3631 lb | 0 0 0.00 | 0.19/0.27 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.28 c | 0.28 | 0 | 3650 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 3658 lb | 0 0 0.00 | 0.19/0.28 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.19/0.29 c | 0.29 | 0 | 3681 lb | 0 0 0.00 | 0.19/0.29 c | 0.30 | 0 | 3687 lb | 0 0 0.00 | 0.19/0.29 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.30 c | 0.30 | 0 | 3696 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 3708 lb | 0 0 0.00 | 0.29/0.30 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.31 c | 0.32 | 0 | 3719 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 3721 lb | 0 0 0.00 | 0.29/0.31 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.32 c | 0.32 | 0 | 3740 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 3748 lb | 0 0 0.00 | 0.29/0.32 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.33 c | 0.33 | 0 | 3761 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 3775 lb | 0 0 0.00 | 0.29/0.33 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.34 c | 0.34 | 0 | 3807 lb | 0 0 0.00 | 0.29/0.34 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.35 c | 0.35 | 0 | 3837 lb | 0 0 0.00 | 0.29/0.35 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.36 c | 0.36 | 0 | 3857 lb | 0 0 0.00 | 0.29/0.36 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.37 c | 0.37 | 0 | 3884 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | 3886 lb | 0 0 0.00 | 0.29/0.37 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.38 c | 0.38 | 0 | 3899 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 3904 lb | 0 0 0.00 | 0.29/0.38 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.29/0.39 c | 0.40 | 0 | 3908 lb | 0 0 0.00 | 0.29/0.39 c | 0.40 | 0 | 3910 lb | 0 0 0.00 | 0.29/0.40 c | 0.40 | 0 | 3912 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 3913 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 3916 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 3924 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 3932 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 3933 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 3939 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 3944 lb | 0 0 0.00 | 0.39/0.41 c | 0.42 | 0 | 3950 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 3951 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 3953 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 3954 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 3965 lb | 0 0 0.00 | 0.39/0.42 c | 0.43 | 0 | 3982 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 3988 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 3989 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 3993 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 3997 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 3998 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 3999 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 4018 lb | 0 0 0.00 | 0.39/0.44 c | 0.45 | 0 | 4024 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 4025 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 4028 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 4029 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 4032 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | 4033 lb | 0 0 0.00 | 0.39/0.46 c | 0.46 | 0 | 4037 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 4038 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 4041 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 4045 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 4047 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 4049 lb | 0 0 0.00 | 0.39/0.47 c | 0.48 | 0 | 4051 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 4052 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 4054 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 4055 lb | 0 0 0.00 | 0.39/0.48 c | 0.49 | 0 | 4060 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 4067 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 4070 lb | 0 0 0.00 | 0.39/0.49 c | 0.50 | 0 | 4076 lb | 0 0 0.00 | 0.39/0.49 c | 0.50 | 0 | 4077 lb | 0 0 0.00 | 0.49/0.50 c | 0.50 | 0 | 4078 lb | 0 0 0.00 | 0.49/0.50 c | 0.50 | 0 | 4080 lb | 0 0 0.00 | 0.49/0.50 c | 0.51 | 0 | 4082 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 4085 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 4086 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | 4087 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | 4088 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 4098 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 4106 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | 4113 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 4114 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 4122 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 4123 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 4124 lb | 0 0 0.00 | 0.49/0.54 c | 0.54 | 0 | 4126 lb | 0 0 0.00 | 0.49/0.54 c | 0.54 | 0 | 4128 lb | 0 0 0.00 | 0.49/0.54 c | 0.55 | 0 | 4129 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 4130 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 4131 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | 4132 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 4133 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 4134 lb | 0 0 0.00 | 0.49/0.56 c | 0.57 | 0 | 4135 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 4137 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 4139 lb | 0 0 0.00 | 0.49/0.57 c | 0.58 | 0 | 4140 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | 4146 lb | 0 0 0.00 | 0.49/0.58 c | 0.58 | 0 | 4148 lb | 0 0 0.00 | 0.49/0.58 c | 0.59 | 0 | 4149 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 4150 lb | 0 0 0.00 | 0.49/0.59 c | 0.60 | 0 | 4151 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 4153 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 4155 lb | 0 0 0.00 | 0.59/0.60 c | 0.61 | 0 | 4158 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 4159 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 4161 lb | 0 0 0.00 | 0.59/0.61 c | 0.62 | 0 | 4162 lb | 0 0 0.00 | 0.59/0.62 c | 0.62 | 0 | 4163 lb | 0 0 0.00 | 0.59/0.62 c | 0.63 | 0 | 4166 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 4167 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | 4168 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | 4169 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | 4170 lb | 0 0 0.00 | 0.59/0.64 c | 0.65 | 0 | 4171 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | 4172 lb | 0 0 0.00 | 0.59/0.65 c | 0.66 | 0 | 4174 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 4176 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 4177 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | 4179 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | 4180 lb | 0 0 0.00 | 0.59/0.67 c | 0.68 | 0 | 4181 lb | 0 0 0.00 | 0.59/0.68 c | 0.68 | 0 | 4182 lb | 0 0 0.00 | 0.59/0.68 c | 0.69 | 0 | 4185 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 4187 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | 4192 lb | 0 0 0.00 | 0.59/0.69 c | 0.70 | 0 | 4193 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 4194 lb | 0 0 0.00 | 0.69/0.70 c | 0.71 | 0 | 4196 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 4198 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 4202 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 4206 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 4207 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 4208 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 4210 lb | 0 0 0.00 | 0.69/0.73 c | 0.74 | 0 | 4211 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 4213 lb | 0 0 0.00 | 0.69/0.74 c | 0.75 | 0 | 4214 lb | 0 0 0.00 | 0.69/0.75 c | 0.75 | 0 | 4215 lb | 0 0 0.00 | 0.69/0.75 c | 0.76 | 0 | 4216 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 4217 lb | 0 0 0.00 | 0.69/0.76 c | 0.77 | 0 | 4219 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | 4220 lb | 0 0 0.00 | 0.69/0.77 c | 0.78 | 0 | 4223 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 4227 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 4233 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | 4237 lb | 0 0 0.00 | 0.69/0.79 c | 0.79 | 0 | 4239 lb | 0 0 0.00 | 0.69/0.79 c | 0.80 | 0 | 4242 lb | 0 0 0.00 | 0.79/0.80 c | 0.80 | 0 | 4248 lb | 0 0 0.00 | 0.79/0.80 c | 0.81 | 0 | 4249 lb | 0 0 0.00 | 0.79/0.81 c | 0.81 | 0 | 4255 lb | 0 0 0.00 | 0.79/0.81 c | 0.82 | 0 | 4256 lb | 0 0 0.00 | 0.79/0.82 c | 0.82 | 0 | 4257 lb | 0 0 0.00 | 0.79/0.82 c | 0.83 | 0 | 4258 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | 4259 lb | 0 0 0.00 | 0.79/0.83 c | 0.84 | 0 | 4261 lb | 0 0 0.00 | 0.79/0.84 c | 0.84 | 0 | 4262 lb | 0 0 0.00 | 0.79/0.84 c | 0.85 | 0 | 4268 lb | 0 0 0.00 | 0.79/0.85 c | 0.85 | 0 | 4269 lb | 0 0 0.00 | 0.79/0.85 c | 0.86 | 0 | 4276 lb | 0 0 0.00 | 0.79/0.86 c | 0.86 | 0 | 4277 lb | 0 0 0.00 | 0.79/0.86 c | 0.87 | 0 | 4278 lb | 0 0 0.00 | 0.79/0.87 c | 0.87 | 0 | 4279 lb | 0 0 0.00 | 0.79/0.87 c | 0.88 | 0 | 4280 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | 4281 lb | 0 0 0.00 | 0.79/0.88 c | 0.89 | 0 | 4282 lb | 0 0 0.00 | 0.79/0.89 c | 0.89 | 0 | 4283 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | 4284 lb | 0 0 0.00 | 0.89/0.90 c | 0.91 | 0 | 4285 lb | 0 0 0.00 | 0.89/0.91 c | 0.91 | 0 | 4286 lb | 0 0 0.00 | 0.89/0.91 c | 0.92 | 0 | 4287 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 0 | 4288 lb | 0 0 0.00 | 0.89/0.92 c | 0.93 | 0 | 4289 lb | 0 0 0.00 | 0.89/0.93 c | 0.93 | 0 | 4290 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | 4291 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | 4292 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 4294 lb | 0 0 0.00 | 0.89/0.95 c | 0.95 | 0 | 4295 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | 4299 lb | 0 0 0.00 | 0.89/0.96 c | 0.97 | 0 | 4300 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 4301 lb | 0 0 0.00 | 0.89/0.97 c | 0.98 | 0 | 4302 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 4303 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 4304 lb | 0 0 0.00 | 0.89/0.99 c | 1.00 | 0 | 4305 lb | 0 0 0.00 | 0.89/1.00 c | 1.00 | 0 | 4306 lb | 0 0 0.00 | 0.99/1.01 c | 1.01 | 0 | 4307 lb | 0 0 0.00 | 0.99/1.01 c | 1.02 | 0 | 4309 lb | 0 0 0.00 | 0.99/1.02 c | 1.02 | 0 | 4313 lb | 0 0 0.00 | 0.99/1.02 c | 1.03 | 0 | 4314 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | 4315 lb | 0 0 0.00 | 0.99/1.04 c | 1.04 | 0 | 4317 lb | 0 0 0.00 | 0.99/1.04 c | 1.05 | 0 | 4319 lb | 0 0 0.00 | 0.99/1.05 c | 1.05 | 0 | 4320 lb | 0 0 0.00 | 0.99/1.06 c | 1.06 | 0 | 4323 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | 4328 lb | 0 0 0.00 | 0.99/1.07 c | 1.07 | 0 | 4329 lb | 0 0 0.00 | 0.99/1.07 c | 1.08 | 0 | 4330 lb | 0 0 0.00 | 0.99/1.08 c | 1.08 | 0 | 4331 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | 4332 lb | 0 0 0.00 | 0.99/1.09 c | 1.10 | 0 | 4333 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 4334 lb | 0 0 0.00 | 1.09/1.10 c | 1.11 | 0 | 4335 lb | 0 0 0.00 | 1.09/1.11 c | 1.11 | 0 | 4337 lb | 0 0 0.00 | 1.09/1.12 c | 1.12 | 0 | 4338 lb | 0 0 0.00 | 1.09/1.12 c | 1.13 | 0 | 4339 lb | 0 0 0.00 | 1.09/1.13 c | 1.13 | 0 | 4340 lb | 0 0 0.00 | 1.09/1.14 c | 1.14 | 0 | 4341 lb | 0 0 0.00 | 1.09/1.14 c | 1.15 | 0 | 4342 lb | 0 0 0.00 | 1.09/1.15 c | 1.15 | 0 | 4343 lb | 0 0 0.00 | 1.09/1.16 c | 1.16 | 0 | 4347 lb | 0 0 0.00 | 1.09/1.16 c | 1.17 | 0 | 4348 lb | 0 0 0.00 | 1.09/1.17 c | 1.17 | 0 | 4349 lb | 0 0 0.00 | 1.09/1.18 c | 1.18 | 0 | 4350 lb | 0 0 0.00 | 1.09/1.18 c | 1.19 | 0 | 4351 lb | 0 0 0.00 | 1.09/1.19 c | 1.19 | 0 | 4352 lb | 0 0 0.00 | 1.18/1.20 c | 1.20 | 0 | 4353 lb | 0 0 0.00 | 1.18/1.20 c | 1.21 | 0 | 4354 lb | 0 0 0.00 | 1.18/1.21 c | 1.22 | 0 | 4355 lb | 0 0 0.00 | 1.18/1.22 c | 1.22 | 0 | 4361 lb | 0 0 0.00 | 1.18/1.22 c | 1.23 | 0 | 4362 lb | 0 0 0.00 | 1.18/1.23 c | 1.24 | 0 | 4363 lb | 0 0 0.00 | 1.18/1.24 c | 1.24 | 0 | 4365 lb | 0 0 0.00 | 1.18/1.25 c | 1.25 | 0 | 4366 lb | 0 0 0.00 | 1.18/1.25 c | 1.26 | 0 | 4367 lb | 0 0 0.00 | 1.18/1.26 c | 1.26 | 0 | 4368 lb | 0 0 0.00 | 1.18/1.27 c | 1.27 | 0 | 4369 lb | 0 0 0.00 | 1.18/1.28 c | 1.28 | 0 | 4370 lb | 0 0 0.00 | 1.18/1.28 c | 1.29 | 0 | 4371 lb | 0 0 0.00 | 1.18/1.29 c | 1.29 | 0 | 4372 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | 4373 lb | 0 0 0.00 | 1.29/1.30 c | 1.31 | 0 | 4374 lb | 0 0 0.00 | 1.29/1.31 c | 1.32 | 0 | 4376 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 4377 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | 4378 lb | 0 0 0.00 | 1.29/1.33 c | 1.34 | 0 | 4379 lb | 0 0 0.00 | 1.29/1.34 c | 1.35 | 0 | 4380 lb | 0 0 0.00 | 1.29/1.35 c | 1.35 | 0 | 4381 lb | 0 0 0.00 | 1.29/1.36 c | 1.36 | 0 | 4389 lb | 0 0 0.00 | 1.29/1.37 c | 1.37 | 0 | 4390 lb | 0 0 0.00 | 1.29/1.37 c | 1.38 | 0 | 4391 lb | 0 0 0.00 | 1.29/1.38 c | 1.39 | 0 | 4392 lb | 0 0 0.00 | 1.29/1.39 c | 1.39 | 0 | 4393 lb | 0 0 0.00 | 1.39/1.40 c | 1.40 | 0 | 4394 lb | 0 0 0.00 | 1.39/1.41 c | 1.41 | 0 | 4395 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | 4396 lb | 0 0 0.00 | 1.39/1.42 c | 1.43 | 0 | 4398 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | 4399 lb | 0 0 0.00 | 1.39/1.44 c | 1.44 | 0 | 4403 lb | 0 0 0.00 | 1.39/1.45 c | 1.45 | 0 | 4404 lb | 0 0 0.00 | 1.39/1.45 c | 1.46 | 0 | 4405 lb | 0 0 0.00 | 1.39/1.46 c | 1.47 | 0 | 4406 lb | 0 0 0.00 | 1.39/1.47 c | 1.47 | 0 | 4407 lb | 0 0 0.00 | 1.39/1.48 c | 1.48 | 0 | 4408 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | 4409 lb | 0 0 0.00 | 1.39/1.49 c | 1.50 | 0 | 4410 lb | 0 0 0.00 | 1.49/1.50 c | 1.51 | 0 | 4411 lb | 0 0 0.00 | 1.49/1.51 c | 1.51 | 0 | 4412 lb | 0 0 0.00 | 1.49/1.52 c | 1.52 | 0 | 4413 lb | 0 0 0.00 | 1.49/1.53 c | 1.53 | 0 | 4414 lb | 0 0 0.00 | 1.49/1.54 c | 1.54 | 0 | 4415 lb | 0 0 0.00 | 1.49/1.55 c | 1.55 | 0 | 4416 lb | 0 0 0.00 | 1.49/1.56 c | 1.56 | 0 | 4417 lb | 0 0 0.00 | 1.49/1.57 c | 1.57 | 0 | 4418 lb | 0 0 0.00 | 1.49/1.58 c | 1.58 | 0 | 4419 lb | 0 0 0.00 | 1.49/1.59 c | 1.59 | 0 | 4420 lb | 0 0 0.00 | 1.59/1.60 c | 1.61 | 0 | 4421 lb | 0 0 0.00 | 1.59/1.61 c | 1.62 | 0 | 4422 lb | 0 0 0.00 | 1.59/1.62 c | 1.63 | 0 | 4423 lb | 0 0 0.00 | 1.59/1.63 c | 1.64 | 0 | 4424 lb | 0 0 0.00 | 1.59/1.65 c | 1.65 | 0 | 4425 lb | 0 0 0.00 | 1.59/1.66 c | 1.66 | 0 | 4426 lb | 0 0 0.00 | 1.59/1.67 c | 1.67 | 0 | 4427 lb | 0 0 0.00 | 1.59/1.68 c | 1.68 | 0 | 4428 lb | 0 0 0.00 | 1.59/1.69 c | 1.69 | 0 | 4430 lb | 0 0 0.00 | 1.69/1.70 c | 1.70 | 0 | 4431 lb | 0 0 0.00 | 1.69/1.71 c | 1.72 | 0 | 4432 lb | 0 0 0.00 | 1.69/1.72 c | 1.73 | 0 | 4433 lb | 0 0 0.00 | 1.69/1.74 c | 1.74 | 0 | 4434 lb | 0 0 0.00 | 1.69/1.75 c | 1.75 | 0 | 4435 lb | 0 0 0.00 | 1.69/1.76 c | 1.77 | 0 | 4436 lb | 0 0 0.00 | 1.69/1.77 c | 1.78 | 0 | 4437 lb | 0 0 0.00 | 1.69/1.78 c | 1.79 | 0 | 4438 lb | 0 0 0.00 | 1.79/1.80 c | 1.80 | 0 | 4439 lb | 0 0 0.00 | 1.79/1.81 c | 1.81 | 0 | 4440 lb | 0 0 0.00 | 1.79/1.82 c | 1.82 | 0 | 4441 lb | 0 0 0.00 | 1.79/1.83 c | 1.83 | 0 | 4442 lb | 0 0 0.00 | 1.79/1.84 c | 1.84 | 0 | 4443 lb | 0 0 0.00 | 1.79/1.85 c | 1.86 | 0 | 4444 lb | 0 0 0.00 | 1.79/1.86 c | 1.87 | 0 | 4445 lb | 0 0 0.00 | 1.79/1.87 c | 1.88 | 0 | 4446 lb | 0 0 0.00 | 1.79/1.89 c | 1.89 | 0 | 4447 lb | 0 0 0.00 | 1.89/1.90 c | 1.90 | 0 | 4448 lb | 0 0 0.00 | 1.89/1.91 c | 1.92 | 0 | 4449 lb | 0 0 0.00 | 1.89/1.93 c | 1.93 | 0 | 4450 lb | 0 0 0.00 | 1.89/1.94 c | 1.94 | 0 | 4451 lb | 0 0 0.00 | 1.89/1.95 c | 1.96 | 0 | 4452 lb | 0 0 0.00 | 1.89/1.96 c | 1.97 | 0 | 4453 lb | 0 0 0.00 | 1.89/1.98 c | 1.98 | 0 | 4454 lb | 0 0 0.00 | 1.89/1.99 c | 1.99 | 0 | 4455 lb | 0 0 0.00 | 1.99/2.00 c | 2.01 | 0 | 4456 lb | 0 0 0.00 | 1.99/2.02 c | 2.02 | 0 | 4457 lb | 0 0 0.00 | 1.99/2.03 c | 2.03 | 0 | 4458 lb | 0 0 0.00 | 1.99/2.04 c | 2.05 | 0 | 4460 lb | 0 0 0.00 | 1.99/2.06 c | 2.06 | 0 | 4461 lb | 0 0 0.00 | 1.99/2.07 c | 2.07 | 0 | 4462 lb | 0 0 0.00 | 1.99/2.08 c | 2.09 | 0 | 4463 lb | 0 0 0.00 | 1.99/2.10 c | 2.10 | 0 | 4464 lb | 0 0 0.00 | 2.10/2.11 c | 2.12 | 0 | 4465 lb | 0 0 0.00 | 2.10/2.13 c | 2.13 | 0 | 4466 lb | 0 0 0.00 | 2.10/2.14 c | 2.14 | 0 | 4467 lb | 0 0 0.00 | 2.10/2.16 c | 2.16 | 0 | 4468 lb | 0 0 0.00 | 2.10/2.17 c | 2.18 | 0 | 4469 lb | 0 0 0.00 | 2.10/2.19 c | 2.19 | 0 | 4470 lb | 0 0 0.00 | 2.20/2.20 c | 2.21 | 0 | 4471 lb | 0 0 0.00 | 2.20/2.22 c | 2.22 | 0 | 4472 lb | 0 0 0.00 | 2.20/2.23 c | 2.24 | 0 | 4473 lb | 0 0 0.00 | 2.20/2.25 c | 2.25 | 0 | 4474 lb | 0 0 0.00 | 2.20/2.26 c | 2.26 | 0 | 4475 lb | 0 0 0.00 | 2.20/2.28 c | 2.28 | 0 | 4476 lb | 0 0 0.00 | 2.20/2.30 c | 2.30 | 0 | 4477 lb | 0 0 0.00 | 2.29/2.31 c | 2.31 | 0 | 4478 lb | 0 0 0.00 | 2.29/2.33 c | 2.33 | 0 | 4479 lb | 0 0 0.00 | 2.29/2.34 c | 2.35 | 0 | 4480 lb | 0 0 0.00 | 2.29/2.36 c | 2.37 | 0 | 4481 lb | 0 0 0.00 | 2.29/2.38 c | 2.38 | 0 | 4482 lb | 0 0 0.00 | 2.29/2.39 c | 2.40 | 0 | 4483 lb | 0 0 0.00 | 2.39/2.41 c | 2.42 | 0 | 4484 lb | 0 0 0.00 | 2.39/2.43 c | 2.43 | 0 | 4485 lb | 0 0 0.00 | 2.39/2.45 c | 2.45 | 0 | 4486 lb | 0 0 0.00 | 2.39/2.47 c | 2.47 | 0 | 4487 lb | 0 0 0.00 | 2.39/2.49 c | 2.50 | 0 | 4488 lb | 0 0 0.00 | 2.49/2.51 c | 2.51 | 0 | 4489 lb | 0 0 0.00 | 2.49/2.53 c | 2.53 | 0 | 4490 lb | 0 0 0.00 | 2.49/2.55 c | 2.56 | 0 | 4491 lb | 0 0 0.00 | 2.49/2.57 c | 2.57 | 0 | 4492 lb | 0 0 0.00 | 2.49/2.58 c | 2.59 | 0 | 4493 lb | 0 0 0.00 | 2.59/2.62 c | 2.62 | 0 | 4494 lb | 0 0 0.00 | 2.59/2.64 c | 2.64 | 0 | 4495 lb | 0 0 0.00 | 2.59/2.66 c | 2.66 | 0 | 4496 lb | 0 0 0.00 | 2.59/2.68 c | 2.69 | 0 | 4497 lb | 0 0 0.00 | 2.69/2.70 c | 2.70 | 0 | 4498 lb | 0 0 0.00 | 2.69/2.73 c | 2.73 | 0 | 4499 lb | 0 0 0.00 | 2.69/2.77 c | 2.77 | 0 | 4500 lb | 0 0 0.00 | 2.69/2.79 c | 2.79 | 0 | 4501 lb | 0 0 0.00 | 2.79/2.81 c | 2.81 | 0 | 4502 lb | 0 0 0.00 | 2.79/2.84 c | 2.84 | 0 | 4503 lb | 0 0 0.00 | 2.79/2.86 c | 2.86 | 0 | 4504 lb | 0 0 0.00 | 2.79/2.88 c | 2.89 | 0 | 4505 lb | 0 0 0.00 | 2.89/2.90 c | 2.90 | 0 | 4506 lb | 0 0 0.00 | 2.89/2.92 c | 2.92 | 0 | 4507 lb | 0 0 0.00 | 2.89/2.94 c | 2.95 | 0 | 4508 lb | 0 0 0.00 | 2.89/2.96 c | 2.97 | 0 | 4509 lb | 0 0 0.00 | 2.89/2.99 c | 2.99 | 0 | 4510 lb | 0 0 0.00 | 2.99/3.01 c | 3.01 | 0 | 4511 lb | 0 0 0.00 | 2.99/3.04 c | 3.04 | 0 | 4512 lb | 0 0 0.00 | 2.99/3.07 c | 3.07 | 0 | 4513 lb | 0 0 0.00 | 2.99/3.09 c | 3.10 | 0 | 4514 lb | 0 0 0.00 | 3.09/3.13 c | 3.14 | 0 | 4515 lb | 0 0 0.00 | 3.09/3.16 c | 3.16 | 0 | 4516 lb | 0 0 0.00 | 3.19/3.21 c | 3.21 | 0 | 4517 lb | 0 0 0.00 | 3.19/3.27 c | 3.27 | 0 | 4518 lb | 0 0 0.00 | 3.29/3.31 c | 3.31 | 0 | 4519 lb | 0 0 0.00 | 3.39/3.40 c | 3.41 | 0 | 4520 lb | 0 0 0.00 | 3.49/3.53 c | 3.54 | 0 | 4521 lb | 0 0 0.00 | 3.68/3.72 c | 3.73 | 0 | 4522 lb | 0 0 0.00 | 4.69/4.74 c | 4.74 | 0 | 4523 lb | 0 0 0.00 | 4.99/5.01 c | 5.02 | 0 | 4524 lb | 0 0 0.00 | 11.00/11.06 c | 11.07 | 0 | 4525 lb | 0 0 0.00 | 12.69/12.78 c | 12.78 | 0 | 4526 lb | 0 0 0.00 | 13.10/13.11 c | 13.11 | 0 | 4527 lb | 0 0 0.00 | 13.49/13.50 c | 13.50 | 0 | 4528 lb | 0 0 0.00 | 18.79/18.88 c | 18.89 | 0 | 4529 lb | 0 0 0.00 | 21.79/21.82 c | 21.82 | 0 | 4530 lb | 0 0 0.00 | 22.09/22.14 c | 22.14 | 0 | 4531 lb | 0 0 0.00 | 22.49/22.50 c | 22.50 | 0 | 4532 lb | 0 0 0.00 | 685.19/685.46 c | 685.46 | 0 | 4533 lb | 0 0 0.00 | 708.49/708.71 c | 708.71 | 0 | 4534 lb | 0 0 0.00 | 723.18/723.43 c | 723.43 | 0 | 4535 lb | 0 0 0.00 | 1577.54/1577.98 c | 1577.99 | 0 | 4536 lb | 0 0 0.00 | 1579.85/1580.26 c | 1580.26 | 0 | 4537 lb | 0 0 0.00 | 1613.64/1614.00 c | 1614.01 | 0 | 4538 lb | 0 0 0.00 | 1787.50/1787.98 c | 1787.98 | 0 | 4539 lb | 0 0 0.00 | 1799.60/1800.00 c =============================================================================== 1799.60/1800.00 c Wall Clock Time: 1800.00 s 1799.60/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-3727370-1338655135/watcher-3727370-1338655135 -o /tmp/evaluation-result-3727370-1338655135/solver-3727370-1338655135 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727370-1338655135.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.97 3/177 9616 /proc/meminfo: memFree=24108628/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=3240 CPUtime=0 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) R 9614 9616 7878 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 331640385 3317760 286 33554432000 4194304 5964350 140733564578464 140734474961768 4344688 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 810 286 173 433 0 350 0 [startup+0.0508951 s] /proc/loadavg: 2.00 2.00 1.97 3/177 9616 /proc/meminfo: memFree=24108628/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=0.04 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 1111 0 0 0 4 0 0 0 20 0 2 0 331640385 86007808 1040 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 1048 192 433 0 20562 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 83992 [startup+0.100311 s] /proc/loadavg: 2.00 2.00 1.97 3/177 9616 /proc/meminfo: memFree=24108628/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=0.09 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 1197 0 0 0 9 0 0 0 20 0 2 0 331640385 86007808 1126 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 1126 192 433 0 20562 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83992 [startup+0.300276 s] /proc/loadavg: 2.00 2.00 1.97 3/177 9616 /proc/meminfo: memFree=24108628/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=0.29 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 1568 0 0 0 29 0 0 0 20 0 2 0 331640385 86007808 1413 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 1413 192 433 0 20562 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83992 [startup+0.700285 s] /proc/loadavg: 2.00 2.00 1.97 3/177 9616 /proc/meminfo: memFree=24108628/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=0.69 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 3968 0 0 0 69 0 0 0 20 0 2 0 331640385 86007808 2387 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 2387 195 433 0 20562 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83992 [startup+1.50031 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9618 /proc/meminfo: memFree=24097088/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=1.49 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 8010 0 0 0 148 1 0 0 20 0 2 0 331640385 86007808 3968 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 3968 196 433 0 20562 0 [pid=9616/tid=9618] ppid=9614 vsize=83992 CPUtime=1.47 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 7200 0 0 0 146 1 0 0 20 0 2 0 331640386 86007808 3968 33554432000 4194304 5964350 140733564578464 140452616145432 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 83992 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9618 /proc/meminfo: memFree=24088408/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=3.09 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 17480 0 0 0 307 2 0 0 20 0 2 0 331640385 86007808 7077 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 7090 197 433 0 20562 0 [pid=9616/tid=9618] ppid=9614 vsize=83992 CPUtime=3.07 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 16686 0 0 0 305 2 0 0 20 0 2 0 331640386 86007808 7093 33554432000 4194304 5964350 140733564578464 140452616145432 4395259 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) 83992 [startup+6.30031 s] /proc/loadavg: 2.08 2.02 1.97 3/179 9618 /proc/meminfo: memFree=24074800/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=6.29 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 20627 0 0 0 626 3 0 0 20 0 2 0 331640385 86007808 8555 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 8555 197 433 0 20562 0 [pid=9616/tid=9618] ppid=9614 vsize=83992 CPUtime=6.26 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 19817 0 0 0 624 2 0 0 20 0 2 0 331640386 86007808 8555 33554432000 4194304 5964350 140733564578464 140452616145240 4399793 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) 83992 [startup+12.7003 s] /proc/loadavg: 2.07 2.02 1.97 3/179 9618 /proc/meminfo: memFree=24066228/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=12.69 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 22641 0 0 0 1266 3 0 0 20 0 2 0 331640385 86007808 10568 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 10568 197 433 0 20562 0 [pid=9616/tid=9618] ppid=9614 vsize=83992 CPUtime=12.64 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 21831 0 0 0 1262 2 0 0 20 0 2 0 331640386 86007808 10568 33554432000 4194304 5964350 140733564578464 140452616145224 4399889 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) 83992 [startup+25.5003 s] /proc/loadavg: 2.06 2.01 1.97 3/179 9618 /proc/meminfo: memFree=24062884/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=25.49 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 24385 0 0 0 2546 3 0 0 20 0 2 0 331640385 86007808 11512 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 11512 197 433 0 20562 0 [pid=9616/tid=9618] ppid=9614 vsize=83992 CPUtime=25.41 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 23575 0 0 0 2538 3 0 0 20 0 2 0 331640386 86007808 11512 33554432000 4194304 5964350 140733564578464 140452616145240 4389067 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) 83992 [startup+51.1003 s] /proc/loadavg: 2.04 2.01 1.97 3/180 9619 /proc/meminfo: memFree=24054396/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=83992 CPUtime=51.08 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 26721 0 0 0 5105 3 0 0 20 0 2 0 331640385 86007808 13848 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 20998 13848 197 433 0 20562 0 [pid=9616/tid=9618] ppid=9614 vsize=83992 CPUtime=50.95 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 25911 0 0 0 5092 3 0 0 20 0 2 0 331640386 86007808 13848 33554432000 4194304 5964350 140733564578464 140452616144696 4400547 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) 83992 [startup+102.306 s] /proc/loadavg: 2.01 2.01 1.97 3/180 9621 /proc/meminfo: memFree=24000520/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=149528 CPUtime=102.28 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 40027 0 0 0 10220 8 0 0 20 0 2 0 331640385 153116672 27154 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 37382 27154 197 433 0 36946 0 [pid=9616/tid=9618] ppid=9614 vsize=149528 CPUtime=102.02 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 39217 0 0 0 10193 9 0 0 20 0 2 0 331640386 153116672 27154 33554432000 4194304 5964350 140733564578464 140452616144888 4399840 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) 149528 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9622 /proc/meminfo: memFree=23960628/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=215064 CPUtime=162.26 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 49951 0 0 0 16215 11 0 0 20 0 2 0 331640385 220225536 37078 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 53766 37078 197 433 0 53330 0 [pid=9616/tid=9618] ppid=9614 vsize=215064 CPUtime=161.86 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 49141 0 0 0 16173 13 0 0 20 0 2 0 331640386 220225536 37078 33554432000 4194304 5964350 140733564578464 140452616144696 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 215064 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9622 /proc/meminfo: memFree=23934244/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=215064 CPUtime=222.26 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 56414 0 0 0 22211 15 0 0 20 0 2 0 331640385 220225536 43541 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 53766 43541 197 433 0 53330 0 [pid=9616/tid=9618] ppid=9614 vsize=215064 CPUtime=221.71 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 55604 0 0 0 22153 18 0 0 20 0 2 0 331640386 220225536 43541 33554432000 4194304 5964350 140733564578464 140452616144696 4389030 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 215064 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9622 /proc/meminfo: memFree=23931420/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=215064 CPUtime=282.25 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 57136 0 0 0 28210 15 0 0 20 0 2 0 331640385 220225536 44263 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 53766 44263 197 433 0 53330 0 [pid=9616/tid=9618] ppid=9614 vsize=215064 CPUtime=281.56 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 56326 0 0 0 28137 19 0 0 20 0 2 0 331640386 220225536 44263 33554432000 4194304 5964350 140733564578464 140452616144696 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 215064 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9661 /proc/meminfo: memFree=27890140/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=282224 CPUtime=342.2 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 67307 0 0 0 34200 20 0 0 20 0 2 0 331640385 288997376 54564 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 70556 54564 197 433 0 70120 0 [pid=9616/tid=9618] ppid=9614 vsize=282224 CPUtime=341.37 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 66497 0 0 0 34112 25 0 0 20 0 2 0 331640386 288997376 54564 33554432000 4194304 5964350 140733564578464 140452616144696 4389090 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) 282224 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9661 /proc/meminfo: memFree=27827544/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=282224 CPUtime=402.17 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 76486 0 0 0 40192 25 0 0 20 0 2 0 331640385 288997376 64066 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 70556 64066 197 433 0 70120 0 [pid=9616/tid=9618] ppid=9614 vsize=282224 CPUtime=401.18 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 75676 0 0 0 40087 31 0 0 20 0 2 0 331640386 288997376 64066 33554432000 4194304 5964350 140733564578464 140452616144936 4379231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 282224 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 9662 /proc/meminfo: memFree=27755760/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=282224 CPUtime=462.15 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.98 3/179 9694 /proc/meminfo: memFree=27188612/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=411672 CPUtime=1421.98 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 102493 0 0 0 142157 41 0 0 20 0 2 0 331640385 421552128 87502 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 102918 87502 197 433 0 102482 0 [pid=9616/tid=9618] ppid=9614 vsize=411672 CPUtime=1418.53 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 101683 0 0 0 141791 62 0 0 20 0 2 0 331640386 421552128 87502 33554432000 4194304 5964350 140733564578464 140452616145432 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 411672 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 9694 /proc/meminfo: memFree=27127904/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=411672 CPUtime=1481.96 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 105519 0 0 0 148154 42 0 0 20 0 2 0 331640385 421552128 90514 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 102918 90514 197 433 0 102482 0 [pid=9616/tid=9618] ppid=9614 vsize=411672 CPUtime=1478.37 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 104709 0 0 0 147773 64 0 0 20 0 2 0 331640386 421552128 90514 33554432000 4194304 5964350 140733564578464 140452616144760 4400017 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) 411672 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 9694 /proc/meminfo: memFree=27018032/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=411672 CPUtime=1541.94 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 111656 0 0 0 154146 48 0 0 20 0 2 0 331640385 421552128 96647 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 102918 96647 197 433 0 102482 0 [pid=9616/tid=9618] ppid=9614 vsize=411672 CPUtime=1538.22 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 110846 0 0 0 153751 71 0 0 20 0 2 0 331640386 421552128 96647 33554432000 4194304 5964350 140733564578464 140452616144696 4378928 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 411672 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 9694 /proc/meminfo: memFree=26996580/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1601.94 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116960 0 0 0 160144 50 0 0 20 0 2 0 331640385 488660992 101949 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 101949 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1598.06 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116150 0 0 0 159732 74 0 0 20 0 2 0 331640386 488660992 101949 33554432000 4194304 5964350 140733564578464 140452616145432 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 477208 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 9695 /proc/meminfo: memFree=26978724/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1661.93 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116960 0 0 0 166143 50 0 0 20 0 2 0 331640385 488660992 101949 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 101949 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1657.91 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116150 0 0 0 165716 75 0 0 20 0 2 0 331640386 488660992 101949 33554432000 4194304 5964350 140733564578464 140452616145432 4389005 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 477208 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 9695 /proc/meminfo: memFree=26928788/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1721.91 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116982 0 0 0 172141 50 0 0 20 0 2 0 331640385 488660992 102087 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102087 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1717.74 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116172 0 0 0 171698 76 0 0 20 0 2 0 331640386 488660992 102087 33554432000 4194304 5964350 140733564578464 140452616145432 4400448 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) 477208 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.98 3/179 9695 /proc/meminfo: memFree=26927368/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1781.9 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 178140 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1777.59 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 177682 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4399840 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) 477208 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.08 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26927988/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1791.5 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179100 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1787.17 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 178640 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4389067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (KiB) 477208 [startup+1795.1 s] /proc/loadavg: 2.07 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26928048/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1794.7 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179420 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1790.36 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 178959 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4399895 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.7 Current children cumulated vsize (KiB) 477208 [startup+1798.3 s] /proc/loadavg: 2.07 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26928048/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1797.9 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179740 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1793.55 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 179278 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4392925 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 477208 [startup+1799.1 s] /proc/loadavg: 2.07 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26928048/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1798.7 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179820 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1794.34 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 179357 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (KiB) 477208 [startup+1799.5 s] /proc/loadavg: 2.07 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26928048/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1799.1 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179860 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1794.75 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 179398 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4399774 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.1 Current children cumulated vsize (KiB) 477208 [startup+1799.9 s] /proc/loadavg: 2.07 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26928048/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1799.5 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179900 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1795.14 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 179437 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4409152 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (KiB) 477208 [startup+1800 s] /proc/loadavg: 2.07 2.02 1.99 3/179 9695 /proc/meminfo: memFree=26928048/32873648 swapFree=6864/6864 [pid=9616] ppid=9614 vsize=477208 CPUtime=1799.6 cores=1,3,5,7 /proc/9616/stat : 9616 (wbo1.72) S 9614 9616 7878 0 -1 4202496 116989 0 0 0 179910 50 0 0 20 0 2 0 331640385 488660992 102440 33554432000 4194304 5964350 140733564578464 140733564577984 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9616/statm: 119302 102440 197 433 0 118866 0 [pid=9616/tid=9618] ppid=9614 vsize=477208 CPUtime=1795.24 cores=1,3,5,7 /proc/9616/task/9618/stat : 9618 (wbo1.72) R 9614 9616 7878 0 -1 4202560 116179 0 0 0 179447 77 0 0 20 0 2 0 331640386 488660992 102440 33554432000 4194304 5964350 140733564578464 140452616145432 4409168 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (KiB) 477208 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9616 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=484196 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=782880 # CPU time returned by wait4() is 1795.27 # while last known CPU time is 1799.6 # # 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.6 CPU user time (s): 1799.1 CPU system time (s): 0.5 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 477208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.48 system time used= 0.78288 maximum resident set size= 409768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116991 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= 185 involuntary context switches= 1963 runsolver used 4.78627 second user time and 21.0868 second system time The end
Begin job on node113 at 2012-06-02 18:38:55 IDJOB=3727370 IDBENCH=2018 IDSOLVER=2313 FILE ID=node113/3727370-1338655135 RUNJOBID= node113-1338651535-9378 PBS_JOBID= 14636467 Free space on /tmp= 71024 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727370-1338655135/watcher-3727370-1338655135 -o /tmp/evaluation-result-3727370-1338655135/solver-3727370-1338655135 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727370-1338655135.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED=929537183 node113.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.026 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.05 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.026 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.90 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.026 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 : 5438.54 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.026 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.026 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.026 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.026 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.92 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.026 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 24109164 kB Buffers: 494736 kB Cached: 3254976 kB SwapCached: 2020 kB Active: 5724788 kB Inactive: 2145180 kB Active(anon): 4119264 kB Inactive(anon): 1800 kB Active(file): 1605524 kB Inactive(file): 2143380 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67099596 kB Dirty: 5464 kB Writeback: 4 kB AnonPages: 4126164 kB Mapped: 11864 kB Shmem: 0 kB Slab: 748664 kB SReclaimable: 193008 kB SUnreclaim: 555656 kB KernelStack: 1472 kB PageTables: 11804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 193004 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1454080 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= 71036 MiB End job on node113 at 2012-06-02 19:08:56