Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.12 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb |
MD5SUM | a470052ca6f8034e2c6c08868e52d9e8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1789.64 |
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 | NO |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4131 |
Number of bits of the biggest sum of numbers | 13 |
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-2656057-1276613292.opb. 0.00/0.00 c Instance file HOME/instance-2656057-1276613292.opb 0.00/0.00 c File size is 5465 bytes. 0.00/0.00 c Highest Coefficient sum: 4131 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: 120 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 10 | 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 | 120 10 558 | 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 | 120 11 638 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 579 0.00/0.00 o 579 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 38 | 120 12 718 | 5000 38 47 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 273 0.00/0.00 o 273 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 | 46 | 120 13 798 | 5000 46 47 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 267 0.00/0.01 o 267 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 | 100 | 120 14 878 | 5000 100 40 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 219 0.00/0.02 o 219 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 198 | 120 15 958 | 5000 198 39 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 217 0.00/0.02 o 217 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 200 | 120 16 1038 | 5000 200 39 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 205 0.00/0.02 o 205 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 200 | 120 17 1118 | 5000 200 39 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 201 0.00/0.02 o 201 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 | 203 | 120 18 1198 | 5000 203 39 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 194 0.00/0.02 o 194 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 249 | 120 19 1278 | 5000 249 41 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 165 0.00/0.02 o 165 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 261 | 120 20 1358 | 5000 261 40 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 161 0.00/0.02 o 161 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 262 | 120 21 1438 | 5000 262 40 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 157 0.00/0.03 o 157 0.00/0.03 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 264 | 120 22 1518 | 5000 264 40 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 110 0.00/0.03 o 110 0.00/0.03 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 290 | 120 23 1598 | 5000 290 40 | 0.000 % | 0.00/0.04 c | 392 | 110 23 1598 | 5500 245 41 | 8.340 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 96 0.00/0.04 o 96 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 486 | 110 24 1678 | 5000 339 40 | 8.340 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 94 0.00/0.05 o 94 0.00/0.05 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 487 | 110 25 1758 | 5000 340 40 | 8.340 % | 0.00/0.05 c | 587 | 110 25 1758 | 5500 440 39 | 8.340 % | 0.00/0.07 c | 738 | 110 25 1758 | 6050 591 38 | 8.340 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 44 0.00/0.07 o 44 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 815 | 110 26 1838 | 5000 668 38 | 8.340 % | 0.00/0.08 c | 915 | 100 26 1838 | 5500 596 36 | 16.674 % | 0.08/0.09 c | 1065 | 100 26 1838 | 6050 746 37 | 16.674 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 27 0.09/0.11 o 27 0.09/0.11 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1217 | 100 27 1918 | 5000 898 37 | 16.674 % | 0.09/0.11 c | 1317 | 91 27 1918 | 5500 998 38 | 25.007 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 22 0.09/0.12 o 22 0.09/0.12 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1377 | 90 28 1998 | 5000 1058 38 | 25.007 % | 0.09/0.13 c | 1478 | 90 28 1998 | 5500 1159 39 | 25.007 % | 0.09/0.14 c | 1628 | 90 28 1998 | 6050 1309 39 | 25.007 % | 0.09/0.16 c | 1853 | 90 28 1998 | 6655 1534 40 | 25.007 % | 0.09/0.19 c | 2190 | 90 28 1998 | 7320 1871 41 | 25.007 % | 0.19/0.24 c | 2696 | 90 28 1998 | 8052 2377 42 | 25.007 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 20 0.29/0.31 o 20 0.29/0.31 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 3421 | 90 29 2078 | 5000 2970 42 | 25.007 % | 0.29/0.32 c | 3521 | 90 29 2078 | 5500 3070 42 | 25.007 % | 0.29/0.34 c | 3671 | 90 29 2078 | 6050 3220 42 | 25.007 % | 0.29/0.36 c | 3896 | 90 29 2078 | 6655 3445 42 | 25.007 % | 0.39/0.40 c | 4234 | 90 29 2078 | 7320 3783 43 | 25.007 % | 0.39/0.46 c | 4740 | 90 29 2078 | 8052 4289 43 | 25.007 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 15 0.39/0.47 o 15 0.39/0.47 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 4896 | 90 30 2158 | 5000 4445 43 | 25.007 % | 0.39/0.48 c | 4997 | 81 30 2158 | 5500 4546 43 | 33.340 % | 0.48/0.50 c | 5147 | 81 30 2158 | 6050 4696 43 | 33.340 % | 0.48/0.53 c | 5372 | 81 30 2158 | 6655 4921 43 | 33.340 % | 0.48/0.56 c | 5709 | 81 30 2158 | 7320 5258 43 | 33.340 % | 0.59/0.61 c | 6215 | 81 30 2158 | 8052 5764 44 | 33.340 % | 0.59/0.70 c | 6974 | 81 30 2158 | 8857 6523 44 | 33.340 % | 0.79/0.84 c | 8114 | 81 30 2158 | 9743 7663 44 | 33.340 % | 0.99/1.07 c | 9822 | 81 30 2158 | 10717 9371 44 | 33.340 % | 1.39/1.48 c | 12385 | 80 30 2158 | 11789 6537 46 | 33.340 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c New solution: 14 1.59/1.65 o 14 1.59/1.65 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 13687 | 80 31 2238 | 5000 7839 46 | 33.340 % | 1.59/1.69 c | 13787 | 80 31 2238 | 5500 4020 47 | 33.340 % | 1.69/1.70 c | 13937 | 80 31 2238 | 6050 4170 47 | 33.340 % | 1.69/1.73 c | 14162 | 80 31 2238 | 6655 4395 47 | 33.340 % | 1.69/1.77 c | 14500 | 80 31 2238 | 7320 4733 47 | 33.340 % | 1.79/1.83 c | 15006 | 80 31 2238 | 8052 5239 47 | 33.340 % | 1.89/1.92 c | 15765 | 80 31 2238 | 8857 5998 47 | 33.340 % | 1.99/2.05 c | 16904 | 80 31 2238 | 9743 7137 47 | 33.340 % | 2.19/2.28 c | 18612 | 80 31 2238 | 10717 8845 48 | 33.340 % | 2.59/2.68 c | 21175 | 80 31 2238 | 11789 6016 49 | 33.340 % | 3.20/3.21 c | 25019 | 80 31 2238 | 12968 9860 49 | 33.340 % | 4.09/4.16 c | 30785 | 80 31 2238 | 14265 9108 49 | 33.340 % | 5.09/5.11 c =============================================================================== 5.09/5.11 c New solution: 12 5.09/5.11 o 12 5.09/5.11 c Elapsed CPU time: 5.02224 s Remaining CPU time: 174.978 s 5.09/5.11 c =============================================================================== 5.09/5.11 c | 35998 | 80 32 2318 | 5000 14321 49 | 33.340 % | 5.19/5.22 c | 36098 | 80 32 2318 | 5500 3681 49 | 33.340 % | 5.19/5.24 c | 36249 | 80 32 2318 | 6050 3832 49 | 33.340 % | 5.19/5.26 c | 36474 | 80 32 2318 | 6655 4057 49 | 33.340 % | 5.29/5.30 c | 36812 | 80 32 2318 | 7320 4395 48 | 33.340 % | 5.29/5.36 c | 37319 | 80 32 2318 | 8052 4902 49 | 33.340 % | 5.39/5.44 c | 38078 | 80 32 2318 | 8857 5661 48 | 33.340 % | 5.49/5.58 c | 39217 | 80 32 2318 | 9743 6800 49 | 33.340 % | 5.79/5.81 c | 40925 | 80 32 2318 | 10717 8508 49 | 33.340 % | 6.19/6.22 c | 43487 | 80 32 2318 | 11789 5678 50 | 33.340 % | 6.69/6.77 c | 47331 | 80 32 2318 | 12968 9522 51 | 33.340 % | 7.70/7.79 c | 53097 | 80 32 2318 | 14265 8773 50 | 33.340 % | 9.19/9.23 c | 61746 | 80 32 2318 | 15692 10253 47 | 33.340 % | 11.59/11.64 c | 74720 | 80 32 2318 | 17261 15346 47 | 33.340 % | 13.48/13.59 c =============================================================================== 13.48/13.59 c New solution: 8 13.48/13.59 o 8 13.48/13.59 c Elapsed CPU time: 13.384 s Remaining CPU time: 166.616 s 13.48/13.59 c =============================================================================== 13.48/13.59 c | 83952 | 80 33 2398 | 5000 15914 47 | 33.340 % | 13.68/13.73 c | 84052 | 70 33 2398 | 5500 4073 49 | 41.674 % | 13.68/13.75 c | 84202 | 70 33 2398 | 6050 4223 49 | 41.674 % | 13.68/13.77 c | 84427 | 70 33 2398 | 6655 4448 49 | 41.674 % | 13.78/13.81 c | 84764 | 70 33 2398 | 7320 4785 49 | 41.674 % | 13.78/13.87 c | 85270 | 70 33 2398 | 8052 5291 49 | 41.674 % | 13.89/13.97 c | 86029 | 70 33 2398 | 8857 6050 49 | 41.674 % | 14.09/14.10 c | 87168 | 70 33 2398 | 9743 7189 49 | 41.674 % | 14.29/14.34 c | 88876 | 70 33 2398 | 10717 8897 50 | 41.674 % | 14.68/14.76 c | 91439 | 70 33 2398 | 11789 6066 52 | 41.674 % | 15.19/15.29 c | 95283 | 70 33 2398 | 12968 9910 51 | 41.674 % | 16.19/16.21 c | 101049 | 70 33 2398 | 14265 9154 50 | 41.674 % | 17.59/17.63 c | 109698 | 70 33 2398 | 15692 10631 51 | 41.674 % | 20.08/20.19 c | 122673 | 70 33 2398 | 17261 15722 50 | 41.674 % | 24.29/24.31 c | 142135 | 70 33 2398 | 18987 9172 51 | 41.674 % | 30.88/30.97 c | 171327 | 70 33 2398 | 20886 9767 52 | 41.674 % | 42.48/42.59 c | 215117 | 70 33 2398 | 22974 11633 54 | 41.674 % | 60.38/60.48 c | 280801 | 70 33 2398 | 25272 15797 52 | 41.674 % | 89.36/89.47 c | 379328 | 70 33 2398 | 27799 12935 48 | 41.674 % | 102.27/102.37 c =============================================================================== 102.27/102.37 c New solution: 6 102.27/102.37 o 6 102.27/102.37 c Elapsed CPU time: 101.196 s Remaining CPU time: 78.8044 s 102.27/102.37 c =============================================================================== 102.27/102.37 c | 422260 | 70 34 2478 | 5000 21964 51 | 41.674 % | 102.56/102.66 c | 422360 | 70 34 2478 | 5500 2777 52 | 41.674 % | 102.56/102.67 c | 422510 | 70 34 2478 | 6050 2927 52 | 41.674 % | 102.56/102.69 c | 422735 | 70 34 2478 | 6655 3152 52 | 41.674 % | 102.66/102.72 c | 423072 | 70 34 2478 | 7320 3489 52 | 41.674 % | 102.66/102.78 c | 423578 | 70 34 2478 | 8052 3995 51 | 41.674 % | 102.77/102.87 c | 424338 | 70 34 2478 | 8857 4755 51 | 41.674 % | 102.96/103.00 c | 425477 | 70 34 2478 | 9743 5894 51 | 41.674 % | 103.16/103.22 c | 427186 | 70 34 2478 | 10717 7603 51 | 41.674 % | 103.46/103.58 c | 429748 | 70 34 2478 | 11789 10165 51 | 41.674 % | 104.16/104.22 c | 433594 | 70 34 2478 | 12968 8076 52 | 41.674 % | 105.16/105.20 c | 439361 | 70 34 2478 | 14265 7318 52 | 41.674 % | 106.56/106.64 c | 448011 | 70 34 2478 | 15692 8796 51 | 41.674 % | 108.86/108.90 c | 460986 | 70 34 2478 | 17261 13886 50 | 41.674 % | 112.76/112.86 c | 480447 | 70 34 2478 | 18987 16002 52 | 41.674 % | 118.77/118.89 c | 509640 | 70 34 2478 | 20886 16598 49 | 41.674 % | 129.76/129.89 c | 553431 | 70 34 2478 | 22974 18457 55 | 41.674 % | 148.15/148.26 c | 619115 | 70 34 2478 | 25272 11086 53 | 41.674 % | 177.44/177.54 c | 717641 | 70 34 2478 | 27799 22849 52 | 41.674 % | 181.94/182.09 c There are 50 assigned variables. 50 in cost function. 182.55/182.62 c ============================[ Search Statistics ]============================== 182.55/182.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.62 c =============================================================================== 182.55/182.62 c | 0 | 40 100 458 | 5000 0 nan | 0.000 % | 182.55/182.63 c | 100 | 40 100 458 | 5500 100 39 | 66.674 % | 182.55/182.65 c | 250 | 40 100 458 | 6050 250 37 | 66.674 % | 182.55/182.68 c | 476 | 40 100 458 | 6655 476 35 | 66.674 % | 182.65/182.75 c | 815 | 40 100 458 | 7320 815 36 | 66.674 % | 182.74/182.81 c | 1321 | 40 100 458 | 8052 1321 38 | 66.674 % | 182.74/182.87 c | 2080 | 40 100 458 | 8857 2080 38 | 66.674 % | 182.84/182.98 c | 3221 | 40 100 458 | 9743 3221 39 | 66.674 % | 183.04/183.18 c | 4929 | 40 100 458 | 10717 4929 39 | 66.674 % | 183.45/183.56 c | 7493 | 40 100 458 | 11789 7493 39 | 66.674 % | 184.14/184.23 c | 11337 | 40 100 458 | 12968 11337 40 | 66.674 % | 185.24/185.32 c | 17103 | 40 100 458 | 14265 10564 42 | 66.674 % | 186.85/186.94 c | 25753 | 40 100 458 | 15692 12031 43 | 66.674 % | 189.44/189.58 c | 38727 | 40 100 458 | 17261 9203 42 | 66.674 % | 193.34/193.50 c | 58188 | 40 100 458 | 18987 11297 42 | 66.674 % | 200.14/200.28 c | 87380 | 40 100 458 | 20886 11852 41 | 66.674 % | 210.44/210.59 c | 131170 | 40 100 458 | 22974 13657 41 | 66.674 % | 228.53/228.65 c | 196854 | 40 100 458 | 25272 17642 42 | 66.674 % | 259.43/259.54 c | 295381 | 40 100 458 | 27799 14389 43 | 66.674 % | 312.31/312.46 c | 443171 | 40 100 458 | 30579 26386 41 | 66.674 % | 401.79/401.91 c | 664854 | 40 100 458 | 33637 12160 42 | 66.674 % | 551.65/551.85 c | 997380 | 40 100 458 | 37001 28002 41 | 66.674 % | 804.48/804.72 c | 1496169 | 40 100 458 | 40701 34842 43 | 66.674 % | 1210.07/1210.44 c | 2244351 | 40 100 458 | 44771 16128 43 | 66.674 % |
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-2656057-1276613292/watcher-2656057-1276613292 -o /tmp/evaluation-result-2656057-1276613292/solver-2656057-1276613292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656057-1276613292.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.00 1.00 3/106 11749 /proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=2440 CPUtime=0 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 277 0 0 0 0 0 0 0 17 0 1 0 2620204 2498560 193 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 610 193 146 303 0 305 0 [startup+0.0983931 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11749 /proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=2836 CPUtime=0.08 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 354 0 0 0 8 0 0 0 17 0 1 0 2620204 2904064 270 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 709 270 147 303 0 404 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2836 [startup+0.101394 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11749 /proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=2836 CPUtime=0.09 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 356 0 0 0 9 0 0 0 17 0 1 0 2620204 2904064 272 1992294400 134512640 135751879 4290185872 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 709 272 147 303 0 404 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2836 [startup+0.301413 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11749 /proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=3492 CPUtime=0.29 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 510 0 0 0 28 1 0 0 18 0 1 0 2620204 3575808 426 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 873 426 147 303 0 568 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3492 [startup+0.701453 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11749 /proc/meminfo: memFree=1407864/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=4416 CPUtime=0.69 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 772 0 0 0 67 2 0 0 18 0 1 0 2620204 4521984 688 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 1104 688 147 303 0 799 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4416 [startup+1.50153 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11750 /proc/meminfo: memFree=1404880/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=5996 CPUtime=1.48 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 1148 0 0 0 145 3 0 0 19 0 1 0 2620204 6139904 1064 1992294400 134512640 135751879 4290185872 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 1499 1064 148 303 0 1194 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5996 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11750 /proc/meminfo: memFree=1402524/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=9280 CPUtime=3.09 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 1961 0 0 0 303 6 0 0 24 0 1 0 2620204 9502720 1877 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 2320 1877 148 303 0 2015 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9280 [startup+6.30102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11750 /proc/meminfo: memFree=1396696/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=14692 CPUtime=6.29 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 3335 0 0 0 618 11 0 0 25 0 1 0 2620204 15044608 3251 1992294400 134512640 135751879 4290185872 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 3673 3251 148 303 0 3368 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14692 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11752 /proc/meminfo: memFree=1386156/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=24284 CPUtime=12.69 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 5737 0 0 0 1250 19 0 0 25 0 1 0 2620204 24866816 5653 1992294400 134512640 135751879 4290185872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 6071 5653 148 303 0 5766 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24284 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11752 /proc/meminfo: memFree=1366564/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=43476 CPUtime=25.49 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 10516 0 0 0 2514 35 0 0 25 0 1 0 2620204 44519424 10432 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 10869 10432 148 303 0 10564 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 43476 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11752 /proc/meminfo: memFree=1339036/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=71084 CPUtime=51.07 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 17426 0 0 0 5044 63 0 0 25 0 1 0 2620204 72790016 17342 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 17771 17342 148 303 0 17466 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71084 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11754 /proc/meminfo: memFree=1290428/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=119092 CPUtime=102.27 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 29388 0 0 0 10113 114 0 0 25 0 1 0 2620204 121950208 29304 1992294400 134512640 135751879 4290185872 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 29773 29304 148 303 0 29468 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 119092 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11756 /proc/meminfo: memFree=1221608/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=188404 CPUtime=162.24 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 46715 0 0 0 16037 187 0 0 25 0 1 0 2620204 192925696 46631 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 47101 46631 148 303 0 46796 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 188404 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11756 /proc/meminfo: memFree=1177960/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=231172 CPUtime=222.23 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 57456 0 0 0 21976 247 0 0 25 0 1 0 2620204 236720128 57344 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 57793 57344 150 303 0 57488 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 231172 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11758 /proc/meminfo: memFree=1142496/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=266772 CPUtime=282.22 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 66357 0 0 0 27922 300 0 0 25 0 1 0 2620204 273174528 66245 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 66693 66245 150 303 0 66388 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 266772 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11760 /proc/meminfo: memFree=1111000/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=298076 CPUtime=342.21 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 74142 0 0 0 33875 346 0 0 25 0 1 0 2620204 305229824 74030 1992294400 134512640 135751879 4290185872 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 74519 74030 150 303 0 74214 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 298076 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11762 /proc/meminfo: memFree=1083348/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=325980 CPUtime=402.19 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 81136 0 0 0 39829 390 0 0 25 0 1 0 2620204 333803520 81024 1992294400 134512640 135751879 4290185872 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 81495 81024 150 303 0 81190 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 325980 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11764 /proc/meminfo: memFree=1053216/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=355640 CPUtime=462.18 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 88521 0 0 0 45785 433 0 0 25 0 1 0 2620204 364175360 88409 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 88910 88409 150 303 0 88605 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 355640 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11764 /proc/meminfo: memFree=1021844/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=387324 CPUtime=522.16 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 96442 0 0 0 51742 474 0 0 25 0 1 0 2620204 396619776 96330 1992294400 134512640 135751879 4290185872 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 96831 96330 150 303 0 96526 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 387324 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11766 /proc/meminfo: memFree=991960/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=416824 CPUtime=582.14 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 103822 0 0 0 57697 517 0 0 25 0 1 0 2620204 426827776 103710 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 104206 103710 150 303 0 103901 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 416824 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11768 /proc/meminfo: memFree=963316/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=445072 CPUtime=642.13 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 110896 0 0 0 63659 554 0 0 25 0 1 0 2620204 455753728 110784 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 111268 110784 150 303 0 110963 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 445072 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11783 /proc/meminfo: memFree=850104/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=557684 CPUtime=882.06 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 139025 0 0 0 87505 701 0 0 25 0 1 0 2620204 571068416 138913 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 139421 138913 150 303 0 139116 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 557684 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11785 /proc/meminfo: memFree=824684/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=583496 CPUtime=942.04 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 145498 0 0 0 93467 737 0 0 25 0 1 0 2620204 597499904 145386 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 145874 145386 150 303 0 145569 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 583496 [startup+1002.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11787 /proc/meminfo: memFree=798148/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=609860 CPUtime=1002.02 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 152061 0 0 0 99429 773 0 0 25 0 1 0 2620204 624496640 151949 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 152465 151949 150 303 0 152160 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 609860 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 11789 /proc/meminfo: memFree=771364/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=636452 CPUtime=1062.01 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 158721 0 0 0 105391 810 0 0 25 0 1 0 2620204 651726848 158609 1992294400 134512640 135751879 4290185872 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 159113 158609 150 303 0 158808 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 636452 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 11789 /proc/meminfo: memFree=743960/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=663772 CPUtime=1121.99 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 165532 0 0 0 111354 845 0 0 25 0 1 0 2620204 679702528 165420 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 165943 165420 150 303 0 165638 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 663772 [startup+1182.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 11791 /proc/meminfo: memFree=716804/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=691100 CPUtime=1181.98 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 172382 0 0 0 117315 883 0 0 25 0 1 0 2620204 707686400 172270 1992294400 134512640 135751879 4290185872 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 172775 172270 150 303 0 172470 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 691100 [startup+1242.3 s] /proc/loadavg: 1.13 1.06 1.01 2/107 11793 /proc/meminfo: memFree=691260/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=716424 CPUtime=1241.96 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 178694 0 0 0 123277 919 0 0 25 0 1 0 2620204 733618176 178582 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 179106 178582 150 303 0 178801 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 716424 [startup+1302.3 s] /proc/loadavg: 1.12 1.06 1.00 2/107 11795 /proc/meminfo: memFree=666956/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=740480 CPUtime=1301.96 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 184697 0 0 0 129244 952 0 0 25 0 1 0 2620204 758251520 184585 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 185120 184585 150 303 0 184815 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 740480 [startup+1362.3 s] /proc/loadavg: 1.13 1.08 1.01 2/107 11797 /proc/meminfo: memFree=642776/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=764776 CPUtime=1361.93 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 190759 0 0 0 135208 985 0 0 25 0 1 0 2620204 783130624 190647 1992294400 134512640 135751879 4290185872 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 191194 190647 150 303 0 190889 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 764776 [startup+1422.31 s] /proc/loadavg: 1.05 1.06 1.00 2/107 11797 /proc/meminfo: memFree=618844/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=788432 CPUtime=1421.92 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 196690 0 0 0 141174 1018 0 0 25 0 1 0 2620204 807354368 196578 1992294400 134512640 135751879 4290185872 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 197108 196578 150 303 0 196803 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 788432 [startup+1482.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 11799 /proc/meminfo: memFree=595532/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=811928 CPUtime=1481.9 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 202565 0 0 0 147135 1055 0 0 25 0 1 0 2620204 831414272 202453 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 202982 202453 150 303 0 202677 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 811928 [startup+1542.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 11801 /proc/meminfo: memFree=572964/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=834412 CPUtime=1541.89 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 208155 0 0 0 153101 1088 0 0 25 0 1 0 2620204 854437888 208043 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 208603 208043 150 303 0 208298 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 834412 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 11803 /proc/meminfo: memFree=549652/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=857908 CPUtime=1601.87 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 214036 0 0 0 159071 1116 0 0 25 0 1 0 2620204 878497792 213924 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 214477 213924 150 303 0 214172 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 857908 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 11805 /proc/meminfo: memFree=525596/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=881668 CPUtime=1661.86 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 219971 0 0 0 165040 1146 0 0 25 0 1 0 2620204 902828032 219859 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 220417 219859 150 303 0 220112 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 881668 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 11805 /proc/meminfo: memFree=503400/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=904240 CPUtime=1721.84 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 225636 0 0 0 171007 1177 0 0 25 0 1 0 2620204 925941760 225524 1992294400 134512640 135751879 4290185872 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 226060 225524 150 303 0 225755 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 904240 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11807 /proc/meminfo: memFree=477112/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=929716 CPUtime=1781.83 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 231990 0 0 0 176972 1211 0 0 25 0 1 0 2620204 952029184 231878 1992294400 134512640 135751879 4290185872 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 232429 231878 150 303 0 232124 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 929716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11807 /proc/meminfo: memFree=470168/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=936448 CPUtime=1800.03 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 233685 0 0 0 178783 1220 0 0 25 0 1 0 2620204 958922752 233573 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 234112 233573 150 303 0 233807 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 936448 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.01 1.00 2/107 11807 /proc/meminfo: memFree=470168/2059040 swapFree=4192956/4192956 [pid=11749] ppid=11747 vsize=936448 CPUtime=1800.03 /proc/11749/stat : 11749 (wbo1.4b) R 11747 11749 11183 0 -1 4202496 233685 0 0 0 178783 1220 0 0 25 0 1 0 2620204 958922752 233573 1992294400 134512640 135751879 4290185872 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11749/statm: 234112 233573 150 303 0 233807 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 936448 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.12 CPU user time (s): 1787.83 CPU system time (s): 12.2901 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 936448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.83 system time used= 12.2901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233685 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= 4 involuntary context switches= 20005 runsolver used 2.99854 second user time and 8.48371 second system time The end
Begin job on node056 at 2010-06-15 16:48:13 IDJOB=2656057 IDBENCH=2914 IDSOLVER=1161 FILE ID=node056/2656057-1276613292 PBS_JOBID= 11172262 Free space on /tmp= 98640 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656057-1276613292/watcher-2656057-1276613292 -o /tmp/evaluation-result-2656057-1276613292/solver-2656057-1276613292 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656057-1276613292.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8 RANDOM SEED=1103371028 node056.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.215 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.43 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.215 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1408268 kB Buffers: 70816 kB Cached: 439112 kB SwapCached: 0 kB Active: 220664 kB Inactive: 348536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1408268 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2628 kB Writeback: 0 kB AnonPages: 59232 kB Mapped: 15488 kB Slab: 59632 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181464 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= 98636 MiB End job on node056 at 2010-06-15 17:18:15