Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1799.77 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 0.591909 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
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-3704982-1338085882.opb. 0.00/0.00 c Instance file HOME/instance-3704982-1338085882.opb 0.00/0.00 c File size is 125155 bytes. 0.00/0.01 c Cost Offset: 0 0.00/0.01 c Highest Coefficient sum: 2701 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: 2655 | 0.00/0.01 c | Number Clauses: 144 | 0.00/0.01 c | Number Cardinality: 146 | 0.00/0.01 c | Number PB Constraints: 1 | 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.02 | 0 | 180 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 233 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 266 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 278 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 296 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 321 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 323 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 463 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 487 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 488 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 497 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 499 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 513 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 541 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 550 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 551 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 591 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 595 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 602 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 605 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 620 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 624 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 644 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 722 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 748 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 749 lb | 0 0 0.00 | 0.00/0.07 c | 0.08 | 0 | 843 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 883 lb | 0 0 0.00 | 0.00/0.08 c | 0.08 | 0 | 889 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 891 lb | 0 0 0.00 | 0.00/0.08 c | 0.09 | 0 | 911 lb | 0 0 0.00 | 0.08/0.09 c | 0.09 | 0 | 912 lb | 0 0 0.00 | 0.08/0.09 c | 0.09 | 0 | 925 lb | 0 0 0.00 | 0.08/0.09 c | 0.10 | 0 | 927 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 930 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 932 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 967 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 1022 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 1110 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 1111 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 1114 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 1115 lb | 0 0 0.00 | 0.09/0.12 c | 0.13 | 0 | 1117 lb | 0 0 0.00 | 0.09/0.13 c | 0.13 | 0 | 1119 lb | 0 0 0.00 | 0.09/0.13 c | 0.14 | 0 | 1121 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 1155 lb | 0 0 0.00 | 0.09/0.14 c | 0.14 | 0 | 1196 lb | 0 0 0.00 | 0.09/0.14 c | 0.15 | 0 | 1228 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 1265 lb | 0 0 0.00 | 0.09/0.15 c | 0.15 | 0 | 1266 lb | 0 0 0.00 | 0.09/0.15 c | 0.16 | 0 | 1285 lb | 0 0 0.00 | 0.09/0.16 c | 0.16 | 0 | 1372 lb | 0 0 0.00 | 0.09/0.16 c | 0.17 | 0 | 1376 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 1382 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 1403 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 1426 lb | 0 0 0.00 | 0.09/0.18 c | 0.18 | 0 | 1427 lb | 0 0 0.00 | 0.09/0.18 c | 0.19 | 0 | 1453 lb | 0 0 0.00 | 0.09/0.19 c | 0.19 | 0 | 1465 lb | 0 0 0.00 | 0.09/0.19 c | 0.20 | 0 | 1466 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 1478 lb | 0 0 0.00 | 0.19/0.20 c | 0.20 | 0 | 1482 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 1490 lb | 0 0 0.00 | 0.19/0.21 c | 0.21 | 0 | 1494 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 1575 lb | 0 0 0.00 | 0.19/0.22 c | 0.22 | 0 | 1656 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 1694 lb | 0 0 0.00 | 0.19/0.23 c | 0.23 | 0 | 1695 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 1698 lb | 0 0 0.00 | 0.19/0.24 c | 0.24 | 0 | 1699 lb | 0 0 0.00 | 0.19/0.25 c | 0.25 | 0 | 1703 lb | 0 0 0.00 | 0.19/0.25 c | 0.26 | 0 | 1709 lb | 0 0 0.00 | 0.19/0.26 c | 0.26 | 0 | 1711 lb | 0 0 0.00 | 0.19/0.26 c | 0.27 | 0 | 1713 lb | 0 0 0.00 | 0.19/0.27 c | 0.27 | 0 | 1722 lb | 0 0 0.00 | 0.19/0.27 c | 0.28 | 0 | 1733 lb | 0 0 0.00 | 0.19/0.28 c | 0.28 | 0 | 1755 lb | 0 0 0.00 | 0.19/0.28 c | 0.29 | 0 | 1779 lb | 0 0 0.00 | 0.19/0.29 c | 0.29 | 0 | 1780 lb | 0 0 0.00 | 0.29/0.30 c | 0.30 | 0 | 1781 lb | 0 0 0.00 | 0.29/0.30 c | 0.31 | 0 | 1782 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | 1826 lb | 0 0 0.00 | 0.29/0.31 c | 0.32 | 0 | 1827 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | 1851 lb | 0 0 0.00 | 0.29/0.33 c | 0.33 | 0 | 1879 lb | 0 0 0.00 | 0.29/0.33 c | 0.34 | 0 | 1880 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | 1895 lb | 0 0 0.00 | 0.29/0.35 c | 0.35 | 0 | 1896 lb | 0 0 0.00 | 0.29/0.35 c | 0.36 | 0 | 1901 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | 1907 lb | 0 0 0.00 | 0.29/0.37 c | 0.37 | 0 | 1916 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | 1917 lb | 0 0 0.00 | 0.29/0.38 c | 0.39 | 0 | 1918 lb | 0 0 0.00 | 0.29/0.39 c | 0.39 | 0 | 1921 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | 1924 lb | 0 0 0.00 | 0.39/0.40 c | 0.41 | 0 | 1936 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | 1946 lb | 0 0 0.00 | 0.39/0.42 c | 0.42 | 0 | 1949 lb | 0 0 0.00 | 0.39/0.43 c | 0.43 | 0 | 1967 lb | 0 0 0.00 | 0.39/0.43 c | 0.44 | 0 | 1977 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | 1997 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | 2000 lb | 0 0 0.00 | 0.39/0.45 c | 0.46 | 0 | 2001 lb | 0 0 0.00 | 0.39/0.46 c | 0.47 | 0 | 2002 lb | 0 0 0.00 | 0.39/0.47 c | 0.47 | 0 | 2004 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | 2012 lb | 0 0 0.00 | 0.39/0.49 c | 0.49 | 0 | 2015 lb | 0 0 0.00 | 0.39/0.49 c | 0.50 | 0 | 2029 lb | 0 0 0.00 | 0.49/0.50 c | 0.51 | 0 | 2031 lb | 0 0 0.00 | 0.49/0.51 c | 0.51 | 0 | 2043 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 2045 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 2085 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 2113 lb | 0 0 0.00 | 0.49/0.54 c | 0.55 | 0 | 2160 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | 2176 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | 2180 lb | 0 0 0.00 | 0.49/0.57 c | 0.57 | 0 | 2189 lb | 0 0 0.00 | 0.49/0.57 c | 0.58 | 0 | 2197 lb | 0 0 0.00 | 0.49/0.58 c | 0.59 | 0 | 2199 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 2202 lb | 0 0 0.00 | 0.58/0.60 c | 0.60 | 0 | 2203 lb | 0 0 0.00 | 0.58/0.61 c | 0.61 | 0 | 2210 lb | 0 0 0.00 | 0.58/0.62 c | 0.62 | 0 | 2233 lb | 0 0 0.00 | 0.58/0.62 c | 0.63 | 0 | 2253 lb | 0 0 0.00 | 0.58/0.63 c | 0.64 | 0 | 2254 lb | 0 0 0.00 | 0.58/0.64 c | 0.65 | 0 | 2259 lb | 0 0 0.00 | 0.58/0.65 c | 0.65 | 0 | 2267 lb | 0 0 0.00 | 0.58/0.66 c | 0.66 | 0 | 2278 lb | 0 0 0.00 | 0.58/0.67 c | 0.67 | 0 | 2279 lb | 0 0 0.00 | 0.58/0.68 c | 0.68 | 0 | 2282 lb | 0 0 0.00 | 0.58/0.69 c | 0.69 | 0 | 2284 lb | 0 0 0.00 | 0.58/0.69 c | 0.70 | 0 | 2288 lb | 0 0 0.00 | 0.68/0.70 c | 0.71 | 0 | 2310 lb | 0 0 0.00 | 0.68/0.71 c | 0.72 | 0 | 2331 lb | 0 0 0.00 | 0.68/0.72 c | 0.73 | 0 | 2353 lb | 0 0 0.00 | 0.68/0.73 c | 0.73 | 0 | 2354 lb | 0 0 0.00 | 0.68/0.74 c | 0.74 | 0 | 2391 lb | 0 0 0.00 | 0.68/0.75 c | 0.75 | 0 | 2395 lb | 0 0 0.00 | 0.68/0.76 c | 0.76 | 0 | 2412 lb | 0 0 0.00 | 0.68/0.77 c | 0.77 | 0 | 2416 lb | 0 0 0.00 | 0.68/0.78 c | 0.78 | 0 | 2417 lb | 0 0 0.00 | 0.68/0.79 c | 0.79 | 0 | 2418 lb | 0 0 0.00 | 0.78/0.80 c | 0.80 | 0 | 2426 lb | 0 0 0.00 | 0.78/0.81 c | 0.81 | 0 | 2517 lb | 0 0 0.00 | 0.78/0.82 c | 0.82 | 0 | 2519 lb | 0 0 0.00 | 0.78/0.83 c | 0.83 | 0 | 2522 lb | 0 0 0.00 | 0.78/0.84 c | 0.84 | 0 | 2576 lb | 0 0 0.00 | 0.78/0.85 c | 0.85 | 0 | 2579 lb | 0 0 0.00 | 0.78/0.86 c | 0.86 | 0 | 2581 lb | 0 0 0.00 | 0.78/0.87 c | 0.87 | 0 | 2583 lb | 0 0 0.00 | 0.78/0.88 c | 0.88 | 0 | 2584 lb | 0 0 0.00 | 0.78/0.89 c | 0.89 | 0 | 2589 lb | 0 0 0.00 | 0.89/0.90 c | 0.90 | 0 | 2591 lb | 0 0 0.00 | 0.89/0.91 c | 0.92 | 0 | 2594 lb | 0 0 0.00 | 0.89/0.92 c | 0.93 | 0 | 2596 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | 2598 lb | 0 0 0.00 | 0.89/0.94 c | 0.95 | 0 | 2601 lb | 0 0 0.00 | 0.89/0.96 c | 0.96 | 0 | 2602 lb | 0 0 0.00 | 0.89/0.97 c | 0.97 | 0 | 2603 lb | 0 0 0.00 | 0.89/0.98 c | 0.98 | 0 | 2646 lb | 0 0 0.00 | 0.89/0.99 c | 0.99 | 0 | 2677 lb | 0 0 0.00 | 0.99/1.00 c | 1.01 | 0 | 2679 lb | 0 0 0.00 | 0.99/1.01 c | 1.02 | 0 | 2680 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | 2688 lb | 0 0 0.00 | 0.99/1.04 c | 1.04 | 0 | 2689 lb | 0 0 0.00 | 0.99/1.05 c | 1.05 | 0 | 2690 lb | 0 0 0.00 | 0.99/1.06 c | 1.07 | 0 | 2693 lb | 0 0 0.00 | 0.99/1.07 c | 1.08 | 0 | 2695 lb | 0 0 0.00 | 0.99/1.09 c | 1.09 | 0 | 2696 lb | 0 0 0.00 | 0.99/1.10 c | 1.10 | 0 | 2697 lb | 0 0 0.00 | 1.09/1.11 c | 1.11 | 0 | 2698 lb | 0 0 0.00 | 1.09/1.12 c | 1.13 | 0 | 2699 lb | 0 0 0.00 | 1.09/1.14 c | 1.14 | 0 | 2700 lb | 0 0 0.00 | 1.09/1.15 c | 1.16 | 0 | 2704 lb | 0 0 0.00 | 1.09/1.17 c | 1.17 | 0 | 2705 lb | 0 0 0.00 | 1.09/1.18 c | 1.18 | 0 | 2709 lb | 0 0 0.00 | 1.09/1.19 c | 1.20 | 0 | 2716 lb | 0 0 0.00 | 1.19/1.21 c | 1.21 | 0 | 2718 lb | 0 0 0.00 | 1.19/1.22 c | 1.22 | 0 | 2722 lb | 0 0 0.00 | 1.19/1.23 c | 1.24 | 0 | 2725 lb | 0 0 0.00 | 1.19/1.25 c | 1.25 | 0 | 2754 lb | 0 0 0.00 | 1.19/1.26 c | 1.26 | 0 | 2756 lb | 0 0 0.00 | 1.19/1.27 c | 1.28 | 0 | 2759 lb | 0 0 0.00 | 1.19/1.29 c | 1.29 | 0 | 2764 lb | 0 0 0.00 | 1.29/1.30 c | 1.31 | 0 | 2765 lb | 0 0 0.00 | 1.29/1.32 c | 1.32 | 0 | 2773 lb | 0 0 0.00 | 1.29/1.33 c | 1.34 | 0 | 2794 lb | 0 0 0.00 | 1.29/1.35 c | 1.35 | 0 | 2795 lb | 0 0 0.00 | 1.29/1.36 c | 1.37 | 0 | 2805 lb | 0 0 0.00 | 1.29/1.38 c | 1.38 | 0 | 2830 lb | 0 0 0.00 | 1.29/1.39 c | 1.40 | 0 | 2833 lb | 0 0 0.00 | 1.38/1.41 c | 1.41 | 0 | 2834 lb | 0 0 0.00 | 1.38/1.42 c | 1.43 | 0 | 2864 lb | 0 0 0.00 | 1.38/1.44 c | 1.44 | 0 | 2932 lb | 0 0 0.00 | 1.38/1.45 c | 1.45 | 0 | 2981 lb | 0 0 0.00 | 1.38/1.47 c | 1.47 | 0 | 2982 lb | 0 0 0.00 | 1.38/1.48 c | 1.49 | 0 | 2985 lb | 0 0 0.00 | 1.48/1.50 c | 1.50 | 0 | 2988 lb | 0 0 0.00 | 1.48/1.52 c | 1.52 | 0 | 2991 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | 2992 lb | 0 0 0.00 | 1.48/1.55 c | 1.56 | 0 | 2994 lb | 0 0 0.00 | 1.48/1.57 c | 1.58 | 0 | 2996 lb | 0 0 0.00 | 1.48/1.59 c | 1.60 | 0 | 2998 lb | 0 0 0.00 | 1.59/1.61 c | 1.61 | 0 | 3000 lb | 0 0 0.00 | 1.59/1.63 c | 1.63 | 0 | 3002 lb | 0 0 0.00 | 1.59/1.65 c | 1.65 | 0 | 3007 lb | 0 0 0.00 | 1.59/1.66 c | 1.67 | 0 | 3008 lb | 0 0 0.00 | 1.59/1.68 c | 1.69 | 0 | 3011 lb | 0 0 0.00 | 1.69/1.70 c | 1.70 | 0 | 3012 lb | 0 0 0.00 | 1.69/1.72 c | 1.72 | 0 | 3013 lb | 0 0 0.00 | 1.69/1.74 c | 1.74 | 0 | 3016 lb | 0 0 0.00 | 1.69/1.76 c | 1.76 | 0 | 3017 lb | 0 0 0.00 | 1.69/1.78 c | 1.78 | 0 | 3022 lb | 0 0 0.00 | 1.78/1.80 c | 1.81 | 0 | 3023 lb | 0 0 0.00 | 1.78/1.83 c | 1.83 | 0 | 3024 lb | 0 0 0.00 | 1.78/1.85 c | 1.86 | 0 | 3025 lb | 0 0 0.00 | 1.78/1.88 c | 1.89 | 0 | 3026 lb | 0 0 0.00 | 1.88/1.91 c | 1.91 | 0 | 3027 lb | 0 0 0.00 | 1.88/1.94 c | 1.94 | 0 | 3028 lb | 0 0 0.00 | 1.88/1.96 c | 1.97 | 0 | 3066 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | 3067 lb | 0 0 0.00 | 1.98/2.02 c | 2.02 | 0 | 3070 lb | 0 0 0.00 | 1.98/2.05 c | 2.05 | 0 | 3071 lb | 0 0 0.00 | 1.98/2.08 c | 2.08 | 0 | 3072 lb | 0 0 0.00 | 2.09/2.11 c | 2.11 | 0 | 3073 lb | 0 0 0.00 | 2.09/2.14 c | 2.14 | 0 | 3074 lb | 0 0 0.00 | 2.09/2.17 c | 2.17 | 0 | 3075 lb | 0 0 0.00 | 2.09/2.20 c | 2.20 | 0 | 3078 lb | 0 0 0.00 | 2.20/2.22 c | 2.23 | 0 | 3081 lb | 0 0 0.00 | 2.20/2.26 c | 2.26 | 0 | 3082 lb | 0 0 0.00 | 2.20/2.29 c | 2.29 | 0 | 3083 lb | 0 0 0.00 | 2.29/2.32 c | 2.32 | 0 | 3084 lb | 0 0 0.00 | 2.29/2.35 c | 2.35 | 0 | 3085 lb | 0 0 0.00 | 2.29/2.38 c | 2.38 | 0 | 3086 lb | 0 0 0.00 | 2.39/2.41 c | 2.42 | 0 | 3087 lb | 0 0 0.00 | 2.39/2.44 c | 2.45 | 0 | 3088 lb | 0 0 0.00 | 2.39/2.48 c | 2.48 | 0 | 3089 lb | 0 0 0.00 | 2.48/2.51 c | 2.51 | 0 | 3090 lb | 0 0 0.00 | 2.48/2.54 c | 2.54 | 0 | 3091 lb | 0 0 0.00 | 2.48/2.57 c | 2.57 | 0 | 3092 lb | 0 0 0.00 | 2.58/2.60 c | 2.61 | 0 | 3093 lb | 0 0 0.00 | 2.58/2.64 c | 2.64 | 0 | 3094 lb | 0 0 0.00 | 2.58/2.67 c | 2.67 | 0 | 3095 lb | 0 0 0.00 | 2.69/2.70 c | 2.70 | 0 | 3096 lb | 0 0 0.00 | 2.69/2.73 c | 2.74 | 0 | 3097 lb | 0 0 0.00 | 2.69/2.77 c | 2.77 | 0 | 3098 lb | 0 0 0.00 | 2.79/2.81 c | 2.81 | 0 | 3099 lb | 0 0 0.00 | 2.79/2.84 c | 2.85 | 0 | 3100 lb | 0 0 0.00 | 2.79/2.88 c | 2.88 | 0 | 3101 lb | 0 0 0.00 | 2.88/2.91 c | 2.91 | 0 | 3108 lb | 0 0 0.00 | 2.88/2.95 c | 2.95 | 0 | 3109 lb | 0 0 0.00 | 2.88/2.99 c | 3.00 | 0 | 3110 lb | 0 0 0.00 | 2.98/3.03 c | 3.03 | 0 | 3111 lb | 0 0 0.00 | 2.98/3.07 c | 3.07 | 0 | 3112 lb | 0 0 0.00 | 3.08/3.10 c | 3.11 | 0 | 3113 lb | 0 0 0.00 | 3.08/3.14 c | 3.15 | 0 | 3114 lb | 0 0 0.00 | 3.08/3.18 c | 3.18 | 0 | 3115 lb | 0 0 0.00 | 3.19/3.22 c | 3.22 | 0 | 3121 lb | 0 0 0.00 | 3.19/3.26 c | 3.26 | 0 | 3122 lb | 0 0 0.00 | 3.19/3.30 c | 3.30 | 0 | 3123 lb | 0 0 0.00 | 3.29/3.34 c | 3.34 | 0 | 3124 lb | 0 0 0.00 | 3.29/3.38 c | 3.38 | 0 | 3125 lb | 0 0 0.00 | 3.38/3.42 c | 3.43 | 0 | 3126 lb | 0 0 0.00 | 3.38/3.46 c | 3.47 | 0 | 3127 lb | 0 0 0.00 | 3.48/3.50 c | 3.51 | 0 | 3130 lb | 0 0 0.00 | 3.48/3.55 c | 3.55 | 0 | 3131 lb | 0 0 0.00 | 3.58/3.60 c | 3.60 | 0 | 3132 lb | 0 0 0.00 | 3.58/3.64 c | 3.64 | 0 | 3134 lb | 0 0 0.00 | 3.58/3.68 c | 3.69 | 0 | 3135 lb | 0 0 0.00 | 3.69/3.73 c | 3.73 | 0 | 3136 lb | 0 0 0.00 | 3.69/3.79 c | 3.79 | 0 | 3137 lb | 0 0 0.00 | 3.79/3.83 c | 3.83 | 0 | 3138 lb | 0 0 0.00 | 3.79/3.87 c | 3.87 | 0 | 3139 lb | 0 0 0.00 | 3.89/3.91 c | 3.92 | 0 | 3140 lb | 0 0 0.00 | 3.89/3.95 c | 3.96 | 0 | 3141 lb | 0 0 0.00 | 3.99/4.00 c | 4.00 | 0 | 3142 lb | 0 0 0.00 | 3.99/4.04 c | 4.04 | 0 | 3143 lb | 0 0 0.00 | 3.99/4.08 c | 4.09 | 0 | 3144 lb | 0 0 0.00 | 4.09/4.13 c | 4.13 | 0 | 3145 lb | 0 0 0.00 | 4.09/4.17 c | 4.17 | 0 | 3146 lb | 0 0 0.00 | 4.19/4.22 c | 4.22 | 0 | 3149 lb | 0 0 0.00 | 4.19/4.26 c | 4.26 | 0 | 3150 lb | 0 0 0.00 | 4.29/4.30 c | 4.31 | 0 | 3151 lb | 0 0 0.00 | 4.29/4.35 c | 4.35 | 0 | 3152 lb | 0 0 0.00 | 4.29/4.39 c | 4.40 | 0 | 3153 lb | 0 0 0.00 | 4.39/4.46 c | 4.46 | 0 | 3154 lb | 0 0 0.00 | 4.48/4.50 c | 4.51 | 0 | 3155 lb | 0 0 0.00 | 4.48/4.55 c | 4.55 | 0 | 3156 lb | 0 0 0.00 | 4.58/4.60 c | 4.60 | 0 | 3157 lb | 0 0 0.00 | 4.58/4.65 c | 4.65 | 0 | 3158 lb | 0 0 0.00 | 4.68/4.72 c | 4.72 | 0 | 3159 lb | 0 0 0.00 | 4.68/4.77 c | 4.78 | 0 | 3160 lb | 0 0 0.00 | 4.78/4.83 c | 4.83 | 0 | 3161 lb | 0 0 0.00 | 4.78/4.88 c | 4.88 | 0 | 3162 lb | 0 0 0.00 | 4.88/4.93 c | 4.93 | 0 | 3163 lb | 0 0 0.00 | 4.88/4.98 c | 4.99 | 0 | 3164 lb | 0 0 0.00 | 4.98/5.03 c | 5.04 | 0 | 3165 lb | 0 0 0.00 | 5.08/5.10 c | 5.10 | 0 | 3166 lb | 0 0 0.00 | 5.08/5.15 c | 5.16 | 0 | 3167 lb | 0 0 0.00 | 5.19/5.21 c | 5.21 | 0 | 3168 lb | 0 0 0.00 | 5.19/5.26 c | 5.26 | 0 | 3169 lb | 0 0 0.00 | 5.29/5.31 c | 5.32 | 0 | 3170 lb | 0 0 0.00 | 5.29/5.36 c | 5.37 | 0 | 3171 lb | 0 0 0.00 | 5.40/5.41 c | 5.42 | 0 | 3172 lb | 0 0 0.00 | 5.40/5.47 c | 5.47 | 0 | 3173 lb | 0 0 0.00 | 5.50/5.52 c | 5.53 | 0 | 3174 lb | 0 0 0.00 | 5.50/5.58 c | 5.58 | 0 | 3175 lb | 0 0 0.00 | 5.59/5.63 c | 5.63 | 0 | 3176 lb | 0 0 0.00 | 5.59/5.69 c | 5.70 | 0 | 3177 lb | 0 0 0.00 | 5.69/5.77 c | 5.77 | 0 | 3178 lb | 0 0 0.00 | 5.79/5.83 c | 5.83 | 0 | 3179 lb | 0 0 0.00 | 5.79/5.88 c | 5.88 | 0 | 3180 lb | 0 0 0.00 | 5.89/5.94 c | 5.94 | 0 | 3181 lb | 0 0 0.00 | 5.99/6.01 c | 6.01 | 0 | 3182 lb | 0 0 0.00 | 5.99/6.07 c | 6.07 | 0 | 3183 lb | 0 0 0.00 | 6.08/6.13 c | 6.13 | 0 | 3184 lb | 0 0 0.00 | 6.08/6.19 c | 6.20 | 0 | 3185 lb | 0 0 0.00 | 6.18/6.25 c | 6.26 | 0 | 3186 lb | 0 0 0.00 | 6.28/6.32 c | 6.32 | 0 | 3187 lb | 0 0 0.00 | 6.28/6.38 c | 6.39 | 0 | 3188 lb | 0 0 0.00 | 6.39/6.45 c | 6.46 | 0 | 3189 lb | 0 0 0.00 | 6.49/6.52 c | 6.53 | 0 | 3190 lb | 0 0 0.00 | 6.49/6.59 c | 6.60 | 0 | 3191 lb | 0 0 0.00 | 6.59/6.66 c | 6.66 | 0 | 3192 lb | 0 0 0.00 | 6.68/6.74 c | 6.74 | 0 | 3193 lb | 0 0 0.00 | 6.78/6.81 c | 6.81 | 0 | 3194 lb | 0 0 0.00 | 6.78/6.88 c | 6.89 | 0 | 3195 lb | 0 0 0.00 | 6.88/6.96 c | 6.97 | 0 | 3196 lb | 0 0 0.00 | 6.98/7.05 c | 7.05 | 0 | 3197 lb | 0 0 0.00 | 7.08/7.13 c | 7.13 | 0 | 3198 lb | 0 0 0.00 | 7.18/7.20 c | 7.20 | 0 | 3199 lb | 0 0 0.00 | 7.18/7.29 c | 7.30 | 0 | 3200 lb | 0 0 0.00 | 7.28/7.38 c | 7.39 | 0 | 3201 lb | 0 0 0.00 | 7.39/7.46 c | 7.46 | 0 | 3202 lb | 0 0 0.00 | 7.48/7.56 c | 7.57 | 0 | 3203 lb | 0 0 0.00 | 7.59/7.64 c | 7.64 | 0 | 3204 lb | 0 0 0.00 | 7.69/7.72 c | 7.73 | 0 | 3205 lb | 0 0 0.00 | 7.79/7.81 c | 7.81 | 0 | 3206 lb | 0 0 0.00 | 7.79/7.89 c | 7.89 | 0 | 3207 lb | 0 0 0.00 | 7.89/7.97 c | 7.98 | 0 | 3208 lb | 0 0 0.00 | 7.99/8.09 c | 8.09 | 0 | 3209 lb | 0 0 0.00 | 8.09/8.16 c | 8.17 | 0 | 3210 lb | 0 0 0.00 | 8.19/8.25 c | 8.26 | 0 | 3211 lb | 0 0 0.00 | 8.29/8.34 c | 8.34 | 0 | 3212 lb | 0 0 0.00 | 8.38/8.44 c | 8.44 | 0 | 3213 lb | 0 0 0.00 | 8.48/8.52 c | 8.53 | 0 | 3214 lb | 0 0 0.00 | 8.58/8.62 c | 8.62 | 0 | 3215 lb | 0 0 0.00 | 8.69/8.74 c | 8.74 | 0 | 3216 lb | 0 0 0.00 | 8.79/8.82 c | 8.83 | 0 | 3217 lb | 0 0 0.00 | 8.88/8.95 c | 8.95 | 0 | 3218 lb | 0 0 0.00 | 8.98/9.05 c | 9.05 | 0 | 3219 lb | 0 0 0.00 | 9.08/9.15 c | 9.16 | 0 | 3220 lb | 0 0 0.00 | 9.18/9.26 c | 9.27 | 0 | 3221 lb | 0 0 0.00 | 9.38/9.40 c | 9.41 | 0 | 3222 lb | 0 0 0.00 | 9.49/9.51 c | 9.51 | 0 | 3223 lb | 0 0 0.00 | 9.59/9.63 c | 9.63 | 0 | 3225 lb | 0 0 0.00 | 9.68/9.72 c | 9.72 | 0 | 3227 lb | 0 0 0.00 | 9.79/9.86 c | 9.86 | 0 | 3228 lb | 0 0 0.00 | 9.98/10.01 c | 10.01 | 0 | 3229 lb | 0 0 0.00 | 10.08/10.11 c | 10.12 | 0 | 3230 lb | 0 0 0.00 | 10.18/10.25 c | 10.25 | 0 | 3231 lb | 0 0 0.00 | 10.28/10.36 c | 10.36 | 0 | 3232 lb | 0 0 0.00 | 10.39/10.49 c | 10.49 | 0 | 3233 lb | 0 0 0.00 | 10.49/10.59 c | 10.59 | 0 | 3234 lb | 0 0 0.00 | 10.69/10.71 c | 10.71 | 0 | 3235 lb | 0 0 0.00 | 10.78/10.87 c | 10.87 | 0 | 3236 lb | 0 0 0.00 | 10.99/11.03 c | 11.03 | 0 | 3237 lb | 0 0 0.00 | 11.08/11.13 c | 11.13 | 0 | 3238 lb | 0 0 0.00 | 11.18/11.23 c | 11.23 | 0 | 3239 lb | 0 0 0.00 | 11.28/11.32 c | 11.32 | 0 | 3240 lb | 0 0 0.00 | 11.38/11.41 c | 11.41 | 0 | 3241 lb | 0 0 0.00 | 11.48/11.52 c | 11.52 | 0 | 3242 lb | 0 0 0.00 | 11.58/11.64 c | 11.64 | 0 | 3243 lb | 0 0 0.00 | 11.78/11.81 c | 11.81 | 0 | 3244 lb | 0 0 0.00 | 11.88/11.95 c | 11.96 | 0 | 3245 lb | 0 0 0.00 | 11.99/12.09 c | 12.10 | 0 | 3246 lb | 0 0 0.00 | 12.18/12.23 c | 12.23 | 0 | 3247 lb | 0 0 0.00 | 12.29/12.36 c | 12.37 | 0 | 3248 lb | 0 0 0.00 | 12.38/12.49 c | 12.49 | 0 | 3249 lb | 0 0 0.00 | 12.58/12.64 c | 12.64 | 0 | 3250 lb | 0 0 0.00 | 12.78/12.82 c | 12.82 | 0 | 3251 lb | 0 0 0.00 | 12.98/13.06 c | 13.07 | 0 | 3252 lb | 0 0 0.00 | 13.09/13.17 c | 13.18 | 0 | 3253 lb | 0 0 0.00 | 13.28/13.33 c | 13.33 | 0 | 3254 lb | 0 0 0.00 | 13.48/13.50 c | 13.50 | 0 | 3255 lb | 0 0 0.00 | 13.59/13.63 c | 13.63 | 0 | 3256 lb | 0 0 0.00 | 13.79/13.87 c | 13.88 | 0 | 3257 lb | 0 0 0.00 | 13.98/14.04 c | 14.04 | 0 | 3258 lb | 0 0 0.00 | 14.19/14.25 c | 14.26 | 0 | 3259 lb | 0 0 0.00 | 14.48/14.51 c | 14.51 | 0 | 3260 lb | 0 0 0.00 | 14.68/14.72 c | 14.72 | 0 | 3261 lb | 0 0 0.00 | 14.88/14.92 c | 14.92 | 0 | 3262 lb | 0 0 0.00 | 14.98/15.09 c | 15.09 | 0 | 3263 lb | 0 0 0.00 | 15.18/15.21 c | 15.21 | 0 | 3264 lb | 0 0 0.00 | 15.48/15.54 c | 15.54 | 0 | 3265 lb | 0 0 0.00 | 15.68/15.76 c | 15.77 | 0 | 3266 lb | 0 0 0.00 | 15.98/16.01 c | 16.02 | 0 | 3267 lb | 0 0 0.00 | 16.28/16.40 c | 16.40 | 0 | 3268 lb | 0 0 0.00 | 16.68/16.75 c | 16.76 | 0 | 3269 lb | 0 0 0.00 | 16.98/17.07 c | 17.07 | 0 | 3270 lb | 0 0 0.00 | 17.48/17.58 c | 17.58 | 0 | 3271 lb | 0 0 0.00 | 17.68/17.79 c | 17.80 | 0 | 3272 lb | 0 0 0.00 | 17.99/18.02 c | 18.03 | 0 | 3273 lb | 0 0 0.00 | 18.19/18.25 c | 18.26 | 0 | 3274 lb | 0 0 0.00 | 18.59/18.69 c | 18.69 | 0 | 3275 lb | 0 0 0.00 | 18.88/18.96 c | 18.96 | 0 | 3276 lb | 0 0 0.00 | 19.18/19.27 c | 19.27 | 0 | 3277 lb | 0 0 0.00 | 19.38/19.45 c | 19.45 | 0 | 3278 lb | 0 0 0.00 | 19.58/19.65 c | 19.65 | 0 | 3279 lb | 0 0 0.00 | 19.88/19.94 c | 19.94 | 0 | 3280 lb | 0 0 0.00 | 20.28/20.33 c | 20.33 | 0 | 3281 lb | 0 0 0.00 | 20.79/20.87 c | 20.87 | 0 | 3282 lb | 0 0 0.00 | 21.08/21.15 c | 21.15 | 0 | 3283 lb | 0 0 0.00 | 21.38/21.40 c | 21.41 | 0 | 3284 lb | 0 0 0.00 | 21.68/21.71 c | 21.71 | 0 | 3285 lb | 0 0 0.00 | 22.18/22.23 c | 22.23 | 0 | 3286 lb | 0 0 0.00 | 22.38/22.40 c | 22.40 | 0 | 3287 lb | 0 0 0.00 | 22.88/22.95 c | 22.95 | 0 | 3288 lb | 0 0 0.00 | 23.48/23.56 c | 23.56 | 0 | 3289 lb | 0 0 0.00 | 23.68/23.75 c | 23.75 | 0 | 3290 lb | 0 0 0.00 | 24.09/24.16 c | 24.16 | 0 | 3291 lb | 0 0 0.00 | 24.68/24.75 c | 24.75 | 0 | 3292 lb | 0 0 0.00 | 25.58/25.63 c | 25.63 | 0 | 3293 lb | 0 0 0.00 | 26.09/26.14 c | 26.14 | 0 | 3294 lb | 0 0 0.00 | 26.78/26.85 c | 26.85 | 0 | 3295 lb | 0 0 0.00 | 27.68/27.75 c | 27.76 | 0 | 3296 lb | 0 0 0.00 | 28.18/28.24 c | 28.25 | 0 | 3297 lb | 0 0 0.00 | 28.38/28.49 c | 28.50 | 0 | 3298 lb | 0 0 0.00 | 30.18/30.26 c | 30.26 | 0 | 3299 lb | 0 0 0.00 | 30.69/30.72 c | 30.73 | 0 | 3300 lb | 0 0 0.00 | 31.68/31.74 c | 31.74 | 0 | 3301 lb | 0 0 0.00 | 32.38/32.40 c | 32.40 | 0 | 3302 lb | 0 0 0.00 | 33.18/33.24 c | 33.25 | 0 | 3303 lb | 0 0 0.00 | 35.08/35.16 c | 35.16 | 0 | 3304 lb | 0 0 0.00 | 37.78/37.84 c | 37.84 | 0 | 3305 lb | 0 0 0.00 | 39.59/39.62 c | 39.62 | 0 | 3306 lb | 0 0 0.00 | 42.97/43.06 c | 43.07 | 0 | 3307 lb | 0 0 0.00 | 48.38/48.42 c | 48.42 | 0 | 3308 lb | 0 0 0.00 | 57.78/57.89 c | 57.90 | 0 | 3309 lb | 0 0 0.00 | 144.35/144.45 c | 144.46 | 0 | 3310 lb | 0 0 0.00 | 634.00/634.25 c | 634.26 | 0 | 3311 lb | 0 0 0.00 | 1799.56/1800.00 c =============================================================================== 1799.56/1800.00 c Wall Clock Time: 1800.00 s 1799.56/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-3704982-1338085882/watcher-3704982-1338085882 -o /tmp/evaluation-result-3704982-1338085882/solver-3704982-1338085882 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704982-1338085882.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16025 /proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=3856 CPUtime=0 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) R 16023 16025 12452 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 1 0 274714132 3948544 424 33554432000 4194304 5963574 140735029934688 140736108283048 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 964 424 173 432 0 498 0 [startup+0.090775 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16025 /proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=85084 CPUtime=0.08 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 2806 0 0 0 8 0 0 0 20 0 2 0 274714132 87126016 2366 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 21271 2366 193 432 0 20836 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 85084 [startup+0.100186 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16025 /proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=85084 CPUtime=0.09 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 2891 0 0 0 9 0 0 0 20 0 2 0 274714132 87126016 2451 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 21271 2451 193 432 0 20836 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 85084 [startup+0.300135 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16025 /proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=85084 CPUtime=0.29 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 6242 0 0 0 28 1 0 0 20 0 2 0 274714132 87126016 3992 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 21271 3992 193 432 0 20836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 85084 [startup+0.70016 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16025 /proc/meminfo: memFree=31133128/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=85084 CPUtime=0.68 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 12174 0 0 0 67 1 0 0 20 0 2 0 274714132 87126016 6246 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 21271 6246 193 432 0 20836 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 85084 [startup+1.50025 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=31100772/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=86528 CPUtime=1.48 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 24750 0 0 0 145 3 0 0 20 0 2 0 274714132 88604672 10418 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 21632 10418 193 432 0 21197 0 [pid=16025/tid=16027] ppid=16023 vsize=86528 CPUtime=1.47 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 23659 0 0 0 143 4 0 0 20 0 2 0 274714133 88604672 10418 33554432000 4194304 5963574 140735029934688 140284355627352 5130146 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) 86528 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=31076444/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=85084 CPUtime=3.08 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 41407 0 0 0 302 6 0 0 20 0 2 0 274714132 87126016 16187 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 21271 16187 195 432 0 20836 0 [pid=16025/tid=16027] ppid=16023 vsize=85084 CPUtime=3.07 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 40316 0 0 0 300 7 0 0 20 0 2 0 274714133 87126016 16187 33554432000 4194304 5963574 140735029934688 140284355627544 5121607 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 85084 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=31036100/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=163636 CPUtime=6.28 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 61978 0 0 0 619 9 0 0 20 0 2 0 274714132 167563264 24915 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 40909 24915 195 432 0 40474 0 [pid=16025/tid=16027] ppid=16023 vsize=163636 CPUtime=6.27 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 60887 0 0 0 617 10 0 0 20 0 2 0 274714133 167563264 24915 33554432000 4194304 5963574 140735029934688 140284355627544 5141669 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 163636 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=30950104/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=219436 CPUtime=12.68 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 100259 0 0 0 1251 17 0 0 20 0 2 0 274714132 224702464 40046 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 54859 40046 196 432 0 54424 0 [pid=16025/tid=16027] ppid=16023 vsize=219436 CPUtime=12.67 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 99168 0 0 0 1249 18 0 0 20 0 2 0 274714133 224702464 40046 33554432000 4194304 5963574 140735029934688 140284355627544 5130053 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 219436 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=30879692/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=284972 CPUtime=25.48 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 120342 0 0 0 2526 22 0 0 20 0 2 0 274714132 291811328 54211 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 71243 54211 196 432 0 70808 0 [pid=16025/tid=16027] ppid=16023 vsize=284972 CPUtime=25.47 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 119251 0 0 0 2524 23 0 0 20 0 2 0 274714133 291811328 54211 33554432000 4194304 5963574 140735029934688 140284355627848 4392243 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 284972 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=30814592/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=350508 CPUtime=51.08 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 130601 0 0 0 5083 25 0 0 20 0 2 0 274714132 358920192 66156 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 87627 66156 196 432 0 87192 0 [pid=16025/tid=16027] ppid=16023 vsize=350508 CPUtime=51.06 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 129510 0 0 0 5081 25 0 0 20 0 2 0 274714133 358920192 66156 33554432000 4194304 5963574 140735029934688 140284355627304 4392274 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 350508 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16027 /proc/meminfo: memFree=30742212/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=372388 CPUtime=102.28 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 140377 0 0 0 10199 29 0 0 20 0 2 0 274714132 381325312 77697 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 93097 77697 196 432 0 92662 0 [pid=16025/tid=16027] ppid=16023 vsize=372388 CPUtime=102.27 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 139286 0 0 0 10196 31 0 0 20 0 2 0 274714133 381325312 77697 33554432000 4194304 5963574 140735029934688 140284355627000 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 372388 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16029 /proc/meminfo: memFree=30540732/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=568996 CPUtime=162.25 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 179811 0 0 0 16184 41 0 0 20 0 2 0 274714132 582651904 119164 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 142249 119164 196 432 0 141814 0 [pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=162.24 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 178720 0 0 0 16180 44 0 0 20 0 2 0 274714133 582651904 119164 33554432000 4194304 5963574 140735029934688 140284355627960 4399627 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 568996 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16029 /proc/meminfo: memFree=30519392/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=568996 CPUtime=222.23 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 179832 0 0 0 22182 41 0 0 20 0 2 0 274714132 582651904 119215 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 142249 119215 196 432 0 141814 0 [pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=222.23 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 178741 0 0 0 22178 45 0 0 20 0 2 0 274714133 582651904 119215 33554432000 4194304 5963574 140735029934688 140284355627960 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 568996 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16029 /proc/meminfo: memFree=30524024/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=568996 CPUtime=282.2 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 179854 0 0 0 28179 41 0 0 20 0 2 0 274714132 582651904 119239 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 142249 119239 196 432 0 141814 0 [pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=282.21 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 178763 0 0 0 28175 46 0 0 20 0 2 0 274714133 582651904 119239 33554432000 4194304 5963574 140735029934688 140284355627960 4403192 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 568996 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16029 /proc/meminfo: memFree=30480444/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=568996 CPUtime=342.19 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 190909 0 0 0 34173 46 0 0 20 0 2 0 274714132 582651904 130275 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 142249 130275 196 432 0 141814 0 [pid=16025/tid=16027] ppid=16023 vsize=568996 CPUtime=342.2 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 189818 0 0 0 34168 52 0 0 20 0 2 0 274714133 582651904 130275 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 568996 [startup+402.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 16029 /proc/meminfo: memFree=30444888/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=634532 CPUtime=402.17 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 200026 0 0 0 40166 51 0 0 20 0 2 0 274714132 649760768 139375 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 158633 139375 196 432 0 158198 0 [pid=16025/tid=16027] ppid=16023 vsize=634532 CPUtime=402.18 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 198935 0 0 0 40160 58 0 0 20 0 2 0 274714133 649760768 139375 33554432000 4194304 5963574 140735029934688 140284355627000 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 634532 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 16030 /proc/meminfo: memFree=30364872/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=700068 CPUtime=462.16 cores=0,2,4,6 ################ # More data... # ################ /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 278012 0 0 0 130110 100 0 0 20 0 2 0 274714133 962899968 220783 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 940332 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16038 /proc/meminfo: memFree=29812132/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1005868 CPUtime=1361.95 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 291701 0 0 0 136109 86 0 0 20 0 2 0 274714132 1030008832 233600 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 251467 233600 196 432 0 251032 0 [pid=16025/tid=16027] ppid=16023 vsize=1005868 CPUtime=1362.06 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 290610 0 0 0 136099 107 0 0 20 0 2 0 274714133 1030008832 233600 33554432000 4194304 5963574 140735029934688 140284355627000 4399627 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1005868 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16039 /proc/meminfo: memFree=29754956/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1071404 CPUtime=1421.94 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 304403 0 0 0 142101 93 0 0 20 0 2 0 274714132 1097117696 246573 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 267851 246573 196 432 0 267416 0 [pid=16025/tid=16027] ppid=16023 vsize=1071404 CPUtime=1422.05 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 303312 0 0 0 142090 115 0 0 20 0 2 0 274714133 1097117696 246573 33554432000 4194304 5963574 140735029934688 140284355627000 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1071404 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16039 /proc/meminfo: memFree=29675328/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1071404 CPUtime=1481.92 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 315658 0 0 0 148093 99 0 0 20 0 2 0 274714132 1097117696 257872 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 267851 257872 196 432 0 267416 0 [pid=16025/tid=16027] ppid=16023 vsize=1071404 CPUtime=1482.03 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 314567 0 0 0 148081 122 0 0 20 0 2 0 274714133 1097117696 257872 33554432000 4194304 5963574 140735029934688 140284355626808 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1071404 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16039 /proc/meminfo: memFree=29590140/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1136940 CPUtime=1541.91 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 324809 0 0 0 154088 103 0 0 20 0 2 0 274714132 1164226560 267023 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 284235 267023 196 432 0 283800 0 [pid=16025/tid=16027] ppid=16023 vsize=1136940 CPUtime=1542.03 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 323718 0 0 0 154076 127 0 0 20 0 2 0 274714133 1164226560 267023 33554432000 4194304 5963574 140735029934688 140284355627000 4399554 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1136940 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16039 /proc/meminfo: memFree=29516364/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1136940 CPUtime=1601.9 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 334859 0 0 0 160082 108 0 0 20 0 2 0 274714132 1164226560 277073 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 284235 277073 196 432 0 283800 0 [pid=16025/tid=16027] ppid=16023 vsize=1136940 CPUtime=1602.03 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 333768 0 0 0 160070 133 0 0 20 0 2 0 274714133 1164226560 277073 33554432000 4194304 5963574 140735029934688 140284355627000 4399614 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1136940 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16039 /proc/meminfo: memFree=29461556/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1202476 CPUtime=1661.89 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 342004 0 0 0 166078 111 0 0 20 0 2 0 274714132 1231335424 284218 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 300619 284218 196 432 0 300184 0 [pid=16025/tid=16027] ppid=16023 vsize=1202476 CPUtime=1662.02 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 340913 0 0 0 166065 137 0 0 20 0 2 0 274714133 1231335424 284218 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1202476 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16082 /proc/meminfo: memFree=30018228/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1202476 CPUtime=1721.88 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 351360 0 0 0 172072 116 0 0 20 0 2 0 274714132 1231335424 293574 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 300619 293574 196 432 0 300184 0 [pid=16025/tid=16027] ppid=16023 vsize=1202476 CPUtime=1722.02 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 350269 0 0 0 172059 143 0 0 20 0 2 0 274714133 1231335424 293574 33554432000 4194304 5963574 140735029934688 140284355627000 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1202476 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29934268/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1781.87 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 363722 0 0 0 178066 121 0 0 20 0 2 0 274714132 1298444288 305936 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 305936 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1782.02 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 362631 0 0 0 178053 149 0 0 20 0 2 0 274714133 1298444288 305936 33554432000 4194304 5963574 140735029934688 140284355627000 4399614 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1268012 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29931180/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1791.47 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 364821 0 0 0 179025 122 0 0 20 0 2 0 274714132 1298444288 307035 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307035 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1791.62 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 363730 0 0 0 179012 150 0 0 20 0 2 0 274714133 1298444288 307035 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 1268012 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29930500/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1794.67 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365063 0 0 0 179345 122 0 0 20 0 2 0 274714132 1298444288 307277 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307277 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1794.82 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 363972 0 0 0 179332 150 0 0 20 0 2 0 274714133 1298444288 307277 33554432000 4194304 5963574 140735029934688 140284355627000 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 1268012 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29929632/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1797.86 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365336 0 0 0 179664 122 0 0 20 0 2 0 274714132 1298444288 307550 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307550 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1798.01 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364245 0 0 0 179651 150 0 0 20 0 2 0 274714133 1298444288 307550 33554432000 4194304 5963574 140735029934688 140284355627000 4399651 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 1268012 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29929144/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1798.66 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365410 0 0 0 179744 122 0 0 20 0 2 0 274714132 1298444288 307624 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307624 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1798.81 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364319 0 0 0 179731 150 0 0 20 0 2 0 274714133 1298444288 307624 33554432000 4194304 5963574 140735029934688 140284355627000 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 1268012 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29928772/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1799.07 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365458 0 0 0 179785 122 0 0 20 0 2 0 274714132 1298444288 307672 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307672 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1799.22 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364367 0 0 0 179772 150 0 0 20 0 2 0 274714133 1298444288 307672 33554432000 4194304 5963574 140735029934688 140284355626808 4399456 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.07 Current children cumulated vsize (KiB) 1268012 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29928772/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1799.46 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365489 0 0 0 179824 122 0 0 20 0 2 0 274714132 1298444288 307703 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307703 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1799.61 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364398 0 0 0 179811 150 0 0 20 0 2 0 274714133 1298444288 307703 33554432000 4194304 5963574 140735029934688 140284355626808 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (KiB) 1268012 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/180 16105 /proc/meminfo: memFree=29928772/32873648 swapFree=7112/7112 [pid=16025] ppid=16023 vsize=1268012 CPUtime=1799.56 cores=0,2,4,6 /proc/16025/stat : 16025 (wbo1.7) S 16023 16025 12452 0 -1 4202496 365501 0 0 0 179834 122 0 0 20 0 2 0 274714132 1298444288 307715 33554432000 4194304 5963574 140735029934688 140735029934208 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16025/statm: 317003 307715 196 432 0 316568 0 [pid=16025/tid=16027] ppid=16023 vsize=1268012 CPUtime=1799.71 cores=0,2,4,6 /proc/16025/task/16027/stat : 16027 (wbo1.7) R 16023 16025 12452 0 -1 4202560 364410 0 0 0 179821 150 0 0 20 0 2 0 274714133 1298444288 307715 33554432000 4194304 5963574 140735029934688 140284355626808 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (KiB) 1268012 Child status: 255 Real time (s): 1800.03 CPU time (s): 1799.77 CPU user time (s): 1798.24 CPU system time (s): 1.53477 CPU usage (%): 99.9858 Max. virtual memory (cumulated for all children) (KiB): 1268012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.24 system time used= 1.53477 maximum resident set size= 1230860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 365501 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= 223 involuntary context switches= 3204 runsolver used 2.78058 second user time and 7.2349 second system time The end
Begin job on node126 at 2012-05-27 04:31:22 IDJOB=3704982 IDBENCH=1851 IDSOLVER=2283 FILE ID=node126/3704982-1338085882 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/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704982-1338085882/watcher-3704982-1338085882 -o /tmp/evaluation-result-3704982-1338085882/solver-3704982-1338085882 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704982-1338085882.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED=1346692154 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: 31133772 kB Buffers: 266332 kB Cached: 538956 kB SwapCached: 17756 kB Active: 839876 kB Inactive: 95580 kB Active(anon): 111320 kB Inactive(anon): 20452 kB Active(file): 728556 kB Inactive(file): 75128 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67086932 kB Dirty: 5456 kB Writeback: 0 kB AnonPages: 119524 kB Mapped: 10404 kB Shmem: 0 kB Slab: 667252 kB SReclaimable: 111704 kB SUnreclaim: 555548 kB KernelStack: 1488 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 145632 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 05:01:22