Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.11 | 1800.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_3.opb |
MD5SUM | d26b3b10be20d9248aac462b86b1f040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 269.719 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 940 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3331 |
Number of bits of the biggest sum of numbers | 12 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656047-1276599123.opb. 0.00/0.00 c Instance file HOME/instance-2656047-1276599123.opb 0.00/0.00 c File size is 3596 bytes. 0.00/0.00 c Highest Coefficient sum: 3331 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 94 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 8 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 94 8 366 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 780 0.00/0.00 o 780 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 94 9 430 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 556 0.00/0.00 o 556 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 62 | 94 10 494 | 5000 62 36 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 388 0.00/0.00 o 388 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 62 | 94 11 558 | 5000 62 36 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 380 0.00/0.00 o 380 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 63 | 94 12 622 | 5000 63 37 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 372 0.00/0.00 o 372 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 66 | 94 13 686 | 5000 66 36 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 370 0.00/0.01 o 370 0.00/0.01 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 67 | 94 14 750 | 5000 67 37 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 368 0.00/0.01 o 368 0.00/0.01 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 74 | 94 15 814 | 5000 74 36 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 348 0.00/0.01 o 348 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 116 | 94 16 878 | 5000 116 35 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 186 0.00/0.01 o 186 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 116 | 94 17 942 | 5000 116 35 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 184 0.00/0.01 o 184 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 117 | 94 18 1006 | 5000 117 35 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 171 0.00/0.01 o 171 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 121 | 94 19 1070 | 5000 121 35 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 166 0.00/0.01 o 166 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 132 | 94 20 1134 | 5000 132 35 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 105 0.00/0.01 o 105 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 156 | 94 21 1198 | 5000 156 34 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 77 0.00/0.02 o 77 0.00/0.02 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 203 | 86 22 1262 | 5000 90 31 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 56 0.00/0.02 o 56 0.00/0.02 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 207 | 86 23 1326 | 5000 94 31 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 32 0.00/0.02 o 32 0.00/0.02 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 226 | 78 24 1390 | 5000 113 33 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 28 0.00/0.02 o 28 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 263 | 70 25 1454 | 5000 150 33 | 0.000 % | 0.00/0.03 c | 363 | 70 25 1454 | 5500 250 34 | 25.543 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 20 0.00/0.03 o 20 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 438 | 70 26 1518 | 5000 233 35 | 25.543 % | 0.00/0.04 c | 538 | 70 26 1518 | 5500 333 35 | 25.543 % | 0.00/0.04 c | 688 | 70 26 1518 | 6050 483 34 | 25.543 % | 0.04/0.06 c | 913 | 70 26 1518 | 6655 708 34 | 25.543 % | 0.04/0.08 c | 1250 | 70 26 1518 | 7320 1045 35 | 25.543 % | 0.09/0.11 c | 1756 | 70 26 1518 | 8052 1551 34 | 25.543 % | 0.09/0.17 c | 2516 | 70 26 1518 | 8857 2311 36 | 25.543 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 19 0.09/0.18 o 19 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 2745 | 70 27 1582 | 5000 2540 35 | 25.543 % | 0.09/0.19 c | 2845 | 70 27 1582 | 5500 2640 36 | 25.543 % | 0.18/0.21 c | 2995 | 70 27 1582 | 6050 2790 36 | 25.543 % | 0.18/0.22 c | 3220 | 70 27 1582 | 6655 3015 35 | 25.543 % | 0.18/0.26 c | 3557 | 70 27 1582 | 7320 3352 35 | 25.543 % | 0.28/0.31 c | 4063 | 70 27 1582 | 8052 3858 35 | 25.543 % | 0.28/0.35 c =============================================================================== 0.28/0.35 c New solution: 18 0.28/0.35 o 18 0.28/0.35 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s 0.28/0.35 c =============================================================================== 0.28/0.35 c | 4526 | 70 28 1646 | 5000 4321 35 | 25.543 % | 0.28/0.36 c | 4626 | 70 28 1646 | 5500 4421 35 | 25.543 % | 0.28/0.38 c | 4776 | 70 28 1646 | 6050 4571 35 | 25.543 % | 0.39/0.40 c | 5002 | 70 28 1646 | 6655 4797 35 | 25.543 % | 0.39/0.44 c | 5339 | 70 28 1646 | 7320 5134 35 | 25.543 % | 0.39/0.49 c | 5846 | 70 28 1646 | 8052 5641 35 | 25.543 % | 0.48/0.51 c =============================================================================== 0.48/0.51 c New solution: 16 0.48/0.51 o 16 0.48/0.51 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s 0.48/0.51 c =============================================================================== 0.48/0.51 c | 5982 | 70 29 1710 | 5000 5777 35 | 25.543 % | 0.48/0.54 c | 6082 | 62 29 1710 | 5500 2937 35 | 34.054 % | 0.48/0.55 c | 6233 | 62 29 1710 | 6050 3088 35 | 34.054 % | 0.48/0.57 c | 6458 | 62 29 1710 | 6655 3313 35 | 34.054 % | 0.48/0.58 c =============================================================================== 0.48/0.58 c New solution: 15 0.48/0.58 o 15 0.48/0.58 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s 0.48/0.58 c =============================================================================== 0.48/0.58 c | 6592 | 62 30 1774 | 5000 3447 35 | 34.054 % | 0.48/0.59 c =============================================================================== 0.48/0.59 c New solution: 14 0.48/0.59 o 14 0.48/0.59 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s 0.48/0.59 c =============================================================================== 0.48/0.59 c | 6681 | 62 31 1838 | 5000 3536 35 | 34.054 % | 0.48/0.59 c =============================================================================== 0.48/0.59 c New solution: 12 0.48/0.59 o 12 0.48/0.59 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s 0.48/0.59 c =============================================================================== 0.48/0.59 c | 6682 | 62 32 1902 | 5000 3537 35 | 34.054 % | 0.58/0.60 c | 6782 | 62 32 1902 | 5500 3637 35 | 34.054 % | 0.58/0.62 c | 6932 | 62 32 1902 | 6050 3787 35 | 34.054 % | 0.58/0.64 c | 7158 | 62 32 1902 | 6655 4013 35 | 34.054 % | 0.58/0.67 c | 7496 | 62 32 1902 | 7320 4351 36 | 34.054 % | 0.68/0.70 c =============================================================================== 0.68/0.70 c New solution: 11 0.68/0.70 o 11 0.68/0.70 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s 0.68/0.70 c =============================================================================== 0.68/0.70 c | 7824 | 62 33 1966 | 5000 4679 36 | 34.054 % | 0.68/0.71 c | 7924 | 62 33 1966 | 5500 4779 36 | 34.054 % | 0.68/0.73 c | 8074 | 62 33 1966 | 6050 4929 36 | 34.054 % | 0.68/0.75 c | 8299 | 62 33 1966 | 6655 5154 36 | 34.054 % | 0.68/0.79 c | 8637 | 62 33 1966 | 7320 5492 36 | 34.054 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c New solution: 9 0.79/0.81 o 9 0.79/0.81 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s 0.79/0.81 c =============================================================================== 0.79/0.81 c | 8777 | 62 34 2030 | 5000 5632 36 | 34.054 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: 7 0.79/0.82 o 7 0.79/0.82 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 8779 | 62 35 2094 | 5000 2818 38 | 34.054 % | 0.79/0.83 c | 8880 | 60 35 2094 | 5500 2919 38 | 42.565 % | 0.79/0.84 c | 9031 | 60 35 2094 | 6050 3070 38 | 42.565 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 6 0.79/0.84 o 6 0.79/0.84 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 9057 | 54 36 2158 | 5000 3096 38 | 42.565 % | 0.79/0.85 c | 9158 | 54 36 2158 | 5500 3197 39 | 42.565 % | 0.79/0.86 c | 9308 | 54 36 2158 | 6050 3347 39 | 42.565 % | 0.79/0.88 c | 9534 | 54 36 2158 | 6655 3573 39 | 42.565 % | 0.89/0.91 c | 9873 | 54 36 2158 | 7320 3912 39 | 42.565 % | 0.89/0.95 c | 10379 | 54 36 2158 | 8052 4418 40 | 42.565 % | 0.99/1.02 c | 11139 | 54 36 2158 | 8857 5178 40 | 42.565 % | 1.10/1.13 c | 12278 | 54 36 2158 | 9743 6317 41 | 42.565 % | 1.28/1.33 c | 13986 | 54 36 2158 | 10717 8025 39 | 42.565 % | 1.59/1.69 c | 16548 | 54 36 2158 | 11789 10587 39 | 42.565 % | 2.19/2.23 c | 20393 | 54 36 2158 | 12968 8506 39 | 42.565 % | 2.99/3.03 c | 26159 | 54 36 2158 | 14265 7758 39 | 42.565 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c New solution: 3 3.69/3.74 o 3 3.69/3.74 c Elapsed CPU time: 3.65444 s Remaining CPU time: 176.346 s 3.69/3.74 c =============================================================================== 3.69/3.74 c | 31131 | 54 37 2222 | 5000 12730 41 | 42.565 % | 3.79/3.83 c | 31231 | 53 37 2222 | 5500 3283 44 | 51.075 % | 3.79/3.84 c | 31381 | 52 37 2222 | 6050 3433 44 | 51.075 % | 3.79/3.86 c | 31607 | 51 37 2222 | 6655 3659 44 | 51.075 % | 3.79/3.88 c | 31944 | 51 37 2222 | 7320 3996 44 | 51.075 % | 3.89/3.92 c | 32450 | 51 37 2222 | 8052 4502 44 | 51.075 % | 3.89/3.99 c | 33211 | 50 37 2222 | 8857 5263 44 | 51.075 % | 4.09/4.10 c | 34350 | 50 37 2222 | 9743 6402 44 | 51.075 % | 4.19/4.28 c | 36060 | 49 37 2222 | 10717 8112 45 | 51.075 % | 4.59/4.61 c | 38622 | 46 37 2222 | 11789 10671 45 | 51.075 % | 5.09/5.18 c | 42466 | 46 37 2222 | 12968 8586 46 | 51.075 % | 6.08/6.10 c | 48235 | 46 37 2222 | 14265 7835 48 | 51.075 % | 7.38/7.43 c | 56886 | 46 37 2222 | 15692 9320 48 | 51.075 % | 9.59/9.69 c | 69860 | 46 37 2222 | 17261 14415 48 | 51.075 % | 13.59/13.65 c | 89321 | 46 37 2222 | 18987 16547 48 | 51.075 % | 20.29/20.39 c | 118513 | 46 37 2222 | 20886 17154 47 | 51.075 % | 31.98/32.04 c | 162302 | 46 37 2222 | 22974 19030 47 | 51.075 % | 51.27/51.34 c | 227987 | 46 37 2222 | 25272 10969 48 | 51.075 % | 78.87/78.98 c =============================================================================== 78.87/78.98 c New solution: 2 78.87/78.98 o 2 78.87/78.98 c Elapsed CPU time: 78.0091 s Remaining CPU time: 101.991 s 78.87/78.98 c =============================================================================== 78.87/78.98 c | 324847 | 46 38 2286 | 5000 20866 47 | 51.075 % | 79.18/79.27 c | 324947 | 38 38 2286 | 5500 2638 48 | 59.586 % | 79.18/79.29 c | 325097 | 38 38 2286 | 6050 2788 48 | 59.586 % | 79.27/79.31 c | 325323 | 38 38 2286 | 6655 3014 48 | 59.586 % | 79.27/79.34 c | 325660 | 38 38 2286 | 7320 3351 48 | 59.586 % | 79.27/79.38 c | 326168 | 38 38 2286 | 8052 3859 48 | 59.586 % | 79.37/79.46 c | 326927 | 38 38 2286 | 8857 4618 48 | 59.586 % | 79.47/79.57 c | 328067 | 38 38 2286 | 9743 5758 48 | 59.586 % | 79.66/79.76 c | 329775 | 38 38 2286 | 10717 7466 49 | 59.586 % | 80.07/80.11 c | 332337 | 38 38 2286 | 11789 10028 50 | 59.586 % | 80.57/80.67 c | 336181 | 38 38 2286 | 12968 7938 50 | 59.586 % | 81.46/81.56 c | 341947 | 38 38 2286 | 14265 7181 50 | 59.586 % | 82.97/83.01 c | 350597 | 38 38 2286 | 15692 8660 51 | 59.586 % | 85.37/85.42 c | 363571 | 38 38 2286 | 17261 13749 51 | 59.586 % | 89.46/89.52 c | 383032 | 38 38 2286 | 18987 15872 52 | 59.586 % | 96.16/96.26 c | 412225 | 38 38 2286 | 20886 16473 52 | 59.586 % | 107.46/107.58 c | 456014 | 38 38 2286 | 22974 18340 51 | 59.586 % | 126.55/126.69 c | 521700 | 38 38 2286 | 25272 11726 51 | 59.586 % | 157.05/157.16 c | 620227 | 38 38 2286 | 27799 23184 51 | 59.586 % | 182.04/182.17 c There are 56 assigned variables. 56 in cost function. 182.55/182.65 c ============================[ Search Statistics ]============================== 182.55/182.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.65 c =============================================================================== 182.55/182.65 c | 0 | 30 77 254 | 5000 0 nan | 0.000 % | 182.55/182.66 c | 101 | 30 77 254 | 5500 101 24 | 68.097 % | 182.55/182.67 c | 251 | 30 77 254 | 6050 251 24 | 68.097 % | 182.55/182.69 c | 476 | 30 77 254 | 6655 476 24 | 68.097 % | 182.64/182.75 c | 813 | 30 77 254 | 7320 813 24 | 68.097 % | 182.64/182.79 c | 1319 | 30 77 254 | 8052 1319 25 | 68.097 % | 182.74/182.84 c | 2078 | 30 77 254 | 8857 2078 25 | 68.097 % | 182.84/182.92 c | 3218 | 30 77 254 | 9743 3218 25 | 68.097 % | 182.94/183.08 c | 4927 | 30 77 254 | 10717 4927 25 | 68.097 % | 183.34/183.43 c | 7489 | 30 77 254 | 11789 7489 25 | 68.097 % | 184.04/184.11 c | 11334 | 30 77 254 | 12968 11334 24 | 68.097 % | 185.04/185.14 c | 17100 | 30 77 254 | 14265 10576 24 | 68.097 % | 186.84/187.00 c | 25749 | 30 77 254 | 15692 12052 25 | 68.097 % | 189.54/189.68 c | 38723 | 30 77 254 | 17261 9254 25 | 68.097 % | 194.24/194.31 c | 58184 | 30 77 254 | 18987 11371 25 | 68.097 % | 202.24/202.38 c | 87377 | 30 77 254 | 20886 11961 25 | 68.097 % | 214.34/214.48 c | 131166 | 30 77 254 | 22974 13807 25 | 68.097 % | 229.73/229.80 c | 196850 | 30 77 254 | 25272 17892 25 | 68.097 % | 253.32/253.41 c | 295376 | 30 77 254 | 27799 14761 25 | 68.097 % | 295.41/295.53 c | 443165 | 30 77 254 | 30579 26984 25 | 68.097 % | 374.59/374.77 c | 664848 | 30 77 254 | 33637 13028 24 | 68.097 % | 509.07/509.25 c | 997374 | 30 77 254 | 37001 29177 25 | 68.097 % | 747.89/748.13 c | 1496162 | 30 77 254 | 40701 36428 25 | 68.108 % | 1161.99/1162.34 c | 2244344 | 30 77 254 | 44771 18296 26 | 68.108 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656047-1276599123/watcher-2656047-1276599123 -o /tmp/evaluation-result-2656047-1276599123/solver-2656047-1276599123 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656047-1276599123.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/106 9191 /proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=2440 CPUtime=0 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 271 0 0 0 0 0 0 0 19 0 1 0 1205175 2498560 188 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 610 188 146 303 0 305 0 [startup+0.052907 s] /proc/loadavg: 1.00 1.01 1.00 3/106 9191 /proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=2704 CPUtime=0.04 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 321 0 0 0 4 0 0 0 20 0 1 0 1205175 2768896 238 1992294400 134512640 135751879 4294555680 18446744073709551615 134610838 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 676 238 147 303 0 371 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2704 [startup+0.100912 s] /proc/loadavg: 1.00 1.01 1.00 3/106 9191 /proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=2836 CPUtime=0.09 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 367 0 0 0 9 0 0 0 20 0 1 0 1205175 2904064 284 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 709 284 147 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.300932 s] /proc/loadavg: 1.00 1.01 1.00 3/106 9191 /proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=3484 CPUtime=0.28 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 515 0 0 0 28 0 0 0 20 0 1 0 1205175 3567616 432 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 871 432 147 303 0 566 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3484 [startup+0.700971 s] /proc/loadavg: 1.00 1.01 1.00 3/106 9191 /proc/meminfo: memFree=1511232/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=4396 CPUtime=0.68 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 750 0 0 0 67 1 0 0 20 0 1 0 1205175 4501504 667 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 1099 667 148 303 0 794 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 4396 [startup+1.50105 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9192 /proc/meminfo: memFree=1508248/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=6224 CPUtime=1.49 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 1211 0 0 0 145 4 0 0 23 0 1 0 1205175 6373376 1128 1992294400 134512640 135751879 4294555680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 1556 1128 148 303 0 1251 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6224 [startup+3.10121 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9192 /proc/meminfo: memFree=1506016/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=9016 CPUtime=3.09 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 1902 0 0 0 302 7 0 0 25 0 1 0 1205175 9232384 1819 1992294400 134512640 135751879 4294555680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 2254 1819 148 303 0 1949 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9016 [startup+6.30052 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9192 /proc/meminfo: memFree=1499568/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=14964 CPUtime=6.29 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 3393 0 0 0 616 13 0 0 25 0 1 0 1205175 15323136 3310 1992294400 134512640 135751879 4294555680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 3741 3310 148 303 0 3436 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14964 [startup+12.7001 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9192 /proc/meminfo: memFree=1489648/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=24368 CPUtime=12.68 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 5729 0 0 0 1247 21 0 0 25 0 1 0 1205175 24952832 5646 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 6092 5646 148 303 0 5787 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24368 [startup+25.5014 s] /proc/loadavg: 1.08 1.02 1.01 2/107 9192 /proc/meminfo: memFree=1475264/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=38128 CPUtime=25.48 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 9174 0 0 0 2513 35 0 0 25 0 1 0 1205175 39043072 9091 1992294400 134512640 135751879 4294555680 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 9532 9091 148 303 0 9227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38128 [startup+51.1009 s] /proc/loadavg: 1.05 1.02 1.00 2/107 9194 /proc/meminfo: memFree=1451208/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=62168 CPUtime=51.07 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 15157 0 0 0 5044 63 0 0 25 0 1 0 1205175 63660032 15074 1992294400 134512640 135751879 4294555680 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 15542 15074 148 303 0 15237 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 62168 [startup+102.308 s] /proc/loadavg: 1.08 1.03 1.00 2/107 9196 /proc/meminfo: memFree=1395408/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=117528 CPUtime=102.27 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 29006 0 0 0 10102 125 0 0 25 0 1 0 1205175 120348672 28923 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 29382 28923 148 303 0 29077 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 117528 [startup+162.301 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9196 /proc/meminfo: memFree=1339980/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=173540 CPUtime=162.24 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 42979 0 0 0 16030 194 0 0 25 0 1 0 1205175 177704960 42896 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 43385 42896 148 303 0 43080 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 173540 [startup+222.301 s] /proc/loadavg: 1.08 1.04 1.00 2/107 9198 /proc/meminfo: memFree=1322620/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=190004 CPUtime=222.23 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 47172 0 0 0 21972 251 0 0 25 0 1 0 1205175 194564096 47061 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 47501 47061 150 303 0 47196 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 190004 [startup+282.302 s] /proc/loadavg: 1.07 1.05 1.00 2/107 9200 /proc/meminfo: memFree=1293976/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=218868 CPUtime=282.22 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 54352 0 0 0 27908 314 0 0 25 0 1 0 1205175 224120832 54241 1992294400 134512640 135751879 4294555680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 54717 54241 150 303 0 54412 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 218868 [startup+342.301 s] /proc/loadavg: 1.02 1.04 1.00 2/107 9202 /proc/meminfo: memFree=1264836/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=247724 CPUtime=342.2 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 61560 0 0 0 33854 366 0 0 25 0 1 0 1205175 253669376 61449 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 61931 61449 150 303 0 61626 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 247724 [startup+402.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 9204 /proc/meminfo: memFree=1237184/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=275576 CPUtime=402.18 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 68539 0 0 0 39810 408 0 0 25 0 1 0 1205175 282189824 68428 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 68894 68428 150 303 0 68589 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 275576 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 9204 /proc/meminfo: memFree=1213376/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=299292 CPUtime=462.17 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 74430 0 0 0 45768 449 0 0 25 0 1 0 1205175 306475008 74319 1992294400 134512640 135751879 4294555680 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 74823 74319 150 303 0 74518 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 299292 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9206 /proc/meminfo: memFree=1188080/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=324572 CPUtime=522.16 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 80738 0 0 0 51727 489 0 0 25 0 1 0 1205175 332361728 80627 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 81143 80627 150 303 0 80838 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 324572 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 9217 /proc/meminfo: memFree=1165388/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=346408 CPUtime=582.14 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 86208 0 0 0 57687 527 0 0 25 0 1 0 1205175 354721792 86097 1992294400 134512640 135751879 4294555680 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 86602 86097 150 303 0 86297 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 346408 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9219 /proc/meminfo: memFree=1143068/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=368452 CPUtime=642.12 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 91710 0 0 0 63648 564 0 0 25 0 1 0 1205175 377294848 91599 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 92113 91599 150 303 0 91808 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 368452 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9225 /proc/meminfo: memFree=1065072/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=446404 CPUtime=882.05 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 111209 0 0 0 87500 705 0 0 25 0 1 0 1205175 457117696 111098 1992294400 134512640 135751879 4294555680 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 111601 111098 150 303 0 111296 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 446404 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9227 /proc/meminfo: memFree=1045728/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=465892 CPUtime=942.04 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 116077 0 0 0 93463 741 0 0 25 0 1 0 1205175 477073408 115966 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 116473 115966 150 303 0 116168 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 465892 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9229 /proc/meminfo: memFree=1026756/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=484784 CPUtime=1002.02 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 120800 0 0 0 99425 777 0 0 25 0 1 0 1205175 496418816 120689 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 121196 120689 150 303 0 120891 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 484784 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9229 /proc/meminfo: memFree=1009272/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=502268 CPUtime=1062.01 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 125174 0 0 0 105390 811 0 0 25 0 1 0 1205175 514322432 125063 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 125567 125063 150 303 0 125262 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 502268 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9231 /proc/meminfo: memFree=989556/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=521928 CPUtime=1121.99 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 130060 0 0 0 111353 846 0 0 25 0 1 0 1205175 534454272 129949 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 130482 129949 150 303 0 130177 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 521928 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9233 /proc/meminfo: memFree=971204/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=540652 CPUtime=1181.98 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 134751 0 0 0 117317 881 0 0 25 0 1 0 1205175 553627648 134640 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 135163 134640 150 303 0 134858 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 540652 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9235 /proc/meminfo: memFree=953348/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=558220 CPUtime=1241.97 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 139125 0 0 0 123285 912 0 0 25 0 1 0 1205175 571617280 139014 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 139555 139014 150 303 0 139250 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 558220 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9237 /proc/meminfo: memFree=936856/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=574504 CPUtime=1301.96 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 143175 0 0 0 129253 943 0 0 25 0 1 0 1205175 588292096 143064 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 143626 143064 150 303 0 143321 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 574504 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9237 /proc/meminfo: memFree=920240/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=591532 CPUtime=1361.93 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 147431 0 0 0 135218 975 0 0 25 0 1 0 1205175 605728768 147320 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 147883 147320 150 303 0 147578 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 591532 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9239 /proc/meminfo: memFree=904616/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=606712 CPUtime=1421.93 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 151246 0 0 0 141190 1003 0 0 25 0 1 0 1205175 621273088 151135 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 151678 151135 150 303 0 151373 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 606712 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9241 /proc/meminfo: memFree=888744/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=622552 CPUtime=1481.91 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 155204 0 0 0 147162 1029 0 0 25 0 1 0 1205175 637493248 155093 1992294400 134512640 135751879 4294555680 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 155638 155093 150 303 0 155333 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 622552 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9243 /proc/meminfo: memFree=872004/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=639204 CPUtime=1541.9 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 159361 0 0 0 153128 1062 0 0 25 0 1 0 1205175 654544896 159250 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 159801 159250 150 303 0 159496 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 639204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9245 /proc/meminfo: memFree=857992/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=653592 CPUtime=1601.88 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 162944 0 0 0 159098 1090 0 0 25 0 1 0 1205175 669278208 162833 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 163398 162833 150 303 0 163093 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 653592 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9245 /proc/meminfo: memFree=841252/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=669916 CPUtime=1661.86 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 167032 0 0 0 165066 1120 0 0 25 0 1 0 1205175 685993984 166921 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 167479 166921 150 303 0 167174 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 669916 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9247 /proc/meminfo: memFree=825876/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=685492 CPUtime=1721.85 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 170908 0 0 0 171034 1151 0 0 25 0 1 0 1205175 701943808 170797 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 171373 170797 150 303 0 171068 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 685492 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9249 /proc/meminfo: memFree=806904/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=704032 CPUtime=1781.84 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 175559 0 0 0 176998 1186 0 0 25 0 1 0 1205175 720928768 175448 1992294400 134512640 135751879 4294555680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 176008 175448 150 303 0 175703 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 704032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9249 /proc/meminfo: memFree=802316/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=708520 CPUtime=1800.04 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 176684 0 0 0 178809 1195 0 0 25 0 1 0 1205175 725524480 176573 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 177130 176573 150 303 0 176825 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 708520 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9249 /proc/meminfo: memFree=802316/2059040 swapFree=4192956/4192956 [pid=9191] ppid=9189 vsize=708520 CPUtime=1800.04 /proc/9191/stat : 9191 (wbo1.4b) R 9189 9191 2336 0 -1 4202496 176684 0 0 0 178809 1195 0 0 25 0 1 0 1205175 725524480 176573 1992294400 134512640 135751879 4294555680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9191/statm: 177130 176573 150 303 0 176825 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 708520 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.57 CPU time (s): 1800.11 CPU user time (s): 1788.09 CPU system time (s): 12.0142 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 708520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.09 system time used= 12.0142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 176684 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= 8 involuntary context switches= 2403 runsolver used 3.08953 second user time and 8.39572 second system time The end
Begin job on node036 at 2010-06-15 12:52:03 IDJOB=2656047 IDBENCH=2896 IDSOLVER=1161 FILE ID=node036/2656047-1276599123 PBS_JOBID= 11172215 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656047-1276599123/watcher-2656047-1276599123 -o /tmp/evaluation-result-2656047-1276599123/solver-2656047-1276599123 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656047-1276599123.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040 RANDOM SEED=1195552632 node036.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1511636 kB Buffers: 46532 kB Cached: 362428 kB SwapCached: 0 kB Active: 185140 kB Inactive: 283220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1511636 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2668 kB Writeback: 0 kB AnonPages: 59424 kB Mapped: 15360 kB Slab: 57180 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179844 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node036 at 2010-06-15 13:22:05