| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.55 | 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.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727283-1338651821.opb. 0.00/0.00 c Instance file HOME/instance-3727283-1338651821.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.02 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.03 | 0 | 296 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 321 lb | 0 0 0.00 | 0.00/0.03 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.04 | 0 | 488 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 497 lb | 0 0 0.00 | 0.00/0.04 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.05 | 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.06 | 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.07 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.07/0.07 c | 0.08 | 0 | 843 lb | 0 0 0.00 | 0.07/0.08 c | 0.08 | 0 | 883 lb | 0 0 0.00 | 0.07/0.08 c | 0.08 | 0 | 889 lb | 0 0 0.00 | 0.07/0.08 c | 0.09 | 0 | 891 lb | 0 0 0.00 | 0.07/0.09 c | 0.09 | 0 | 911 lb | 0 0 0.00 | 0.07/0.09 c | 0.09 | 0 | 912 lb | 0 0 0.00 | 0.07/0.09 c | 0.10 | 0 | 925 lb | 0 0 0.00 | 0.07/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.11 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.12 | 0 | 1110 lb | 0 0 0.00 | 0.09/0.12 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.13 | 0 | 1115 lb | 0 0 0.00 | 0.09/0.13 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.16 | 0 | 1266 lb | 0 0 0.00 | 0.09/0.16 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.18 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.21 | 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.22 | 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.23 | 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.29/0.40 c | 0.40 | 0 | 1924 lb | 0 0 0.00 | 0.38/0.40 c | 0.41 | 0 | 1936 lb | 0 0 0.00 | 0.38/0.41 c | 0.41 | 0 | 1946 lb | 0 0 0.00 | 0.38/0.42 c | 0.42 | 0 | 1949 lb | 0 0 0.00 | 0.38/0.42 c | 0.43 | 0 | 1967 lb | 0 0 0.00 | 0.38/0.43 c | 0.43 | 0 | 1977 lb | 0 0 0.00 | 0.38/0.44 c | 0.44 | 0 | 1997 lb | 0 0 0.00 | 0.38/0.45 c | 0.45 | 0 | 2000 lb | 0 0 0.00 | 0.38/0.45 c | 0.46 | 0 | 2001 lb | 0 0 0.00 | 0.38/0.46 c | 0.46 | 0 | 2002 lb | 0 0 0.00 | 0.38/0.47 c | 0.47 | 0 | 2004 lb | 0 0 0.00 | 0.38/0.48 c | 0.48 | 0 | 2012 lb | 0 0 0.00 | 0.38/0.48 c | 0.49 | 0 | 2015 lb | 0 0 0.00 | 0.38/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.52 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.56 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.58 | 0 | 2199 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | 2202 lb | 0 0 0.00 | 0.59/0.60 c | 0.60 | 0 | 2203 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | 2210 lb | 0 0 0.00 | 0.59/0.61 c | 0.62 | 0 | 2233 lb | 0 0 0.00 | 0.59/0.62 c | 0.63 | 0 | 2253 lb | 0 0 0.00 | 0.59/0.63 c | 0.64 | 0 | 2254 lb | 0 0 0.00 | 0.59/0.64 c | 0.64 | 0 | 2259 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | 2267 lb | 0 0 0.00 | 0.59/0.66 c | 0.66 | 0 | 2278 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | 2279 lb | 0 0 0.00 | 0.59/0.67 c | 0.68 | 0 | 2282 lb | 0 0 0.00 | 0.59/0.68 c | 0.69 | 0 | 2284 lb | 0 0 0.00 | 0.59/0.69 c | 0.70 | 0 | 2288 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | 2310 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | 2331 lb | 0 0 0.00 | 0.69/0.72 c | 0.72 | 0 | 2353 lb | 0 0 0.00 | 0.69/0.73 c | 0.73 | 0 | 2354 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | 2391 lb | 0 0 0.00 | 0.69/0.75 c | 0.75 | 0 | 2395 lb | 0 0 0.00 | 0.69/0.76 c | 0.76 | 0 | 2412 lb | 0 0 0.00 | 0.69/0.77 c | 0.77 | 0 | 2416 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | 2417 lb | 0 0 0.00 | 0.79/0.89 c | 0.79 | 0 | 2418 lb | 0 0 0.00 | 0.79/0.89 c | 0.80 | 0 | 2426 lb | 0 0 0.00 | 0.79/0.89 c | 0.81 | 0 | 2517 lb | 0 0 0.00 | 0.79/0.89 c | 0.82 | 0 | 2519 lb | 0 0 0.00 | 0.79/0.89 c | 0.83 | 0 | 2522 lb | 0 0 0.00 | 0.79/0.89 c | 0.84 | 0 | 2576 lb | 0 0 0.00 | 0.79/0.89 c | 0.85 | 0 | 2579 lb | 0 0 0.00 | 0.79/0.89 c | 0.86 | 0 | 2581 lb | 0 0 0.00 | 0.79/0.89 c | 0.87 | 0 | 2583 lb | 0 0 0.00 | 0.79/0.89 c | 0.88 | 0 | 2584 lb | 0 0 0.00 | 0.79/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.91 | 0 | 2594 lb | 0 0 0.00 | 0.89/0.92 c | 0.92 | 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.95 c | 0.96 | 0 | 2602 lb | 0 0 0.00 | 0.89/0.96 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.89/1.00 c | 1.00 | 0 | 2679 lb | 0 0 0.00 | 1.00/1.01 c | 1.01 | 0 | 2680 lb | 0 0 0.00 | 1.00/1.02 c | 1.02 | 0 | 2688 lb | 0 0 0.00 | 1.00/1.03 c | 1.04 | 0 | 2689 lb | 0 0 0.00 | 1.00/1.04 c | 1.05 | 0 | 2690 lb | 0 0 0.00 | 1.00/1.06 c | 1.06 | 0 | 2693 lb | 0 0 0.00 | 1.00/1.07 c | 1.07 | 0 | 2695 lb | 0 0 0.00 | 1.00/1.08 c | 1.08 | 0 | 2696 lb | 0 0 0.00 | 1.00/1.09 c | 1.10 | 0 | 2697 lb | 0 0 0.00 | 1.10/1.11 c | 1.11 | 0 | 2698 lb | 0 0 0.00 | 1.10/1.12 c | 1.12 | 0 | 2699 lb | 0 0 0.00 | 1.10/1.13 c | 1.14 | 0 | 2700 lb | 0 0 0.00 | 1.10/1.15 c | 1.15 | 0 | 2704 lb | 0 0 0.00 | 1.10/1.16 c | 1.16 | 0 | 2705 lb | 0 0 0.00 | 1.10/1.17 c | 1.18 | 0 | 2709 lb | 0 0 0.00 | 1.10/1.19 c | 1.19 | 0 | 2716 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | 2718 lb | 0 0 0.00 | 1.19/1.21 c | 1.22 | 0 | 2722 lb | 0 0 0.00 | 1.19/1.23 c | 1.23 | 0 | 2725 lb | 0 0 0.00 | 1.19/1.24 c | 1.25 | 0 | 2754 lb | 0 0 0.00 | 1.19/1.25 c | 1.26 | 0 | 2756 lb | 0 0 0.00 | 1.19/1.27 c | 1.27 | 0 | 2759 lb | 0 0 0.00 | 1.19/1.28 c | 1.29 | 0 | 2764 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | 2765 lb | 0 0 0.00 | 1.29/1.31 c | 1.31 | 0 | 2773 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | 2794 lb | 0 0 0.00 | 1.29/1.34 c | 1.34 | 0 | 2795 lb | 0 0 0.00 | 1.29/1.35 c | 1.36 | 0 | 2805 lb | 0 0 0.00 | 1.29/1.37 c | 1.37 | 0 | 2830 lb | 0 0 0.00 | 1.29/1.38 c | 1.39 | 0 | 2833 lb | 0 0 0.00 | 1.39/1.40 c | 1.40 | 0 | 2834 lb | 0 0 0.00 | 1.39/1.41 c | 1.42 | 0 | 2864 lb | 0 0 0.00 | 1.39/1.43 c | 1.43 | 0 | 2932 lb | 0 0 0.00 | 1.39/1.44 c | 1.45 | 0 | 2981 lb | 0 0 0.00 | 1.39/1.46 c | 1.46 | 0 | 2982 lb | 0 0 0.00 | 1.39/1.47 c | 1.48 | 0 | 2985 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | 2988 lb | 0 0 0.00 | 1.49/1.51 c | 1.51 | 0 | 2991 lb | 0 0 0.00 | 1.49/1.53 c | 1.53 | 0 | 2992 lb | 0 0 0.00 | 1.49/1.54 c | 1.55 | 0 | 2994 lb | 0 0 0.00 | 1.49/1.56 c | 1.56 | 0 | 2996 lb | 0 0 0.00 | 1.49/1.58 c | 1.58 | 0 | 2998 lb | 0 0 0.00 | 1.58/1.60 c | 1.60 | 0 | 3000 lb | 0 0 0.00 | 1.58/1.62 c | 1.62 | 0 | 3002 lb | 0 0 0.00 | 1.58/1.63 c | 1.64 | 0 | 3007 lb | 0 0 0.00 | 1.58/1.65 c | 1.66 | 0 | 3008 lb | 0 0 0.00 | 1.58/1.67 c | 1.67 | 0 | 3011 lb | 0 0 0.00 | 1.58/1.69 c | 1.69 | 0 | 3012 lb | 0 0 0.00 | 1.69/1.71 c | 1.71 | 0 | 3013 lb | 0 0 0.00 | 1.69/1.72 c | 1.73 | 0 | 3016 lb | 0 0 0.00 | 1.69/1.74 c | 1.75 | 0 | 3017 lb | 0 0 0.00 | 1.69/1.76 c | 1.77 | 0 | 3022 lb | 0 0 0.00 | 1.69/1.79 c | 1.79 | 0 | 3023 lb | 0 0 0.00 | 1.79/1.81 c | 1.82 | 0 | 3024 lb | 0 0 0.00 | 1.79/1.84 c | 1.84 | 0 | 3025 lb | 0 0 0.00 | 1.79/1.87 c | 1.87 | 0 | 3026 lb | 0 0 0.00 | 1.79/1.89 c | 1.90 | 0 | 3027 lb | 0 0 0.00 | 1.89/1.92 c | 1.92 | 0 | 3028 lb | 0 0 0.00 | 1.89/1.95 c | 1.95 | 0 | 3066 lb | 0 0 0.00 | 1.89/1.97 c | 1.98 | 0 | 3067 lb | 0 0 0.00 | 1.98/2.00 c | 2.00 | 0 | 3070 lb | 0 0 0.00 | 1.98/2.03 c | 2.03 | 0 | 3071 lb | 0 0 0.00 | 1.98/2.06 c | 2.06 | 0 | 3072 lb | 0 0 0.00 | 1.98/2.09 c | 2.09 | 0 | 3073 lb | 0 0 0.00 | 2.10/2.12 c | 2.12 | 0 | 3074 lb | 0 0 0.00 | 2.10/2.15 c | 2.15 | 0 | 3075 lb | 0 0 0.00 | 2.10/2.18 c | 2.18 | 0 | 3078 lb | 0 0 0.00 | 2.20/2.21 c | 2.21 | 0 | 3081 lb | 0 0 0.00 | 2.20/2.24 c | 2.24 | 0 | 3082 lb | 0 0 0.00 | 2.20/2.27 c | 2.27 | 0 | 3083 lb | 0 0 0.00 | 2.29/2.30 c | 2.30 | 0 | 3084 lb | 0 0 0.00 | 2.29/2.33 c | 2.33 | 0 | 3085 lb | 0 0 0.00 | 2.29/2.36 c | 2.36 | 0 | 3086 lb | 0 0 0.00 | 2.29/2.39 c | 2.40 | 0 | 3087 lb | 0 0 0.00 | 2.39/2.42 c | 2.42 | 0 | 3088 lb | 0 0 0.00 | 2.39/2.45 c | 2.46 | 0 | 3089 lb | 0 0 0.00 | 2.39/2.48 c | 2.49 | 0 | 3090 lb | 0 0 0.00 | 2.49/2.52 c | 2.52 | 0 | 3091 lb | 0 0 0.00 | 2.49/2.55 c | 2.55 | 0 | 3092 lb | 0 0 0.00 | 2.49/2.58 c | 2.58 | 0 | 3093 lb | 0 0 0.00 | 2.59/2.61 c | 2.62 | 0 | 3094 lb | 0 0 0.00 | 2.59/2.64 c | 2.65 | 0 | 3095 lb | 0 0 0.00 | 2.59/2.68 c | 2.68 | 0 | 3096 lb | 0 0 0.00 | 2.69/2.71 c | 2.71 | 0 | 3097 lb | 0 0 0.00 | 2.69/2.74 c | 2.75 | 0 | 3098 lb | 0 0 0.00 | 2.69/2.78 c | 2.79 | 0 | 3099 lb | 0 0 0.00 | 2.78/2.82 c | 2.82 | 0 | 3100 lb | 0 0 0.00 | 2.78/2.85 c | 2.85 | 0 | 3101 lb | 0 0 0.00 | 2.78/2.88 c | 2.89 | 0 | 3108 lb | 0 0 0.00 | 2.89/2.92 c | 2.92 | 0 | 3109 lb | 0 0 0.00 | 2.89/2.96 c | 2.97 | 0 | 3110 lb | 0 0 0.00 | 2.99/3.00 c | 3.01 | 0 | 3111 lb | 0 0 0.00 | 2.99/3.04 c | 3.04 | 0 | 3112 lb | 0 0 0.00 | 2.99/3.07 c | 3.08 | 0 | 3113 lb | 0 0 0.00 | 3.09/3.11 c | 3.12 | 0 | 3114 lb | 0 0 0.00 | 3.09/3.15 c | 3.15 | 0 | 3115 lb | 0 0 0.00 | 3.09/3.19 c | 3.19 | 0 | 3121 lb | 0 0 0.00 | 3.19/3.23 c | 3.23 | 0 | 3122 lb | 0 0 0.00 | 3.19/3.27 c | 3.27 | 0 | 3123 lb | 0 0 0.00 | 3.29/3.31 c | 3.31 | 0 | 3124 lb | 0 0 0.00 | 3.29/3.35 c | 3.35 | 0 | 3125 lb | 0 0 0.00 | 3.29/3.39 c | 3.40 | 0 | 3126 lb | 0 0 0.00 | 3.39/3.43 c | 3.44 | 0 | 3127 lb | 0 0 0.00 | 3.39/3.47 c | 3.47 | 0 | 3130 lb | 0 0 0.00 | 3.49/3.51 c | 3.52 | 0 | 3131 lb | 0 0 0.00 | 3.49/3.57 c | 3.57 | 0 | 3132 lb | 0 0 0.00 | 3.59/3.61 c | 3.61 | 0 | 3134 lb | 0 0 0.00 | 3.59/3.65 c | 3.65 | 0 | 3135 lb | 0 0 0.00 | 3.59/3.69 c | 3.70 | 0 | 3136 lb | 0 0 0.00 | 3.69/3.75 c | 3.75 | 0 | 3137 lb | 0 0 0.00 | 3.69/3.79 c | 3.79 | 0 | 3138 lb | 0 0 0.00 | 3.79/3.83 c | 3.83 | 0 | 3139 lb | 0 0 0.00 | 3.79/3.87 c | 3.88 | 0 | 3140 lb | 0 0 0.00 | 3.89/3.92 c | 3.92 | 0 | 3141 lb | 0 0 0.00 | 3.89/3.96 c | 3.96 | 0 | 3142 lb | 0 0 0.00 | 3.99/4.00 c | 4.00 | 0 | 3143 lb | 0 0 0.00 | 3.99/4.04 c | 4.05 | 0 | 3144 lb | 0 0 0.00 | 3.99/4.09 c | 4.09 | 0 | 3145 lb | 0 0 0.00 | 4.09/4.13 c | 4.14 | 0 | 3146 lb | 0 0 0.00 | 4.09/4.18 c | 4.18 | 0 | 3149 lb | 0 0 0.00 | 4.19/4.22 c | 4.22 | 0 | 3150 lb | 0 0 0.00 | 4.19/4.26 c | 4.26 | 0 | 3151 lb | 0 0 0.00 | 4.29/4.31 c | 4.31 | 0 | 3152 lb | 0 0 0.00 | 4.29/4.35 c | 4.36 | 0 | 3153 lb | 0 0 0.00 | 4.39/4.42 c | 4.42 | 0 | 3154 lb | 0 0 0.00 | 4.39/4.46 c | 4.46 | 0 | 3155 lb | 0 0 0.00 | 4.49/4.51 c | 4.51 | 0 | 3156 lb | 0 0 0.00 | 4.49/4.55 c | 4.56 | 0 | 3157 lb | 0 0 0.00 | 4.59/4.60 c | 4.61 | 0 | 3158 lb | 0 0 0.00 | 4.59/4.67 c | 4.67 | 0 | 3159 lb | 0 0 0.00 | 4.69/4.73 c | 4.73 | 0 | 3160 lb | 0 0 0.00 | 4.69/4.78 c | 4.78 | 0 | 3161 lb | 0 0 0.00 | 4.79/4.83 c | 4.84 | 0 | 3162 lb | 0 0 0.00 | 4.79/4.88 c | 4.89 | 0 | 3163 lb | 0 0 0.00 | 4.88/4.94 c | 4.94 | 0 | 3164 lb | 0 0 0.00 | 4.88/4.99 c | 4.99 | 0 | 3165 lb | 0 0 0.00 | 4.98/5.05 c | 5.05 | 0 | 3166 lb | 0 0 0.00 | 5.09/5.10 c | 5.11 | 0 | 3167 lb | 0 0 0.00 | 5.09/5.16 c | 5.16 | 0 | 3168 lb | 0 0 0.00 | 5.19/5.21 c | 5.21 | 0 | 3169 lb | 0 0 0.00 | 5.19/5.26 c | 5.26 | 0 | 3170 lb | 0 0 0.00 | 5.29/5.31 c | 5.32 | 0 | 3171 lb | 0 0 0.00 | 5.29/5.36 c | 5.37 | 0 | 3172 lb | 0 0 0.00 | 5.40/5.42 c | 5.42 | 0 | 3173 lb | 0 0 0.00 | 5.40/5.47 c | 5.47 | 0 | 3174 lb | 0 0 0.00 | 5.50/5.53 c | 5.53 | 0 | 3175 lb | 0 0 0.00 | 5.50/5.58 c | 5.58 | 0 | 3176 lb | 0 0 0.00 | 5.59/5.64 c | 5.64 | 0 | 3177 lb | 0 0 0.00 | 5.69/5.71 c | 5.71 | 0 | 3178 lb | 0 0 0.00 | 5.69/5.77 c | 5.77 | 0 | 3179 lb | 0 0 0.00 | 5.79/5.83 c | 5.83 | 0 | 3180 lb | 0 0 0.00 | 5.79/5.88 c | 5.89 | 0 | 3181 lb | 0 0 0.00 | 5.89/5.95 c | 5.96 | 0 | 3182 lb | 0 0 0.00 | 5.99/6.01 c | 6.01 | 0 | 3183 lb | 0 0 0.00 | 5.99/6.07 c | 6.08 | 0 | 3184 lb | 0 0 0.00 | 6.09/6.13 c | 6.14 | 0 | 3185 lb | 0 0 0.00 | 6.09/6.19 c | 6.20 | 0 | 3186 lb | 0 0 0.00 | 6.18/6.26 c | 6.26 | 0 | 3187 lb | 0 0 0.00 | 6.29/6.32 c | 6.33 | 0 | 3188 lb | 0 0 0.00 | 6.29/6.39 c | 6.40 | 0 | 3189 lb | 0 0 0.00 | 6.39/6.46 c | 6.46 | 0 | 3190 lb | 0 0 0.00 | 6.49/6.53 c | 6.53 | 0 | 3191 lb | 0 0 0.00 | 6.49/6.60 c | 6.60 | 0 | 3192 lb | 0 0 0.00 | 6.59/6.67 c | 6.68 | 0 | 3193 lb | 0 0 0.00 | 6.68/6.75 c | 6.75 | 0 | 3194 lb | 0 0 0.00 | 6.78/6.82 c | 6.82 | 0 | 3195 lb | 0 0 0.00 | 6.88/6.90 c | 6.90 | 0 | 3196 lb | 0 0 0.00 | 6.88/6.98 c | 6.99 | 0 | 3197 lb | 0 0 0.00 | 6.99/7.06 c | 7.07 | 0 | 3198 lb | 0 0 0.00 | 7.09/7.13 c | 7.13 | 0 | 3199 lb | 0 0 0.00 | 7.19/7.22 c | 7.23 | 0 | 3200 lb | 0 0 0.00 | 7.29/7.31 c | 7.32 | 0 | 3201 lb | 0 0 0.00 | 7.29/7.39 c | 7.39 | 0 | 3202 lb | 0 0 0.00 | 7.38/7.49 c | 7.50 | 0 | 3203 lb | 0 0 0.00 | 7.48/7.57 c | 7.57 | 0 | 3204 lb | 0 0 0.00 | 7.60/7.65 c | 7.66 | 0 | 3205 lb | 0 0 0.00 | 7.70/7.73 c | 7.74 | 0 | 3206 lb | 0 0 0.00 | 7.79/7.81 c | 7.82 | 0 | 3207 lb | 0 0 0.00 | 7.89/7.90 c | 7.90 | 0 | 3208 lb | 0 0 0.00 | 7.99/8.01 c | 8.02 | 0 | 3209 lb | 0 0 0.00 | 7.99/8.09 c | 8.09 | 0 | 3210 lb | 0 0 0.00 | 8.09/8.18 c | 8.18 | 0 | 3211 lb | 0 0 0.00 | 8.19/8.26 c | 8.26 | 0 | 3212 lb | 0 0 0.00 | 8.29/8.36 c | 8.36 | 0 | 3213 lb | 0 0 0.00 | 8.39/8.44 c | 8.45 | 0 | 3214 lb | 0 0 0.00 | 8.48/8.54 c | 8.54 | 0 | 3215 lb | 0 0 0.00 | 8.58/8.66 c | 8.66 | 0 | 3216 lb | 0 0 0.00 | 8.69/8.74 c | 8.74 | 0 | 3217 lb | 0 0 0.00 | 8.79/8.87 c | 8.87 | 0 | 3218 lb | 0 0 0.00 | 8.89/8.97 c | 8.97 | 0 | 3219 lb | 0 0 0.00 | 8.98/9.07 c | 9.07 | 0 | 3220 lb | 0 0 0.00 | 9.08/9.18 c | 9.18 | 0 | 3221 lb | 0 0 0.00 | 9.28/9.31 c | 9.32 | 0 | 3222 lb | 0 0 0.00 | 9.38/9.42 c | 9.42 | 0 | 3223 lb | 0 0 0.00 | 9.49/9.54 c | 9.54 | 0 | 3225 lb | 0 0 0.00 | 9.59/9.62 c | 9.63 | 0 | 3227 lb | 0 0 0.00 | 9.69/9.76 c | 9.77 | 0 | 3228 lb | 0 0 0.00 | 9.89/9.91 c | 9.92 | 0 | 3229 lb | 0 0 0.00 | 9.98/10.02 c | 10.02 | 0 | 3230 lb | 0 0 0.00 | 10.08/10.15 c | 10.15 | 0 | 3231 lb | 0 0 0.00 | 10.18/10.26 c | 10.27 | 0 | 3232 lb | 0 0 0.00 | 10.28/10.39 c | 10.39 | 0 | 3233 lb | 0 0 0.00 | 10.38/10.49 c | 10.49 | 0 | 3234 lb | 0 0 0.00 | 10.59/10.61 c | 10.61 | 0 | 3235 lb | 0 0 0.00 | 10.69/10.76 c | 10.77 | 0 | 3236 lb | 0 0 0.00 | 10.89/10.92 c | 10.93 | 0 | 3237 lb | 0 0 0.00 | 10.99/11.02 c | 11.03 | 0 | 3238 lb | 0 0 0.00 | 11.08/11.12 c | 11.12 | 0 | 3239 lb | 0 0 0.00 | 11.19/11.21 c | 11.22 | 0 | 3240 lb | 0 0 0.00 | 11.29/11.30 c | 11.31 | 0 | 3241 lb | 0 0 0.00 | 11.39/11.41 c | 11.41 | 0 | 3242 lb | 0 0 0.00 | 11.49/11.53 c | 11.53 | 0 | 3243 lb | 0 0 0.00 | 11.69/11.70 c | 11.70 | 0 | 3244 lb | 0 0 0.00 | 11.79/11.84 c | 11.85 | 0 | 3245 lb | 0 0 0.00 | 11.89/11.98 c | 11.98 | 0 | 3246 lb | 0 0 0.00 | 12.09/12.11 c | 12.12 | 0 | 3247 lb | 0 0 0.00 | 12.19/12.25 c | 12.25 | 0 | 3248 lb | 0 0 0.00 | 12.28/12.37 c | 12.37 | 0 | 3249 lb | 0 0 0.00 | 12.48/12.52 c | 12.52 | 0 | 3250 lb | 0 0 0.00 | 12.58/12.69 c | 12.70 | 0 | 3251 lb | 0 0 0.00 | 12.88/12.94 c | 12.94 | 0 | 3252 lb | 0 0 0.00 | 12.98/13.05 c | 13.05 | 0 | 3253 lb | 0 0 0.00 | 13.10/13.20 c | 13.20 | 0 | 3254 lb | 0 0 0.00 | 13.29/13.37 c | 13.37 | 0 | 3255 lb | 0 0 0.00 | 13.49/13.50 c | 13.50 | 0 | 3256 lb | 0 0 0.00 | 13.69/13.74 c | 13.74 | 0 | 3257 lb | 0 0 0.00 | 13.89/13.90 c | 13.91 | 0 | 3258 lb | 0 0 0.00 | 14.09/14.12 c | 14.12 | 0 | 3259 lb | 0 0 0.00 | 14.29/14.37 c | 14.37 | 0 | 3260 lb | 0 0 0.00 | 14.49/14.58 c | 14.58 | 0 | 3261 lb | 0 0 0.00 | 14.68/14.77 c | 14.77 | 0 | 3262 lb | 0 0 0.00 | 14.88/14.94 c | 14.95 | 0 | 3263 lb | 0 0 0.00 | 14.99/15.06 c | 15.06 | 0 | 3264 lb | 0 0 0.00 | 15.29/15.39 c | 15.39 | 0 | 3265 lb | 0 0 0.00 | 15.59/15.61 c | 15.61 | 0 | 3266 lb | 0 0 0.00 | 15.79/15.86 c | 15.86 | 0 | 3267 lb | 0 0 0.00 | 16.19/16.23 c | 16.24 | 0 | 3268 lb | 0 0 0.00 | 16.49/16.59 c | 16.59 | 0 | 3269 lb | 0 0 0.00 | 16.88/16.90 c | 16.91 | 0 | 3270 lb | 0 0 0.00 | 17.38/17.40 c | 17.41 | 0 | 3271 lb | 0 0 0.00 | 17.59/17.61 c | 17.62 | 0 | 3272 lb | 0 0 0.00 | 17.78/17.84 c | 17.85 | 0 | 3273 lb | 0 0 0.00 | 17.99/18.07 c | 18.07 | 0 | 3274 lb | 0 0 0.00 | 18.49/18.50 c | 18.51 | 0 | 3275 lb | 0 0 0.00 | 18.70/18.77 c | 18.77 | 0 | 3276 lb | 0 0 0.00 | 18.99/19.07 c | 19.07 | 0 | 3277 lb | 0 0 0.00 | 19.19/19.25 c | 19.26 | 0 | 3278 lb | 0 0 0.00 | 19.39/19.45 c | 19.46 | 0 | 3279 lb | 0 0 0.00 | 19.69/19.73 c | 19.74 | 0 | 3280 lb | 0 0 0.00 | 20.09/20.12 c | 20.12 | 0 | 3281 lb | 0 0 0.00 | 20.58/20.66 c | 20.66 | 0 | 3282 lb | 0 0 0.00 | 20.89/20.93 c | 20.94 | 0 | 3283 lb | 0 0 0.00 | 21.08/21.19 c | 21.19 | 0 | 3284 lb | 0 0 0.00 | 21.39/21.49 c | 21.49 | 0 | 3285 lb | 0 0 0.00 | 21.90/22.00 c | 22.00 | 0 | 3286 lb | 0 0 0.00 | 22.09/22.17 c | 22.17 | 0 | 3287 lb | 0 0 0.00 | 22.69/22.72 c | 22.72 | 0 | 3288 lb | 0 0 0.00 | 23.29/23.32 c | 23.32 | 0 | 3289 lb | 0 0 0.00 | 23.49/23.51 c | 23.51 | 0 | 3290 lb | 0 0 0.00 | 23.88/23.91 c | 23.92 | 0 | 3291 lb | 0 0 0.00 | 24.38/24.49 c | 24.50 | 0 | 3292 lb | 0 0 0.00 | 25.29/25.36 c | 25.37 | 0 | 3293 lb | 0 0 0.00 | 25.78/25.87 c | 25.88 | 0 | 3294 lb | 0 0 0.00 | 26.48/26.57 c | 26.57 | 0 | 3295 lb | 0 0 0.00 | 27.39/27.46 c | 27.47 | 0 | 3296 lb | 0 0 0.00 | 27.89/27.94 c | 27.95 | 0 | 3297 lb | 0 0 0.00 | 28.08/28.19 c | 28.20 | 0 | 3298 lb | 0 0 0.00 | 29.88/29.94 c | 29.94 | 0 | 3299 lb | 0 0 0.00 | 30.28/30.39 c | 30.40 | 0 | 3300 lb | 0 0 0.00 | 31.39/31.40 c | 31.40 | 0 | 3301 lb | 0 0 0.00 | 31.99/32.05 c | 32.05 | 0 | 3302 lb | 0 0 0.00 | 32.78/32.88 c | 32.88 | 0 | 3303 lb | 0 0 0.00 | 34.68/34.77 c | 34.77 | 0 | 3304 lb | 0 0 0.00 | 37.39/37.42 c | 37.42 | 0 | 3305 lb | 0 0 0.00 | 39.09/39.18 c | 39.19 | 0 | 3306 lb | 0 0 0.00 | 42.58/42.60 c | 42.60 | 0 | 3307 lb | 0 0 0.00 | 47.88/47.93 c | 47.94 | 0 | 3308 lb | 0 0 0.00 | 57.28/57.37 c | 57.38 | 0 | 3309 lb | 0 0 0.00 | 143.16/143.29 c | 143.30 | 0 | 3310 lb | 0 0 0.00 | 631.02/631.22 c | 631.23 | 0 | 3311 lb | 0 0 0.00 | 1799.55/1800.01 c =============================================================================== 1799.55/1800.01 c Wall Clock Time: 1800.01 s 1799.55/1800.01 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-3727283-1338651821/watcher-3727283-1338651821 -o /tmp/evaluation-result-3727283-1338651821/solver-3727283-1338651821 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727283-1338651821.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: 1.99 1.89 1.91 2/177 9449 /proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=3860 CPUtime=0 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) R 9447 9449 7878 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 331308988 3952640 401 33554432000 4194304 5964350 140737021191872 140736983258824 4344195 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 965 401 168 433 0 498 0 [startup+0.0783499 s] /proc/loadavg: 1.99 1.89 1.91 2/177 9449 /proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=85088 CPUtime=0.07 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 2592 0 0 0 7 0 0 0 20 0 2 0 331308988 87130112 2202 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 21272 2202 191 433 0 20836 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 85088 [startup+0.100279 s] /proc/loadavg: 1.99 1.89 1.91 2/177 9449 /proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=85088 CPUtime=0.09 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 2890 0 0 0 9 0 0 0 20 0 2 0 331308988 87130112 2449 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 21272 2449 191 433 0 20836 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 85088 [startup+0.300243 s] /proc/loadavg: 1.99 1.89 1.91 2/177 9449 /proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=85088 CPUtime=0.29 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 6241 0 0 0 29 0 0 0 20 0 2 0 331308988 87130112 3990 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 21272 3990 191 433 0 20836 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 85088 [startup+0.700266 s] /proc/loadavg: 1.99 1.89 1.91 2/177 9449 /proc/meminfo: memFree=27947072/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=85088 CPUtime=0.69 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 12386 0 0 0 68 1 0 0 20 0 2 0 331308988 87130112 6456 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 21272 6456 191 433 0 20836 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85088 [startup+1.50031 s] /proc/loadavg: 1.99 1.89 1.91 3/179 9451 /proc/meminfo: memFree=27915660/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=89420 CPUtime=1.49 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 25445 0 0 0 146 3 0 0 20 0 2 0 331308988 91566080 10578 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 22355 10578 191 433 0 21919 0 [pid=9449/tid=9451] ppid=9447 vsize=89420 CPUtime=1.47 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 24354 0 0 0 144 3 0 0 20 0 2 0 331308989 91566080 10578 33554432000 4194304 5964350 140737021191872 140382168300056 5139081 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 89420 [startup+3.10032 s] /proc/loadavg: 1.99 1.89 1.91 3/179 9451 /proc/meminfo: memFree=27893340/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=85088 CPUtime=3.09 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 41726 0 0 0 303 6 0 0 20 0 2 0 331308988 87130112 16191 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 21272 16191 194 433 0 20836 0 [pid=9449/tid=9451] ppid=9447 vsize=85088 CPUtime=3.06 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 40635 0 0 0 300 6 0 0 20 0 2 0 331308989 87130112 16191 33554432000 4194304 5964350 140737021191872 140382168300056 4419080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 85088 [startup+6.3003 s] /proc/loadavg: 1.99 1.89 1.91 3/179 9451 /proc/meminfo: memFree=27859300/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=157152 CPUtime=6.29 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 62743 0 0 0 619 10 0 0 20 0 2 0 331308988 160923648 25281 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 39288 25281 194 433 0 38852 0 [pid=9449/tid=9451] ppid=9447 vsize=157152 CPUtime=6.25 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 61652 0 0 0 615 10 0 0 20 0 2 0 331308989 160923648 25281 33554432000 4194304 5964350 140737021191872 140382168299864 5130821 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 157152 [startup+12.7003 s] /proc/loadavg: 1.99 1.89 1.91 3/179 9451 /proc/meminfo: memFree=27787440/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=219440 CPUtime=12.68 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 99616 0 0 0 1252 16 0 0 20 0 2 0 331308988 224706560 40045 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 54860 40045 195 433 0 54424 0 [pid=9449/tid=9451] ppid=9447 vsize=219440 CPUtime=12.64 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 98525 0 0 0 1248 16 0 0 20 0 2 0 331308989 224706560 40045 33554432000 4194304 5964350 140737021191872 140382168300056 5179520 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 219440 [startup+25.5003 s] /proc/loadavg: 1.99 1.89 1.91 3/179 9451 /proc/meminfo: memFree=27730516/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=284976 CPUtime=25.48 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 120502 0 0 0 2528 20 0 0 20 0 2 0 331308988 291815424 55974 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 71244 55974 195 433 0 70808 0 [pid=9449/tid=9451] ppid=9447 vsize=284976 CPUtime=25.4 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 119411 0 0 0 2520 20 0 0 20 0 2 0 331308989 291815424 55974 33554432000 4194304 5964350 140737021191872 140382168300360 5134245 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 284976 [startup+51.1003 s] /proc/loadavg: 1.99 1.90 1.91 3/179 9451 /proc/meminfo: memFree=27682416/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=350512 CPUtime=51.08 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 130019 0 0 0 5085 23 0 0 20 0 2 0 331308988 358924288 66155 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 87628 66155 195 433 0 87192 0 [pid=9449/tid=9451] ppid=9447 vsize=350512 CPUtime=50.94 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 128928 0 0 0 5071 23 0 0 20 0 2 0 331308989 358924288 66155 33554432000 4194304 5964350 140737021191872 140382168299816 4403501 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 350512 [startup+102.306 s] /proc/loadavg: 1.99 1.91 1.91 3/179 9452 /proc/meminfo: memFree=27634380/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=372392 CPUtime=102.28 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 140333 0 0 0 10201 27 0 0 20 0 2 0 331308988 381329408 78234 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 93098 78234 195 433 0 92662 0 [pid=9449/tid=9451] ppid=9447 vsize=372392 CPUtime=102.01 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 139242 0 0 0 10173 28 0 0 20 0 2 0 331308989 381329408 78234 33554432000 4194304 5964350 140737021191872 140382168299512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 372392 [startup+162.3 s] /proc/loadavg: 1.99 1.93 1.91 3/179 9452 /proc/meminfo: memFree=27462576/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=569000 CPUtime=162.26 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 178873 0 0 0 16188 38 0 0 20 0 2 0 331308988 582656000 119054 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 142250 119054 195 433 0 141814 0 [pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=161.84 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 177782 0 0 0 16144 40 0 0 20 0 2 0 331308989 582656000 119054 33554432000 4194304 5964350 140737021191872 140382168300472 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 569000 [startup+222.3 s] /proc/loadavg: 1.99 1.94 1.91 3/179 9452 /proc/meminfo: memFree=27425464/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=569000 CPUtime=222.24 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 178885 0 0 0 22186 38 0 0 20 0 2 0 331308988 582656000 119100 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 142250 119100 195 433 0 141814 0 [pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=221.68 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 177794 0 0 0 22127 41 0 0 20 0 2 0 331308989 582656000 119100 33554432000 4194304 5964350 140737021191872 140382168300472 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 569000 [startup+282.3 s] /proc/loadavg: 1.99 1.95 1.91 3/179 9452 /proc/meminfo: memFree=27416832/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=569000 CPUtime=282.2 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 178970 0 0 0 28182 38 0 0 20 0 2 0 331308988 582656000 119142 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 142250 119142 195 433 0 141814 0 [pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=281.49 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 177879 0 0 0 28107 42 0 0 20 0 2 0 331308989 582656000 119142 33554432000 4194304 5964350 140737021191872 140382168300472 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 569000 [startup+342.3 s] /proc/loadavg: 1.99 1.95 1.91 3/179 9452 /proc/meminfo: memFree=27372204/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=569000 CPUtime=342.18 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 190349 0 0 0 34176 42 0 0 20 0 2 0 331308988 582656000 130503 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 142250 130503 195 433 0 141814 0 [pid=9449/tid=9451] ppid=9447 vsize=569000 CPUtime=341.32 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 189258 0 0 0 34085 47 0 0 20 0 2 0 331308989 582656000 130503 33554432000 4194304 5964350 140737021191872 140382168299512 4399835 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 569000 [startup+402.3 s] /proc/loadavg: 1.99 1.96 1.91 3/180 9456 /proc/meminfo: memFree=27333624/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=634536 CPUtime=402.15 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 199516 0 0 0 40169 46 0 0 20 0 2 0 331308988 649764864 140147 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 158634 140147 195 433 0 158198 0 [pid=9449/tid=9451] ppid=9447 vsize=634536 CPUtime=401.15 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 198425 0 0 0 40063 52 0 0 20 0 2 0 331308989 649764864 140147 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 634536 [startup+462.3 s] /proc/loadavg: 2.05 1.98 1.91 3/179 9456 /proc/meminfo: memFree=27250832/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=700072 CPUtime=462.14 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.02 1.95 3/179 9486 /proc/meminfo: memFree=26812384/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1071408 CPUtime=1421.97 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 304769 0 0 0 142105 92 0 0 20 0 2 0 331308988 1097121792 247702 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 267852 247702 195 433 0 267416 0 [pid=9449/tid=9451] ppid=9447 vsize=1071408 CPUtime=1418.46 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 303678 0 0 0 141733 113 0 0 20 0 2 0 331308989 1097121792 247702 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1071408 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 1.95 3/179 9486 /proc/meminfo: memFree=26734920/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1071408 CPUtime=1481.95 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 315683 0 0 0 148099 96 0 0 20 0 2 0 331308988 1097121792 258662 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 267852 258662 195 433 0 267416 0 [pid=9449/tid=9451] ppid=9447 vsize=1071408 CPUtime=1478.29 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 314592 0 0 0 147711 118 0 0 20 0 2 0 331308989 1097121792 258662 33554432000 4194304 5964350 140737021191872 140382168299512 4399994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1071408 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.95 3/179 9525 /proc/meminfo: memFree=27132448/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1136944 CPUtime=1541.91 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 325126 0 0 0 154090 101 0 0 20 0 2 0 331308988 1164230656 268347 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 284236 268347 195 433 0 283800 0 [pid=9449/tid=9451] ppid=9447 vsize=1136944 CPUtime=1538.11 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 324035 0 0 0 153687 124 0 0 20 0 2 0 331308989 1164230656 268347 33554432000 4194304 5964350 140737021191872 140382168299512 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1136944 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9528 /proc/meminfo: memFree=27017896/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1136944 CPUtime=1601.89 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 335200 0 0 0 160083 106 0 0 20 0 2 0 331308988 1164230656 278592 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 284236 278592 195 433 0 283800 0 [pid=9449/tid=9451] ppid=9447 vsize=1136944 CPUtime=1597.94 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 334109 0 0 0 159665 129 0 0 20 0 2 0 331308989 1164230656 278592 33554432000 4194304 5964350 140737021191872 140382168299512 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1136944 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26937580/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1202480 CPUtime=1661.87 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 342570 0 0 0 166077 110 0 0 20 0 2 0 331308988 1231339520 285952 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 300620 285952 195 433 0 300184 0 [pid=9449/tid=9451] ppid=9447 vsize=1202480 CPUtime=1657.78 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 341479 0 0 0 165643 135 0 0 20 0 2 0 331308989 1231339520 285952 33554432000 4194304 5964350 140737021191872 140382168299512 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1202480 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26838260/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1721.87 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 352480 0 0 0 172072 115 0 0 20 0 2 0 331308988 1298448384 295862 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 295862 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1717.62 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 351389 0 0 0 171622 140 0 0 20 0 2 0 331308989 1298448384 295862 33554432000 4194304 5964350 140737021191872 140382168299512 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1268016 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26745508/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1781.86 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 363980 0 0 0 178066 120 0 0 20 0 2 0 331308988 1298448384 307362 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 307362 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1777.46 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 362889 0 0 0 177600 146 0 0 20 0 2 0 331308989 1298448384 307362 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1268016 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26742036/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1791.46 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 364985 0 0 0 179026 120 0 0 20 0 2 0 331308988 1298448384 308367 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 308367 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1787.04 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 363894 0 0 0 178557 147 0 0 20 0 2 0 331308989 1298448384 308367 33554432000 4194304 5964350 140737021191872 140382168299512 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 1268016 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26740548/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1794.66 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365334 0 0 0 179346 120 0 0 20 0 2 0 331308988 1298448384 308716 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 308716 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1790.24 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364243 0 0 0 178877 147 0 0 20 0 2 0 331308989 1298448384 308716 33554432000 4194304 5964350 140737021191872 140382168299512 4399989 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 1268016 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26739556/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1797.86 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365697 0 0 0 179665 121 0 0 20 0 2 0 331308988 1298448384 309079 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 309079 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1793.42 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364606 0 0 0 179195 147 0 0 20 0 2 0 331308989 1298448384 309079 33554432000 4194304 5964350 140737021191872 140382168299512 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 1268016 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26738688/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1798.66 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365854 0 0 0 179745 121 0 0 20 0 2 0 331308988 1298448384 309236 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 309236 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1794.22 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364763 0 0 0 179275 147 0 0 20 0 2 0 331308989 1298448384 309236 33554432000 4194304 5964350 140737021191872 140382168299512 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 1268016 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26737944/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1799.06 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365913 0 0 0 179785 121 0 0 20 0 2 0 331308988 1298448384 309295 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 309295 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1794.62 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364822 0 0 0 179314 148 0 0 20 0 2 0 331308989 1298448384 309295 33554432000 4194304 5964350 140737021191872 140382168299512 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.06 Current children cumulated vsize (KiB) 1268016 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26737944/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1799.45 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 365992 0 0 0 179824 121 0 0 20 0 2 0 331308988 1298448384 309374 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 309374 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1795.02 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364901 0 0 0 179354 148 0 0 20 0 2 0 331308989 1298448384 309374 33554432000 4194304 5964350 140737021191872 140382168299512 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (KiB) 1268016 [startup+1800 s] /proc/loadavg: 2.00 2.00 1.95 3/179 9529 /proc/meminfo: memFree=26737944/32873648 swapFree=6864/6864 [pid=9449] ppid=9447 vsize=1268016 CPUtime=1799.55 cores=0,2,4,6 /proc/9449/stat : 9449 (wbo1.72) S 9447 9449 7878 0 -1 4202496 366019 0 0 0 179834 121 0 0 20 0 2 0 331308988 1298448384 309401 33554432000 4194304 5964350 140737021191872 140737021191392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/9449/statm: 317004 309401 195 433 0 316568 0 [pid=9449/tid=9451] ppid=9447 vsize=1268016 CPUtime=1795.12 cores=0,2,4,6 /proc/9449/task/9451/stat : 9451 (wbo1.72) R 9447 9449 7878 0 -1 4202560 364928 0 0 0 179364 148 0 0 20 0 2 0 331308989 1298448384 309401 33554432000 4194304 5964350 140737021191872 140382168299512 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (KiB) 1268016 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9449 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=668320 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=508770 # CPU time returned by wait4() is 1795.18 # while last known CPU time is 1799.55 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.03 CPU time (s): 1799.55 CPU user time (s): 1798.34 CPU system time (s): 1.21 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1268016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.67 system time used= 1.50877 maximum resident set size= 1237620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 366023 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= 245 involuntary context switches= 1888 runsolver used 2.74658 second user time and 7.09592 second system time The end
Begin job on node113 at 2012-06-02 17:43:41 IDJOB=3727283 IDBENCH=1851 IDSOLVER=2313 FILE ID=node113/3727283-1338651821 RUNJOBID= node113-1338651535-9377 PBS_JOBID= 14636467 Free space on /tmp= 71040 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727283-1338651821/watcher-3727283-1338651821 -o /tmp/evaluation-result-3727283-1338651821/solver-3727283-1338651821 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727283-1338651821.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED=1360792908 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: 27947428 kB Buffers: 494012 kB Cached: 3236952 kB SwapCached: 2020 kB Active: 1898268 kB Inactive: 2143320 kB Active(anon): 309760 kB Inactive(anon): 1800 kB Active(file): 1588508 kB Inactive(file): 2141520 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67099596 kB Dirty: 5444 kB Writeback: 0 kB AnonPages: 314392 kB Mapped: 11760 kB Shmem: 0 kB Slab: 748536 kB SReclaimable: 192968 kB SUnreclaim: 555568 kB KernelStack: 1488 kB PageTables: 4584 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 146764 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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 18:13:42